Gang Tan

A Derivative-based Parser Generator for Visibly Pushdown Grammars

2021 · arXiv (Cornell University)

In this paper, we present a derivative-based, functional recognizer and parser generator for visibly pushdown grammars. The generated parser accepts ambiguous grammars and produces a parse forest containing all valid parse trees for an input …

BinPointer: towards precise, sound, and scalable binary-level pointer analysis

2022

Binary-level pointer analysis is critical to binary-level applications such as reverse engineering and binary debloating. In this paper, we propose BinPointer, a new binary-level interprocedural pointer analysis that relies on an offset-sensitive value-tracking analysis to …

FairLay-ML: Intuitive Remedies for Unfairness in Data-Driven Social-Critical Algorithms

2023 · arXiv (Cornell University)

This thesis explores open-sourced machine learning (ML) model explanation tools to understand whether these tools can allow a layman to visualize, understand, and suggest intuitive remedies to unfairness in ML-based decision-support systems. Machine learning models …