3 citations · 3 across the 4 of their papers we have counts for
5 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…
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"…