Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Demo of an 802.11a/g sniffer implemented in Ziria
This demo shows an 802.11a/g sniffer implemented in Ziria. We have implemented a standard-compliant 802.11a/g transceiver in Ziria and we have deployed it to eavesdrop 802.11a/g packets in channel 1. We have configured a Netgear…
Probabilistic programming goes large scale: From reducing email clutter to any machine learning task
Posted by George Thomas Jr. How is it you seem to be spending more and more time every day sifting through and prioritizing email messages? According to research by The Radicati Group, Inc., the legitimate…
Systems | India
Systems work at MSR India covers a broad spectrum of areas ranging from program verification, programming languages and tools, distributed systems, networking and security. We are interested in both building real world systems and studying…