Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Foundational Constraint Solving for Expressive Refinement Typing
Jam Kabeer Ali Khan, Petros Markopoulos, Nico Lehmann +1
SMT-based program verifiers are hamstrung by two problems: expressiveness, because predictable verification restricts to the boundaries of SMT decidability, and trust, because the…
cs.PL2026
Auditing Rust Crates Effectively
Lydia Zoghbi, David Thien, Ranjit Jhala +2
We introduce Cargo Scan, the first interactive program analysis tool designed to help developers audit third-party Rust code. Real systems written in Rust rely on thousands of tran…