微软研究院
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The constant-time programming discipline is an effective countermeasure against timing and cache-timing attacks, which can lead to complete breaks of otherwise secure systems. However, adhering to it is hard, especially under additional efficienty and legacy…
Automata is a .NET library that provides algorithms for composing and analyzing regular expressions, automata, and transducers. In addition to classical word automata, it also includes algorithms for analysis of tree automata and tree transducers.…
In the first half of this talk, we ask the following question: Can we learn if we start with zero examples, either labeled or unlabeled? This scenario arises in new user-facing systems (such as virtual…
Intelligent Personal Assistant and its Implication on Future Warehouse Scale Computers Lingjia Tang, University of Michigan-Ann Arbor
8:30am Welcome Kathryn S. Mckinley, Microsoft Research 8:40am Killer Microseconds and the Tail at Scale Thomas Wenisch, University of Michigan Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMA Boris Grot, University of Edinburgh
This workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort between academia and industry with…
