Jason Nieh - RankMe

121 papers A* 41A 21B 4C 4Misc 4Journal 16Unranked 27

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