conf.researchr.org / Loris D'Antoni
Not registered as user
Name:Loris D'Antoni
Affiliation:University of Wisconsin-Madison
Contributions
2024
SPLASH
- Author of Automatically Reducing Privilege for Access Control Policies within the OOPSLA 2024-track
- Author of Synthesizing Formal Semantics from Executable Interpreters within the OOPSLA 2024-track
- Author of Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics within the OOPSLA 2024-track
- Author of Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs within the OOPSLA 2024-track