54 citations · 255 across the 28 of their papers we have counts for
Showing 2026 · cs.PLShow all
2 papers · 2 filters
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…