3 citations · 3 across the 7 of their papers we have counts for
5 papers · 1 filter
A Formal Model for Secure Multiparty Computation
Amy Rathore, Marina Blanton, Marco Gaboardi +1
Although Secure Multiparty Computation (SMC) has seen considerable development in recent years, its use is challenging, resulting in complex code which obscures whether the securit…
TreeToaster: Towards an IVM-Optimized Compiler
Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy +1
A compiler's optimizer operates over abstract syntax trees (ASTs), continuously applying rewrite rules to replace subtrees of the AST with more efficient ones. Especially on large…
Putting gradual types to work
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
In this paper, we describe our experience incorporating gradual types in a statically typed functional language with Hindley-Milner style type inference. Where most gradually typed…
Embedded SML using the MLton compiler
Jeffrey Murphy, Bhargav Shivkumar, Lukasz Ziarek
In this extended abstract we present our current work on leveraging Standard ML for developing embedded and real-time systems. Specifically we detail our experiences in modifying M…
Adding Real-time Capabilities to a SML Compiler
Muyuan Li, Daniel E McArdle, Jeffrey C Murphy +2
There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing…