Concurrent orchestration in Haskell. - John Launchbury; Trevor Elliott (Haskell, 2010)

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. - Tristan Ravitch; E. Rogan Creswick; Aaron Tomb; Adam Foltzer; Trevor Elliott; Ledah Casburn (PPREW@ACSAC, 2014)

Building embedded systems with embedded DSLs. - Patrick C. Hickey; Lee Pike; Trevor Elliott; James Bielman; John Launchbury (ICFP, 2014)

Programming languages for high-assurance autonomous vehicles: extended abstract. - Lee Pike; Patrick C. Hickey; James Bielman; Trevor Elliott; Thomas DuBuisson; John Launchbury (PLPV, 2014)

Guilt free ivory. - Trevor Elliott; Lee Pike; Simon Winwood; Patrick C. Hickey; James Bielman; Jamey Sharp; Eric L. Seidel; John Launchbury (Haskell, 2015)

TrackOS: A Security-Aware Real-Time Operating System. - Lee Pike; Patrick C. Hickey; Trevor Elliott; Eric Mertens; Aaron Tomb (RV, 2016)

Salty-A Domain Specific Language for GR(1) Specifications and Designs. - Trevor Elliott; Mohammed Alshiekh; Laura R. Humphrey; Lee Pike; Ufuk Topcu (ICRA, 2019)