Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 1)

July 1, 2009
Sumit Gulwani, Microsoft

- Sumit Gulwani
  
  Distinguished Scientist and Vice President
Research Area
- Algorithms
Project
- SPEED (Symbolic Resource Time/Space Bounds Analysis)
Publication
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)

Watch Next

MindJourney: Test-Time Scaling with World Models for Spatial Reasoning
August 12, 2025
Reuben Tan
VeriTrail: Detect hallucination and trace provenance in AI workflows
August 5, 2025
Dasha Metropolitansky
Computational models for brain science
July 24, 2025
Brokoslaw Laschowski
VoluMe: Authentic 3D Video Calls from Live Gaussian Splat Prediction
July 11, 2025
Antonio Criminisi,

Charlie Hewitt,

Marek Kowalski (HE/HIM)
GenAI for Supply Chain Management: Present and Future
February 14, 2025
Georg Glantschnig,

Beibin Li,

Konstantina Mellou

, et. al.
Using Optimization and LLMs to Enhance Cloud Supply Chain Operations
December 2, 2024
Beibin Li,

Konstantina Mellou,

Ishai Menache

, et. al.
AI for Business Transformation: Lessons from Healthcare
September 3, 2024
Gretchen Huizinga,

Peter Lee,

Vijay Mital
AI for Business Transformation: Multimodal Models
September 3, 2024
Gretchen Huizinga,

Peter Lee,

Vijay Mital
AI for Business Transformation: The Business of Data
September 3, 2024
Gretchen Huizinga,

Peter Lee,

Vijay Mital
Medical Bayesian Kiosk (2010)
January 1, 2010
Dan Bohus,

Eric Horvitz