Practical Inlining of Functions with Free Variables. - Lars Bergstrom; Matthew Fluet; John H. Reppy; Nora Sandler (CoRR, 2013)

Practical and effective higher-order optimizations. - Lars Bergstrom; Matthew Fluet; Matthew Le 001; John H. Reppy; Nora Sandler (ICFP, 2014)

Manylogs: Improved CMR/SMR disk bandwidth and faster durability with scattered logs. - Tiratat Patana-anake; Vincentius Martin; Nora Sandler; Cheng Wu; Haryadi S. Gunawi (MSST, 2016)