| Reproducible Containers | 1 | 0.35 | 2020 |
| Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. | 0 | 0.34 | 2019 |
| LoCal: a language for programs operating on serialized data | 0 | 0.34 | 2019 |
| Sound, fine-grained traversal fusion for heterogeneous trees | 0 | 0.34 | 2019 |
| Generic and flexible defaults for verified, law-abiding type-class instances. | 0 | 0.34 | 2019 |
| Refinement reflection: complete verification with SMT | 6 | 0.57 | 2018 |
| Ghostbuster: A tool for simplifying and converting GADTs. | 0 | 0.34 | 2018 |
| Linear Haskell: practical linearity in a higher-order polymorphic language | 3 | 0.56 | 2018 |
| Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. | 1 | 0.36 | 2017 |
| Monadic composition for deterministic, parallel batch processing | 0 | 0.34 | 2017 |
| Instruction punning: lightweight instrumentation for x86-64. | 0 | 0.34 | 2017 |
| SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. | 2 | 0.36 | 2017 |
| Deriving Law-Abiding Instances. | 0 | 0.34 | 2017 |
| Living on the edge: rapid-toggling probes with cross-modification on x86. | 0 | 0.34 | 2016 |
| Ghostbuster: a tool for simplifying and converting GADTs. | 0 | 0.34 | 2016 |
| A language for hierarchical data parallel design-space exploration on GPUs. | 2 | 0.39 | 2016 |
| Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs | 0 | 0.34 | 2015 |
| Adaptive lock-free maps: purely-functional to scalable | 4 | 0.43 | 2015 |
| Meta-programming and auto-tuning in the search for high performance GPU code | 1 | 0.35 | 2015 |
| Type-safe runtime code generation: accelerate to LLVM | 4 | 0.43 | 2015 |
| Efficient communication and collection with compact normal forms | 1 | 0.35 | 2015 |
| Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++ | 2 | 0.37 | 2015 |
| Design Exploration through Code-generating DSLs | 6 | 0.45 | 2014 |
| A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud | 8 | 0.49 | 2012 |
| A monad for deterministic parallelism | 53 | 1.61 | 2011 |
| Experience report: embedded, parallel computer-vision with a functional DSL | 1 | 0.40 | 2009 |
| Wishbone: profile-based partitioning for sensornet applications | 53 | 4.81 | 2009 |
| XStream: a Signal-Oriented Data Stream Management System | 23 | 3.29 | 2008 |
| VoxNet: An Interactive, Rapidly-Deployable Acoustic Monitoring Platform | 21 | 2.68 | 2008 |
| The pothole patrol: using a mobile sensor network for road surface monitoring | 348 | 23.81 | 2008 |
| The regiment macroprogramming system | 79 | 6.29 | 2007 |
| The Case for a Signal-Oriented Data Stream Management System | 26 | 2.93 | 2007 |
| Sensor network programming with Flask | 3 | 0.38 | 2007 |
| WaveScope: a signal-oriented data stream management system | 8 | 1.71 | 2006 |
| Building up to macroprogramming: an intermediate language for sensor networks | 26 | 1.95 | 2005 |
| Region streams: functional macroprogramming for sensor networks | 120 | 11.75 | 2004 |
