Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJason Nieh
Person information
- affiliation: Columbia University, New York City, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c96]Lingmei Weng
, Yigong Hu, Peng Huang, Jason Nieh, Junfeng Yang:
Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling. EuroSys 2023: 1-17- [c95]Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh:
Spoq: Scaling Machine-Checkable Systems Verification in Coq. OSDI 2023: 851-869 - 2022
- [j15]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): 103-213 (2022) - [c94]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: 465-484 - [c93]Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh:
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. OSDI 2022: 485-501 - [c92]Alexander Van't Hof, Jason Nieh:
BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems. OSDI 2022: 683-700 - [c91]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: 751-767 - 2021
- [c90]John S. Koh, Jason Nieh, Steven M. Bellovin:
Encrypted cloud photo storage using Google photos. MobiSys 2021: 136-149 - [c89]Naser AlDuaij, Jason Nieh:
Tap: an app framework for dynamically composable mobile systems. MobiSys 2021: 336-349 - [c88]Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan:
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. OSDI 2021: 405-421 - [c87]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: 866-881 - [c86]Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui:
A Secure and Formally Verified Linux KVM Hypervisor. SP 2021: 1782-1799 - [c85]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: 193-207 - [c84]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: 3953-3970 - 2020
- [c83]Jin Tack Lim, Jason Nieh:
Optimizing Nested Virtualization Performance Using Direct Virtual Hardware. ASPLOS 2020: 557-574 - [e4]Eyal de Lara, Iqbal Mohomed, Jason Nieh, Elizabeth M. Belding:
MobiSys '20: The 18th Annual International Conference on Mobile Systems, Applications, and Services, Toronto, Ontario, Canada, June 15-19, 2020. ACM 2020, ISBN 978-1-4503-7954-0 [contents]
2010 – 2019
- 2019
- [j14]Fred Douglis, Jason Nieh:
Microservices and Containers. IEEE Internet Comput. 23(6): 5-6 (2019) - [j13]John S. Koh, Steven M. Bellovin, Jason Nieh:
Making It Easier to Encrypt Your Emails. login Usenix Mag. 44(3) (2019) - [c82]John S. Koh, Steven M. Bellovin, Jason Nieh:
Why Joanie Can Encrypt: Easy Email Encryption with Easy Key Management. EuroSys 2019: 2:1-2:16 - [c81]Alexander Van't Hof, Jason Nieh:
AnDrone: Virtual Drone Computing in the Cloud. EuroSys 2019: 6:1-6:16 - [c80]Naser AlDuaij, Alexander Van't Hof, Jason Nieh:
Heterogeneous Multi-Mobile Computing. MobiSys 2019: 494-507 - [c79]Naser AlDuaij, Alexander Van't Hof, Jason Nieh:
Heterogeneous Multi-Mobile Computing. MobiSys 2019: 707 - [c78]Shih-Wei Li, John S. Koh, Jason Nieh:
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits. USENIX Security Symposium 2019: 1357-1374 - 2018
- [j12]Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh:
ARM Virtualization: Performance and Architectural Implications. ACM SIGOPS Oper. Syst. Rev. 52(1): 45-56 (2018) - 2017
- [b1]Edouard Bugnion, Jason Nieh, Dan Tsafrir:
Hardware and Software Support for Virtualization. Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers 2017 - [c77]Jeremy Andrus, Naser AlDuaij, Jason Nieh:
Binary compatible graphics support in Android for running iOS apps. Middleware 2017: 55-67 - [c76]Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier:
NEVE: Nested Virtualization Extensions for ARM. SOSP 2017: 201-217 - [c75]Christoffer Dall, Shih-Wei Li, Jason Nieh:
Optimizing the Design and Implementation of the Linux ARM Hypervisor. USENIX Annual Technical Conference 2017: 221-233 - 2016
- [j11]Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh:
POSIX Has Become Outdated. login Usenix Mag. 41(3) (2016) - [c74]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: 19:1-19:17 - [c73]Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos:
ARM Virtualization: Performance and Architectural Implications. ISCA 2016: 304-316 - 2015
- [c72]Nicolas Viennot, Mathias Lécuyer, Jonathan Bell, Roxana Geambasu, Jason Nieh:
Synapse: a microservices architecture for heterogeneous-database web applications. EuroSys 2015: 21:1-21:16 - [c71]Alexander Van't Hof, Hani Jamjoom, Jason Nieh, Dan Williams:
Flux: multi-surface computing in Android. EuroSys 2015: 24:1-24:17 - 2014
- [c70]Christoffer Dall, Jason Nieh:
KVM/ARM: the design and implementation of the linux ARM hypervisor. ASPLOS 2014: 333-348 - [c69]Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh:
Cider: native execution of iOS apps on android. ASPLOS 2014: 367-382 - [c68]Christoffer Dall, Jason Nieh:
Teaching operating systems using code review. SIGCSE 2014: 549-554 - [c67]Nicolas Viennot, Edward Garcia, Jason Nieh:
A measurement study of google play. SIGMETRICS 2014: 221-233 - 2013
- [c66]Nicolas Viennot, Siddharth Nair, Jason Nieh:
Transparent mutable replay for multicore debugging and patch validation. ASPLOS 2013: 127-138 - 2012
- [j10]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): 9:1-9:31 (2012) - [j9]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): 1361-1374 (2012) - [c65]Oren Laadan, Andrew Shu, Jason Nieh:
Capture: a desktop display-centric text recorder. ASSETS 2012: 9-16 - [c64]Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh, Dan Rubenstein:
VMTorrent: scalable P2P virtual machine streaming. CoNEXT 2012: 289-300 - [c63]Jeremy Andrus, Jason Nieh:
Teaching operating systems using android. SIGCSE 2012: 613-618 - 2011
- [c62]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 - [c61]Shaya Potter, Jason Nieh:
Improving Virtual Appliance Management through Virtual Layered File Systems. LISA 2011 - [c60]Oren Laadan, Jason Nieh, Nicolas Viennot:
Structured linux kernel projects for teaching operating systems concepts. SIGCSE 2011: 287-292 - [c59]Dinesh Subhraveti, Jason Nieh:
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems. SIGMETRICS 2011: 109-120 - [c58]Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh:
Cells: a virtual mobile smartphone architecture. SOSP 2011: 173-187 - [c57]Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh:
Pervasive detection of process races in deployed systems. SOSP 2011: 353-367 - [e3]Jason Nieh, Carl A. Waldspurger:
2011 USENIX Annual Technical Conference, Portland, OR, USA, June 15-17, 2011. USENIX Association 2011 [contents] - 2010
- [j8]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): 181-202 (2010) - [c56]Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh, Dan Rubenstein:
VMtorrent: virtual appliances on-demand. SIGCOMM 2010: 453-454 - [c55]Oren Laadan, Jason Nieh, Nicolas Viennot:
Teaching operating systems using virtual appliances and distributed version control. SIGCSE 2010: 480-484 - [c54]Oren Laadan, Nicolas Viennot, Jason Nieh:
Transparent, lightweight application execution replay on commodity multiprocessor operating systems. SIGMETRICS 2010: 155-166 - [c53]Haoqiang Zheng, Jason Nieh:
RSIO: automatic user interaction detection and scheduling. SIGMETRICS 2010: 263-274 - [c52]Oren Laadan, Jason Nieh:
Operating system virtualization: practice and experience. SYSTOR 2010 - [c51]Shaya Potter, Jason Nieh:
Apiary: Easy-to-Use Desktop Application Fault Containment on Commodity Operating Systems. USENIX Annual Technical Conference 2010
2000 – 2009
- 2009
- [j7]Keith I. Farkas, Chandra Narayanaswami, Jason Nieh:
Guest Editors' Introduction: Virtual Machines. IEEE Pervasive Comput. 8(4): 6-7 (2009) - [c50]Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis:
ASSURE: automatic software self-healing using rescue points. ASPLOS 2009: 37-48 - [c49]Alex Sherman, Jason Nieh, Clifford Stein:
FairTorrent: bringing fairness to peer-to-peer systems. CoNEXT 2009: 133-144 - [c48]Shaya Potter, Ricardo A. Baratto, Oren Laadan, Leonard N. Kim, Jason Nieh:
MediaPod: A Personalized Multimedia Desktop in Your Pocket. ISM 2009: 219-226 - [c47]Haoqiang Zheng, Jason Nieh:
WARP: Enabling fast CPU scheduler development and evaluation. ISPASS 2009: 101-112 - [c46]Angelos Stavrou, Ricardo A. Barrato, Angelos D. Keromytis, Jason Nieh:
A2M: Access-Assured Mobile Desktop Computing. ISC 2009: 186-201 - [c45]Alex Sherman, Angelos Stavrou, Jason Nieh, Angelos D. Keromytis, Clifford Stein:
Adding Trust to P2P Distribution of Paid Content. ISC 2009: 459-474 - [c44]Shaya Potter, Steven M. Bellovin, Jason Nieh:
Two-Person Control Administation: Preventing Administation Faults through Duplication. LISA 2009: 15-27 - [e2]John R. Douceur, Albert G. Greenberg, Thomas Bonald, Jason Nieh:
Proceedings of the Eleventh International Joint Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/Performance 2009, Seattle, WA, USA, June 15-19, 2009. ACM 2009, ISBN 978-1-60558-511-6 [contents] - 2008
- [e1]Jason Nieh, Angelos Stavrou:
Proceedings of the 1st ACM Workshop on Virtual Machine Security, VMSec 2008, Alexandria, VA, USA, October 27, 2008. ACM 2008, ISBN 978-1-60558-298-6 [contents] - 2007
- [c43]Shaya Potter, Jason Nieh, Matt Selsky:
Secure Isolation of Untrusted Legacy Applications. LISA 2007: 117-130 - [c42]Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh:
DejaView: a personal virtual computer recorder. SOSP 2007: 279-292 - [c41]Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis, Jason Nieh:
Using Rescue Points to Navigate Software Recovery. S&P 2007: 273-280 - [c40]Oren Laadan, Jason Nieh:
Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems. USENIX Annual Technical Conference 2007: 323-336 - 2006
- [j6]Jason Nieh, Chris Vaill:
Experiences teaching operating systems using virtual platforms and Linux. ACM SIGOPS Oper. Syst. Rev. 40(2): 100-104 (2006) - [j5]Albert M. Lai, Jason Nieh:
On the performance of wide-area thin-client computing. ACM Trans. Comput. Syst. 24(2): 175-209 (2006) - [c39]Joeng Kim, Ricardo A. Baratto, Jason Nieh:
An Application Streaming Service for Mobile Handheld Devices. IEEE SCC 2006: 323-326 - [c38]Shaya Potter, Jason Nieh:
Highly Reliable Mobile Desktop Computing in Your Pocket. COMPSAC (1) 2006: 247-254 - [c37]Bogdan Caprita, Jason Nieh, Clifford Stein:
Grouped distributed queues: distributed queue, proportional share multiprocessor scheduling. PODC 2006: 72-81 - [c36]David P. Olshefski, Jason Nieh:
Understanding the management of client perceived response time. SIGMETRICS/Performance 2006: 240-251 - [c35]Joeng Kim, Ricardo A. Baratto, Jason Nieh:
pTHINC: a thin-client architecture for mobile wireless web. WWW 2006: 143-152 - 2005
- [j4]Shaya Potter, Jason Nieh:
Breaking the Ties That Bind: Application Isolation and Migration. login Usenix Mag. 30(6) (2005) - [c34]Bogdan Caprita, Jason Nieh, Wong Chun Chan:
Group round robin: improving the fairness and complexity of packet scheduling. ANCS 2005: 29-40 - [c33]Oren Laadan, Dan B. Phung, Jason Nieh:
Transparent Checkpoint-Restart of Distributed Applications on Commodity Clusters. CLUSTER 2005: 1-13 - [c32]Shaya Potter, Jason Nieh:
AutoPod: Unscheduled System Updates with Zero Data Loss. ICAC 2005: 367-368 - [c31]Shaya Potter, Jason Nieh:
Reducing Downtime Due to System Maintenance and Upgrades (Awarded Best Student Paper!). LISA 2005: 47-62 - [c30]Angelos Stavrou, Angelos D. Keromytis, Jason Nieh, Vishal Misra, Dan Rubenstein:
MOVE: An End-to-End Solution to Network Denial of Service. NDSS 2005 - [c29]Jason Nieh, Chris Vaill:
Experiences teaching operating systems using virtual platforms and linux. SIGCSE 2005: 520-524 - [c28]Ricardo A. Baratto, Leonard N. Kim, Jason Nieh:
THINC: a virtual display architecture for thin-client computing. SOSP 2005: 277-290 - [c27]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: 337-352 - [c26]Shaya Potter, Jason Nieh:
WebPod: persistent Web browsing sessions with pocketable storage devices. WWW 2005: 603-612 - 2004
- [j3]David P. Olshefski, Jason Nieh, Dakshi Agrawal:
Using certes to infer client response time at the web server. ACM Trans. Comput. Syst. 22(1): 49-93 (2004) - [c25]Albert Max Lai, Jason Nieh, Andrew F. Laine, Justin Starren:
Remote Display Performance for Wireless Healthcare Computing. MedInfo 2004: 1438-1442 - [c24]Ricardo A. Baratto, Shaya Potter, Gong Su, Jason Nieh:
MobiDesk: mobile virtual desktop computing. MobiCom 2004: 1-15 - [c23]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: 193-197 - [c22]Haoqiang Zheng, Jason Nieh:
SWAP: A Scheduler with Automatic Process Dependency Detection. NSDI 2004: 183-196 - [c21]David P. Olshefski, Jason Nieh, Erich M. Nahum:
ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams. OSDI 2004: 333-346 - [c20]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: 143-154 - 2003
- [j2]Jason Nieh, S. Jae Yang, Naomi Novik:
Measuring thin-client performance using slow-motion benchmarking. ACM Trans. Comput. Syst. 21(1): 87-115 (2003) - [j1]Jason Nieh, Monica S. Lam:
A SMART scheduler for multimedia applications. ACM Trans. Comput. Syst. 21(2): 117-163 (2003) - [c19]Albert M. Lai, Jason Nieh, Andrew Laine, Justin Starren:
Thin Client Performance for Remote 3-D Image Display. AMIA 2003 - [c18]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: 11-22 - [c17]S. Jae Yang, Jason Nieh, Shilpa Krishnappa, Aparna Mohla, Mahdi Sajjadpour:
Web browsing performance of wireless thin-client computing. WWW 2003: 68-79 - 2002
- [c16]Fei Li, Jason Nieh:
Low-Complexity Interpolation Coding for Server-Based Computing. DCC 2002: 461 - [c15]Fei Li, Jason Nieh:
Optimal linear interpolation coding for server-based computing. ICC 2002: 2542-2546 - [c14]Steven Osman, Dinesh Subhraveti, Gong Su, Jason Nieh:
The Design and Implementation of Zap: A System for Migrating Computing Environments. OSDI 2002 - [c13]David P. Olshefski, Jason Nieh, Dakshi Agrawal:
Inferring client response time at the web server. SIGMETRICS 2002: 160-171 - [c12]Albert M. Lai, Jason Nieh:
Limits of wide-area thin-client computing. SIGMETRICS 2002: 228-239 - [c11]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: 131-146 - 2001
- [c10]S. Jae Yang, Jason Nieh, Naomi Novik:
Measuring Thin-Client Performance Using Slow-Motion Benchmarking. USENIX Annual Technical Conference, General Track 2001: 35-49 - [c9]Jason Nieh, Christopher Vaill, Hua Zhong:
Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler. USENIX Annual Technical Conference, General Track 2001: 245-259 - [c8]Erez Zadok, Johan M. Andersen, Ion Badulescu, Jason Nieh:
Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems. USENIX Annual Technical Conference, General Track 2001: 289-304 - 2000
- [c7]Erez Zadok, Jason Nieh:
FiST: A Language for Stackable File Systems. USENIX Annual Technical Conference, General Track 2000: 55-70
1990 – 1999
- 1997
- [c6]Jason Nieh, Monica S. Lam:
SMART UNIX SVR4 Support for Multimedia Applications. ICMCS 1997: 404-414 - [c5]Jason Nieh, Monica S. Lam:
The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications. SOSP 1997: 184-197 - 1995
- [c4]Jason Nieh, Monica S. Lam:
Integrated Processors Scheduling for Multimedia. NOSSDAV 1995: 202-205 - [c3]Jason Nieh, Monica S. Lam:
SMART: A Processor Scheduler for Multimedia Applications. SOSP 1995: 233 - 1993
- [c2]Jason Nieh, James G. Hanko, J. Duane Northcutt, Gerard A. Wall:
SVR4UNIX Scheduler Unacceptable for Multimedia Applications. NOSSDAV 1993: 41-53 - 1992
- [c1]Jason Nieh, Marc Levoy:
Volume Rendering on Scalable Shared-Memory MIMD Architectures. VVS 1992: 17-24
Coauthor Index