Trajectory-Aware Communication Solution for Underwater Gliders Using WHOI Micro-Modems. - Baozhi Chen; Patrick C. Hickey; Dario Pompili (SECON, 2010)

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)

Secure Automotive Software: The Next Steps. - Lee Pike; Jamey Sharp; Mark Tullsen; Patrick C. Hickey; James Bielman (IEEE Softw., 2017)