Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Rats is a collection of tools to help researchers define and run experiments. It is designed to be a modular and extensible framework currently supporting building and running pipelines, integrating configs and services.
Node Engine is a Python service that executes a computational flow. It is designed for rapid prototyping of services and applications, e.g. used as a chatbot service in a larger system. Each call to the service…
Partner Research Manager and developer experience expert Nicole Forsgren talks about the future of software engineering with AI, why she loves tech, and her reliance on a spreadsheet and her gut when making career-changing decisions.
Official code release of our EMNLP 2023 work NeuralInvariantRanker (opens in new tab). We have designed a ranker that can distinguish between correct inductive invariants and incorrect attempts based on the problem definition. The ranker…