08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf

Boston Computation Club
17/08/2024 52 min

Listen "08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf"

Descargar episodio Ver en sitio original

Episode Synopsis

Derek Egolf is a PhD student (since 2021) at Northeastern University, advised by Stavros Tripakis. His primary research focus is the automatic generation of correct-by-construction systems from high-level specifications (synthesis). Today Derek talked about his recent paper in this vein, Efficient Synthesis of Symbolic Distributed Protocols by Sketching, to appear in FMCAD. This was a very interesting talk with a technical conversation afterword. We hope you enjoy it as much as we did!

More episodes of the podcast Boston Computation Club

Infecting Generative AI with Viruses - David A. Noever and Forrest McKee 15/09/2025
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng 15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang 02/08/2025
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler 25/07/2025
06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos 22/06/2025
06/13/25: Gradual Verification with Jenna DiVincenzo 14/06/2025
05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman 08/05/2025
04/18/25: Descriptive Complexity with Ramit Das 19/04/2025
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker 05/04/2025
04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer 05/04/2025
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA