Programming languages and software engineering
Project
Automata
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.…
Video
Learning from Zero, but Not Starting From Zero with CodaLab Worksheets
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…
Video
System Design for Cloud Services – Part 2
Intelligent Personal Assistant and its Implication on Future Warehouse Scale Computers Lingjia Tang, University of Michigan-Ann Arbor
Video
System Design for Cloud Services – Part 1
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
Event
Safe Autonomous Cyber Physical Systems Workshop 2016
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…
Video
Faculty Summit 2016 – Building Practical Verified Systems
Mobile and cloud app ecosystems are growing at a tremendous pace. Today, there are hundreds of thousands of developers building cloud apps and cloud-backed mobile apps. Unlike traditional software, these apps are typically run in…
