Research

Software

Documentation

Home

Current Projects

Projects

• BetrFS - A write-optimized, general purpose Linux file system.
• HOSS - A pedagogical hypervisor.
• Graphene - A rich Linux library OS, including support for multi-process applications.
• Protego - Practical techniques to obviate setuid-to-root binaries on Linux.
• TxOS - Adding transactions to the system call API.
• Laminar - Practical, fine-grained decentralized information flow control (DIFC) support in both the JVM and Linux kernel.
• Syncchar - Analyzing and tuning the performance of transactional memory workloads.
• MetaTM/TxLinux - Using hardware transactional memory in the OS kernel.

Publications

• Mosaic Pages: Big TLB Reach with Small Pages
  Jaehyun Han, Krishnan Gosakan, William Kuszmaul, Ibrahim Nael Mubarek, Nirjhar Mukherjee, Karthik Sriram, Guido Tagliavini, Evan West, Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton Jayneel Gandhi, Rob Johnson, Sudarsun Kannan, and Donald E. Porter
  (IEEE, PDF)
  2023 IEEE/Micro Top Picks in Computer Architecture, IEEE Micro.

---

• Degrading Data to Save the Planet
  Aviad Zuck, Donald E. Porter, and Dan Tsafrir
  (ACM, PDF)
  Proceedings of the 19th ACM Workshop on Hot Topics in Operating Systems (HotOS '23), Providence, Rhode Island, June 2023.
• A Probabilistic Model and Metrics for Estimating Perceived Accessibility of Desktop Applications in Keystroke-Based Non-Visual Interactions
  Md Touhidul Islam, Donald E. Porter, and Syed Masum Billah,
  (ACM, PDF)
  In the Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI '23), Hamburg, Germany, March 2023.
• Mosaic Pages: Big TLB Reach with Small Pages
  Krishnan Gosakan, Jaehyun Han, William Kuszmaul, Ibrahim Nael Mubarek, Nirjhar Mukherjee, Karthik Sriram, Guido Tagliavini, Evan West, Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton Jayneel Gandhi, Rob Johnson, Sudarsun Kannan, and Donald E. Porter
  (ACM, PDF)
  In the Proceedings of the 28th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '23), Vancouver, BC, Canada, March 2023.

---

• BetrFS: A Compleat File System For Commodity SSDs
  Yizheng Jiao, Simon Bertron, Sagar Patel, Luke Zeller, Rory Bennett, Nirjhar Mukherjee, Michael Bender, Michael Condict, Alex Conway, Martin Farach-Colton Xiongzi Ge, William Jannen, Rob Johnson, Donald E. Porter, and Jun Yuan,
  (ACM, PDF)
  Proceedings of the 17th ACM European Conference on Computer Systems (EuroSys '22), Rennes, France, April 2022.



---

• Sensor Virtualization for Efficient Sharing of Mobile and Wearaable Sensors
  Jian Xu, Arani Bhattacharya Aruna Balasubramanian, and Donald E. Porter
  (ACM, PDF)
  Proceedings of the 3rd International Workshop on Challenges in Artificial Intelligence and Machine Learning for Internet of Things (AIChallengeIoT '21), Coimbra, Portugal, November 2021.


• External-memory Dictionaries in the Affine and PDAM Models
  Michael Bender, Alex Conway, Martin Farach-Colton William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey, Donald E. Porter, Jun Yuan, and Yang Zhan,
  (ACM, PDF)
  ACM Transactions on Parallel Computing, Volume 8, Issue 3, Article 15, September 2021.


• Rowhammering Storage Devices
  Tao Zhang, Boris Pismenny, Aviad Zuck, Dan Tsafrir, and Donald E. Porter
  (ACM, PDF)
  Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage '21), Virtual, July 2021.


• Paging and the Address Translation Problem
  Michael Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton Rob Johnson, Sudarsun Kannan, William Kuszmaul, Nirjhar Mukherjee, Donald E. Porter, Guido Tagliavini, Janet Vorobyeva, and Evan West,
  (ACM, PDF)
  Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '21), Virtual Conference, June 2021.


• Copy-on-Abundant-Write for Nimble File System Clones
  Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael Bender, Martin Farach-Colton William Jannen, Rob Johnson, Donald E. Porter, and Jun Yuan,
  (ACM, PDF)
  ACM Transactions on Storage, Volume 17, No 1, Article 5, January 2021.
  



---

• On the Effectiveness of Behavior-based Ransomware Detection
  Jaehyun Han, Zhiqiang Lin, and Donald E. Porter
  (PDF)
  Proceedings of the 16th EAI International Conference on Security and Privacy in Communication Networks (SecureComm '20), Washington, DC, October 2020.


• A Survey of Patterns for Adapting Smartphone App UIs to Smart Watches
  Zhilan Zhou, Jian Xu, Aruna Balasubramanian, and Donald E. Porter
  (ACM, PDF)
  Proceedings of the 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI '20), Oldenburg, Germany, October 2020.


• Supporting I/O and IPC via Fine-Grained OS Isolation for Mixed-Criticality Real-Time Tasks
  Namhoon Kim, Stephen Tang, Nathan Otterness, James H. Anderson, F. Donelson Smith, and Donald E. Porter
  (PDF)
  Real-Time Systems, special issue of outstanding papers from the 26th International Conference on Real-Time Networks and Systems (RTNS 2018). Volume 56, Issue 4.
  


• A Praise for Defensive Programming: Leveraging Uncertainty for Effective Malware Mitigation.
  Ruimin Sun, Marcus Botacin, Nikolaos Sapountzis, Xiaoyong Yuan, Matt Bishop, Donald E. Porter, Xiaolin Li, Andre Gregio, and Daniela Oliveira
  (PDF)
  IEEE Transactions on Dependable and Secure Computing (TDSC), Early Access, 2020.


• How to Not Copy Files
  Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael Bender, Martin Farach-Colton William Jannen, Rob Johnson, Donald E. Porter, and Jun Yuan,
  (USENIX, PDF)
  In :login; magazine, Volume 45, Number 3, pages 12--17, Fall 2020.
  


• Civet: An Efficient Java Partitioning Framework for Hardware Enclaves
  Chia-Che Tsai, Jeongsok Son Bhushan Jain, John McAvey, Raluca Ada Popa and Donald E. Porter
  (PDF)
  Proceedings of the 29th USENIX Security Symposium (USENIX Security '20), Boston, MA, August 2020.


• How to Copy Files
  Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael Bender, Martin Farach-Colton William Jannen, Rob Johnson, Donald E. Porter, and Jun Yuan,
  (PDF)
  Proceedings of the 18th USENIX Conference on File and Storage Technologies (FAST '20), Santa Clara, CA, February 2020.
  



---

• Filesystem Aging: It’s more Usage than Fullness
  Alex Conway, Eric Knorr, Yizheng Jiao, Michael Bender, William Jannen, Rob Johnson, Donald E. Porter, and Martin Farach-Colton
  (PDF)
  Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage '19), Renton, WA, July 2019.


• Apps Can Quickly Destroy Your Mobile's Flash: Why They Don't, and How to Keep It That Way
  Tao Zhang, Aviad Zuck, Donald E. Porter, and Dan Tsafrir
  (PDF)
  Proceedings of the 17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys '19), Seoul, South Korea, June 2019.


• Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design
  Michael Bender, Alex Conway, Martin Farach-Colton William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey, Donald E. Porter, Jun Yuan, and Yang Zhan,
  (ACM, PDF)
  Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '19), Phoenix, AZ, June 2019.


• x86-64 Instruction Usage among C/C++ Applications
  Amogh Akshintala, Bhushan Jain, Chia-Che Tsai, Michael Ferdman, and Donald E. Porter,
  (ACM, PDF)
  Proceedings of the 12th ACM International Systems and Storage Conference (SYSTOR '19), Haifa, Israel, June 2019.


• Why and How to Increase SSD Performance Transparency
  Aviad Zuck, Philipp Gühring, Tao Zhang, Donald E. Porter, and Dan Tsafrir
  (PDF)
  Proceedings of the 17th ACM Workshop on Hot Topics in Operating Systems (HotOS '19), Bertinoro, Italy, May 2019.


• Theoretical Foundations of Storage Systems (Dagstuhl Seminar 19111)
  Martin Farach-Colton Inge Li Gørtz, Rob Johnson, and Donald E. Porter
  Dagstuhl Reports, Volume 9, Issue 3, March 2019.



---

• Efficient Directory Mutations in a Full-Path-Indexed File System
  Yang Zhan, Yizheng Jiao, Donald E. Porter, Alex Conway, Eric Knorr, Martin Farach-Colton Michael A. Bender, Jun Yuan, William Jannen, and Rob Johnson
  (PDF)
  ACM Transactions on Storage, Volume 14, No 3, Article 22, November 2018.
  


• Supporting I/O and IPC via Fine-Grained OS Isolation for Mixed-Criticality Real-Time Tasks
  Namhoon Kim, Stephen Tang, Nathan Otterness, James H. Anderson, F. Donelson Smith, and Donald E. Porter
  (PDF)
  Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18), Poitiers, France, October 2018.
  Awarded Best Paper


• Talk to My Neighbors Transport: Decentralized Data Transfer and Scheduling Among Accelerators
  Amogh Akshintala, Vance Miller, Donald E. Porter, and Christopher J. Rossbach
  (PDF)
  Proceedings of the 9th Workshop on Systems for Multi-core and Heterogeneous Architectures (SFMA '18), Porto, Portugal, April 2018.


• SteeringWheel: A Locality-Preserving Magnification Interface for Low Vision Web Browsing
  Syed Masum Billah, Vikas Ashok, Donald E. Porter, and I.V. Ramakrishnan
  (ACM, PDF)
  Proceedings of the ACM CHI Conference on Human Factors in Computing Systems (CHI '18), Montreal, Canada, April 2018.


• The Full Path to Full-Path Indexing
  Yang Zhan, Alex Conway, Yizheng Jiao, Eric Knorr, Michael Bender, Martin Farach-Colton William Jannen, Rob Johnson, Donald E. Porter, and Jun Yuan,
  (PDF)
  Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST '18), Oakland, CA, February 2018.
  Nominated for Best Paper


• Stash in a Flash
  Aviad Zuck, Yue Li Jehoshua Bruck, Donald E. Porter, and Dan Tsafrir
  (PDF)
  Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST '18), Oakland, CA, February 2018.



---

• Challenges For Scaling Applications Across Enclaves
  Jethro G. Beekman and Donald E. Porter
  (PDF)
  Proceedings of the 2nd Workshop on System Software for Trusted Execution (SysTEX '17), Shanghai, China, October 2017.


• Speed-Dial: A Surrogate Mouse for Non-Visual Web Browsing
  Syed Masum Billah, Vikas Ashok, Donald E. Porter, and I.V. Ramakrishnan
  (ACM, PDF)
  Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS '17), Baltimore, Maryland, October 2017.


• UIWear: Easily Adapting User Interfaces for Wearable Devices
  Jian Xu, Qingqing Cao, Aditya Prakash, Aruna Balasubramanian, and Donald E. Porter
  (PDF)
  Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking (MobiCom '17), Snowbird, Utah, October 2017.


• Supporting Mode Changes while Providing Hardware Isolation in Mixed-Criticality Multicore Systems
  Micaiah Chisholm Namhoon Kim, Stephen Tang, Nathan Otterness, James H. Anderson, F. Donelson Smith, and Donald E. Porter
  (PDF)
  Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS '17), Grenoble, France, October 2017.


• Building a Security OS With Software Defined Infrastructure
  Guofei Gu, Hongxin Hu, Eric Keller, Zhiqiang Lin, and Donald E. Porter
  (ACM, PDF)
  Proceedings of the 2017 ACM Asia-Pacific Workshop on Systems (APSys '17), Mumbai, India, September 2017.


• dm-x: Protecting Volume-level Integrity for Cloud Volumes and Local Block Devices
  Anrin Chakraborti, Bhushan Jain, Jan Kasiak, Tao Zhang, Donald E. Porter, and Radu Sion
  (ACM, PDF)
  Proceedings of the 2017 ACM Asia-Pacific Workshop on Systems (APSys '17), Mumbai, India, September 2017.


• The Dose Makes the Poison---Leveraging Uncertainty for Effective Malware Detection
  Ruimin Sun, Xiaoyong Yuan, Andrew Lee, Matt Bishop, Donald E. Porter, Xiaolin Li, Andre Gregio, and Daniela Oliveira
  (PDF)
  Proceedings of the 2017 IEEE Conference on Dependable and Secure Computing (DSC '17), Taipei, Taiwan, August 2017.


• Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX
  Chia-Che Tsai, Donald E. Porter, and Mona Vij
  (PDF)
  Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17), Santa Clara, California, July 2017.


• How to Age Your File System
  Alex Conway, Ainesh Bakshi, Yizheng Jiao, Yang Zhan, Michael Bender, William Jannen, Rob Johnson, Bradley C. Kuszmaul, Donald E. Porter, Jun Yuan, and Martin Farach-Colton
  (USENIX Site, Local PDF)
  In :login; magazine, Volume 42, Number 2, pages 6--11, Summer 2017.


• A Clairvoyant Approach to Evaluating Software (In)security
  Bhushan Jain, Chia-Che Tsai, and Donald E. Porter
  (PDF)
  Proceedings of the 16th ACM Workshop on Hot Topics in Operating Systems (HotOS '17), Whistler, British Columbia, Canada, May 2017.


• Preserving Hidden Data with an Ever-Changing Disk
  Aviad Zuck, Udi Shriki, Donald E. Porter, and Dan Tsafrir
  (PDF)
  Proceedings of the 16th ACM Workshop on Hot Topics in Operating Systems (HotOS '17), Whistler, British Columbia, Canada, May 2017.


• Flash Lifespan *is* a Problem
  Tao Zhang, Aviad Zuck, Donald E. Porter, and Dan Tsafrir
  (PDF)
  Proceedings of the 16th ACM Workshop on Hot Topics in Operating Systems (HotOS '17), Whistler, British Columbia, Canada, May 2017.


• Ubiquitous Accessibility for Users with Visual Impairments: Are We There Yet?
  Syed Masum Billah, Vikas Ashok, Donald E. Porter, and I.V. Ramakrishnan
  (ACM, PDF)
  Proceedings of the ACM CHI Conference on Human Factors in Computing Systems (CHI '17 (Note)), Denver, Colorado, May 2017.


• Writes Wrought Right, and Other Adventures in File System Optimization
  Jun Yuan, Yang Zhan, William Jannen, Prashant Pandey, Amogh Akshintala, Kanchan Chandnani, Pooja Deo, Zardosht Kasheff, Leif Walsh, Michael Bender, Martin Farach-Colton, Rob Johnson, Bradley C. Kuszmaul, and Donald E. Porter
  (ACM, PDF)
  ACM Transactions on Storage, Volume 13, No 1, Article 3, March 2017.


• File Systems Fated for Senescence? Nonsense, Says Science!
  Alex Conway, Ainesh Bakshi, Yizheng Jiao, Yang Zhan, Michael Bender, William Jannen, Rob Johnson, Bradley C. Kuszmaul, Donald E. Porter, Jun Yuan, and Martin Farach-Colton
  (PDF, Presentation)
  Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST '17), Santa Clara, CA, February 2017.



---

• A Platform Agnostic Remote Desktop System for Screen Reading
  Syed Masum Billah, Vikas Ashok, Donald E. Porter, and I.V. Ramakrishnan
  (PDF)
  Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS '16 (Demo Paper)), Reno, Nevada, October 2016.


• Bear: A Framework for Understanding Application Sensitivity to OS (Mis)Behavior
  Ruimin Sun, Andrew Lee, Aokun Chen, Natalie Ebner, Donald E. Porter, Matt Bishop, and Daniela Oliveira
  (PDF)
  Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering (ISSRE '16), Ottawa, Canada, October 2016.


• What to Support when You're Supporting: A Study of Linux API Usage and Compatibility
  Chia-Che Tsai, Bhushan Jain, Nafees Ahmed Abdul, and Donald E. Porter
  (USENIX Site, PDF)
  In :login; magazine, Volume 41, Number 3, pages 13--19, Fall 2016.


• Lazy Analytics: Let Other Queries Do the Work For You
  William Jannen, Michael Bender, Martin Farach-Colton, Rob Johnson, Bradley C. Kuszmaul, and Donald E. Porter
  (PDF)
  Proceedings of the 8th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage '16), Denver, CO, June 2016.


• Versioned programming: A simple technique for implementing efficient, lock-free, and composable data structures.
  Yang Zhan and Donald E. Porter
  (ACM, PDF)
  Proceedings of the 9th ACM International Systems and Storage Conference (SYSTOR '16), Haifa, Israel, June 2016.


• Sinter: Low-Bandwidth Remote Access for the Visually-Impaired
  Syed Masum Billah, Donald E. Porter, and I.V. Ramakrishnan
  (ACM, PDF)
  Proceedings of the 11th ACM European Conference on Computer Systems (EuroSys '16), London, UK, April 2016.


• A Study of Modern Linux API Usage and Compatibility: What to Support When You're Supporting
  Chia-Che Tsai, Bhushan Jain, Nafees Ahmed Abdul, and Donald E. Porter
  (ACM, PDF)
  Proceedings of the 11th ACM European Conference on Computer Systems (EuroSys '16), London, UK, April 2016.


• Optimizing Every Operation in a Write-Optimized File System
  Jun Yuan, Yang Zhan, William Jannen, Prashant Pandey, Amogh Akshintala, Kanchan Chandnani, Pooja Deo, Zardosht Kasheff, Leif Walsh, Michael Bender, Martin Farach-Colton, Rob Johnson, Bradley C. Kuszmaul, and Donald E. Porter
  (PDF)
  Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST '16), Santa Clara, CA, February 2016.



---



• BetrFS: Write-Optimization in a Kernel File System
  William Jannen, Jun Yuan, Yang Zhan, Amogh Akshintala, John Esmet, Yizheng Jiao, Ankur Mittal, Prashant Pandey, Phaneendra Reddy, Leif Walsh, Michael Bender, Martin Farach-Colton, Rob Johnson, Bradley C. Kuszmaul, and Donald E. Porter
  (ACM, PDF)
  ACM Transactions on Storage, Volume 11, No 4, Article 18, October 2015.


• How to Get More Value From Your File System Directory Cache
  Chia-Che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, and Donald E. Porter
  (ACM, PDF, Single Column PDF)
  Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP '15), Monterey, CA, October 2015.


• An Introduction to B^ε-Trees and Write-Optimization
  Michael Bender, Martin Farach-Colton, William Jannen, Rob Johnson, Bradley C. Kuszmaul, Donald E. Porter, Jun Yuan, and Yang Zhan
  (USENIX Site)
  In :login; magazine, Volume 40, Number 5, pages 22--28, October 2015.


• The Case for Unpredictability and Deception as OS Features
  Ruimin Sun, Matt Bishop, Natalie C. Ebner, Daniela Oliveira, and Donald E. Porter
  (USENIX Site)
  In :login; magazine, Volume 40, Number 4, pages 12--17, August 2015.


• Containing the Hype
  Kavita Agarwal, Bhushan Jain, and Donald E. Porter
  (PDF)
  In Proceedings of the 6th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys '15), Tokyo, Japan, July 2015.


• The Case for Less Predictable Operating System Behavior
  Ruimin Sun, Donald E. Porter Daniela Oliveira, and Matt Bishop
  (PDF)
  In Proceedings of the 15th Workshop on Hot Topics in Operating Systems (HotOS '15), Kartause Ittingen, Switzerland, May 2015.


• Introspections on the Semantic Gap
  Bhushan Jain, Mirza Basim Baig, Dongli Zhang, Donald E. Porter, and Radu Sion
  In IEEE Security and Privacy, March/April 2015, Volume 13, No. 2, pages 48--55.


• Teaching Virtualization by Building a Hypervisor
  Abhinand Palicherla, Tao Zhang, and Donald E. Porter
  (PDF)
  In the Proceedings of the 46th SIGCSE Technical Symposium on Computer Science Education, Kansas City, Missouri, March 2015.


• BetrFS: A Right-Optimized Write-Optimized File System
  William Jannen, Jun Yuan, Yang Zhan, Amogh Akshintala, John Esmet, Yizheng Jiao, Ankur Mittal, Prashant Pandey, Phaneendra Reddy, Leif Walsh, Michael Bender, Martin Farach-Colton, Rob Johnson, Bradley C. Kuszmaul, and Donald E. Porter
  (PDF)
  Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST '15), Santa Clara, CA, February 2015.



---



• Practical Fine-Grained Information Flow Control Using Laminar
  Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, and Emmett Witchel
  (PDF)
  ACM Transactions on Programming Languages and Systems, Volume 37, Issue 1, November 2014.


• SoK: Introspections on Trust and the Semantic Gap
  Bhushan Jain, Mirza Basim Baig, Dongli Zhang, Donald E. Porter, and Radu Sion
  (PDF)
  In the Proceedings of the 2014 IEEE Symposium on Security and Privacy (Oakland '14), San Jose, CA, May 2014.


• Cooperation and Security Isolation of Library OSes for Multi-Process Applications
  Chia-Che Tsai, Kumar Saurabh Arora, Nehal Bandi, Bhushan Jain, William Jannen, Jitin John, Harry A. Kalodner, Vrushali Kulkarni, Daniela Oliveira, and Donald E. Porter
  (PDF)
  In Proceedings of the 9th European Conference on Computer Systems (EuroSys '14), Amsterdam, The Netherlands, April 2014.


• Practical Techniques to Obviate Setuid-to-Root Binaries
  Bhushan Jain, Chia-Che Tsai, Jitin John, and Donald E. Porter
  (PDF)
  In Proceedings of the 9th European Conference on Computer Systems (EuroSys '14), Amsterdam, The Netherlands, April 2014.


• CloudFlow: Cloud-wide policy enforcement using fast VM introspection
  Mirza Basim Baig, Connor Fitzsimons, Suryanarayanan Balasubramanian, Radu Sion, and Donald E. Porter
  (PDF)
  In Proceedings of the IEEE International Conference on Cloud Engineering (IC2E '14), Boston, Massachusetts, March 2014.



---



• Efficiently Retrieving Function Dependencies in the Linux Kernel using XSB
  Spyros Hadjichristodoulou, Donald E. Porter, and David S. Warren
  (PDF)
  In Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE '13), Istanbul, Turkey, 2013.


• Virtualize Storage, Not Disks
  William Jannen, Chia-Che Tsai, and Donald E. Porter
  (PDF)
  In Proceedings of the 14th Workshop on Hot Topics in Operating Systems (HotOS '13), Santa Ana Pueblo, New Mexico, May 2013.



---



• Improving Server Applications with System Transactions
  Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter
  (PDF)
  In the Proceedings of the 7th ACM European Conference on Computer Systems (EuroSys '12), Bern, Switzerland, April 2012.
  



---



• TxBox: Building Secure, Efficient Sandboxes with System Transactions
  Suman Jana, Donald E. Porter, and Vitaly Shmatikov
  (PDF)
  In the Proceedings of the 2011 IEEE Symposium on Security and Privacy (Oakland '11), Oakland, CA, May 2011.
• Rethinking the Library OS from the Top Down
  Donald E. Porter,  Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, and Galen Hunt
  (PDF)
  In the Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '11), Newport Beach, CA, March 2011.



---



• Operating System Transactions
  Donald E. Porter
  (PDF)
  Ph.D. dissertation, The University of Texas at Austin, December 2010.
• Transactional System Calls on Linux
  Donald E. Porter  and Emmett Witchel
  (PDF)
  In the Proceedings of the 2010 Linux Symposium, Ottawa, Canada, July 2010.
• Understanding Transactional Memory Performance
  Donald E. Porter  and Emmett Witchel
  (PDF)
  In the Proceedings of the 2010 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS '10), White Plains, NY, March 2010.



---



• Operating System Transactions
  Donald E. Porter,  Owen S. Hofmann, Christopher J Rossbach Alexander Benn Emmett Witchel
  (PDF, Poster PDF)
  In the Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09), Big Sky, MT, October 2009.
• Laminar: Practical Fine-Grained Decentralized Information Flow Control
  Indrajit Roy, Donald E. Porter,  Michael D. Bond Kathryn S. McKinley Emmett Witchel
  (PDF)
  In Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (PLDI '09), Dublin, Ireland, June 2009.
• Operating Systems Should Provide Transactions
  Donald E. Porter,  Emmett Witchel
  (PDF, HTML)
  In Proceedings of the 12th Workshop on Hot Topics in Operating Systems (HotOS '09), Monte Verita, Switzerland, May 2009.



---



• Privacy-Preserving Remote Diagnostics
  Justin Brickell,  Donald E. Porter,  Vitaly Shmatikov,  Emmett Witchel
  (PDF)
  In Proceedings of the 14th ACM Conference on Computer and Communications Security (CCS '07), Alexandria, VA October 2007.
• TxLinux: Using and Managing Transactional Memory in an Operating System
  Christopher J. Rossbach,  Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan,  Aditya Bhandari,  Emmett Witchel
  (PDF)
  In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP '07) , Stevenson, WA October 2007.
  Audience Choice Award.
  A version of this paper also appeared in the September 2008 Issue of Communications of the ACM.
• Solving Difficult HTM Problems Without Difficult Hardware
  Owen S. Hofmann, Donald E. Porter, Christopher J. Rossbach,  Hany E. Ramadan,  Emmett Witchel
  (PDF)
  In Proceedings of the 2nd Workshop on Transactional Computing (TRANSACT '07) , Portland, OR August 2007.
• MetaTM/TxLinux: Transactional Memory For An Operating System
  Hany E. Ramadan,  Christopher J. Rossbach,  Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, Emmett Witchel
  (PDF)
  In Proceedings of the 34th International Symposium on Computer Architecture (ISCA '07), San Diego, CA June 2007.
  A version of this paper also appeared in the 2007 IEEE/Micro Top Picks from Computer Architecture Conferences of 2007.
• Improved Error Reporting for Software that Uses Black Box Components
  Jungwoo Ha, Christopher J. Rossbach,  Jason V. Davis, Indrajit Roy, Hany E. Ramadan,  Donald E. Porter,   David L. Chen,   Emmett Witchel
  (PDF)
  In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI '07), San Diego, CA June 2007.
• Is the Optimism in Optimistic Concurrency Warranted?
  Donald E. Porter,  Owen S. Hofmann, Emmett Witchel
  (PDF, HTML)
  In Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS '07) San Diego, CA, May 2007.



---



• Using Java to teach networking concepts with a programmable network sniffer
  Michael J. Jipping, Agata Bugaj, Lilyana Mihalkova, and Donald E. Porter
  (PDF)
  In Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, Reno, Nevada, February 2003.

Posters

• Modeling Transactional Memory Workload Performance
  Donald E. Porter  and Emmett Witchel
  (Summary PDF, Poster PDF)
  In the Proceedings of the 15th ACM Annual Symposium on Principles and Practice of Parallel Programming (PPoPP '10), Bangalore, India, January 2010.
• Operating System Transactions
  Donald E. Porter,  Indrajit Roy, and Emmett Witchel
  (PDF)
  Appeared at the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08), San Diego, CA, December 2008.

Technical Reports and other non-reviewed publications

• Living Dangerously: A Survey of Software Download Practices
  Jon Howell, Galen Hunt, David Molnar, and Donald E. Porter.
  (PDF)
  Microsoft Research Technical Report, Number MSR-TR-2010-51.
• Predicting and Tuning the Performance of Multicore Systems
  Donald E. Porter, Owen S. Hofmann, Emmett Witchel
  (PDF)
  The University of Texas at Austin Computer Science Technical Report, Number 08-10.
• Contemplating Navel: Improving Software Error Reporting by Classifying Program Behavior
  Jungwoo Ha, Hany E. Ramadan,  Jason V. Davis,  Christopher J. Rossbach,  Indrajit Roy, Donald E. Porter, and Emmett Witchel
  (PDF)
  The University of Texas at Austin Computer Science Technical Report, Number 06-11.