Talks
- [Kavon @ PLDI 2020 (June)] From Folklore to Fact: Comparing Implementations of Stacks and Continuations
- [Kartik @ QPL 2020 (June)] Quantum Hoare Type Theory (more)
- [Kartik @ POPL 2020 SRC] Hoare Types for Quantum Programming Languages (more)
- [Kartik @ PLanQC 2020] Verified Translation Between Low-Level Quantum Languages (more)
- [Justin @ PLATEAU 2019] Type-Directed Transformations for the Working Functional Programmer
- [Brian @ UIST 2019] Output-Directed Programming for SVG (slides)
- [Justin @ MWPLS 2019] Program Synthesis with Live Bidirectional Evaluation (slides)
- [Nick @ MWPLS 2019] Dictionaries with Deduplicated Keys in Proof Assistants
- [Brian @ MWPLS 2019] Output-Directed Programming for SVG
- [Cyrus @ TyDe 2019] Livelits: Filling Typed Holes with Live GUIs
- [Mikaël @ Bx 2019] A Bidirectional Krivine Evaluator
- [Mikaël @ GCASR 2019] Bidirectional Web Programming in Sketch-n-Sketch
- [Cyrus @ POPL 2019] Live Functional Programming with Typed Holes
- [Mikaël @ OOPSLA 2018] Bidirectional Evaluation with Direct Manipulation
- [Brian @ LIVE 2018] SVG Programming by Direct Manipulation of Intermediates
- [Cyrus @ LIVE 2018] Live and Direct Functional Programming with Holes
- [Ravi @ PLATEAU 2018] Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three Ideas
- [Justin @ SPLASH 2018 SRC] Approximating Polymorphic Effects with Capabilities
- [Justin @ MWPLS 2018] Approximating Polymorphic Effects with Capabilities
- [Cyrus @ MWPLS 2018] Live and Direct Functional Programming with Typed Holes
- [Cyrus @ Strange Loop 2018] Hazel: A Live Functional Programming Environment with Typed Holes
- [Ravi @ elm-conf 2018] Structured Editing for Elm* in Elm
- [Sketch-n-Sketch Team @ ICFP 2018 Tutorials] Direct Manipulation Programming in Sketch-n-Sketch
- [Joe @ FHPC 2018] Optimizing Data Parallelism with Linear Programming in Nessie
- [Kavon @ FHPC 2018] Comparing Strategies for Lightweight Threading Based on Continuations
- [Charles @ OCaml 2018] Relit: Implementing Typed Literal Macros in Reason
- [Cyrus @ ICFP 2018] Reasonably Programmable Literal Notation
- [Brian @ ICSE 2018] Deuce: A Lightweight UI for Structured Editing
- [Charisee @ FEniCS'18] Designing a Compiler to Visualize FEM
- [Charisee @ Dagstuhl] Rewriting with an Index-Based Intermediate Representation
- [Charisee] Addressing Domain-Specific Computational Needs with a New Programming Language
- [Charisee @ MWPLS 2017] Developing a DSL to Visualize Finite Element Data
- [Cyrus @ MWPLS 2017] Live Functional Programming with Typed Holes
- [Brian @ MWPLS 2017] Demo: Direct Manipulation SVG Program Synthesis
- [Ravi @ SPLASH-I 2017] Direct Manipulation Programming Systems
- [Brian @ LIVE 2017] Lightning Demo: Direct Manipulation Program Synthesis
- [Cyrus @ LIVE 2017] Toward a Live Stepper for Typed Expressions with Holes
- [Charisee @ MWPLS 2016] Compiling and Testing a DSL for Tensor Calculus
- [Kavon @ MWPLS 2016] Practical Conversion from CPS to Direct Style
- [Brian @ MWPLS 2016] Semi-Automated SVG Programming via Direct Manipulation
- [Brian @ UIST 2016] Semi-Automated SVG Programming via Direct Manipulation (video)
- [Kavon @ ML 2016] Compiling with Continuations and LLVM
- [Ravi @ Strange Loop 2016] Sketch-n-Sketch: Interactive SVG Programming with Direct Manipulation
- [Brian @ PLDI 2016] Programmatic and Direct Manipulation, Together at Last (video)
- [Ravi @ ICSE 2016] Prodirect Manipulation: Bidirectional Programming for the Masses
- [Ravi @ PADL 2016] Program Synthesis for Direct Manipulation Interfaces
- [Ravi @ MWPLS 2015] Program Synthesis for Direct Manipulation Interfaces
- [John @ MWPLS 2015] Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization
- [Lamont @ AGERE 2015] Bulk-Synchronous Communication Mechanisms in Diderot
- [Dave @ ML 2015] The History of Standard ML: Ideas, Principles, Culture
- [Izaak @ ICFP SRC 2015] Synthesis with String Diagrams in Haskell (+ Poster)
- [Ravi @ ESOP 2015] IsoLate: A Type System for Self-Recursion
- [John @ CPC 2015] Bulk-Synchronous Communication Mechanisms in Diderot
- [John @ CPC 2015] Nessie: A NESL to CUDA Compiler
- [John @ ML 2014] SML3d: 3D Graphics for Standard ML
- [Lars @ ICFP 2014] Practical and Effective Higher-Order Optimizations
- [Ravi @ ML 2013] A Fix for Dynamic Scope
- [Ravi @ UCSD 2013] Nested Refinement Types for JavaScript