Program
[Thu Jan 12, TFPIE] [Fri Jan 13, TFP Day 1] [Sat Jan 14, TFP Day 2] [Sun Jan 15, TFP Day 3]
Download all TFP abstracts (zip)
All times are Eastern (Boston) Time (EST) (UTC-5)
Thursday, January 12th - TFPIE
See the TFPIE 2023 site for the most up-to-date information.
| 09:30-9:55 | Breakfast | |
| 09:55-10:00 | Elena Machkasova | Welcome |
| Morning Session | chair: Peter Achten | |
| 10:00-10:30 | Brent Yorgey. Disco: A Functional Programming Language for Discrete Mathematics | |
| 10:30-11:00 | Nadine Karsten, Frederik Krogsdal Jacobsen, Uwe Nestmann Jørgen Villadsen. ProofBuddy: Acquiring Proof Competence with Friendly Assistance | |
| 11:00-11:30 | Coffee Break | |
| Keynote | chair: Marco Morazan | |
| 11:30-12:30 | Shriram Krishnamurthi. How to Plan Programs | |
| 12:30-14:00 | Lunch | |
| Afternoon Session 1 | chair: Jason Hemann | |
| 14:00-14:30 | Marco Morazan. Regular Expressions for Computer Science Students | |
| 14:30-15:00 | Enzo Alda. They Already Know the Syntax! | |
| 15:00-15:30 | Coffee Break | |
| Afternoon Session 2 | chair: Elena Machkasova | |
| 15:30-16:00 | Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck, Sibylle Schupp. How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks | |
| 16:00-16:30 | Rui Barata and Simão Melo-de-Sousa. Mastering Functional Programming, Algorithms and Data Structures in OCaml, at Your Disposal | |
| End of day |
Friday, January 13th - TFP (Day 1)
| 09:30-9:55 | Breakfast | |
| 09:55-10:00 | Stephen Chang | Welcome |
| 10:00-11:00 | Jay McCarthy Reach: A Language for DApp Development | Keynote |
| 11:00-11:30 | Coffee Break | |
| Morning Session | chair: Tiago Cogumbreiro | |
| 11:30-12:00 | Prashant Kumar, Martin Erwig. MatchMaker: A DSL for Game-Theoretic Matching Sharing in Embedded DSLs | |
| 12:00-12:30 | Joshua Schappel, Marco Morazan. The FSM Interface with Graphviz | |
| 12:30-14:00 | Lunch | |
| Afternoon Session 1 | chair: Jason Hemann | |
| 14:00-14:30 | Cameron Moy. Red-Black Trees Revisited | |
| 14:30-15:00 | Tim Nelson. Forge: Building a Pedagogic Solver Tool in Racket | |
| 15:00-15:30 | Coffee Break | |
| Afternoon Session 2 | chair: Jay McCarthy | |
| 15:30-16:00 | Andrew Marmaduke, Larry Diehl, Aaron Stump. Impredicative Encodings of Inductive-Inductive Data in Cedille (recorded) | |
| End of day |
Saturday, January 14th - TFP (Day 2)
| 09:30-10:00 | Breakfast | |
| 10:00-11:00 | Alley Stoughton Applying Cryptography’s Real/Ideal Paradigm to PL Security | Keynote |
| 11:00-11:30 | Coffee Break | |
| Morning Session | chair: Matteo Cimini | |
| 11:30-12:00 | Jason Hemann, Daniel Friedman. Some Criteria for Implementing Disjunction and Conjunction in Shallow microKanren Embeddings | |
| 12:00-12:30 | Udaya Sathiyamoorthy, Tiago Cogumbreiro. Verifying Static Analysis Tools | |
| 12:30-14:00 | Lunch | |
| 14:15-17:15 | Excursion | |
| 17:30-21:00 | Dinner Event | |
| End of day |
Sunday, January 15th - TFP (Day 3)
| 09:30-10:00 | Breakfast | |
| 10:00-11:00 | Norman Ramsey. A New Book on Programming Languages. Why? | Keynote |
| 11:00-11:30 | Coffee Break | |
| Morning Session | chair: Leif Andersen | |
| 11:30-12:00 | Enzo Alda. Towards an Operational Semantics for a Generalized Spreadsheet Core | |
| 12:00-12:30 | Sören Tempel, Tobias Brandt, Christoph Lüth. Versatile and Flexible Modelling of the RISC-V ISA | |
| 12:30-14:00 | Lunch | |
| Afternoon Session 1 | chair: Marco Morazan | |
| 14:00-14:30 | Matteo Cimini. Applying a Query Language to Querying Languages | |
| 14:30-15:00 | Ryan Culpepper. Fast, Composable Sequence Macros | |
| 15:00-15:30 | Coffee Break | |
| Afternoon Session 2 | chair: Stephen Chang | |
| 15:30-16:00 | Curtis D’Alves, Lucas Dutton, Steven Gonder, Christopher Anand. Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs | |
| End of Symposium |