2 citations · 3 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 2 cited
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride +2
In recent years, there has been an increased interest in tools that establish \emph{incorrectness} rather than correctness of program properties. In this work we build on this appr…
cs.PL2023★ 1 cited
A Pure Demand Operational Semantics with Applications to Program Analysis
Scott Smith, Robert Zhang
This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as…