?
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
2
C2TACO: Lifting Tensor Code to TACO:
, In:
?
2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) ,
4
mlirSynth: Automatic, Retargetable Program Raising in Multi..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
6
Satisfiability and Synthesis Modulo Oracles:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science ,
9
MedleySolver: Online SMT Algorithm Selection:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
10
Using model checking tools to triage the severity of securi..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Counterexample Guided Inductive Synthesis Modulo Theories:
, In:
?
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering ,
13