5 citations · 13 across the 8 of their papers we have counts for
8 papers
SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks
Yongzhe Huang, Kaiming Huang, Matthew Ennis +4
Device driver isolation is a promising approach for protecting the kernel from faulty or malicious drivers, but the actual security provided by such frameworks is often not well un…
Probabilistic Guarantees for Practical LIA Loop Invariant Automation
Ashish Kumar, Jilaun Zhang, Saeid Tizpaz-Niari +1
Despite the crucial need for formal safety and security verification of programs, discovering loop invariants remains a significant challenge. Static analysis is a primary techniqu…
NeuFair: Neural Network Fairness Repair with Dropout
Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari +1
This paper investigates neuron dropout as a post-processing bias mitigation for deep neural networks (DNNs). Neural-driven software solutions are increasingly applied in socially c…
Scaling Automatic Extraction of Pseudocode
Levent Toksoz, Gang Tan, C. Lee Giles
Pseudocode in a scholarly paper provides a concise way to express the algorithms implemented therein. Pseudocode can also be thought of as an intermediary representation that helps…
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
Xiaodong Jia, Gang Tan
Accurate description of program inputs remains a critical challenge in the field of programming languages. Active learning, as a well-established field, achieves exact learning for…
Interval Parsing Grammars for File Format Parsing
Jialun Zhang, Greg Morrisett, Gang Tan
File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns su…