Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jason Nieh
conf.researchr.org general profile
ICSE 2024 profile
POPL 2024 profile
Not registered as user yet
Name:
Jason Nieh
Affiliation:
Columbia University
Contributions
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
Share
x
Sat 27 Jul 16:41