Trevor Elliott

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 3

Top Topics

Operating System

Programming Language

Security Analysis

Extended Abstract

Top Venues

Publications

Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
Salty-A Domain Specific Language for GR(1) Specifications and Designs. ICRA (2019)
Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
TrackOS: A Security-Aware Real-Time Operating System. RV (2016)
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
Guilt free ivory. Haskell (2015)
Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn
Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. PPREW@ACSAC (2014)
Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury
Building embedded systems with embedded DSLs. ICFP (2014)
Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury
Programming languages for high-assurance autonomous vehicles: extended abstract. PLPV (2014)
John Launchbury, Trevor Elliott
Concurrent orchestration in Haskell. Haskell (2010)