Jason Nieh
Orcid: 0009-0005-8301-4479Affiliations:
- Columbia University, New York City, USA
According to our database1,
Jason Nieh
authored at least 111 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2019, "For contributions to operating systems, virtualization, and computer science education".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions.
Proc. ACM Program. Lang., January, 2024
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023
Proceedings of the Eighteenth European Conference on Computer Systems, 2023
2022
Found. Trends Priv. Secur., 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
2021
Proceedings of the 30th USENIX Security Symposium, 2021
Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021
Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021
Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021
2020
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020
2019
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits.
Proceedings of the 28th USENIX Security Symposium, 2019
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
2018
ACM SIGOPS Oper. Syst. Rev., 2018
2017
Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01753-7, 2017
Proceedings of the 2017 USENIX Annual Technical Conference, 2017
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017
2016
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016
Proceedings of the Eleventh European Conference on Computer Systems, 2016
2015
Proceedings of the Tenth European Conference on Computer Systems, 2015
Proceedings of the Tenth European Conference on Computer Systems, 2015
2014
Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014
2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
2012
FairTorrent: A Deficit-Based Distributed Algorithm to Ensure Fairness in Peer-to-Peer Systems.
IEEE/ACM Trans. Netw., 2012
The Design, Implementation, and Evaluation of Cells: A Virtual Smartphone Architecture.
ACM Trans. Comput. Syst., 2012
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the Conference on emerging Networking Experiments and Technologies, 2012
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012
2011
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems.
Proceedings of the SIGMETRICS 2011, 2011
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011
Proceedings of the Past, 2011
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
2010
Int. J. Semantic Comput., 2010
Apiary: Easy-to-Use Desktop Application Fault Containment on Commodity Operating Systems.
Proceedings of the 2010 USENIX Annual Technical Conference, 2010
Proceedings of of SYSTOR 2010: The 3rd Annual Haifa Experimental Systems Conference, 2010
Proceedings of the SIGMETRICS 2010, 2010
Transparent, lightweight application execution replay on commodity multiprocessor operating systems.
Proceedings of the SIGMETRICS 2010, 2010
Proceedings of the 41st ACM technical symposium on Computer science education, 2010
Proceedings of the ACM SIGCOMM 2010 Conference on Applications, 2010
2009
Two-Person Control Administation: Preventing Administation Faults through Duplication.
Proceedings of the 23rd Large Installation System Administration Conference, 2009
Proceedings of the Information Security, 12th International Conference, 2009
Proceedings of the Information Security, 12th International Conference, 2009
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2009
Proceedings of the 11th IEEE International Symposium on Multimedia, 2009
Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technology, 2009
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009
2007
Proceedings of the 2007 USENIX Annual Technical Conference, 2007
Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007
Proceedings of the 21th Large Installation System Administration Conference, 2007
2006
ACM Trans. Comput. Syst., 2006
ACM SIGOPS Oper. Syst. Rev., 2006
Proceedings of the 15th international conference on World Wide Web, 2006
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006
Grouped distributed queues: distributed queue, proportional share multiprocessor scheduling.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006
2005
login Usenix Mag., 2005
Proceedings of the 14th international conference on World Wide Web, 2005
Group Ratio Round-Robin: O(1) Proportional Share Scheduling for Uniprocessor and Multiprocessor Systems.
Proceedings of the 2005 USENIX Annual Technical Conference, 2005
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005
Proceedings of the Network and Distributed System Security Symposium, 2005
Reducing Downtime Due to System Maintenance and Upgrades (Awarded Best Student Paper!).
Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005
Proceedings of the 2005 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, 2005
2004
ACM Trans. Comput. Syst., 2004
Proceedings of the 13th international conference on World Wide Web, 2004
ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004
Proceedings of the 21st IEEE Conference on Mass Storage Systems and Technologies / 12th NASA Goddard Conference on Mass Storage Systems and Technologies, 2004
Proceedings of the 10th Annual International Conference on Mobile Computing and Networking, 2004
Proceedings of the MEDINFO 2004, 2004
2003
ACM Trans. Comput. Syst., 2003
Proceedings of the Twelfth International World Wide Web Conference, 2003
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003
Proceedings of the AMIA 2003, 2003
2002
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002
Proceedings of the IEEE International Conference on Communications, 2002
Proceedings of the 2002 Data Compression Conference (DCC 2002), 2002
2001
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001
2000
Proceedings of the General Track: 2000 USENIX Annual Technical Conference, 2000
1997
The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997
Proceedings of the International Conference on Multimedia Computing and Systems, 1997
1995
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1995
1993
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1993
1992
Proceedings of the 1992 Workshop on Volume Visualization, 1992