Welcome to our new PhD students, Josh and Max! Josh will be working with Pete, and Max will be working with Stavros and Cristina Nita-Rotaru.
Congrats to Drew, Ben Boskin, and Pete for the acceptance of their HCOMP paper Gamification of Loop-Invariant Discovery from Code!
Congrats to Peizun and Thomas on the acceptance of their CAV paper Verifying asynchronous event-driven programs using partial abstract transformers!
Congrats to Mitesh and Pete on the acceptance of their CAV paper Local and Compositional Reasoning for Optimized Reactive Systems!
- PhD (2018)
Refinement-Based Reasoning of Optimized Reactive Systems
- PhD (2018)
From the Approximate to the Exact: Solving Floating-Point Formulas via Proxy Theories
Harsh Raju Chamarthi
- PhD (2016)
Interactive Non-theorem Disproving
- PhD (2015)
Mathematical Programming Modulo Theories
- PhD (2010)
Adaptive Approximate State Storage
ACL2s : A powerful theorem prover.
CID: Confidentiality and Integrity of Deep Neural Networks : Protecting DNNs against attacks targeting the internal structure or the inference process
Compilation-Dependent Security Properties of Software : Detecting, fixing, and preventing information leaks (such as through side channels) introduced by security-ignorant compilers
Platform Dependencies of Floating-Point Programs : They give rise to inconsistencies across compilers and hardware. How much freedom should your compiler have?
Resource-Aware Program Verification using Observation Sequences : Analysis techniques for programs designed for variable amounts of some resource