Jason Nieh

Orcid: 0009-0005-8301-4479

Affiliations:
  • Columbia University, New York City, USA


According to our database1, Jason Nieh authored at least 110 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions.
Proc. ACM Program. Lang., January, 2024

2023
Spoq: Scaling Machine-Checkable Systems Verification in Coq.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022
Cloud Computing Security: Foundations and Research Directions.
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

Design and Verification of the Arm Confidential Compute Architecture.
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
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor.
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

A Secure and Formally Verified Linux KVM Hypervisor.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Encrypted cloud photo storage using Google photos.
Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021

Tap: an app framework for dynamically composable mobile systems.
Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021

2020
Optimizing Nested Virtualization Performance Using Direct Virtual Hardware.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
Making It Easier to Encrypt Your Emails.
login Usenix Mag., 2019

Microservices and Containers.
IEEE Internet Comput., 2019

Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits.
Proceedings of the 28th USENIX Security Symposium, 2019

Heterogeneous Multi-Mobile Computing.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Why Joanie Can Encrypt: Easy Email Encryption with Easy Key Management.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

AnDrone: Virtual Drone Computing in the Cloud.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018
ARM Virtualization: Performance and Architectural Implications.
ACM SIGOPS Oper. Syst. Rev., 2018

2017
Hardware and Software Support for Virtualization
Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01753-7, 2017

Optimizing the Design and Implementation of the Linux ARM Hypervisor.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

NEVE: Nested Virtualization Extensions for ARM.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Binary compatible graphics support in Android for running iOS apps.
Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

2016
POSIX Has Become Outdated.
login Usenix Mag., 2016

ARM Virtualization: Performance and Architectural Implications.
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016

POSIX abstractions in modern operating systems: the old, the new, and the missing.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

2015
Synapse: a microservices architecture for heterogeneous-database web applications.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Flux: multi-surface computing in Android.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2014
A measurement study of google play.
Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2014

Teaching operating systems using code review.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

KVM/ARM: the design and implementation of the linux ARM hypervisor.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

Cider: native execution of iOS apps on android.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
Transparent mutable replay for multicore debugging and patch validation.
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

Teaching operating systems using android.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

VMTorrent: scalable P2P virtual machine streaming.
Proceedings of the Conference on emerging Networking Experiments and Technologies, 2012

Capture: a desktop display-centric text recorder.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

2011
Pervasive detection of process races in deployed systems.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Cells: a virtual mobile smartphone architecture.
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

Structured linux kernel projects for teaching operating systems concepts.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Improving Virtual Appliance Management through Virtual Layered File Systems.
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
Mediapod: a pocket-Sized and Personalized Multimedia Desktop.
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

Operating system virtualization: practice and experience.
Proceedings of of SYSTOR 2010: The 3rd Annual Haifa Experimental Systems Conference, 2010

RSIO: automatic user interaction detection and scheduling.
Proceedings of the SIGMETRICS 2010, 2010

Transparent, lightweight application execution replay on commodity multiprocessor operating systems.
Proceedings of the SIGMETRICS 2010, 2010

Teaching operating systems using virtual appliances and distributed version control.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

VMtorrent: virtual appliances on-demand.
Proceedings of the ACM SIGCOMM 2010 Conference on Applications, 2010

2009
Guest Editors' Introduction: Virtual Machines.
IEEE Pervasive Comput., 2009

Two-Person Control Administation: Preventing Administation Faults through Duplication.
Proceedings of the 23rd Large Installation System Administration Conference, 2009

A<sup>2</sup>M: Access-Assured Mobile Desktop Computing.
Proceedings of the Information Security, 12th International Conference, 2009

Adding Trust to P2P Distribution of Paid Content.
Proceedings of the Information Security, 12th International Conference, 2009

WARP: Enabling fast CPU scheduler development and evaluation.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2009

MediaPod: A Personalized Multimedia Desktop in Your Pocket.
Proceedings of the 11th IEEE International Symposium on Multimedia, 2009

FairTorrent: bringing fairness to peer-to-peer systems.
Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technology, 2009

ASSURE: automatic software self-healing using rescue points.
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2007
Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems.
Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Using Rescue Points to Navigate Software Recovery.
Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

DejaView: a personal virtual computer recorder.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Secure Isolation of Untrusted Legacy Applications.
Proceedings of the 21th Large Installation System Administration Conference, 2007

2006
On the performance of wide-area thin-client computing.
ACM Trans. Comput. Syst., 2006

Experiences teaching operating systems using virtual platforms and Linux.
ACM SIGOPS Oper. Syst. Rev., 2006

pTHINC: a thin-client architecture for mobile wireless web.
Proceedings of the 15th international conference on World Wide Web, 2006

Understanding the management of client perceived response time.
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

Highly Reliable Mobile Desktop Computing in Your Pocket.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

An Application Streaming Service for Mobile Handheld Devices.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
Breaking the Ties That Bind: Application Isolation and Migration.
login Usenix Mag., 2005

WebPod: persistent Web browsing sessions with pocketable storage devices.
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

THINC: a virtual display architecture for thin-client computing.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

MOVE: An End-to-End Solution to Network Denial of Service.
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

AutoPod: Unscheduled System Updates with Zero Data Loss.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Transparent Checkpoint-Restart of Distributed Applications on Commodity Clusters.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

Group round robin: improving the fairness and complexity of packet scheduling.
Proceedings of the 2005 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, 2005

2004
Using certes to infer client response time at the web server.
ACM Trans. Comput. Syst., 2004

Improving web browsing performance on wireless pdas using thin-client computing.
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

SWAP: A Scheduler with Automatic Process Dependency Detection.
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

Reducing Storage Management Costs via Informed User-Based Policies.
Proceedings of the 21st IEEE Conference on Mass Storage Systems and Technologies / 12th NASA Goddard Conference on Mass Storage Systems and Technologies, 2004

MobiDesk: mobile virtual desktop computing.
Proceedings of the 10th Annual International Conference on Mobile Computing and Networking, 2004

Remote Display Performance for Wireless Healthcare Computing.
Proceedings of the MEDINFO 2004, 2004

2003
Measuring thin-client performance using slow-motion benchmarking.
ACM Trans. Comput. Syst., 2003

A SMART scheduler for multimedia applications.
ACM Trans. Comput. Syst., 2003

Web browsing performance of wireless thin-client computing.
Proceedings of the Twelfth International World Wide Web Conference, 2003

A holistic approach to service survivability.
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

Thin Client Performance for Remote 3-D Image Display.
Proceedings of the AMIA 2003, 2003

2002
The Performance of Remote Display Mechanisms for Thin-Client Computing.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Inferring client response time at the web server.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Limits of wide-area thin-client computing.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

The Design and Implementation of Zap: A System for Migrating Computing Environments.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

Optimal linear interpolation coding for server-based computing.
Proceedings of the IEEE International Conference on Communications, 2002

Low-Complexity Interpolation Coding for Server-Based Computing.
Proceedings of the 2002 Data Compression Conference (DCC 2002), 2002

2001
Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems.
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler.
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

2000
FiST: A Language for Stackable File Systems.
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

SMART UNIX SVR4 Support for Multimedia Applications.
Proceedings of the International Conference on Multimedia Computing and Systems, 1997

1995
SMART: A Processor Scheduler for Multimedia Applications.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Integrated Processors Scheduling for Multimedia.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1995

1993
SVR4UNIX Scheduler Unacceptable for Multimedia Applications.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1993

1992
Volume Rendering on Scalable Shared-Memory MIMD Architectures.
Proceedings of the 1992 Workshop on Volume Visualization, 1992


  Loading...