3 citations · 4 across the 4 of their papers we have counts for
4 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…
Declarative Demand-Driven Reverse Engineering
Yihao Sun, Jeffrey Ching, Kristopher Micinski
Binary reverse engineering is a challenging task because it often necessitates reasoning using both domain-specific knowledge (e.g., understanding entrypoint idioms common to an AB…
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…