Trevor Elliott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICRA | Salty-A Domain Specific Language for GR(1) Specifications and Designs. | Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu |
| 2016 | RV | TrackOS: A Security-Aware Real-Time Operating System. | Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb |
| 2015 | HASKELL | Guilt free ivory. | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
| 2014 | ACSAC | Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. | Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn |
| 2014 | ICFP | Building embedded systems with embedded DSLs. | Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury |
| 2010 | HASKELL | Concurrent orchestration in Haskell. | John Launchbury, Trevor Elliott |