From b8cb0fa69605ba10be53ded549e59b8d7ad05d30 Mon Sep 17 00:00:00 2001 From: Changho Shin Date: Thu, 25 May 2023 22:18:04 -0500 Subject: [PATCH] Update index.md --- src/index.md | 171 ++------------------------------------------------- 1 file changed, 6 insertions(+), 165 deletions(-) diff --git a/src/index.md b/src/index.md index 2aeb94b..6575cd6 100644 --- a/src/index.md +++ b/src/index.md @@ -1,177 +1,18 @@ CSS: theme.css Format: complete -Title: UChicago PL Reading Group +Title: UW-Madison Sprocket Lab Reading Group -# ![](reading_lambda.png "Reading Lambda") University of Chicago Programming Languages Reading Group +# ![](sprocket_logo.jpeg "Sprocket Lab") University of Wisconsin-Madison Sprocket Lab Reading Group -The Programming Languages Reading Group, part of [PL research at UChicago](http://pl.cs.uchicago.edu/), is an occasional, informal meeting to discuss interesting PL papers. Food is provided. Visitors welcome! +The Sprocket Lab Reading Group is an occasional, informal meeting to discuss interesting papers. Visitors welcome! + +To suggest a paper, [open an issue](https://github.com/SprocketLab/reading-group/issues) on the Github page. We'll close the issue when we schedule the paper. -To receive announcements, sign up for the [`pl-readinggroup` mailing list](https://mailman.cs.uchicago.edu/mailman/listinfo/pl-readinggroup). -To suggest a paper, [open an issue](https://github.com/uchicago-cs/plrg/issues?q=is%3Aissue) on the Github page. We'll close the issue when we schedule the paper. ## Schedule -For Spring 2023, PLRG meets on Tuesdays 12pm in Crerar 354. +For Summer 2023, PLRG meets on TBDdays TBDpm in TBD. | Date | Paper | Leader | | ---- | ----- | ------ | - -## Past Terms - -### Winter 2023 - -| Date | Paper | Leader | -| ---- | ----- | ------ | -| January 20 | [Comonads are Objects](https://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html) | Nathan | -| January 27 | [Strong Normalization from Weak Normalization in Typed Lambda-Calculi](https://www.sciencedirect.com/science/article/pii/S089054019692622X) | Nathan | -| February 3 | [DimSum: A Decentralized Approach to Multi-language Semantics and Verification](https://dl.acm.org/doi/10.1145/3571220) | Bhakti | -| February 10 | [Introduction to Free Monads](https://www.youtube.com/watch?v=dYz9V8cQSoY) | Matt | -| February 17 | [Polymorphism, subtyping, and type inference in MLsub](https://dl.acm.org/doi/10.1145/3009837.3009882) | John | -| February 24 | [The simple essence of algebraic subtyping: principal type inference with subtyping made easy](https://dl.acm.org/doi/10.1145/3409006) | John | -| March 3 | [Reflection without Remorse](https://okmij.org/ftp/Haskell/zseq.pdf) & [Asymptotic Improvement of Computations over Free Monads](https://janis-voigtlaender.eu/papers/AsymptoticImprovementOfComputationsOverFreeMonads.pdf) | Skye | - -### Fall 2022 - -| Date | Paper | Leader | -| ---- | ----- | ------ | -| October 18 | [Staged Compilation with Two-Level Type Theory (POPL '22)](https://doi.org/10.1145/3547641) & [staged-fusion](https://github.com/AndrasKovacs/staged-fusion) | Skye | -| October 25 | (Staged Compilation continued) | Skye | -| November 1 | [Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible (POPL '18)](https://www.ccs.neu.edu/home/amal/papers/cpscc.pdf) | Nathan | -| November 8 | [Incorrectness Logic (POPL '20)](http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/IncorrectnessLogic.pdf) | Bhakti | -| November 15 | Free Monads and Algebraic Effects | Skye | -| November 22 | Algebraic Effects and [Koka](https://koka-lang.github.io/koka/doc/index.html) | Byron | -| November 28 | [Genetic Programming with Polymorphic Types and Higher-Order Functions](https://www.site.uottawa.ca/~afelty/dist/gecco08.pdf) | Andy | - - -### Spring 2020 - -For the Spring 2020 term, PLRG meets on Wednesdays, 3:00pm at [https://uchicago.zoom.us/j/564109413](https://uchicago.zoom.us/j/564109413). - -| Date | Paper | Leader | -| -------- | ------------------------------------------------------------ | ------ | -| April 1 | [GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)](https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1) & [EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)](https://www.researchgate.net/profile/Peter_Achten/publication/228757346_An_Arrow_based_semantics_for_interactive_applications/links/0912f508fe3d9b72fc000000/An-Arrow-based-semantics-for-interactive-applications.pdf) | Brian | -| April 8 | [Extensible Datasort Refinements (ESOP '17)](https://arxiv.org/pdf/1701.02842) (See also [blog post on terminology](http://www.weaselhat.com/2015/03/16/a-refinement-type-by-any-other-name/)) | Brian | -| April 15 | [Can functional programming be liberated from the von Neumann paradigm? (2010 Blog Post)](http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm) | Nick | -| April 29 | [Symbolic Execution for Software Testing: Three Decades Later (CACM '13)](https://dl.acm.org/doi/pdf/10.1145/2408776.2408795) [(alt version w/printable formatting)](https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf) & [KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (OSDI '08)](https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf) | Brian | -| May 6 | [A Verified LL(1) Parser Generator (ITP '19)](https://drops.dagstuhl.de/opus/volltexte/2019/11079/pdf/LIPIcs-ITP-2019-24.pdf) | Kartik | -| May 13 | [Retrofitting Parallelism onto OCaml (In submission for ICFP'20)](https://arxiv.org/abs/2004.11663) | Kavon | -| May 20 | [The Art of the Obvious (CHI '92)](https://dl.acm.org/doi/pdf/10.1145/142750.142800) & [Self-Disclosing Design Tools: A Gentle Introduction to End-User Programming (DIS '95)](https://dl.acm.org/doi/pdf/10.1145/225434.225455) & [A Principled Evaluation for a Principled Idea Garden (VL/HCC '15)](https://ieeexplore-ieee-org.proxy.uchicago.edu/stamp/stamp.jsp?tp=&arnumber=7357222) | Brian | -| May 27 | [egg: Easy, Efficient, and Extensible E-graphs (2020 Preprint)](https://arxiv.org/pdf/2004.03082.pdf) | Teo | - - - -### Fall 2019/Winter 2020 - -Reading group did not meet for the Fall 2019 term and Winter 2020 terms because everybody was distracted. - -### Spring 2019 - -For the Spring 2019 term, PLRG met on Tuesdays, 3:00pm in Crerar 236. - -| Date | Paper | Leader | -|-----------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|--------| -| 2019-4-16 | [A Survey of Adaptive Optimization in Virtual Machines (IEEE '05)](https://ieeexplore.ieee.org/iel5/5/30187/01386662.pdf) & [Overcoming the Challenges to Feedback-Directed Optimization (Keynote DYNAMO '00)](https://dl.acm.org/citation.cfm?doid=351397.351408) | Kavon | -| 2019-4-23 | [Rating Compiler Optimizations for Automatic Performance Tuning (SC'04)](https://dl.acm.org/citation.cfm?id=1049958) & [Online performance auditing: using hot optimizations without getting burned (PLDI'06)](https://dl.acm.org/citation.cfm?id=1134010) | Kavon | -| 2019-4-30 | [The Operating System: Should There Be One? (PLOS '13)](https://www.cs.kent.ac.uk/people/staff/srk21/research/papers/kell13operating.pdf) | Brian | -| 2019-5-7 | [Phase Shift Detection: A Problem Classification (Tech Report)](https://www.researchgate.net/profile/Peter_Sweeney/publication/2909766_Phase_Shift_Detection_A_Problem_Classification/links/004635191030a70ba9000000.pdf) & [Automatically characterizing large scale program behavior (ASPLOS'02)](https://dl.acm.org/citation.cfm?id=605403) | Kavon | - -### Fall 2018/Winter 2019 - -Reading group did not meet for the Fall 2018 term, because of [Stu's "The Little Typer" Seminar](https://thedeepstateconspiracy.blogspot.com/), [John's Coq Seminar](https://www.classes.cs.uchicago.edu/archive/2018/fall/32001-1/), and paper deadlines. Winter 2018 was also skipped because nobody was thinking about PLRG. - -### Summer 2018 - -For the Summer 2018 term, we met on Fridays at various times and places. - -| Date | Paper | Leader | -|-----------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|--------------------| -| 2018-6-29 | [Towards a Strongly Typed Functional Operating System (IFP '02)](https://link.springer.com/content/pdf/10.1007/3-540-44854-3_14.pdf) | Brian | -| 2018-7-6 | _Lunch to welcome Nick_ | Ravi | -| 2018-7-13 | A discussion of [atJIT](https://github.com/kavon/atJIT) (Related [Paper #1](https://dl.acm.org/citation.cfm?id=2555315), [Paper #2](https://dl.acm.org/citation.cfm?id=2190072)) | Kavon | -| 2018-7-20 | — | — | -| 2018-7-27 | NLP/ML + PL | Brian | -| 2018-8-3 | [Fungi: Typed Incremental Computation With Names (Preprint)](http://matthewhammer.org/fungi-lang-2018.pdf) | Nick | -| 2018-8-10 | Bidirectional Evaluation with Direct Manipulation (OOPSLA '18) | Mikaël | -| 2018-8-17 | — | — | -| 2018-8-24 | — | — | -| 2018-8-31 | — | — | -| 2018-9-7 | — | — | -| 2018-9-14 | Output-Directed SVG Programming (draft) | Brian | -| 2018-9-21 | Practice Talk Party ([ICFP](https://www.youtube.com/watch?v=F_0yKqb1uEA), [Elm Conf](https://www.youtube.com/watch?v=-TFL6E1uSHE), [Strange Loop](https://www.youtube.com/watch?v=UkDSL0U9ndQ), FHPC) | Cyrus, Ravi, Kavon | - -### Spring 2018 - -For the Spring 2018 term, we met on Tuesdays, 12:30pm-1:30pm in Eckhart 129. - -| Date | Paper | Leader | -|-----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|--------| -| 2018-4-10 | OOPSLA Draft | Cyrus | -| 2018-4-17 | [Contification using Dominators (ICFP '01)](https://www.cs.purdue.edu/homes/suresh/502-Fall2008/papers/contification.pdf) | Kavon | -| 2018-4-24 | Challenges in Higher-Order Superoptimization (presentation on possible thesis topic) | Kavon | -| 2018-5-1 | [Weird Machines, Exploitability, and Provable Unexploitability (IEEE TETC '17)](http://www.dullien.net/thomas/weird-machines-exploitability.pdf) | Joe | -| 2018-5-8 | [Tangible Functional Programming (IFCP '07)](http://conal.net/papers/Eros/eros.pdf) [(Google TechTalk Video)](https://www.youtube.com/watch?v=faJ8N0giqzw) | Brian | -| 2018-5-15 | Molecular Programming Overview; 1. [JoCaml Tutorial](https://sites.google.com/site/winitzki/tutorial-on-join-calculus-and-its-implementation-in-ocaml-jocaml) 2. [The Reflexive CHAM and the Join Calculus (POPL '96)](https://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p372-fournet.pdf) | Joe | -| 2018-5-22 | [Deuce: A Lightweight User Interface for Structured Editing (ICSE '18 Practice Talk)](https://arxiv.org/pdf/1707.00015) [(Demo Video)](https://www.youtube.com/watch?v=oJaRkyelA-8) [(Silent Demo of User Study Tasks)](https://www.youtube.com/watch?v=N5QcbCKm1I0) | Brian | - - -### Winter 2018 - -For the Winter 2018 term, we met on Tuesdays, 2pm-3pm in Eckhart 129. - -| Date | Paper | Leader | -|-----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|--------------| -| 2018-1-9 | [A Principled Approach to Ornamentation in ML (POPL '18)](https://hal.inria.fr/hal-01666104/file/ornaments-popl18-final.pdf) | Joe | -| 2018-1-16 | [Hazelnut: A Bidirectionally Typed Structure Editor Calculus (POPL '17)](https://arxiv.org/pdf/1607.04180.pdf) [(Demo)](http://hazel.org/) | Cyrus | -| 2018-1-23 | _Postponed by Illness_ | — | -| 2018-1-30 | [1ML – Core and Modules United (JFP '16)](https://people.mpi-sws.org/~rossberg/1ml/1ml-jfp-draft.pdf) | Brian | -| 2018-2-6 | [Every Bit Counts: The Binary Representation of Typed Data and Programs (JFP '12)](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.227.7529&rep=rep1&type=pdf) | Joe | -| 2018-2-13 | [The Next 700 Programming Languages (CACM '66)](https://dl.acm.org/citation.cfm?id=365257) & [Why Concatenative Programming Matters (Blog post '12)](https://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html) | Kartik & Joe | -| 2018-2-20 | Sketch-n-Sketch WIP Demo | Brian | -| 2018-2-27 | ICFP Drafts | Joe & Kavon | -| 2018-3-6 | ICFP Draft | Cyrus | - -### Fall 2017 - -For the Fall 2017 term, we met on Thursdays, 3pm-4pm in Ryerson 276. - -| Date | Paper | Leader | -|------------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|--------| -| 2017-11-09 | [Structured Asynchrony with Algebraic Effects (TyDe '17)](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/05/asynceffects-msr-tr-2017-21.pdf) [(Video)](https://www.youtube.com/watch?v=hrBq8R_kxI0) | Brian | -| 2017-11-16 | [Tracing Lazy Functional Computations Using Redex Trails (PLILP '97)](https://link.springer.com/content/pdf/10.1007%2FBFb0033851.pdf) | Brian | -| 2017-11-23 | _Thanksgiving_ | — | -| 2017-11-30 | [Type Directed Compilation of Row-Typed Algebraic Effects (POPL '17)](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/algeff.pdf) | Kavon | -| 2017-12-07 | — | — | -| 2017-12-14 | [Functional Programs That Explain Their Work (ICFP '12)](https://dl.acm.org/citation.cfm?id=2364579) [(Video)](https://www.youtube.com/watch?v=pqtqaL_ojpk) | Brian | - -### Spring 2017 - -Reading Group did not meet during the Spring 2017 term. The [Program Synthesis Seminar](https://www.classes.cs.uchicago.edu/archive/2017/spring/32001-1/) crowded it out. - -### Winter 2017 - -For the Winter 2017 term, we met on Fridays, 11:30-12:30pm in Ryerson 277. - -| Date | Paper | Leader | -|-----------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|--------| -| 2017-1-13 | [Polymorphism, Subtyping, and Type Inference in MLsub (POPL '17)](https://dl.acm.org/citation.cfm?id=3009882) [(ICFP '15 Video)](https://www.youtube.com/watch?v=E3PIKlsXOQo) | Brian | -| 2017-1-20 | [Compiling Without Continuations (In submission)](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/compiling-without-continuations.pdf) | Kavon | -| 2017-1-27 | [Learning Refinement Types (ICFP '15)](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/icfp_my_version.pdf) [(Video)](https://www.youtube.com/watch?v=fxuQYf7trtA) | Brian | -| 2017-2-03 | [Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT) (draft)](https://arxiv.org/pdf/1610.04641) | Brian | -| 2017-2-10 | — | — | -| 2017-2-17 | [Language primitives and type discipline for structured communication-based programming (ESOP '98)](https://link.springer.com/chapter/10.1007/BFb0053567) | Brian | -| 2017-2-24 | [Programming with Algebraic Effects and Handlers](http://arxiv.org/pdf/1203.1539v1) | Joe | -| 2017-3-03 | — | — | -| 2017-3-10 | — | — | -| 2017-3-17 | [Retrofitting Linear Types (In submission)](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf) | Joe | - -### Fall 2016 - -For the Fall 2016 term, we met on Fridays, 12:30pm-1:30pm in Ryerson 276. - -| Date | Paper | Leader | -|------------|------------------------------------------------------------------------------------------------------------------------------------|--------| -| 2016-10-14 | [Semi-Automated SVG Programming via Direct Manipulation](https://arxiv.org/pdf/1608.02829v1.pdf) | Brian | -| 2016-10-21 | [Automatic Generation of Peephole Superoptimizers](http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf) | Kavon | -| 2016-10-28 | [Dag-Calculus: A Calculus for Parallel Computation](http://www.chargueraud.org/research/2016/dag_calculus/dag_calculus_icfp16.pdf) | Kavon | -| 2016-11-04 | [A correspondence between rooted planar maps and normal planar lambda terms](http://arxiv.org/pdf/1408.5028v4) | Joe |