Robert Grimm: Publications

Journals & Conferences

  1. SuperC: Parsing all of C by taming the preprocessor.
    By Paul Gazzillo and Robert Grimm. To appear in Proceedings of the ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation (PLDI ’12), June 2012.
  2. Jinn: Synthesizing dynamic bug detectors for foreign language interfaces.
    By Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, and Kathryn S. McKinley. In Proceedings of the ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI ’10), pp. 36–49, June 2010.
  3. A universal calculus for stream processing languages.
    By Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu. In Proceedings of the 19th European Symposium on Programming (ESOP ’10), vol. 6012 of Lecture Notes in Computer Science, pp. 507–528, Springer Verlag, March 2010. Extended version (NYU CS TR2010-924). Talk.
  4. Debug all your code: Portable mixed-environment debugging.
    By Byeongcheol Lee, Martin Hirzel, Robert Grimm, and Kathryn S. McKinley. In Proceedings of the 2009 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA ’09), pp. 207–226, October 2009.
  5. PADS: A policy architecture for distributed storage systems.
    By Nalini Belaramani, Jiandan Zheng, Amol Nayate, Robert Soulé, Mike Dahlin, and Robert Grimm. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’09), pp. 59–74, April 2009. Extended version. Earlier version.
  6. Jeannie: Granting Java native interface developers their wishes.
    By Martin Hirzel and Robert Grimm. In Proceedings of the 2007 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA ’07), pp. 19–38, October 2007.
  7. Ensuring content integrity for untrusted peer-to-peer content distribution networks.
    By Nikolaos Michalakis, Robert Soulé, and Robert Grimm. In Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’07), pp. 145–158, April 2007.
  8. Better extensibility through modular syntax.
    By Robert Grimm. In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI ’06), pp. 38–51, June 2006. Talk.
  9. Na Kika: Secure service execution and composition in an open edge-side computing network.
    By Robert Grimm, Guy Lichtman, Nikolaos Michalakis, Amos Elliston, Adam Kravetz, Jonathan Miller, and Sajid Raza. In Proceedings of the 3rd USENIX Symposium on Networked Systems Design and Implementation (NSDI ’06), pp. 169–182, May 2006. Extended talk presented at Stanford University, May 2006.
  10. System support for pervasive applications.
    By Robert Grimm, Janet Davis, Eric Lemar, Adam MacBeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, and David Wetherall. ACM Transactions on Computer Systems (TOCS), 22(4):421–486, November 2004.
  11. One.world: Experiences with a pervasive computing architecture.
    By Robert Grimm. IEEE Pervasive Computing, 3(3):22–30, July–September 2004.
  12. Systems support for ubiquitous computing: A case study of two implementations of Labscape.
    By Larry Arnstein, Robert Grimm, Chia-Yang Hung, Jong Hee Kang, Anthony LaMarca, Gary Look, Stefan B. Sigurdsson, Jing Su, and Gaetano Borriello. In Proceedings of the 2002 International Conference on Pervasive Computing (Pervasive ’02), pp. 30–44, August 2002.
  13. System support for pervasive applications.
    By Robert Grimm and Brian Bershad. In A. Schiper, A. A. Shvartsman, H. Weatherspoon, and B. Y. Zhao, editors, Future Directions in Distributed Computing, pp. 212–217, vol. 2584 of Lecture Notes in Computer Science. Springer Verlag, April 2003. An earlier version appeared in Proceedings of the International Workshop on Future Directions in Distributed Computing (FuDiCo ’02), pp. 56–59, June 2002.
  14. Separating access control policy, enforcement and functionality in extensible systems.
    By Robert Grimm and Brian Bershad. ACM Transactions on Computer Systems (TOCS), 19(1):36–70, February 2001.
  15. Design and implementation of a distributed virtual machine for networked computers.
    By Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, and Brian N. Bershad. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP ’99), pp. 202–216, December 1999.
  16. Providing policy-neutral and transparent access control in extensible systems.
    By Robert Grimm and Brian N. Bershad. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues for Distributed and Mobile Objects, pp. 317–338, vol. 1603 of Lecture Notes in Computer Science. Springer Verlag, June 1999.
  17. Application performance and flexibility on Exokernel systems.
    By M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor Briceño, Russel Hunt, David Mazières, Tom Pinckney, Robert Grimm, and Ken Mackenzie. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP ’97), pp. 52–65, October 1997.
  18. Access control for the SPIN extensible operating system.
    By Robert Grimm and Brian N. Bershad. In Proceedings of the 1997 IEEE Symposium on Security and Privacy (S&P ’97), page 205, May 1997.
  19. Atomic recovery units: Failure atomicity for logical disks.
    By Robert Grimm, Wilson C. Hsieh, Wiebren de Jonge, and M. Frans Kaashoek. In Proceedings of the 16th IEEE International Conference on Distributed Computing Systems (ICDCS ’96), pp. 26–36, May 1996.

Refereed Workshops

  1. On reconciling patches and aspects
    By Laurent Burgy, Marc Fiuczynski, Marco Yuen, and Robert Grimm. In Proceedings of the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS ’09), 5 pages, March 2009.
  2. On the feasibility of an AOSD approach to Linux kernel extensions
    By Alison Reynolds, Marc E. Fiuczynski, and Robert Grimm. In Proceedings of the 7th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS ’08), 6 pages, March 2008.
  3. Linguistic support for modern operating systems
    By Christian W. Probst, Andreas Gal, Robert Grimm, and Olaf Spinczyk. In Proceedings of the 3rd Workshop on Programming Languages and Operating Systems (PLOS ’06), 3 pages, October 2006.
  4. Making extensibility of system software practical with the C4 toolkit
    By Marco Yuen, Marc Fiuczysnki, Robert Grimm, Yvonne Coady, and David Walker. In 2006 AOSD Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT ’06), 6 pages, March 2006.
  5. Systems need languages need systems!
    By Robert Grimm. In 2nd ECOOP Workshop on Programming Languages and Operating Systems (PLOS ’05), 5 pages, July 2005.
  6. HEY… You got your paradigm in my operating system!
    By Chris Matthews, Owen Stampflee, Yvonne Coady, Jonathan Appavoo, Marc E. Fiuczynski, and Robert Grimm. In 2nd ECOOP Workshop on Programming Languages and Operating Systems (PLOS ’05), 4 pages, July 2005.
  7. patch (1) considered harmful
    By Marc Fiuczynski, Robert Grimm, Yvonne Coady, and David Walker. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS ’05), pp. 91–96, June 2005.
  8. Security challenges for rich-media educational environments
    By Robert Grimm. In Proceedings of the PORTIA Workshop on Sensitive Data in Medical, Financial, and Content-Distribution Systems, 2 pages, July 2004.
  9. System-level programming abstractions for ubiquitous computing.
    By Robert Grimm, Janet Davis, Eric Lemar, Adam MacBeth, Steven Swanson, Steven Gribble, Tom Anderson, Brian Bershad, Gaetano Borriello, and David Wetherall. In UbiTools ’01 Workshop on Application Models and Programming Tools for Ubiquitous Computing, 4 pages, September 2001.
  10. Systems directions for pervasive computing.
    By Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam MacBeth, Steven Swanson, Tom Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, and David Wetherall. In Proceedings of the 8th IEEE Workshop on Hot Topics in Operating Systems (HotOS ’01), pp. 147–151, May 2001. Talk.
  11. A system architecture for pervasive computing.
    By Robert Grimm, Tom Anderson, Brian Bershad, and David Wetherall. In Proceedings of the 9th ACM SIGOPS European Workshop, pp. 177–182, September 2000.
  12. Distributed virtual machines: A system architecture for network computing.
    By Emin Gün Sirer, Robert Grimm, Brian N. Bershad, Arthur J. Gregory, and Sean McDirmid. In Proceedings of the 8th ACM SIGOPS European Workshop, pp. 13–16, September 1998.
  13. Security for extensible systems.
    By Robert Grimm and Brian N. Bershad. In Proceedings of the 6th IEEE Workshop on Hot Topics in Operating Systems (HotOS ’97), pp. 62–66, May 1997.

Refereed Posters & Presentations

  1. Distributed CQL made easy.
    By Robert Soulé, Martin Hirzel, Robert Grimm, and Buğra Gedik. Presented at the New England Database Summit (NEDB ’11), January 2011. Extended abstract.
  2. Auto-Parallelization for declarative network monitoring.
    By Robert Soulé, Robert Grimm, and Petros Maniatis. Presented at the 21st ACM Symposium on Operating Systems Principles (SOSP ’07), October 2007.
  3. Typical: Taking the tedium out of typing.
    By Robert Grimm, Laune Harris, and Anh Le. Presented at the IBM Programming Languages Day, Hawthorne, May 2007.
  4. Programming for pervasive computing environments.
    By Robert Grimm, Janet Davis, Eric Lemar, Adam MacBeth, Steven Swanson, Daniel Cheah, Tom Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, and David Wetherall. Presented at the 18th ACM Symposium on Operating Systems Principles (SOSP ’01), October 2001. Interesting issues side poster and code examples handout.
  5. Towards a system architecture for pervasive computing.
    By Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Tom Anderson, Brian Bershad, Gaetano Borriello, and David Wetherall. Presented at the 4th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’00), October 2000.

Select Technical Reports

  1. A Catalog of Stream Processing Optimizations.
    By Martin Hirzel, Robert Soulé, Scott Schneider, Buğra Gedik, and Robert Grimm. IBM Research Report RC25215, September 2011.
  2. Declarative syntax tree engineering (or, one grammar to rule them all).
    By Robert Grimm. NYU CS Technical Report TR2007-905, November 2007.
  3. Typical: Taking the tedium out of typing.
    By Robert Grimm, Laune Harris, and Anh Le. NYU CS Technical Report TR2007-904, November 2007.
  4. Revisiting structured storage: A transactional record store.
    By Robert Grimm, Michael M. Swift, and Henry M. Levy. UW CSE Technical Report UW-CSE-00-04-01, April 2000.

Select Talks

  1. Parsing all of C by taming the preprocessor.
    Presented at the University of New South Wales and UT Austin, July and August 2011.
  2. Adventures in extensibility: Of languages and compilers.
    Presented at Cornell, IBM Research, NYU, Princeton, UCSD, and University of Washington; November 2007 to February 2008.
  3. xtc — Towards eXTensible C.
    Distinguished lecture presented at IBM Research, Hawthorne, July 2005.
  4. one.world: System support for pervasive applications.
    Presented at Cornell, Harvard, Microsoft Research, NYU, Rice, UC Berkeley, UCLA, University of Maryland, and UT Austin; February 2002 to November 2003.
  5. Extensibility: SPIN and exokernels.
    Guest lecture in UW CSE 551, the graduate OS course, April 2000.
  6. Separating access control policy, enforcement, and functionality in extensible systems.
    Presented at go2net, Seattle, WA, March 2000.

Thesis Work

  1. System support for pervasive applications.
    Ph.D. thesis, University of Washington, December 2002.
  2. Exodisk: maximizing application control over storage management.
    Master’s thesis, Massachusetts Institute of Technology, May 1996.