3 citations · 3 across the 7 of their papers we have counts for
8 papers
Better Call Graphs: A New Dataset of Function Call Graphs for Malware Classification
Jakir Hossain, Jue Guo, Gurvinder Singh +2
Function call graphs (FCGs) have emerged as a powerful abstraction for malware detection, capturing the behavioral structure of applications beyond surface-level signatures. Their…
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…
Understanding Bounding Functions in Safety-Critical UAV Software
Xiaozhou Liang, John Henry Burns, Joseph Sanchez +3
Unmanned Aerial Vehicles (UAVs) are an emerging computation platform known for their safety-critical need. In this paper, we conduct an empirical study on a widely used open-source…
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…
Just-in-Time Index Compilation
Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy
Creating or modifying a primary index is a time-consuming process, as the index typically needs to be rebuilt from scratch. In this paper, we explore a more graceful "just-in-time"…
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…