Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Synopsis: In the rapidly evolving world of AI, measuring developer productivity and experience requires more than just tracking output—it demands a holistic approach that captures the multifaceted nature of engineering work while keeping the focus…
Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at…
New Research | FLASH: Workflow automation agent for diagnosing recurring incidents; METAREFLECTION: Learning instructions for language agents using past reflections; Boosting LLM training efficiency through faster communication between GPUs; and more.
