4 citations · 7 across the 3 of their papers we have counts for
3 papers
Dynamic Symbolic Execution of Higher-Order Functions
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
The effectiveness of concolic testing deteriorates as the size of programs increases. A promising way out is to test programs modularly, e.g., on a per function or class basis. Ala…
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Ezra Zigmond, Stephen Chong, Christos Dimoulas +1
Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security check…
FunTAL: Reasonably Mixing a Functional Language with Assembly
Daniel Patterson, Jamie Perconti, Christos Dimoulas +1
We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting composit…