Jason Nieh

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 32

Top Venues

Publications

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh
Spoq: Scaling Machine-Checkable Systems Verification in Coq. OSDI (2023)
Lingmei Weng, Yigong Hu, Peng Huang, Jason Nieh, Junfeng Yang
Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling. EuroSys (2023)
Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell
Design and Verification of the Arm Confidential Compute Architecture. OSDI (2022)
Anrin Chakraborti, Reza Curtmola, Jonathan Katz, Jason Nieh, Ahmad-Reza Sadeghi, Radu Sion, Yinqian Zhang
Cloud Computing Security: Foundations and Research Directions. Found. Trends Priv. Secur. 3 (2) (2022)
Alexander Van't Hof, Jason Nieh
BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems. OSDI (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. OSDI (2022)
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. OSDI (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. OSDI (2021)
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
A Secure and Formally Verified Linux KVM Hypervisor. IEEE Symposium on Security and Privacy (2021)
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. SOSP (2021)
John S. Koh, Jason Nieh, Steven M. Bellovin
Encrypted cloud photo storage using Google photos. MobiSys (2021)
Naser AlDuaij, Jason Nieh
Tap: an app framework for dynamically composable mobile systems. MobiSys (2021)
Lingmei Weng, Peng Huang, Jason Nieh, Junfeng Yang
Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing. USENIX Annual Technical Conference (2021)
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. USENIX Security Symposium (2021)
Jin Tack Lim, Jason Nieh
Optimizing Nested Virtualization Performance Using Direct Virtual Hardware. ASPLOS (2020)
Naser AlDuaij, Alexander Van't Hof, Jason Nieh
Heterogeneous Multi-Mobile Computing. MobiSys (2019)
John S. Koh, Steven M. Bellovin, Jason Nieh
Why Joanie Can Encrypt: Easy Email Encryption with Easy Key Management. EuroSys (2019)
Alexander Van't Hof, Jason Nieh
AnDrone: Virtual Drone Computing in the Cloud. EuroSys (2019)
John S. Koh, Steven M. Bellovin, Jason Nieh
Making It Easier to Encrypt Your Emails. login Usenix Mag. 44 (3) (2019)
Fred Douglis, Jason Nieh
Microservices and Containers. IEEE Internet Comput. 23 (6) (2019)
Shih-Wei Li, John S. Koh, Jason Nieh
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits. USENIX Security Symposium (2019)
Naser AlDuaij, Alexander Van't Hof, Jason Nieh
Heterogeneous Multi-Mobile Computing. MobiSys (2019)
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh
ARM Virtualization: Performance and Architectural Implications. ACM SIGOPS Oper. Syst. Rev. 52 (1) (2018)
Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier
NEVE: Nested Virtualization Extensions for ARM. SOSP (2017)
Jeremy Andrus, Naser AlDuaij, Jason Nieh
Binary compatible graphics support in Android for running iOS apps. Middleware (2017)
Christoffer Dall, Shih-Wei Li, Jason Nieh
Optimizing the Design and Implementation of the Linux ARM Hypervisor. USENIX Annual Technical Conference (2017)
Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh
POSIX abstractions in modern operating systems: the old, the new, and the missing. EuroSys (2016)
Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh
POSIX Has Become Outdated. login Usenix Mag. 41 (3) (2016)
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos
ARM Virtualization: Performance and Architectural Implications. ISCA (2016)
Alexander Van't Hof, Hani Jamjoom, Jason Nieh, Dan Williams
Flux: multi-surface computing in Android. EuroSys (2015)
Nicolas Viennot, Mathias Lécuyer, Jonathan Bell, Roxana Geambasu, Jason Nieh
Synapse: a microservices architecture for heterogeneous-database web applications. EuroSys (2015)
Nicolas Viennot, Edward Garcia, Jason Nieh
A measurement study of google play. SIGMETRICS (2014)
Christoffer Dall, Jason Nieh
KVM/ARM: the design and implementation of the linux ARM hypervisor. ASPLOS (2014)
Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh
Cider: native execution of iOS apps on android. ASPLOS (2014)
Christoffer Dall, Jason Nieh
Teaching operating systems using code review. SIGCSE (2014)
Nicolas Viennot, Siddharth Nair, Jason Nieh
Transparent mutable replay for multicore debugging and patch validation. ASPLOS (2013)
Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh, Dan Rubenstein
VMTorrent: scalable P2P virtual machine streaming. CoNEXT (2012)
Oren Laadan, Andrew Shu, Jason Nieh
Capture: a desktop display-centric text recorder. ASSETS (2012)
Alex Sherman, Jason Nieh, Clifford Stein
FairTorrent: A Deficit-Based Distributed Algorithm to Ensure Fairness in Peer-to-Peer Systems. IEEE/ACM Trans. Netw. 20 (5) (2012)
Jeremy Andrus, Jason Nieh
Teaching operating systems using android. SIGCSE (2012)
Christoffer Dall, Jeremy Andrus, Alexander Van't Hof, Oren Laadan, Jason Nieh
The Design, Implementation, and Evaluation of Cells: A Virtual Smartphone Architecture. ACM Trans. Comput. Syst. 30 (3) (2012)
Dinesh Subhraveti, Jason Nieh
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems. SIGMETRICS (2011)
Oren Laadan, Jason Nieh, Nicolas Viennot
Structured linux kernel projects for teaching operating systems concepts. SIGCSE (2011)
Oren Laadan, Chia-che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races. HotOS (2011)
Shaya Potter, Jason Nieh
Improving Virtual Appliance Management through Virtual Layered File Systems. LISA (2011)
Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh
Cells: a virtual mobile smartphone architecture. SOSP (2011)
Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh
Pervasive detection of process races in deployed systems. SOSP (2011)
Oren Laadan, Jason Nieh
Operating system virtualization: practice and experience. SYSTOR (2010)
Oren Laadan, Jason Nieh, Nicolas Viennot
Teaching operating systems using virtual appliances and distributed version control. SIGCSE (2010)
Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh, Dan Rubenstein
VMtorrent: virtual appliances on-demand. SIGCOMM (2010)
Oren Laadan, Nicolas Viennot, Jason Nieh
Transparent, lightweight application execution replay on commodity multiprocessor operating systems. SIGMETRICS (2010)
Haoqiang Zheng, Jason Nieh
RSIO: automatic user interaction detection and scheduling. SIGMETRICS (2010)
Shaya Potter, Jason Nieh
Apiary: Easy-to-Use Desktop Application Fault Containment on Commodity Operating Systems. USENIX Annual Technical Conference (2010)
Shaya Potter, Oren Laadan, Ricardo A. Baratto, Leonard N. Kim, Jason Nieh
Mediapod: a pocket-Sized and Personalized Multimedia Desktop. Int. J. Semantic Comput. 4 (2) (2010)
Shaya Potter, Steven M. Bellovin, Jason Nieh
Two-Person Control Administation: Preventing Administation Faults through Duplication. LISA (2009)
Alex Sherman, Jason Nieh, Clifford Stein
FairTorrent: bringing fairness to peer-to-peer systems. CoNEXT (2009)
Angelos Stavrou, Ricardo A. Barrato, Angelos D. Keromytis, Jason Nieh
M: Access-Assured Mobile Desktop Computing. ISC (2009)
Alex Sherman, Angelos Stavrou, Jason Nieh, Angelos D. Keromytis, Clifford Stein
Adding Trust to P2P Distribution of Paid Content. ISC (2009)
Shaya Potter, Ricardo A. Baratto, Oren Laadan, Leonard N. Kim, Jason Nieh
MediaPod: A Personalized Multimedia Desktop in Your Pocket. ISM (2009)
Keith I. Farkas, Chandra Narayanaswami, Jason Nieh
Guest Editors' Introduction: Virtual Machines. IEEE Pervasive Comput. 8 (4) (2009)
Haoqiang Zheng, Jason Nieh
WARP: Enabling fast CPU scheduler development and evaluation. ISPASS (2009)
Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis
ASSURE: automatic software self-healing using rescue points. ASPLOS (2009)
Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh
DejaView: a personal virtual computer recorder. SOSP (2007)
Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis, Jason Nieh
Using Rescue Points to Navigate Software Recovery. IEEE Symposium on Security and Privacy (2007)
Shaya Potter, Jason Nieh, Matt Selsky
Secure Isolation of Untrusted Legacy Applications. LISA (2007)
Oren Laadan, Jason Nieh
Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems. USENIX Annual Technical Conference (2007)
Shaya Potter, Jason Nieh
Highly Reliable Mobile Desktop Computing in Your Pocket. COMPSAC (1) (2006)
Albert M. Lai, Jason Nieh
On the performance of wide-area thin-client computing. ACM Trans. Comput. Syst. 24 (2) (2006)
Joeng Kim, Ricardo A. Baratto, Jason Nieh
An Application Streaming Service for Mobile Handheld Devices. IEEE SCC (2006)
Joeng Kim, Ricardo A. Baratto, Jason Nieh
pTHINC: a thin-client architecture for mobile wireless web. WWW (2006)
Bogdan Caprita, Jason Nieh, Clifford Stein
Grouped distributed queues: distributed queue, proportional share multiprocessor scheduling. PODC (2006)
Jason Nieh, Chris Vaill
Experiences teaching operating systems using virtual platforms and Linux. ACM SIGOPS Oper. Syst. Rev. 40 (2) (2006)
David P. Olshefski, Jason Nieh
Understanding the management of client perceived response time. SIGMETRICS/Performance (2006)
Bogdan Caprita, Wong Chun Chan, Jason Nieh, Clifford Stein, Haoqiang Zheng
Group Ratio Round-Robin: O(1) Proportional Share Scheduling for Uniprocessor and Multiprocessor Systems. USENIX Annual Technical Conference, General Track (2005)
Shaya Potter, Jason Nieh
Reducing Downtime Due to System Maintenance and Upgrades (Awarded Best Student Paper!). LISA (2005)
Shaya Potter, Jason Nieh
WebPod: persistent Web browsing sessions with pocketable storage devices. WWW (2005)
Bogdan Caprita, Jason Nieh, Wong Chun Chan
Group round robin: improving the fairness and complexity of packet scheduling. ANCS (2005)
Oren Laadan, Dan B. Phung, Jason Nieh
Transparent Checkpoint-Restart of Distributed Applications on Commodity Clusters. CLUSTER (2005)
Ricardo A. Baratto, Leonard N. Kim, Jason Nieh
THINC: a virtual display architecture for thin-client computing. SOSP (2005)
Shaya Potter, Jason Nieh
Breaking the Ties That Bind: Application Isolation and Migration. login Usenix Mag. 30 (6) (2005)
Shaya Potter, Jason Nieh
AutoPod: Unscheduled System Updates with Zero Data Loss. ICAC (2005)
Jason Nieh, Chris Vaill
Experiences teaching operating systems using virtual platforms and linux. SIGCSE (2005)
Angelos Stavrou, Angelos D. Keromytis, Jason Nieh, Vishal Misra, Dan Rubenstein
MOVE: An End-to-End Solution to Network Denial of Service. NDSS (2005)
Ricardo A. Baratto, Shaya Potter, Gong Su, Jason Nieh
MobiDesk: mobile virtual desktop computing. MobiCom (2004)
David P. Olshefski, Jason Nieh, Dakshi Agrawal
Using certes to infer client response time at the web server. ACM Trans. Comput. Syst. 22 (1) (2004)
Haoqiang Zheng, Jason Nieh
SWAP: A Scheduler with Automatic Process Dependency Detection. NSDI (2004)
Albert Max Lai, Jason Nieh, Andrew F. Laine, Justin Starren
Remote Display Performance for Wireless Healthcare Computing. MedInfo (2004)
Albert M. Lai, Jason Nieh, Bhagyashree Bohra, Vijayarka Nandikonda, Abhishek P. Surana, Suchita Varshneya
Improving web browsing performance on wireless pdas using thin-client computing. WWW (2004)
Erez Zadok, Jeffrey Osborn, Ariye Shater, Charles P. Wright, Kiran-Kumar Muniswamy-Reddy, Jason Nieh
Reducing Storage Management Costs via Informed User-Based Policies. MSST (2004)
David P. Olshefski, Jason Nieh, Erich M. Nahum
ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams. OSDI (2004)
S. Jae Yang, Jason Nieh, Shilpa Krishnappa, Aparna Mohla, Mahdi Sajjadpour
Web browsing performance of wireless thin-client computing. WWW (2003)
Angelos D. Keromytis, Janak J. Parekh, Philip Gross, Gail E. Kaiser, Vishal Misra, Jason Nieh, Dan Rubenstein, Salvatore J. Stolfo
A holistic approach to service survivability. SSRS@CCS (2003)
Jason Nieh, Monica S. Lam
A SMART scheduler for multimedia applications. ACM Trans. Comput. Syst. 21 (2) (2003)
Albert M. Lai, Jason Nieh, Andrew Laine, Justin Starren
Thin Client Performance for Remote 3-D Image Display. AMIA (2003)
Jason Nieh, S. Jae Yang, Naomi Novik
Measuring thin-client performance using slow-motion benchmarking. ACM Trans. Comput. Syst. 21 (1) (2003)
Fei Li, Jason Nieh
Low-Complexity Interpolation Coding for Server-Based Computing. DCC (2002)
S. Jae Yang, Jason Nieh, Matt Selsky, Nikhil Tiwari
The Performance of Remote Display Mechanisms for Thin-Client Computing. USENIX Annual Technical Conference, General Track (2002)
David P. Olshefski, Jason Nieh, Dakshi Agrawal
Inferring client response time at the web server. SIGMETRICS (2002)
Fei Li, Jason Nieh
Optimal linear interpolation coding for server-based computing. ICC (2002)

Jason Nieh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jason Nieh