Yang, Junfeng - Department of Computer Science, Columbia University

• Inferring Client Response Time at the Web Server David P. Olshefski
• RECURSIVE SANDBOXES: EXTENDING SYSTRACE TO EMPOWER APPLICATIONS
• Entire contents 1997 by Gartner Group, Inc. All rights reserved. Reproduction of this publication in any form without prior written permission is forbidden. The information contained herein has been obtained from sources believed to be reliable. GartnerG
• KVM for ARM Christoffer Dall and Jason Nieh
• 04/03/73 CENTER FUR COMPUrIN~ ALrIVIT!~S --TELEPHUNE DIRECTCRY NAME LGC .. EXTS. NAMt: LuL.
• ODR: Output-Deterministic Replay for Multicore Debugging Gautam Altekar and Ion Stoica
• Analysis of OnOff Patterns in VoIP and Their Effect on Voice Traffic Aggregation
• The NOW MOSIX and its Preemptive Process Migration Scheme \Lambda Amnon Barak, Oren Laden, Yuval Yarom
• Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs Stefan Savage
• IBM SYSTEM/370 CICS KERMIT USER'S GUIDE Version 4.3
• Towards Junking the PBX: Deploying IP Telephony Wenyu Jiang, Jonathan Lennox, Henning Schulzrinne and Kundan Singh
• Enabling Autonomic Workload Management in Linux Hubertus Franke, Shailabh Nagar, Chandra Seetharaman, Vivek Kashyap
• Virtualization Mechanisms for Mobility, Security and System Administration
• Scalable Cluster Computing with MOSIX for LINUX
• Optimizing Data Partitioning for Data-Parallel Computing Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu
• Using Model Checking to Find Serious File System Errors
• Kinesis: A New Approach to Replica Placement in Distributed Storage Systems
• Stable Deterministic Multithreading through Schedule Memoization
• Performance of PVM with the MOSIX PreemptiveProcess Migration Scheme * Amnon Barak, Avner Braverman, Ilia Gilderman and Oren Laden
• Finding Concurrency Errors in Sequential Code --OS-level, In-vivo Model Checking of Process Races
• A Personal Virtual Computer Recorder Oren Laadan
• Structured Linux Kernel Projects for Teaching Operating Systems Concepts
• Guaranteeing Performance through Fairness in Peer-to-Peer File-Sharing and Streaming Systems
• Apiary: Easy-to-Use Desktop Application Fault Containment on Commodity Operating Systems
• WARP: Enabling Fast CPU Scheduler Development and Evaluation
• Secure Isolation of Untrusted Legacy Applications
• 14.2: Net2DisplayTM: A Proposed VESA Standard for Remoting Displays and I/O Devices over Networks
• Measuring and Managing the Remote Client Perceived Response Time for Web Transactions
• Experiences Teaching Operating Systems Using Virtual Platforms and Linux
• Grouped Distributed Queues: Distributed Queue, Proportional Share Multiprocessor Scheduling
• Implementing Remote Display on Commodity Operating Systems Submitted in partial fulfillment of the requirements for the degree of
• Reducing Downtime Due to System Maintenance and Upgrades
• S H A Y A P O T T E R A N D J A S O N N I E H breaking the ties
• Group Round Robin: Improving the Fairness and Complexity of Packet Scheduling
• CANONICAL SIMPLIFICATION OF NETWORKING AND THE INTERNET Submitted in partial fulfillment of the requirements for
• GROUP RATIO ROUND ROBIN: AN O(1) PROPORTIONAL SHARE
• Appears in Proceedings of the 2002 USENIX Annual Technical Conference, June 2002. The Performance of Remote Display Mechanisms for
• P C MAG A Z I N E MAY 7, 2002 www.pcmag.com48 F I R S T L O O K S
• APPEARS IN PROCEEDINGS OF THE DATA COMPRESSION CONFERENCE, APRIL 2002. 1 Low-complexity Interpolation Coding for Server-based
• Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems
• Measuring the Multimedia Performance of Server-Based Computing Department of Computer Science
• P C M A G A Z I N E JULY 200068 PHOTOGRAPHYBYTHOMO'CONNOR
• Appears in Proceedings of the IEEE International Conference on Multimedia Computing and Systems, Ottawa, Canada, June, 1997. SMART UNIX SVR4 Support for Multimedia Applications
• IntegratedProcessorSchedulingforMultimedia Jason Nieh and Monica S. Lam
• PostOfficeAddressofthe University:ColumbiaUniversity,NewYork,N.Y.10027 Thisaddressshouldbe precededby divisionnameandbuildingaddressasgivenbelow;ex-
• 76 COPUBLISHEDBYTHEIEEECOMPUTERANDRELIABILITYSOCIETIES1540-7993/10/$26.002010IEEEMARCH/APRIL2010 Secure Systems
• Hydan: Hiding Information in Program Binaries Rakan El-Khalil and Angelos D. Keromytis
• I4E: Interactive Investigation of Iterative Information Anish Das Sarma
• Identifying Comparable Entities on the Web Yahoo! Labs
• Join Optimization of Information Extraction Output: Quality Matters!
• Decentralized Information Spaces for Composition and Unification of Web Services
• QoS Evaluation of VoIP End-points Wenyu Jiang
• COMPARISONS OF FEC AND CODEC ROBUSTNESS ON VOIP QUALITY AND BANDWIDTH EFFICIENCY
• Countering Code-Injection Attacks With Instruction-Set Randomization
• Stable Deterministic Multithreading through Schedule Memoization Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang
• Kendo: Efficient Deterministic Multithreading in Software Marek Olszewski Jason Ansel Saman Amarasinghe
• Improving Application Security with Data Flow Assertions Alexander Yip, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek
• Automatically Patching Errors in Deployed Software Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach,
• Tandem TR 85.7 WHY DO COMPUTERS STOP AND WHAT CAN BE DONE ABOUT IT?
• RETROSPECTIVE: A System for Building Customized
• Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems
• Data Structure Repair Using Goal-Directed Reasoning Brian Demsky and Martin Rinard
• Can P2P Replace Direct Download for Content Distribution?
• WESTCHESTER HarlemRiver
• Technical University of Budapest Department of Telecommunications and Telematics
• Notes supporting documents about Leslie John Comrie This archive, with a few exceptions, does not include any items readily available
• Computer: Bit Slices of a Life http://www.columbia.edu/acis/history/computer.html 1 of 466 2/27/2004 10:42 AM
• Columbia University Network Integration Task Force
• Wind MIDI Controller Extraordinary Playability and Versatility
• CP/M-80 KERMIT VERSION 4.11 USER GUIDE Columbia University Center for Computing Activities
• IBM SYSTEM/370 CMS KERMIT USER'S GUIDE Version 4.3
• IBM SYSTEM/370 MVS/TSO KERMIT USER'S GUIDE Version 4.3
• The Kermit Project | Columbia University 612 West 115th Street, New York NY 10025 USA kermit@columbia.edu
• EXPLODE: A Lightweight, General Approach to Finding Serious Errors in Storage Systems
• Towards Junking the PBX: Deploying IP Telephony Wenyu Jiang, Jonathan Lennox, Henning Schulzrinne and Kundan Singh
• Mitigating the Effect of Free-Riders in BitTorrent using Trusted Alex Sherman, Angelos Stavrou, Jason Nieh and Cliff Stein
• ColumbiaUniversity Center for Computing Activities
• THE DESIGN, IMPLEMENTATION, AND EVALUATION OF SMART
• Application Communities: Using Monoculture for Dependability Michael E. Locasto, Stelios Sidiroglou, and Angelos D. Keromytis
• Organizing and Searching the World Wide Web of Facts -Step One: the One-Million Fact Extraction Challenge
• CPU Scheduling with Automatic Interactivity and Dependency Detection
• Voice over IP: Risks, Threats and Vulnerabilities Angelos D. Keromytis
• Bouncer: Securing Software by Blocking Bad Input Manuel Costa
• seL4: Formal Verification of an OS Kernel Gerwin Klein1,2
• Automatic Verification of Determinism for Structured Parallel Programs
• Adaptive Internet Interactive Team Video , Giuseppe Valetto2
• Kermit 95 Microsoft
• Organizing Query Completions for Web Search Yahoo, CA, USA
• A DEA Approach for Model Combination Zhiqiang Zheng
• CASPER: Compiler-Assisted Securing of Programs at Runtime Gaurav S. Kc, Stephen A. Edwards, Gail E. Kaiser, Angelos Keromytis
• Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
• Exploring a Few Good Tuples From Text Databases Alpa Jain1, Divesh Srivastava2
• Speech Recognition Performance as an Effective Perceived Quality Predictor Wenyu Jiang, Henning Schulzrinne
• Adding Trust to P2P Distribution of Paid Content Alex Sherman1
• APPEARS IN PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS 2002, APRIL -MAY 2002. 1 Optimal Linear Interpolation Coding for Server-based Computing
• An Investigation of the Therac-25 Accidents
• THINCing Together : Extending THINC for Multi-User Collaborative Support Dave Coulthart, Sudip Das, Leo Kim
• USENIX Association LISA '09: 23rd Large Installation System Administration Conference 15 Two-Person Control Administration
• Reducing Storage Management Costs via Informed User-Based Policies Erez Zadok, Jeffrey Osborn, Ariye Shater, Charles Wright, and Kiran-Kumar Muniswamy-Reddy
• Understanding the Management of Client Perceived Response Time
• Hardware Support For Self-Healing Software Services Stelios Sidiroglou Michael E. Locasto Angelos D. Keromytis
• CUMC IT GuardianEdge Encryption Installation and Configuration: User Guide
• Highly Reliable Mobile Desktop Computing in Your Pocket Shaya Potter
• Using Rescue Points to Navigate Software Recovery (Short Paper) Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis, and Jason Nieh
• An Analysis of Rogue AV Campaigns Marco Cova1
• Also appears in Proceedings of the Boston Workshop on Volume Visualization, Boston, MA, October 19-20, 1992. Volume Rendering
• M: Access-Assured Mobile Desktop Computing Angelos Stavrou1
• GamePod: Persistent Gaming Sessions on Pocketable Storage Devices Shaya Potter Ricardo Baratto Oren Laadan Jason Nieh
• WebPod: Persistent Web Browsing Sessions with Pocketable Storage Devices
• Efficient System-Enforced Deterministic Parallelism Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford
• SSARES: Secure Searchable Automated Remote Email Storage Adam J. Aviv(aja2002@columbia.edu), Michael E. Locasto (locasto@cs.columbia.edu),
• LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
• Feasibility of Voice over IP on the Internet Alex Sherman, Jason Nieh, and Yoav Freund
• The Security of Elastic Block Ciphers Against Key-Recovery Attacks
• Appears in Proceedings of the 2001 USENIX Annual Technical Conference, June 2001. Measuring Thin-Client Performance Using Slow-Motion Benchmarking
• The MOSIX Multicomputer Operating System for Scalable NOW and its Dynamic Resource Sharing Algorithms \Lambda
• Modeling of Packet Loss and Delay and Their E ect on Real-Time Multimedia Service Quality
• Countering CodeInjection Attacks With InstructionSet Randomization
• The Price of Safety in an Active Network D. Scott Alexander
• REPETE2: A Next Generation Home Telemedicine Architecture Albert M. Lai, PhD,1
• An Application Streaming Service for Mobile Handheld Devices
• x00 x01 x02 x03 x04 x05 x06 x07 TM
• Sep 3 00:29 2010 README Page 1 xv6 is a re-implementation of Dennis Ritchie's and Ken Thompson's Unix
• Aequitas: A Trusted P2P System for Paid Content Delivery Alex Sherman, Japinder Chawla, Jason Nieh, Cliff Stein, and Justin Sarma
• Extending File Systems Using Stackable Templates Erez Zadok, Ion Badulescu, and Alex Shender
• The Design and Implementation of Elastic Quotas: A System for Flexible File System Management
• MOVE: Mobility with Persistent Network Connections
• Contextbased Online ConfigurationError Detection Ding Yuan 1,2# , Yinglian Xie 3 , Rina Panigrahy 3 , Junfeng Yang 4# , Chad Verbowski 5 , Arunvijay Kumar 5
• Automated Recovery in a Secure Bootstrap Process William A. Arbaugh
• An Active Events Model for Systems Monitoring Philip N. Gross, Suhit Gupta, Gail E. Kaiser, Gaurav S. Kc, Janak J. Parekh
• Linux Symposium 2010 Christoffer Dall and Jason Nieh
• CASPER: CompilerAssisted Securing of Programs at Runtime Gaurav S. Kc, Stephen A. Edwards, Gail E. Kaiser, Angelos Keromytis
• IBM SYSTEM/370 MUSIC KERMIT USER'S GUIDE Version 4.3
• Scalable and Systematic Detection of Buggy Inconsistencies in Source Code
• The SwitchWare Active Network Implementation D. Scott Alexander, Michael W. Hicks, Pankaj Kakkar,
• MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
• IBM SYSTEM/370 MVS/TSO KERMIT USER'S GUIDE Version 4.3
• DETECTING AND MEASURING ASYMMETRIC LINKS IN AN Wenyu Jiang,
• AutoPod: Unscheduled System Updates with Zero Data Loss Shaya Potter and Jason Nieh
• EXPLODE: A Lightweight, General Approach to Finding Serious Errors in Storage Systems
• Operating System Virtualization: Practice and Experience Oren Laadan
• CryptoGraphics: Secret Key Cryptography Using Graphics Cards
• MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
• Execution Replay for Multiprocessor Virtual Machines George W. Dunlap, Dominic G. Lucchetti,
• International Journal of Network Security, Vol.12, No.3, PP.324-340, May 2011 324 The Efficient Dual Receiver Cryptosystem and
• Remotely Keyed Cryptographics Secure Remote Display Access Using (Mostly) Untrusted Hardware
• Efficient Data Race Detection for Async-Finish Parallelism
• THINC: A Virtual and Remote Display Architecture for Desktop Computing and Mobile
• The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications
• July2010Update Growing Together
• VOLUME 79, NUMBER 22 P H Y S I C A L R E V I E W L E T T E R S 1 DECEMBER 1997 Full f-p Shell Calculation of 51Ca and 51Sc
• FairTorrent: Bringing Fairness to Peer-to-Peer Systems Alex Sherman
• Appears in Proceedings of the 2005 IEEE International Conference on Cluster Computing (Cluster 2005), Boston, MA, September 26-30, 2005. Transparent Checkpoint-Restart of
• Java: Semantics and Type Soundness Gaurav S. Kc
• IP Input routine SA Database
• DOI: 10.1089/tmj.2007.0066 MARY ANN LIEBERT, INC. VOL. 14 NO. 4 MAY 2008 TELEMEDICINE and e-HEALTH 355 O R IG INA L RES EARCH
• Measuring the Deployment Hiccups of DNSSEC Vasilis Pappas and Angelos D. Keromytis
• August 2010 Update Growing Together
• SQLrand: Preventing SQL Injection Attacks Stephen W. Boyd and Angelos D. Keromytis
• THE MAGAZINE OF USENIX & SAGE June 2002 volume 27 number 3
• Next Generation Attacks on the Internet Position paper for
• IBM SYSTEM/370 CICS KERMIT USER'S GUIDE Version 4.3
• Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie
• Creciendo Juntos Boletn Mensual de la Universidad de Columbia
• Enhancing Server Availability and Security Through Failure-Oblivious Computing
• Book Editors IOS Press, 2003
• On the Infeasibility of Modeling Polymorphic Shellcode Yingbo Song
• IBM SYSTEM/370 MUSIC KERMIT USER'S GUIDE Version 4.3
• Asynchronous Policy Evaluation and Enforcement Matthew Burnside
• Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams
• To appear at the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI'10) TaintDroid: An Information-Flow Tracking System for Realtime Privacy
• SSARES: Secure Searchable Automated Remote Email Storage Adam J. Aviv
• Race Directed Random Testing of Concurrent Programs Koushik Sen
• KeyNote: Trust Management for Public-Key Infrastructures
• Assessment of VoIP Service Availability in the Current Internet
• Accelerating Application-Level Security Protocols Matthew Burnside
• FiST: A System for Stackable File-System Code Generation Submitted in partial fulfillment of the
• Warum Frank aus N.Y. nicht von Frankfurt lassen kannVon Inga Schulze
• Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
• Creciendo Juntos Boletn Mensual de la Universidad de Columbia
• Automatic User Interaction Detection and Scheduling with RSIO Haoqiang Zheng1,2
• Hybrid Dynamic Data Race Detection Robert O'Callahan
• Optimizing Data Partitioning for DataParallel Computing Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu
• CP/M80 KERMIT VERSION 4.11 USER GUIDE Columbia University Center for Computing Activities
• The STRONGMAN Architecture Angelos D. Keromytis, Sotiris Ioannidis, Michael B. Greenwald and Jonathan M. Smith
• Design and Analysis of Decoy Systems for Computer Security
• Appeared in The Linux Symposium 2010, Ottawa, July 2010 Linux-CR: Transparent Application Checkpoint-Restart in Linux
• IBM SYSTEM/370 CMS KERMIT USER'S GUIDE Version 4.3
• Comparison and Optimization of Packet Loss Repair Methods on VoIP Perceived Quality under Bursty Loss
• CS1004 FALL 2010 FRIDAY SESSION 1
• Simplifying Failure-Inducing Input Ralf Hildebrandt
• Multimedia on Multiprocessors: Where's the OS When You Really Need It? Jason Nieh1,2 and Monica S. Lam1
• Bypassing Races in Live Applications with Execution Filters Jingyue Wu, Heming Cui, Junfeng Yang
• The Little Generation That Could, and Did Shane Auerbach
• LOOM: Bypassing Races in Live Applications with Execution Filters
• The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications
• A Comparison of Thin-Client Computing Architectures Technical Report CUCS-022-00
• Inter Process Communication Optimization in a Scalable Computing Cluster
• O ine Micropayments without Trusted Matt Blaze1, John Ioannidis1, and Angelos D. Keromytis2
• Monitoring Technologies for Mitigating Insider Threats Brian M. Bowen, Malek Ben Salem, Angelos D. Keromytis, Salvatore J. Stolfo,
• MediaPod: A Personalized Multimedia Desktop In Your Pocket Shaya Potter Ricardo Baratto Oren Laadan Leonard Kim Jason Nieh
• Automatically Generating Malicious Disks using Symbolic Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler
• A Holistic Approach to Service Survivability Angelos D. Keromytis
• The Case For Crypto Protocol Awareness Inside The OS Kernel Matthew Burnside Angelos D. Keromytis
• Programming with Punched Cards 2005 Dale Fisk. All rights reserved
• Secure Quality of Service Handling (SQoSH) D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Steve Muir and Jonathan M. Smith
• The following items held by Howard C. Smith, 11a Roy Street, Tawa, Wellington. Mr Smith authorised the copies to be made for inclusion in this archive, and for
• MOVE: An End-to-End Solution To Network Denial of Service Angelos Stavrou Angelos D. Keromytis Jason Nieh Vishal Misra Dan Rubenstein
• Performance of the MOSIX Parallel System for a Cluster of PC's
• Constructing Variable-Length PRPs and SPRPs from Fixed-Length PRPs
• REASSURE: A Self-contained Mechanism for Healing Software Using Rescue Points
• Taint-Exchange: a Generic System for Cross-process and Cross-host Taint Tracking
• Automatically Generating Malicious Disks using Symbolic Execution
• EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors
• CDA EXPEDITING FORM: v040510 COLUMBIA TECHNOLOGY VENTURES USE ONLY
• (For STV use only) Agreement No. ______________ Date Received ______________
• A Quantitative Analysis of the Insecurity of Embedded Network Devices: Results of a Wide-Area Scan
• Roxana Geambasu Research Statement While emerging computing technologies offer us previously unimaginable global access to data, they
• Exclusive Journal to Publish 'Unpublished' Works There are currently numerous journals where researchers may choose to submit and
• Regaining Control over Cloud and Mobile Data Roxana Geambasu
• Using Model Checking to Find Serious File System Errors
• Regaining Control over Cloud and Mobile Data Roxana Geambasu
• Facilitating Communal Data Sharing in Public Clouds
• New Directions for Self-Destructing Data Systems Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy
• From Office of the General Counsel, Columbia University If I request it, can CTV review consulting agreements between me and outside companies?
• ROP Payload Detection Using Speculative Code Execution Michalis Polychronakis
• Brave New World: Pervasive Insecurity of Embedded Network Devices
• Self Propelled Device with Harmonic Propulsion and Harmonic Control
• BlackHat Briefings USA 8.3.2011 Killing the Myth of
• Research Summary August 17, 2011
• Organizing and Sharing Distributed Web Objects with
• Defending Embedded Systems with Software Ang Cui and Salvatore J. Stolfo
• A Multilayer Overlay Network Architecture for Enhancing IP Services Availability Against DoS
• Increasing Data Privacy with Self-Destructing Data
• Log-Linear Models Michael Collins
• Digital "Scat" Device for Musical Instrument Sound Modification
• Phrase-Based Translation Models Michael Collins
• MODIST: Transparent Model Checking of Unmodified Distributed Systems
• Auditing Encrypted Filesystem for Theft-prone Devices
• Killing the Myth of Cisco IOS Diversity Recent Advances in Reliable Shellcode Design
• Usable Secure Private Search Mariana Raykova, Ang Cui, Binh Vo, Bin Liu,
• MTAin EXPEDITING FORM: v040510 COLUMBIA TECHNOLOGY VENTURES USE ONLY
• A Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processing
• Cells: A Virtual Mobile Smartphone Architecture
• Comet: An Active Distributed Key-Value Store
• Reflections on the Engineering and Operation of a Large-Scale Embedded Device Vulnerability Scanner
• Deplump: probabilistic lossless compression Unmet Need Contact
• The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications
• Reducing Storage Management Costs via Informed User-Based Policies Erez Zadok, Jeffrey Osborn, Ariye Shater, Charles Wright, and Kiran-Kumar Muniswamy-Reddy
• THE DESIGN, IMPLEMENTATION, AND EVALUATION OF SMART
• Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage
• Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems
• 1 Introduction Ubiquitous mobile computing is a coming reality, fueled in
• pTHINC: A Thin-Client Architecture for Mobile Wireless Web
• Extending File Systems Using Stackable Templates Erez Zadok, Ion Badulescu, and Alex Shender
• Using Rescue Points to Navigate Software Recovery (Short Paper) Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis, and Jason Nieh
• Using Certes to Infer Client Response Time at the Web Server
• Measuring the Multimedia Performance of Server-Based Computing Department of Computer Science
• Appears in Proceedings of the 2001 USENIX Annual Technical Conference, June 2001. Virtual-Time Round-Robin
• Secure Isolation and Migration of Untrusted Legacy Applications Shaya Potter Jason Nieh Dinesh Subhraveti
• Measuring Thin-Client Performance Using Slow-Motion Benchmarking
• FiST: A Language for Stackable File Systems Erez Zadok and Jason Nieh
• ACMS: The Akamai Configuration Management System Alex Sherman
• WebPod: Persistent Web Browsing Sessions with Pocketable Storage Devices
• Appears in Proceedings of the First Symposium on Networked Systems Design and Implementation (NSDI 2004) SWAP: A Scheduler With Automatic Process Dependency Detection
• Concurrency Attacks Junfeng Yang, Ang Cui, John Gallagher, Sal Stolfo, Simha Sethumadhavan
• DOI: 10.1089/tmj.2007.0066 MARY ANN LIEBERT, INC. VOL. 14 NO. 4 MAY 2008 TELEMEDICINE and e-HEALTH 355 O R IG INA L RES EARCH
• Grouped Distributed Queues: Distributed Queue, Proportional Share Multiprocessor Scheduling
• a simple, Unix-like teaching operating system Frans Kaashoek
• Bypassing Races in Live Applications with Execution Filters Jingyue Wu, Heming Cui, Junfeng Yang
• libdft: Practical Dynamic Data Flow Tracking for Commodity Systems
• MOVE: An End-to-End Solution To Network Denial of Service Angelos Stavrou Angelos D. Keromytis Jason Nieh Vishal Misra Dan Rubenstein
• FiST: A System for Stackable File-System Code Generation Submitted in partial fulfillment of the
• CANONICAL SIMPLIFICATION OF NETWORKING AND THE INTERNET Submitted in partial fulfillment of the requirements for
• Adaptive Internet Interactive Team Video Giuseppe Valetto1,2
• A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains
• http://www.3com.com/ Part Number 900-0287-01 Rev AB
• CRAK: Linux Checkpoint/Restart As a Kernel Module Hua Zhong and Jason Nieh
• Multimedia on Multiprocessors: Where's the OS When You Really Need It? Jason Nieh1,2 and Monica S. Lam1
• Appears in Proceedings of the IEEE International Conference on Multimedia Computing and Systems, Ottawa, Canada, June, 1997. SMART UNIX SVR4 Support for Multimedia Applications
• FiST: A Language for Stackable File Systems Erez Zadok and Jason Nieh
• Improving Web Browsing on Wireless PDAs Using Thin-Client Computing
• Listen to Messages New messages
• Record and vPlay: Problem Determination with Virtual Replay Across Heterogeneous Systems
• A Comparison of Thin-Client Computing Architectures Technical Report CUCS-022-00
• Implementing Remote Display on Commodity Operating Systems Submitted in partial fulfillment of the requirements for the degree of
• P C M A G A Z I N E JULY 200068 PHOTOGRAPHYBYTHOMO'CONNOR
• Appears in Proceedings of the 2001 USENIX Annual Technical Conference, June 2001. Measuring Thin-Client Performance Using Slow-Motion Benchmarking
• NCCloud: Applying Network Coding for the Storage Repair in a Cloud-of-Clouds
• Group Ratio Round-Robin: O(1) Proportional Share Scheduling for Uniprocessor and Multiprocessor Systems
• On the Performance of Wide-Area Thin-Client Computing