Publications

  • A DSL embedded in Rust (Kyle Headley)[ACMDL,PDF] Published in IFL'18 proceedings
  • The Random Access Zipper: Simple, Purely-Functional Sequences (Kyle Headley, Matthew A. Hammer)[Arxiv,Springer,PDF] Published in TFP'16 proceedings
  • Incremental Computation with Names (Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn)[ACMDL,Arxiv,PDF] Published in OOPSLA'15 proceedings

Presentations

  • Visualizing Abstract Abstract Machines [YouTube] Presented at Scheme'19 Workshop with slides [PDF] (30 min)
  • Towards Pervasive Incremental Computing Presented at UAB CS Coloquium Dec'18 with slides [PDF] (45 min)
  • Embedding a DSL in Rust Presented at IFL'18 Symposium with slides [PDF] (20 min)
  • Speed and Simplicity for Incremental Sequence Computation Presented at PLDI'17 SRC with slides [PDF] (10 min)
  • Speed and Simplicity for Incremental Sequence Computation Presented at IC'17 with slides [PDF] (25 min)
  • The Random Access Zipper Presented at PLDI'16 SRC with slides [PDF] (10 min)
  • The Random Access Zipper: Simple, Purely-Functional Sequences Presented at TFP'16 with slides [PDF] (20 min)
  • Correct-by-Construction Interactive Software Presented at OBT'16 with slides [PDF] (20 min)
  • Sparse Adapton [YouTube] Presented at ICFP'15 SRC with slides [PDF] (8 min)

Posters

  • Using Rust's Type-level Language [PDF] Displayed at ICFP'18 SRC
  • IODyn: A High-level Language for Incremental Computation [PDF] Displayed at POPL'18 SRC
  • Speed and Simplicity for Incremental Sequence Computation [PDF] Displayed at PLDI'17 SRC
  • Random Access Zipper [PDF] Displayed at PLDI'16 SRC
  • Sparse Adapton [PDF] Displayed at ICFP'15 SRC

Abstracts

  • Extracting single-function CFGs from an AAM analysis [PDF] Submitted to ICFP'19 for the SRC (not selected to appear)
  • Using Rust's metalanguage as a DSL type checker [PDF] Accepted at ICFP'18 for the SRC
  • Simplifying incremental code with IODyn [PDF] Accepted at POPL'18 for the SRC
  • Tuning Data and Control Structures for Incremental Computation [IC,PDF] Accepted at IC'17 (with PLDI) for presentation (original submission [PDF])
  • Random Access Zipper [PDF] Accepted at PLDI'16 for the SRC
  • Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations [OBT,PDF] Accepted at OBT'16 for presentation
  • Space and Time Optimizations In Adapton [PDF] Accepted at ICFP'15 for the SRC