| 2014 | Building embedded systems with embedded DSLs. | Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury |
| 2014 | Size slicing: a hybrid approach to size inference in futhark. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2014 | Pension reserve computations on GPUs. | Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen |
| 2014 | Group communication patterns for high performance computing in scala. | Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp |
| 2014 | Worker/wrapper/makes it/faster. | Jennifer Hackett, Graham Hutton |
| 2014 | Maximal sharing in the Lambda calculus with letrec. | Clemens Grabmayer, Jan Rochel |
| 2014 | Folding domain-specific languages: deep and shallow embeddings (functional Pearl). | Jeremy Gibbons, Nicolas Wu |
| 2014 | Krivine nets: a semantic foundation for distributed execution. | Olle Fredriksson, Dan R. Ghica |
| 2014 | An efficient representation for lazy constructors using 64-bit pointers. | Georgios Fourtounis, Nikolaos Papaspyrou |
| 2014 | Using formal methods to enable more secure vehicles: DARPA's HACMS program. | Kathleen Fisher |
| 2014 | Behavioral software contracts. | Robert Bruce Findler |
| 2014 | [Demo abstract] Scripthica: a web environment for collective algorithmic composition. | Gabriel Alejandro Sanchez Fernandez |
| 2014 | Parallel computation of multifield topology: experience of Haskell in a computational science application. | David J. Duke, Fouzhan Hosseini, Hamish A. Carr |
| 2014 | Compositional semantics for composable continuations: from abortive to delimited control. | Paul Downen, Zena M. Ariola |
| 2014 | Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. | Larry Diehl, Tim Sheard |
| 2014 | Pattern matching without K. | Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2014 | Functional programming for dynamic and large data with self-adjusting computation. | Yan Chen, Umut A. Acar, Kanat Tangwongsan |
| 2014 | LiveCodeLab 2.0 and its language LiveCodeLang. | Davide Della Casa, Guy John |
| 2014 | Safe zero-cost coercions for Haskell. | Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | Practical and effective higher-order optimizations. | Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler |
| 2014 | Composing and decomposing data types: a closed type families implementation of data types la carte. | Patrick Bahr |
| 2014 | Homotopical patch theory. | Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper |
| 2014 | Distilling abstract machines. | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
| 2014 | Temporal semantics for a live coding language. | Samuel Aaron, Dominic A. Orchard, Alan F. Blackwell |
| 2014 | Type-based parametric analysis of program families. | Sheng Chen, Martin Erwig |