Donald E. Porter

Dan Tsafrir

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

A Probabilistic Model and Metrics for Estimating Perceived Accessibility of Desktop Applications in Keystroke-Based Non-Visual Interactions.

[BibT_eX]

[DOI]

Md. Touhidul Islam

Syed Masum Billah

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Mosaic Pages: Big TLB Reach with Small Pages.

[BibT_eX]

[DOI]

Abhishek Bhattacharjee

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Introduction to the Special Section on USENIX FAST 2022.

[BibT_eX]

[DOI]

Dean Hildebrand

ACM Trans. Storage, 2022

A Praise for Defensive Programming: Leveraging Uncertainty for Effective Malware Mitigation.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

BetrFS: a compleat file system for commodity SSDs.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

2021

Copy-on-Abundant-Write for Nimble File System Clones.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2021

External-memory Dictionaries in the Affine and PDAM Models.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2021

Paging and the Address-Translation Problem.

[BibT_eX]

[DOI]

Michael A. Bender

Abhishek Bhattacharjee

Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

Sensor Virtualization for Efficient Sharing of Mobile and Wearable Sensors.

[BibT_eX]

[DOI]

Arani Bhattacharya

Proceedings of the SenSys '21: The 19th ACM Conference on Embedded Networked Sensor Systems, Coimbra, Portugal, November 15, 2021

Rowhammering Storage Devices.

[BibT_eX]

[DOI]

Proceedings of the HotStorage '21: 13th ACM Workshop on Hot Topics in Storage and File Systems, 2021

2020

How to Not Copy Files.

[BibT_eX]

[DOI]

Supporting I/O and IPC via fine-grained OS isolation for mixed-criticality real-time tasks.

[BibT_eX]

[DOI]

Real Time Syst., 2020

Civet: An Efficient Java Partitioning Framework for Hardware Enclaves.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

On the Effectiveness of Behavior-Based Ransomware Detection.

[BibT_eX]

[DOI]

Jaehyun Han

Zhiqiang Lin

Proceedings of the Security and Privacy in Communication Networks, 2020

A Survey of Patterns for Adapting Smartphone App UIs to Smart Watches.

[BibT_eX]

[DOI]

Zhilan Zhou

Proceedings of the MobileHCI '20: 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services, 2020

How to Copy Files.

[BibT_eX]

[DOI]

Proceedings of the 18th USENIX Conference on File and Storage Technologies, 2020

2019

Introduction to the Special Issue on ACM International Systems and Storage Conference (SYSTOR) 2018.

[BibT_eX]

[DOI]

Gala Yadgar

ACM Trans. Storage, 2019

Theoretical Foundations of Storage Systems (Dagstuhl Seminar 19111).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

x86-64 instruction usage among C/C++ applications.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM on Symposium on Parallelism in Algorithms and Architectures, 2019

Apps Can Quickly Destroy Your Mobile's Flash: Why They Don't, and How to Keep It That Way.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Filesystem Aging: It's more Usage than Fullness.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems, 2019

Why and How to Increase SSD Performance Transparency.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018

Efficient Directory Mutations in a Full-Path-Indexed File System.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2018

Leveraging Uncertainty for Effective Malware Mitigation.

[BibT_eX]

[DOI]

CoRR, 2018

Stash in a Flash.

[BibT_eX]

[DOI]

Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

The Full Path to Full-Path Indexing.

[BibT_eX]

[DOI]

Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

SteeringWheel: A Locality-Preserving Magnification Interface for Low Vision Web Browsing.

[BibT_eX]

[DOI]

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

How to Fragment Your File System.

[BibT_eX]

[DOI]

Writes Wrought Right, and Other Adventures in File System Optimization.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2017

Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX.

[BibT_eX]

[DOI]

Chia-che Tsai

Mona Vij

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Challenges For Scaling Applications Across Enclaves.

[BibT_eX]

[DOI]

Jethro G. Beekman

Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, 2017

Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

UIWear: Easily Adapting User Interfaces for Wearable Devices.

[BibT_eX]

[DOI]

Qingqing Cao

Aditya Prakash

Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking, 2017

Demo: UIWear: Easily Adapting User Interfaces for Wearable Devices.

[BibT_eX]

[DOI]

Qingqing Cao

Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking, 2017

Preserving Hidden Data with an Ever-Changing Disk.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Flash Drive Lifespan *is* a Problem.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

A Clairvoyant Approach to Evaluating Software (In)Security.

[BibT_eX]

[DOI]

Bhushan Jain

Chia-che Tsai

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

File Systems Fated for Senescence? Nonsense, Says Science!

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

The dose makes the poison - Leveraging uncertainty for effective malware detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

Ubiquitous Accessibility for People with Visual Impairments: Are We There Yet?

[BibT_eX]

[DOI]

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Speed-Dial: A Surrogate Mouse for Non-Visual Web Browsing.

[BibT_eX]

[DOI]

Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

Building a Security OS With Software Defined Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

dm-x: Protecting Volume-level Integrity for Cloud Volumes and Local Block Devices.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

What to Support When You're Supporting: A Study of Linux API Usage and Compatibility.

[BibT_eX]

[DOI]

Versioned Programming: A Simple Technique for Implementing Efficient, Lock-Free, and Composable Data Structures.

[BibT_eX]

[DOI]

Yang Zhan

Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

Bear: A Framework for Understanding Application Sensitivity to OS (Mis) Behavior.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Lazy Analytics: Let Other Queries Do the Work For You.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Workshop on Hot Topics in Storage and File Systems, 2016

Optimizing Every Operation in a Write-optimized File System.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

A study of modern Linux API usage and compatibility: what to support when you're supporting.

[BibT_eX]

[DOI]

Proceedings of the Eleventh European Conference on Computer Systems, 2016

Sinter: low-bandwidth remote access for the visually-impaired.

[BibT_eX]

[DOI]

Syed Masum Billah

I. V. Ramakrishnan

Proceedings of the Eleventh European Conference on Computer Systems, 2016

A Platform Agnostic Remote Desktop System for Screen Reading.

[BibT_eX]

[DOI]

Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015

The Case for Unpredictability and Deception as OS Features.

[BibT_eX]

[DOI]

An Introduction to Bε-trees and Write-Optimization.

[BibT_eX]

[DOI]

BetrFS: Write-Optimization in a Kernel File System.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2015

Introspections on the Semantic Gap.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2015

How to get more value from your file system directory cache.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Teaching Virtualization by Building a Hypervisor.

[BibT_eX]

[DOI]

Abhinand Palicherla

Tao Zhang

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

The Case for Less Predictable Operating System Behavior.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

BetrFS: A Right-Optimized Write-Optimized File System.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Conference on File and Storage Technologies, 2015

Containing the Hype.

[BibT_eX]

[DOI]

Kavita Agarwal

Bhushan Jain

Suryanarayanan Balasubramanian

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Practical Fine-Grained Information Flow Control Using Laminar.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2014

SoK: Introspections on Trust and the Semantic Gap.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

CloudFlow: Cloud-wide Policy Enforcement Using Fast VM Introspection.

[BibT_eX]

[DOI]

Mirza Basim Baig

Connor Fitzsimons

Radu Sion

Spyros Hadjichristodoulou

Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

Cooperation and security isolation of library OSes for multi-process applications.

[BibT_eX]

[DOI]

Proceedings of the Ninth Eurosys Conference 2014, 2014

Practical techniques to obviate setuid-to-root binaries.

[BibT_eX]

[DOI]

Proceedings of the Ninth Eurosys Conference 2014, 2014

2013

Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB.

[BibT_eX]

[DOI]

David Scott Warren

CoRR, 2013

Virtualize Storage, Not Disks.

[BibT_eX]

[DOI]

William Jannen

Chia-che Tsai

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2012

Improving server applications with system transactions.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2012

2011

TxBox: Building Secure, Efficient Sandboxes with System Transactions.

[BibT_eX]

[DOI]

Suman Jana

Vitaly Shmatikov

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Rethinking the library OS from the top down.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Modeling transactional memory workload performance.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Understanding transactional memory performance.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2010

2009

Operating systems transactions.

[BibT_eX]

[DOI]

Owen S. Hofmann

Alexander Benn

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Laminar: practical fine-grained decentralized information flow control.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Operating Systems Should Provide Transactions.

[BibT_eX]

[DOI]

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

2008

MetaTM/TxLinux: Transactional Memory for an Operating System.

[BibT_eX]

[DOI]

Hany E. Ramadan

IEEE Micro, 2008

TxLinux and MetaTM: transactional memory and the operating system.

[BibT_eX]

[DOI]

Commun. ACM, 2008

2007

TxLinux: using and managing hardware transactional memory in an operating system.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Improved error reporting for software that uses black-box components.

[BibT_eX]

[DOI]

Jungwoo Ha

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Meta<sup>TM</sup>//TxLinux: transactional memory for an operating system.

[BibT_eX]

[DOI]

Hany E. Ramadan

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

Is the Optimism in Optimistic Concurrency Warranted?

[BibT_eX]

[DOI]

Owen S. Hofmann