Formal Specification and Verification of Secure Information Flow for Hardware Platforms
Kevin Cheang [2023]

Simulation-Based Testing, Validation, and Training with Probabilistic Programming
Edward Kim [2023]

Specifications from Demonstrations: Learning, Teaching, and Control
Marcell Vazquez-Chanlatte [2022]

Learning and Logic for Formal Synthesis
Benjamin Caulfield [2021]

Neural Guidance in Constraint Solvers
Gil Lederman [2021]

Constructive Formal Control Synthesis through Abstraction and Decomposition
Eric Kim [2019]

Modular and Safe Event-Driven Programming
Ankush Desai [2019]

Oracle-Guided Design and Analysis of Learning-Based Cyber-Physical Systems
Shromona Ghosh [2019]

Algorithmic Improvisation
Daniel J. Fremont [2019]

Safe and Interactive Autonomy: Control, Learning, and Verification
Dorsa Sadigh [2017]

Secure Computing using Certified Software and Trusted Hardware
Rohit Sinha [2017]

Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks
Daniel Holcomb [2013]

Specification Mining: New Formalisms, Algorithms and Applications
Wenchao Li [2013]

Automatic Term-Level Abstraction
Bryan Brady [2011]

Towards Automated System Synthesis Using SCIDUCTION
Susmit Kumar Jha [2011]