52 citations
- Georgia Institute of TechnologyUS3 papers
- United States Air Force Research LaboratoryUS3 papers
- Cornell UniversityUS2 papers
- Purdue University West LafayetteUS2 papers
- University of Colorado BoulderUS2 papers
- Amazon (United States)US1 paper
- Artificial Intelligence in Medicine (Canada)CA1 paper
- Carnegie Mellon UniversityUS1 paper
- City St George's, University of LondonGB1 paper
- Clarkson UniversityUS1 paper
- Dependable Computing (United States)US1 paper
- Film IndependentUS1 paper
6 papers · 1 filter
CNnotator: LLM-Guided Memory Safety Annotation Synthesis
Twain Byrnes, Mike Dodds
Memory safety errors account for a large proportion of security bugs in systems written in C; modern languages such as Java and Rust prevent such bugs because they are memory-safe…
The CoCompiler: DSL Lifting via Relational Compilation
Naomi Spargo, Santiago Cuéllar, Jonathan Daugherty +2
Lifting low-level or legacy code into a domain-specific language (DSL) improves our ability to understand it, enables deeper formal reasoning, and facilitates safe modification. We…
KATch: A Fast Symbolic Verifier for NetKAT
Mark Moeller, Jules Jacobs, Olivier Savary Belanger +5
We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our result…
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Ezra Zigmond, Stephen Chong, Christos Dimoulas +1
Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security check…
Relational Verification via Invariant-Guided Synchronization
Qi Zhou, David Heath, William Harris
Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically v…
ForOpenCL: Transformations Exploiting Array Syntax in Fortran for Accelerator Programming
Matthew J. Sottile, Craig E Rasmussen, Wayne N. Weseloh +3
Emerging GPU architectures for high performance computing are well suited to a data-parallel programming model. This paper presents preliminary work examining a programming methodo…