Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Node Engine
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…
What’s Your Story: Nicole Forsgren
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.
Neural Invariant Ranker
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…
CodePlan
CodePlan is a research project that formalizes repository-level coding tasks as planning problems and uses static analysis and large language models (LLMs) to solve them. This replication package is for the paper titled “CodePlan: Repository-level…