Programming languages and software engineering
Microsoft Research Blog
SPACER and Z3: Accessible, reliable model checking as theorem proving
“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field…
Video
Multiparty Computation Research @ TU Eindhoven: Secure Linear Algebra over the Rationals, and MPyC: Rapid-Prototyping MPC Computations in Python
In this talk I will cover two topics. I will present MPyC, an open-source Python framework for rapid prototyping of MPC protocols, which is being developed at TU Eindhoven. Also, I will present a new…
Publication
Simulation Algorithms for Symbolic Automata
Publication
Checked C: Making C Safe by Extension
Publication
Type variables in patterns
Video
DB lunch: Unifying Messaging, Queuing, Streaming & Light Weight Compute with Apache Pulsar
Data processing use cases, from transformation to analytics, perform tasks that require various combinations of queuing, streaming and lightweight processing steps. Until now, supporting all of those needs has required different systems for each task–stream…
Project
Neural Network Intelligence
NNI (Neural Network Intelligence) is a toolkit to help users run automated machine learning (AutoML) experiments. The tool dispatches and runs trial jobs generated by tuning algorithms to search the best neural architecture and/or hyper-parameters…
Publication