A backlog of news! Take a look at all the cool things we have done recently.

A non-exhaustive list of cool things members of the madPL group have accomplished in the past year or so. Congratulations to everyone!

Papers

• On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks
  Zi Wang, Bin Hu, Aaron J Havens, Alexandre Araujo, Yang Zheng, Yudong Chen, Somesh Jha
  ICLR’24
• Computationally Bounded Robust Compilation and Universally Composable Security
  Robert Künnemann, Marco Patrignani, Ethan Cecchetti
  CSF’24
• Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
  Keith J. C. Johnson, Rahul Krishnan, Thomas Reps, Loris D’Antoni
  OOPSLA’24
• Synthesizing Formal Semantics from Executable Interpreters
  Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, Loris D’Antoni
  OOPSLA’24
• Universal Composability Is Robust Compilation
  Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti
  TOPLAS’24
• Optimizing Quantum Circuits, Fast and Slow
  Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
  ASPLOS’25
• Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks
  Zi Wang, Divyam Anshumaan, Ashish Hooda, Yudong Chen, Somesh Jha
  ICLR’25
• Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
  Anna P. Meyer, Yea-Seul Kim, Aws Albarghouthi, Loris D’Antoni
  CHI’25
• Verifying Solutions to Semantics-Guided Synthesis Problems
  Charlie Murphy, Keith Johnson, Thomas Reps, Loris D’Antoni
  PLDI’25
• Checking Observational Correctness of Database Systems
  Lauren Pick, Amanda Xu, Ankush Desai, Sanjit Seshia, Aws Albarghouthi
  OOPSLA’25
• Dependency-Aware Compilation for Surface Code Quantum Architectures
  Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
  OOPSLA’25

Workshops/Tutorials

• Rahul Krishnan’s workshop paper Leveraging Duality for Programming with zkSNARKs was accepted to PriSC’25 (colocated with POPL’25)!
• Abtin Molavi and Amanda Xu are co-organizing a tutorial on compiling quantum circuits at ASPLOS’25!
• Gabe Orlanski is co-organizing The Third Deep Learning for Code Workshop (colocated with ICLR’25)!

Talks

• Anna Meyer gave a presentation about dataset multiplicity at the INFORMS Annual Meeting!
• Aws Albarghouthi gave a talk at PLMW@PLDI’24 about his scientific journey!

Defenses

• Yuhao Zhang successfully passed his Ph.D dissertation defense in April 2024!