16 citations · 16 across the 4 of their papers we have counts for
5 papers · 1 filter
Higher-Order, Data-Parallel Structured Deduction
Thomas Gilray, Arash Sahebolamri, Sidharth Kumar +1
State-of-the-art Datalog engines include expressive features such as ADTs (structured heap values), stratified aggregation and negation, various primitive operations, and the oppor…
So You Want to Analyze Scheme Programs With Datalog?
Davis Ross Silverman, Yihao Sun, Kristopher Micinski +1
Static analysis approximates the results of a program by examining only its syntax. For example, control-flow analysis (CFA) determines which syntactic lambdas (for functional lang…
Racets: Faceted Execution in Racket
Kristopher Micinski, Zhanpeng Wang, Thomas Gilray
Faceted Execution is a linguistic paradigm for dynamic information-flow control. Under faceted execution, secure program data is represented by faceted values: decision trees that…
Soft Contract Verification for Higher-Order Stateful Programs
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring…
Pushdown Exception-Flow Analysis of Object-Oriented Programs
Shuying Liang, Matthew Might, Thomas Gilray +1
Statically reasoning in the presence of and about exceptions is challenging: exceptions worsen the well-known mutual recursion between data-flow and control-flow analysis. The rece…