SPLASH 2024 (series) / Loris D'Antoni
Not registered as user yet
Name:Loris D'Antoni
Affiliation:University of Wisconsin-Madison
Contributions
2024
SPLASH
- Automatically Reducing Privilege for Access Control Policies
- Synthesizing Formal Semantics from Executable Interpreters
- Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
- Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
Using general profile