research
∙
08/19/2023
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Over the past few years, Large Language Models of Code (Code LLMs) have ...
share
research
∙
08/17/2022
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Large language models have demonstrated the ability to generate both nat...
research
∙
09/22/2021
Report on the "The Future of the Shell" Panel at HotOS 2021
This document summarizes the challenges and possible research directions...
research
∙
09/10/2021
Solver-based Gradual Type Migration
Gradually typed languages allow programmers to mix statically and dynami...
research
∙
07/13/2021
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic
Temporal logics over finite traces are not the same as temporal logics o...
research
∙
03/03/2021
Functional Extensionality for Refinement Types
Refinement type checkers are a powerful way to reason about functional p...
research
∙
09/17/2020
Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
Satisfiability modulo theories (SMT) solving has become a critical part ...
research
∙
07/11/2019
Executable formal semantics for the POSIX shell
The POSIX shell is a widely deployed, powerful tool for managing compute...
research
∙
07/10/2017
Kleene Algebra Modulo Theories
Kleene algebras with tests (KATs) offer sound, complete, and decidable e...
research
∙
08/03/2013