Simons Institute Courses

Counterexample-Guided Inference of Modular Specifications

Explore an algorithm for automatically inferring function specifications in modular verification, enhancing compositional proofs and extending completeness to infinite specification sets.

• YouTube
• 28 minutes
• On-Demand
• Free Video

Proving Unrealizability - Verifying Infinitely Many Programs at Once

Explores techniques for verifying properties across infinite program sets, crucial for synthesis, partial code analysis, and self-modifying code. Discusses recent advancements in this challenging area of program verification.

• YouTube
• 37 minutes
• On-Demand
• Free Video

Tractable Representations for Boolean Functional Synthesis

Explore efficient techniques for synthesizing Boolean functions from relational specifications, focusing on structural properties and normal forms that enable tractable synthesis.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Automated Functional Synthesis: An Ideal Meeting Ground for Symbolic Reasoning and Machine Learning

Explores Manthan, a data-driven approach combining machine learning and symbolic reasoning to improve scalability in functional synthesis, viewing it as a classification problem.

• YouTube
• 34 minutes
• On-Demand
• Free Video

Circuit Minimization with QBF and SAT-Based Exact Synthesis

Innovative techniques for Boolean circuit optimization using QBF and SAT-based exact synthesis, focusing on gate reduction and efficient handling of "don't cares" to achieve record-breaking results.

• YouTube
• 44 minutes
• On-Demand
• Free Video

Ramsey Quantifiers in First-Order Logic - Complexity and Applications to Verification

Exploring Ramsey quantifiers in first-order logic, their complexity, and applications to verification, with focus on liveness and termination in infinite-state systems.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Distributed Controller Synthesis for Deadlock Avoidance

Explore advanced techniques for synthesizing distributed controllers to prevent deadlocks in complex systems, enhancing system reliability and performance.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Synthesizing Distributed Protocols from Global Session Types

Automata-theoretic approach to synthesizing distributed protocols from global session types, introducing a sound and complete projection operator for multiparty session types.

• YouTube
• 26 minutes
• On-Demand
• Free Video

On Partial-Order and Automata Techniques for Analyzing Communication

Explores verification and synthesis techniques for peer-to-peer and mailbox communication in concurrent programming, focusing on message-passing models and their applications in distributed systems.

• YouTube
• 36 minutes
• On-Demand
• Free Video

Lessons from Texas, COVID-19, and the 737 Max - Efficiency vs. Resilience

Exploring the critical balance between efficiency and resilience in computer science and economics, with insights from recent disasters and a call for prioritizing system robustness.

• YouTube
• 1 hour 34 minutes
• On-Demand
• Free Video

Evidence of Social Learning Across Symbolic Cultural Barriers in Sperm Whales

Explore social learning and symbolic cultural barriers in sperm whales, decoding their communication patterns and behaviors in this intriguing scientific presentation.

• YouTube
• 45 minutes
• On-Demand
• Free Video

AI as a Tool for Discovery in Animal Communication

Explore innovative AI applications for decoding animal communication, uncovering insights into nonhuman species' language and behavior.

• YouTube
• 53 minutes
• On-Demand
• Free Video

Towards Foundation Models for Graphs

Explore cutting-edge research on foundation models for graph data structures, examining their potential applications and implications for AI and machine learning.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

Bioacoustics and Machine Learning as Key Tools in Conservation

Explore how bioacoustics and machine learning revolutionize wildlife conservation, offering innovative solutions for monitoring and protecting endangered species.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Interpreting Emergent Communication in Nonhuman Species

Explore techniques for decoding and interpreting emergent communication patterns in non-human species, with insights from cutting-edge research and AI applications.

• YouTube
• 49 minutes
• On-Demand
• Free Video