Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Neural-Guided Deductive Search: A best of both worlds approach to program synthesis
Program synthesis — automatically generating a program that satisfies a given specification — is a major challenge in AI. In addition to changing the way we design software, it has the potential to revolutionize task…
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…
RESTler: Automatic Intelligent REST API Fuzzing
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…