Quantum Circuits: From a Network to a One-Way Model. - Larisse Voufo (QPL/DCM@ICALP, 2008)

ConceptClang: an implementation of C++ concepts in Clang. - Larisse Voufo; Marcin Zalewski; Andrew Lumsdaine (WGP@ICFP, 2011)

Scoping rules on a platter: a framework for understanding and specifying name binding. - Larisse Voufo; Marcin Zalewski; Andrew Lumsdaine (WGP@ICFP, 2014)