Lee Pike

According to our database, Lee Pike authored at least 38 papers between 2004 and 2024.

Collaborative distances:

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

2024

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2022

Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar.

Yaojie Hu, Xingjian Shi, Qiang Zhou, Lee Pike

CoRR, 2022

Input splitting for cloud-based static application security testing platforms.

Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

RAPID: checking API usage for the cloud in the cloud.

Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

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

2018

Language for Unified Verification and Implementation for Distributed Avionics.

Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall

J. Aerosp. Inf. Syst., November, 2018

A Formal Approach to Constructing Secure Air Vehicle Software.

Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart

Computer, 2018

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.

Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Secure Automotive Software: The Next Steps.

Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman

IEEE Softw., 2017

Modular Model-Checking of a Byzantine Fault-Tolerant Protocol.

Benjamin F. Jones, Lee Pike

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Lock Optimization for Hoare Monitors in Real-Time Systems.

Georges-Axel Jaloyan, Lee Pike

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Wireless communications, networking, and positioning with unmanned aerial vehicles [Guest Editorial].

Ismail Güvenç, Walid Saad, Mehdi Bennis, Christian Wietfeld, Ming Ding, Lee Pike

IEEE Commun. Mag., 2016

Hints for High-Assurance Cyber-Physical System Design.

Lee Pike

Proceedings of the IEEE Cybersecurity Development, 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

Model Checking Distributed Mandatory Access Control Policies.

Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker

ACM Trans. Inf. Syst. Secur., 2015

Assuring the Guardians.

Jonathan Laurent, Alwyn Goodloe, Lee Pike

Proceedings of the Runtime Verification - 6th International Conference, 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

SmartCheck: automatic and efficient counterexample reduction and generalization.

Lee Pike

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

Copilot: monitoring embedded systems.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Innov. Syst. Softw. Eng., 2013

Keynote talk I: Building a high-assurance unpiloted air vehicle.

Lee Pike

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2012

Experience report: a do-it-yourself high-assurance compiler.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Automated verification and refinement for physical-layer protocols.

Geoffrey M. Brown, Lee Pike

Formal Aspects Comput., 2011

Runtime Verification for Ultra-Critical Systems.

Lee Pike, Sebastian Niller, Nis Wegmann

Proceedings of the Runtime Verification - Second International Conference, 2011

Practical Considerations in Control-Flow Integrity Monitoring.

Iavor S. Diatchki, Lee Pike, Levent Erkök

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Pervasive formal verification in control system design.

Lee Pike

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Copilot: A Hard Real-Time Runtime Monitor.

Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Roll your own test bed for embedded real-time protocols: a haskell experience.

Lee Pike, Geoffrey M. Brown, Alwyn Goodloe

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2007

Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.

Geoffrey M. Brown, Lee Pike

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules.

Lee Pike

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'.

Lee Pike

IEEE Trans. Software Eng., 2006

Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.

Geoffrey M. Brown, Lee Pike

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

A verifying core for a cryptographic language compiler.

Lee Pike, Mark Shields, John Matthews

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

The formal verification of a reintegration protocol.

Lee Pike, Steven D. Johnson

Proceedings of the EMSOFT 2005, 2005

2004

Logics for Classes of Boolean Monoids.

Gerard Allwein, Hilmi Demir, Lee Pike

J. Log. Lang. Inf., 2004

Abstractions for Fault-Tolerant Distributed System Verification.

Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Unified Fault-Tolerance Protocol.

Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon

Proceedings of the Formal Techniques, 2004