48 citations · 122 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 12 cited
A Language for Probabilistically Oblivious Computation
David Darais, Ian Sweet, Chang Liu +1
An oblivious computation is one that is free of direct and indirect information leaks, e.g., due to observable differences in timing and memory access patterns. This paper presents…
cs.PL2017★ 48 cited
Abstracting Definitional Interpreters
David Darais, Nicholas Labich, Phuc C. Nguyen +1
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitiona…