Project
log2
Log2 is a Cost-Aware Logging Mechanism for Performance Diagnosis. Following are details: Document Survey Mathematical deduction
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Skolemization Modulo Theories
Publication
Cooperative Cache Scrubbing
Publication
Computing with an SMT Solver
Video
Ziria: Wireless Programming for Hardware Dummies – Part 1
Software defined radios are a powerful tool for experimenting with wireless PHY and MAC layers. At the same time, they are a challenging programming environment, given tight timing constraints imposed. A student who wants to…
Event
Faculty Summit 2014
Leading academic researchers and educators joined Microsoft researchers and engineers to explore future technology trends that will define the twenty-first century at the fifteenth annual Microsoft Research Faculty Summit. Topics included computing devices and the…