3 papers
cs.PL2026
The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
Hemant Gouni, Frank Pfenning, Jonathan Aldrich
Non-interference properties, spanning confidentiality and integrity, have long enjoyed a position as the high water mark of program security guarantees. Information flow type syste…
cs.PL2026
Gradually Verifying Unfolding Expressions & Pure Functions
Hazel Torek, Long Tien Nguyen, Priyam Gupta +2
Unfolding expressions, which temporarily unfold a predicate to leverage its owned fields when evaluating a heap-dependent expression, and pure functions, which are heap-dependent f…
cs.SE2024
An Exploratory Study of ML Sketches and Visual Code Assistants
LuÃs F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich +1
This paper explores the integration of Visual Code Assistants in Integrated Development Environments (IDEs). In Software Engineering, whiteboard sketching is often the initial step…