Programming languages and software engineering
Publication
OASIS: ILP-Guided Synthesis of Loop Invariants
Podcast
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani
Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. Gulwani is a leading researcher in program synthesis and the inventor of…
Video
Specification and Verification of Multi-Paxos
A critical problem in distributed systems is distributed consensus—a set of servers aiming to agree on a single value or a continuing sequence of values, called single-value consensus or multi-value consensus, respectively. It is essential…
Video
Checkpointing the Un-checkpointable: the Split-Process Approach for MPI and Formal Verification
Checkpointing is the ability to save the state of a running process to stable storage, and later restart, perhaps on a different computer. Transparent checkpointing (or system-level checkpointing) is the ability to checkpoint a (possibly…
Podcast
Hacking the runway with MakeCode with Dr. Thomas Ball and Dr. Teddy Seyed
Computer programming has often been perceived as the exclusive domain of computer scientists and software engineers. But that’s changing, thanks to the work of people like Dr. Thomas Ball, a Partner Researcher in the RiSE…
