research
∙
07/28/2023
Error Localization for Sequential Effect Systems (Extended Version)
We describe a new concrete approach to giving predictable error location...
share
research
∙
07/26/2023
Modal Abstractions for Virtualizing Memory Addresses
Operating system kernels employ virtual memory management (VMM) subsyste...
research
∙
08/23/2022
Preprocessing Source Code Comments for Linguistic Models
Comments are an important part of the source code and are a primary sour...
research
∙
05/16/2022
Natural Language Specifications in Proof Assistants
Interactive proof assistants are computer programs carefully constructed...
research
∙
02/08/2022
Towards Property-Based Tests in Natural Language
We consider a new approach to generate tests from natural language. Rath...
research
∙
05/23/2020
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
Capabilities (whether object or reference capabilities) are fundamentall...
research
∙
11/29/2018
Sequential Effect Systems with Control Operators
Sequential effect systems are a class of effect system that exploits inf...
research
∙
11/28/2018
Safe Deferred Memory Reclamation with Types
Memory management in lock-free data structures remains a major challenge...
research
∙
10/15/2018
Synthesizing Program-Specific Static Analyses
Designing a static analysis is generally a substantial undertaking, requ...
research
∙
10/15/2018
Generating Comments From Source Code with CCGs
Good comments help developers understand software faster and provide bet...
research
∙
08/06/2018