Atomic Recovery Units: Failure Atomicity for Logical Disks. - Robert Grimm 001; Wilson C. Hsieh; Wiebren de Jonge; M. Frans Kaashoek (ICDCS, 1996)

Security for Extensible Systems. - Robert Grimm 001; Brian N. Bershad (Workshop on Hot Topics in Operating Systems, 1997)

Application Performance and Flexibility on Exokernel Systems. - M. Frans Kaashoek; Dawson R. Engler; Gregory R. Ganger; Héctor M. Briceño; Russell Hunt; David Mazières; Thomas Pinckney; Robert Grimm 001; John Jannotti; Kenneth Mackenzie (SOSP, 1997)

Access Control for the SPIN Extensible Operating System. - Robert Grimm 001; Brian N. Bershad (S&P, 1997)

Distributed virtual machines: a system architecture for network computing. - Emin Gün Sirer; Robert Grimm 001; Brian N. Bershad; Arthur J. Gregory; Sean McDirmid (ACM SIGOPS European Workshop, 1998)

Providing Policy-Neutral and Transparent Access Control in Extensible Systems. - Robert Grimm 001; Brian N. Bershad (Secure Internet Programming, 1999)

Design and implementation of a distributed virtual machine for networked computers. - Emin Gün Sirer; Robert Grimm 001; Arthur J. Gregory; Brian N. Bershad (SOSP, 1999)

A system architecture for pervasive computing. - Robert Grimm 001; Thomas E. Anderson; Brian N. Bershad; David Wetherall (ACM SIGOPS European Workshop, 2000)

Systems Directions for Pervasive Computing. - Robert Grimm 001; Janet Davis; Ben Hendrickson; Eric Lemar; Adam MacBeth; Steven Swanson; Thomas E. Anderson; Brian N. Bershad; Gaetano Borriello; Steven D. Gribble; David Wetherall (HotOS, 2001)

Separating access control policy, enforcement, and functionality in extensible systems. - Robert Grimm 001; Brian N. Bershad (ACM Trans. Comput. Syst., 2001)

Systems Support for Ubiquitous Computing: A Case Study of Two Implementations of Labscape. - Larry Arnstein; Robert Grimm 001; Chia-Yang Hung; Jong Hee Kang; Anthony LaMarca; Gary Look; Stefan B. Sigurdsson; Jing Su; Gaetano Borriello (Pervasive, 2002)

System support for pervasive applications. - Robert Grimm 001 (2002)

System Support for Pervasive Applications. - Robert Grimm 001; Brian N. Bershad (Future Directions in Distributed Computing, 2003)

One.world: Experiences with a Pervasive Computing Architecture. - Robert Grimm 001 (IEEE Pervasive Comput., 2004)

System support for pervasive applications. - Robert Grimm 001; Janet Davis; Eric Lemar; Adam MacBeth; Steven Swanson; Thomas E. Anderson; Brian N. Bershad; Gaetano Borriello; Steven D. Gribble; David Wetherall (ACM Trans. Comput. Syst., 2004)

Patch (1) Considered Harmful. - Marc E. Fiuczynski; Robert Grimm 001; Yvonne Coady; David Walker (HotOS, 2005)

Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). - Christian W. Probst; Andreas Gal; Robert Grimm 001; Olaf Spinczyk (PLOS, 2006)

Na Kika: Secure Service Execution and Composition in an Open Edge-Side Computing Network. - Robert Grimm 001; Guy Lichtman; Nikolaos Michalakis; Amos Elliston; Adam Kravetz; Jonathan Miller; Sajid Raza (NSDI, 2006)

Better extensibility through modular syntax. - Robert Grimm 001 (PLDI, 2006)

Ensuring Content Integrity for Untrusted Peer-to-Peer Content Distribution Networks. - Nikolaos Michalakis; Robert Soulé; Robert Grimm 001 (NSDI, 2007)

Jeannie: granting java native interface developers their wishes. - Martin Hirzel; Robert Grimm 001 (OOPSLA, 2007)

On the feasibility of an AOSD approach to Linux kernel extensions. - Alison Reynolds; Marc E. Fiuczynski; Robert Grimm 001 (ACP4IS@AOSD, 2008)

On reconciling patches and aspects. - Laurent Burgy; Marc E. Fiuczynski; Marco Yuen; Robert Grimm 001 (ACP4IS@AOSD, 2009)

PADS: A Policy Architecture for Distributed Storage Systems. - Nalini Moti Belaramani; Jiandan Zheng; Amol Nayate; Robert Soulé; Michael Dahlin; Robert Grimm 001 (NSDI, 2009)

Debug all your code: portable mixed-environment debugging. - Byeongcheol Lee; Martin Hirzel; Robert Grimm 001; Kathryn S. McKinley (OOPSLA, 2009)

A Universal Calculus for Stream Processing Languages. - Robert Soulé; Martin Hirzel; Robert Grimm 001; Bugra Gedik; Henrique Andrade; Vibhore Kumar; Kun-Lung Wu (ESOP, 2010)

Jinn: synthesizing dynamic bug detectors for foreign language interfaces. - Byeongcheol Lee; Ben Wiedermann; Martin Hirzel; Robert Grimm 001; Kathryn S. McKinley (PLDI, 2010)

From a calculus to an execution environment for stream processing. - Robert Soulé; Martin Hirzel; Bugra Gedik; Robert Grimm 001 (DEBS, 2012)

Marco: Safe, Expressive Macros for Any Language. - Byeongcheol Lee; Robert Grimm 001; Martin Hirzel; Kathryn S. McKinley (ECOOP, 2012)

SuperC: parsing all of C by taming the preprocessor. - Paul Gazzillo; Robert Grimm 001 (PLDI, 2012)

Dynamic expressivity with static optimization for streaming languages. - Robert Soulé; Michael I. Gordon; Saman P. Amarasinghe; Robert Grimm 001; Martin Hirzel (DEBS, 2013)

A catalog of stream processing optimizations. - Martin Hirzel; Robert Soulé; Scott Schneider 001; Bugra Gedik; Robert Grimm 001 (ACM Comput. Surv., 2013)

Debugging mixed-environment programs with Blink. - Byeongcheol Lee; Martin Hirzel; Robert Grimm 001; Kathryn S. McKinley (Softw. Pract. Exp., 2015)

River: an intermediate language for stream processing. - Robert Soulé; Martin Hirzel; Bugra Gedik; Robert Grimm 001 (Softw. Pract. Exp., 2016)

Putting the Count Back Into Accountability: An Audit of Social Media Transparency Disclosures, Focusing on Sexual Exploitation of Minors. - Robert Grimm 001 (CoRR, 2024)