Publications

Many of these publications are products of our work on Composite.

Most of the code underlying these publications can be found on github.

Peer-Reviewed and Published Papers

Wenyuan Shao, Bite Ye, Huachuan Wang, Gabriel Parmer, Yuxin Ren Edge-RT: OS Support for Controlled Latency in the Multi-Tenant, Real-Time Edge, in Proceedings of the 43rd IEEE Real-Time Systems Symposium (RTSS), 2022, (pdf, presentation, video TBD)
Runyu Pan, Gabriel Parmer SBIs: Application Access to Safe, Baremetal Interrupt Latencies, in Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022, (pdf)
Samuel Mergendahl, Samuel Jero, Bryan C. Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra, The Thundering Herd: Amplifying Kernel Interference to Attack Response Times, in Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022, (pdf)
Xiaosu Lyu, Ludmila Cherkasova, Robert Aitken, Gabriel Parmer, Timothy Wood Towards Efficient Processing of Latency-Sensitive Serverless DAGs at the Edge, in Proceedings of the 5th International Workshop on Edge Systems, Analytics, and Networking (EdgeSys), 2022, (pdf)
Yuxin Ren, Gabriel Parmer, Dejan Milojicic, Sharing non-cache-coherent memory with Bounded Incoherence, in Concurrency and Computation: Practice and Experience (CPE), 2021, (pdf)
Samuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C. Ward, Gabriel Parmer, Richard Skowyra, Practical Principle of Least Privilege for Secure Embedded Systems, in Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2021, (pdf, teaser video, and full video)
James Marshall, Robert Gifford, Gedare Bloom, Gabriel Parmer, Rahul Simha, Precise Cache Profiling for Studying Radiation Effects, ACM Transactions on Embedded Computing Systems (TECS), March 2021. (pdf)
Phani Kishore Gadepalli, Sean McBride, Gregor Peach, Ludmila Cherkasova, Gabriel Parmer Sledge: a Serverless-first, Light-weight Wasm Runtime for the Edge, in Proceedings of the ACM/IFIP Middleware Conference (Middleware), 2020, (pdf, video)
Yuxin Ren, Gabriel Parmer, Dejan Milojicic Ch’i: Scaling Microkernel Capabilities in Cache-Incoherent Systems, in the International Workshop on Runtime and Operating Systems for Supercomputers (ROSS) 2020, (pdf, video)
Gregor Peach, Runyu Pan, Zhuoyi Wu, Gabriel Parmer, Christopher Haster, Ludmila Cherkasova eWASM: Practical Software Fault Isolation for Reliable Embedded Devices, in Proceedings of the International Conference on Embedded Software (EMSOFT), 2020 (pdf, video)
Yuxin Ren, Guyue Liu, Vlad Nitu, Wenyuan Shao, Riley Kennedy, Gabriel Parmer, Timothy Wood, Alain Tchana Fine-Grained Isolation for Scalable, Dynamic, Multi-tenant Edge Clouds, in Proceedings of the USENIX Annual Technical Conference (USENIX ATC), 2020 (pdf, video)
Phani Kishore Gadepalli, Runyu Pan, Gabriel Parmer, Slite: OS Support for Near Zero-Cost, Configurable Scheduling, in Proceedings of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2020 (pdf, video)
Yuxin Ren, Gabriel Parmer, Dejan Milojicic Bounded Incoherence: A Programming Model for Non-Cache-Coherent Shared Memory Architectures, in Proceedings of the Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM), 2020 (pdf)
Yuxin Ren, Gabriel Parmer, Scalable Data-structures with Hierarchical, Distributed Delegation, in Proceedings of the ACM/IFIP International Middeware Conference (Middlware), 2019 (pdf)
Phani Kishore Gadepalli, Gregor Peach, Ludmila Cherkasova, Rob Aitken, Gabriel Parmer, Challenges and Opportunities for Efficient Serverless Computing at the Edge, in 38th International Symposium on Reliable Distributed Systems (SRDS), 2019 (pdf)
Runyu Pan, Gabriel Parmer, MxU: Towards Predictable, Flexible, and Efficient Memory Access Control for the Secure IoT, in Proceedings of the International Conference on Embedded Software (EMSOFT), 2019 (pdf)
Gabriel Parmer, Runyu Pan, Yuxin Ren, Phani Kishore Gadepalli, Wenyuan Shao, Component-based OS Design for Dependable Cyber-Physical Systems, in Proceedings of the 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS), 2019 (pdf)
Phani Kishore Gadepalli, Gregor Peach, Gabriel Parmer, Joseph Espy, Zachary Day, Chaos: a System for Criticality-Aware, Multi-core Coordination, in Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2019 (pdf)
Y. Ren, G. Liu, G. Parmer, B. Brandenburg, Scalable Memory Reclamation for Multi-Core, Real-Time Systems, in Proceedings of the 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018 (pdf)
R. Pan, G. Peach, Y. Ren, G. Parmer, Predictable Virtualization on Memory Protection Unit-based Microcontrollers, in Proceedings of the 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018 (pdf)
Phani Kishore Gadepalli, Robert Gifford, Lucas Baier, Michael Kelly, Gabriel Parmer Temporal Capabilities: Access Control for Time, in the Proceedings of the 38th IEEE Real-Time Systems Symposium (RTSS), 2017 (pdf)
J. Song, G. Fry, C. Wu and G. Parmer CAML: Machine Learning-based Predictable, System-Level Anomaly Detection, in the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2016 (pdf)
J. Marshall, G. Bloom, G. Parmer and R. Simha n-Modular Redundant Real-Time Middleware: Design and Implementation, in the 6th ACM Embedded Operating System Workshop (EWiLi), 2016 (pdf)
G. Parmer, R. Simha, C. Toombs, P. Vora & T. Wood, Teaching Design Thinking, Writing, and Oral Presentation: Lessons Learned from the Computer Science Senior Design Course at GW, in the Spring Mid-Atlantic ASEE Conference, 2016 (pdf)
Y. Ren, G. Parmer, T. Georgiev, and G. Bloom, CBufs: Efficient, System-Wide Memory Management and Sharing, in the Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM), 2016 (pdf)
J. Song, G. Parmer, and G. Bloom, SuperGlue: IDL-Based, System-Level Fault Tolerance for Embedded Systems, in the Proceedings of the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016 (pdf)
Q. Wang, T. Stamler, and G. Parmer, Parallel Sections: Scaling System-Level Data-Structures, in Proceedings of European Conference on Computer Systems (EuroSys), 2016 (pdf) A version of Parsec code can be found here.
G. Bloom, G. Parmer, and R. Simha, LockDown: An Operating System for Achieving Service Continuity by Quarantining Principals, in Proceedings 9th European Workshop on Systems Security (EuroSec), 2016 (pdf)
Q. Wang, Y. Ren, M. Scaperoth, and G. Parmer, SPeCK: A Kernel for Scalable Predictability, in Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 ( pdf )
J. Song, and G. Parmer, C'Mon: a Predictable Monitoring Infrastructure for System-Level Latent Fault Detection and Recovery, in Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015,
Find the extended version of this paper that includes the logic for detection of event-buffer inconsistencies and localization of those faults.
( pdf )
E. Armbrust, J. Song, G. Bloom, and G. Parmer, On Spatial Isolation for Mixed Criticality, Embedded Systems, in the Workshop on Mixed Criticality (WMC), 2014, ( pdf )
James Taylor, Evan Drumwright, and Gabriel Parmer, Making Time Make Sense in Robotics Simulation, in Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR), 2014 ( pdf )
James Taylor, Evan Drumwright, and Gabriel Parmer, Temporally Consistent Simulation of Robots and Their Controllers, in Proceedings of the ASME International Design Engineering Technology Conference, and Computer and Information in Engineering Conference, 2014 ( pdf )
Q. Wang and G. Parmer, FJOS: Practical, Predictable, and Efficient System Support for Fork/Join Parallelism, in Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014 ( pdf )
J. Song, J. Wittrock, and G. Parmer, Predictable, Efficient System-level Fault Tolerance in C³, in Proceedings of the 34th Real-Time Systems Symposium (RTSS), 2013 ( pdf )
J. Song, Q. Wang, and G. Parmer, The State of Composite, in Proceedings of the 9th workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), 2013 ( pdf )
J. Song and G. Parmer, Toward predictable, efficient, system-level tolerance of transient faults, in Proceedings of the 5th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2013 ( pdf )
Jiguo Song and Gabriel Parmer, Predictable, System-Level Fault Tolerance in Composite, IEEE Real-Time Systems Symposium (RTSS), Work in Progress, December 2012 ( pdf )
Qi Wang, Jiguo Song, Gabriel Parmer, Andrew Sweeney, Guru Venkataramani, Increasing Memory Utilization with Transient Memory Scheduling, IEEE Real-Time Systems Symposium (RTSS), December 2012 ( pdf )
Qi Wang, Jiguo Song, Gabriel Parmer, John Wittrock, Yang Yang Wu, Tareque Hossain, Hijack^cos_linux: Toward Practical, Predictable, and Efficient OS Co-Location using Linux, Real Time Linux Workshop, October 2012 ( pdf )
Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, and Rahul Simha, Shared Hardware Data Structures for Hard Real-Time Systems, 12th International Conference of Embedded Software (EMSOFT), October 2012 ( pdf )
Jie Chen, Guru Venkataramani, Gabriel Parmer, The Need for Power Debugging in the Multi-Core Environment, IEEE Computer Architecture Letters (CAL), 12 Jan. 2012. IEEE computer Society. ( pdf )
Gabriel Parmer and Richard West, Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency, ACM Transactions on Software Engineering (TSE), July/August 2012. ( pdf )
Qi Wang, Jiguo Song, and Gabriel Parmer. Execution Stack Management for Hard Real-Time Computation in a Component-Based OS. IEEE Real-Time Systems Symposium (RTSS). December 2011. ( pdf )
Gabriel Parmer and Richard West, Predictable and Configurable Component-based Scheduling in the Composite OS, ACM Transactions on Embedded Computing Systems (TECS), November 2013. ( pdf )
M. Harlan and G. Parmer. JoinFS: the Design and Implementation of a Semantic File System In Proceedings of the International Conference on Embedded Systems and Applications (ESA), 2011. ( pdf )
Gabriel Parmer and Richard West, HiRes: a System for Predictable Hierarchical Resource Management, to appear in Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011), Chicago, IL, April 2011 ( pdf )
Richard West and Gabriel Parmer, Application-Specific Service Technologies for Commodity Operating Systems in Real-Time Environments, ACM Transactions on Embedded Computing Systems (TECS), Volume 10, Number 3, 2011 ( pdf )
G. Bloom, G. Parmer, B. Narahari, and R. Simha. Real-Time Scheduling with Hardware Data Structures, Work-in-Progress Session, IEEE Real-Time Systems Symposium, 2010. RTSS 2010. December 2010. ( pdf )
G. Parmer and J. Song. Customizable and predictable synchronization in a component-based OS. In Proceedings of the International Conference on Embedded Systems and Applications (ESA), 2010. ( pdf )
G. Parmer. The case for thread migration: Predictable IPC in a customizable and reliable OS. In Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT '10), 2010. ( pdf )
Gabriel Parmer and Richard West, "Predictable Interrupt Management and Scheduling in the Composite Component-based System", in Proceedings of the 29th IEEE Real-Time Systems Symposium (RTSS), Barcelona, Spain, 1-3 December 2008 ( pdf )
Gabriel Parmer and Richard West, "Mutable Protection Domains: Towards a Component-based System for Dependable and Predictable Computing", in Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS), Tucson, Az, 3-6 December 2007 ( pdf )
Richard West and Gabriel Parmer, "Revisiting the Design of Systems for High-Confidence Embedded and Cyber-Physical Computing Environment", position paper at the NSF High Confidence Cyber-Physical Systems Workshop, Arlington, VA, July 2007 ( pdf )
Gabriel Parmer, Richard West, and Gerald Fry, "Scalable Overlay Multicast Tree Construction for Media Streaming", in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '07), June 2007 ( pdf )
Gabriel Parmer and Richard West, "Hijack: Taking Control of COTS Systems for Real-Time User-Level Services", in Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2007), Bellevue, WA, April 2007 ( pdf )
Richard West and Gabriel Parmer, "A Software Architecture for Next-Generation Cyber-Physical Systems", position paper at the NSF Cyber-Physical Systems Workshop, Austin Texas, October 2006 ( pdf )
Richard West and Gabriel Parmer, "Application-Specific Service Technologies for Commodity Operating Systems in Real-Time Environments", in Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '06), San Jose, CA, April 2006
( pdf )
Xin Qi, Gabriel Parmer and Richard West, "An Efficient End-host Architecture for Cluster Communication Services", in Proceedings of the IEEE International Conference on Cluster Computing (Cluster '04), September 2004 ( pdf )
Gabriel Parmer, Richard West, Xin Qi, Gerald Fry and Yuting Zhang, "An Internet-wide Distributed System for Data-stream Processing", in Proceedings of the 5th International Conference on Internet Computing (IC 2004), June 2004 ( pdf )

Thesis

Gabriel Parmer "Composite: A Component-Based Operating System for Predictable and Dependable Computing", Phd. Thesis, Boston University, 2009 ( pdf )

Technical Reports

Gabriel Parmer, Richard West, Gerald Fry "Scalable Overlay Multicast Tree Construction for QoS-Constrained Media Streaming", Technical Report, BUCS-TR-2006-020, Boston University, August, 2006 ( pdf )
Gabriel Parmer, Georgios Zervas, Angshuman Bagchi "Extending snBench to Support Hierarchical and Configurable Scheduling", Technical Report, 2006-012, Boston University, July, 2006 ( pdf )
Richard West, Jason Gloudon, Xin Qi and Gabriel Parmer, "An Efficient User-Level Shared Memory Mechanism for Application-Specific Extensions", Technical Report, 2005-005, Boston University, February 2005 (revised version of Technical Report 2003-014)
( pdf )
Xin Qi, Gabriel Parmer, Richard West, Jason Gloudon and Luis Hernandez, "Efficient End-Host Architecture for High Performance Communication using User-level Sandboxing", Technical Report, 2004-009, Boston University, March 2004 ( pdf )

Old Presentations

Gabriel Parmer and Richard West, "Predictable Interrupt Management and Scheduling in the Composite Component-based System", Presented at the 29th IEEE Real-Time Systems Symposium (RTSS), Barcelona, Spain, 1-3 December 2008 ( pdf )
Gabriel Parmer, "On the Design and Implementation of Mutable Protection Domains Towards Reliable Component-Based Systems", Presented at Industrial Affiliates Research Day, BU CS Dept., Boston, MA, 2008
- Best Poster Award
( pdf )
Gabriel Parmer, "Mutable Protection Domains: Towards a Component-based System for Dependable and Predictable Computing", Presented at Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), Tucson, Az, 3-6 December 2007 ( pdf )
Gabriel Parmer and Richard West, "Hypervisor Support for Component-Based Operating Systems", invited to the poster session @ VMworld, San Francisco, CA, 2007 ( pdf )
Gabriel Parmer, "Hijack: Taking Control of COTS Systems for Real-Time User-Level Services", presented at the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2007), Bellevue, WA, April 2007 (pdf)
Richard West and Gabriel Parmer, "Hijack: Taking Control of COTS Systems to Enforce Predictable Service Guarantees", presented at VMware , Cambridge, MA, June 2006 (pdf)