Programming languages and software engineering
Tool
Learning to Represent Programs with Graphs Dataset – ICLR 2018
This download contains the graphs (parsed source code) for the open-source projects used in the ICLR 2018 paper “Learning to Represent Programs with Graphs”. In this work, we present how to construct graphs from source…
Publication
RESTler: Automatic Intelligent REST API Fuzzing
Tool
TrustedCloud compiler
This release contains a fork of the LLVM/Clang compiler. It adds instrumentation capabilities to protect sensitive data from leaking outside the scope of an application in an undesirable fashion, even if the program may have…
Publication
Test Data Generation for Database Applications
Video
Chakra: from Script to Optimized Code
By some accounts, JavaScript is the most popular programming language in the world. Yet, it’s also not a language that was designed with fast performance in mind. The Chakra team embarked on a journey to…
Microsoft Research Blog
Four Big Bets For Better AI Research: A Personal Journey
It’s a big shift to change from being motivated by getting published in prestigious conferences and journals, to being motivated by solving real problems for real people. Halfway through my 18-year research career working on…
Video
FlashMeta: A Framework for Inductive Program Synthesis
Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with disruptive applications for automating repetitive tasks in end-user programming. However, designing, developing, and maintaining an effective industrial-quality inductive synthesizer is an intellectual and engineering challenge, requiring…