Jason Nieh -

Registered user since Sat 16 Nov 2024

Name:Jason Nieh

Affiliation:Columbia University

Contributions

2025

SIGCSE TS

Author of ezFS: A Pedagogical Linux File System within the Papers-track

2024

ICSE

Author of RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains within the Research Track-track

POPL

Author of Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions within the POPL-track