Trevor Elliott

According to our database, Trevor Elliott authored at least 7 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Salty-A Domain Specific Language for GR(1) Specifications and Designs.

Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu

Proceedings of the International Conference on Robotics and Automation, 2019

2016

TrackOS: A Security-Aware Real-Time Operating System.

Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Guilt free ivory.

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Programming languages for high-assurance autonomous vehicles: extended abstract.

Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Building embedded systems with embedded DSLs.

Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion.

Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2010

Concurrent orchestration in Haskell.

John Launchbury, Trevor Elliott

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010