Boston Computation Club

Por: Max von Hippel
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.
78 episodios disponibles

Latest 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
03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski 08/03/2025
01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett 10/01/2025
01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye 10/01/2025
11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi 01/12/2024
11/17/24: When Static Analysis Meets Large Language Models with Chengpeng Wang 18/11/2024
10/05/24: Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem with Harry Eldridge 06/10/2024
09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking 28/09/2024
09/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud 07/09/2024
08/25/24: An Introduction to Lurk with Matej Panciak 25/08/2024
08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf 17/08/2024
1 2 3 4 Siguiente › Última »
© 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