Sasa Misailovic

Sasa Misailovic is an Associate Professor at the Siebel School of Computing and Data Science, University of Illinois at Urbana-Champaign. He earned his PhD from MIT in Summer 2015 and was promoted to tenured Associate Professor in 2022. His research focuses on programming languages, compilers, software engineering, and formal verification, particularly for improving performance, energy efficiency, and resilience in systems with approximation or probabilistic components.

• PhD: MIT, Summer 2015

His work spans probabilistic programming, LLMs, and compiler design for approximate/hardware-aware systems. Recent publications highlight trends in structured LLM generation (Syncode, IterGen), static analysis for automatic differentiation, and verification of neural networks. He has received the NSF CAREER Award and multiple Best Paper Awards (OOPSLA '13, '14).

Notable graduates include Jacob Laurel (Georgia Tech), Zixin Huang (NVIDIA), Keyur Joshi (Google), Saikat Dutta (Cornell), and Vimuth Fernando (Amazon AWS). Current projects include the StructuredLLM initiative with papers accepted at ICLR'25, ICML'25, and TMLR'25.

• NSF CAREER Award
• Best Paper OOPSLA '14, '13
• SIGPLAN Research Highlight
• Test-of-Time SEAMS '15
• Distinguished Paper ICSE NIER '20

He leads tools like AxProf, ProbFuzz, HPVM, and Syncode. His teaching includes advanced compiler courses and topics in approximate/probabilistic programming.