LFSC for SMT Proofs: Work in Progress. - Aaron Stump; Andrew Reynolds 001; Cesare Tinelli; Austin Laugesen; Harley Eades III; Corey Oliver; Ruoyu Zhang (PxTP, 2012)

CSense: a stream-processing toolkit for robust and high-rate mobile sensing applications. - Farley Lai; Syed Shabih Hasan; Austin Laugesen; Octav Chipara (IPSN, 2014)