research
∙
05/30/2023
Colored E-Graph: Equality Reasoning with Conditions
E-graphs are a prominent data structure that has been increasing in popu...
share
research
∙
04/25/2023
Hyperproperty Verification as CHC Satisfiability
Hyperproperties govern the behavior of a system or systems across multip...
research
∙
12/13/2022
SMT Sampling via Model-Guided Approximation
We investigate the domain of satisfiable formulas in satisfiability modu...
research
∙
11/14/2022
Securing Access to Untrusted Services From TEEs with GateKeeper
Applications running in Trusted Execution Environments (TEEs) commonly u...
research
∙
11/02/2022
AmiGo: Computational Design of Amigurumi Crochet Patterns
We propose an approach for generating crochet instructions (patterns) fr...
research
∙
06/02/2021
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Automatic verification of array manipulating programs is a challenging p...
research
∙
09/10/2020