publications: - title: "Verfahren zur Nachrichtenreduktion bei der Systemsicherung mit Prozeßrechnern" author: - name: "Hartwig U. Steusloff" link: "https://researchr.org/alias/hartwig-u.-steusloff" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "1973" researchr: "https://researchr.org/publication/SteusloffG73" cites: 0 citedby: 0 pages: "394-404" booktitle: "Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, 8.-10. Oktober 1973" editor: - name: "Wilfried Brauer" link: "https://researchr.org/alias/wilfried-brauer" volume: "1" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-06473-7" kind: "inproceedings" key: "SteusloffG73" - title: "Automatic Patient Pose Estimation Using Pressure Sensing Mattresses" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Johann Sukkau" link: "https://researchr.org/alias/johann-sukkau" - name: "Joachim Hornegger" link: "https://researchr.org/alias/joachim-hornegger" - name: "Günther Greiner" link: "https://researchr.org/alias/g%C3%BCnther-greiner" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-19335-4_84" links: doi: "http://dx.doi.org/10.1007/978-3-642-19335-4_84" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/bildmed/GrimmSHG11" researchr: "https://researchr.org/publication/GrimmSHG11" cites: 0 citedby: 0 pages: "409-413" booktitle: "Bildverarbeitung für die Medizin 2009: Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 20. bis 22. März 2011 in Lübeck" editor: - name: "Heinz Handels" link: "https://researchr.org/alias/heinz-handels" - name: "Jan Ehrhardt" link: "https://researchr.org/alias/jan-ehrhardt" - name: "Thomas Martin Deserno" link: "https://researchr.org/alias/thomas-martin-deserno" - name: "Hans-Peter Meinzer" link: "https://researchr.org/alias/hans-peter-meinzer" - name: "Thomas Tolxdorff" link: "https://researchr.org/alias/thomas-tolxdorff" series: "Informatik Aktuell" publisher: "Springer" isbn: "978-3-540-19335-4" kind: "inproceedings" key: "GrimmSHG11" - title: "Atomic Recovery Units: Failure Atomicity for Logical Disks" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Wilson C. Hsieh" link: "https://researchr.org/alias/wilson-c.-hsieh" - name: "Wiebren de Jonge" link: "https://researchr.org/alias/wiebren-de-jonge" - name: "M. Frans Kaashoek" link: "https://researchr.org/alias/m.-frans-kaashoek" year: "1996" tags: - "C++" researchr: "https://researchr.org/publication/GrimmHJK96" cites: 0 citedby: 0 pages: "26-37" booktitle: "ICDCS" kind: "inproceedings" key: "GrimmHJK96" - title: "System Support for Pervasive Applications" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2584/25840212.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2584/25840212.htm" researchr: "https://researchr.org/publication/GrimmB03" cites: 0 citedby: 0 pages: "212-217" booktitle: "Future Directions in Distributed Computing, Research and Position Papers" editor: - name: "André Schiper" link: "https://researchr.org/alias/andr%C3%A9-schiper" - name: "Alexander A. Shvartsman" link: "https://researchr.org/alias/alexander-a.-shvartsman" - name: "Hakim Weatherspoon" link: "https://researchr.org/alias/hakim-weatherspoon" - name: "Ben Y. Zhao" link: "https://researchr.org/alias/ben-y.-zhao" volume: "2584" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00912-4" kind: "inproceedings" key: "GrimmB03" - title: "Jeannie: granting java native interface developers their wishes" author: - name: "Martin Hirzel" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/hirzel.index.html" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "2007" doi: "http://doi.acm.org/10.1145/1297027.1297030" links: doi: "http://doi.acm.org/10.1145/1297027.1297030" tags: - "Java" researchr: "https://researchr.org/publication/HirzelG07" cites: 0 citedby: 1 pages: "19-38" booktitle: "Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" editor: - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Cristina Videira Lopes" link: "http://www.ics.uci.edu/~lopes/" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "978-1-59593-786-5" kind: "inproceedings" key: "HirzelG07" - title: "Patch (1) Considered Harmful" author: - name: "Marc E. Fiuczynski" link: "https://researchr.org/alias/marc-e.-fiuczynski" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Yvonne Coady" link: "https://researchr.org/alias/yvonne-coady" - name: "David Walker" link: "https://researchr.org/alias/david-walker" year: "2005" doi: "http://www.usenix.org/events/hotos05/final_papers/full_papers/fiuczynski/fiuczynski.pdf" links: doi: "http://www.usenix.org/events/hotos05/final_papers/full_papers/fiuczynski/fiuczynski.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hotos/FiuczynskiGCW05" tags: - "e-science" researchr: "https://researchr.org/publication/FiuczynskiGCW05" cites: 0 citedby: 0 booktitle: "Proceedings of HotOS 05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA" publisher: "USENIX Association" kind: "inproceedings" key: "FiuczynskiGCW05" - title: "Systems Support for Ubiquitous Computing: A Case Study of Two Implementations of Labscape" author: - name: "Larry Arnstein" link: "https://researchr.org/alias/larry-arnstein" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Chia-Yang Hung" link: "https://researchr.org/alias/chia-yang-hung" - name: "Jong Hee Kang" link: "https://researchr.org/alias/jong-hee-kang" - name: "Anthony LaMarca" link: "https://researchr.org/alias/anthony-lamarca" - name: "Gary Look" link: "https://researchr.org/alias/gary-look" - name: "Stefan B. Sigurdsson" link: "https://researchr.org/alias/stefan-b.-sigurdsson" - name: "Jing Su" link: "https://researchr.org/alias/jing-su" - name: "Gaetano Borriello" link: "https://researchr.org/alias/gaetano-borriello" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2414/24140030.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2414/24140030.htm" tags: - "case study" researchr: "https://researchr.org/publication/ArnsteinGHKLLSSB02" cites: 0 citedby: 0 pages: "30-44" booktitle: "Pervasive Computing, First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002, Proceedings" editor: - name: "Friedemann Mattern" link: "https://researchr.org/alias/friedemann-mattern" - name: "Mahmoud Naghshineh" link: "https://researchr.org/alias/mahmoud-naghshineh" volume: "2414" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44060-7" kind: "inproceedings" key: "ArnsteinGHKLLSSB02" - title: "Ensuring Content Integrity for Untrusted Peer-to-Peer Content Distribution Networks" author: - name: "Nikolaos Michalakis" link: "https://researchr.org/alias/nikolaos-michalakis" - name: "Robert Soulé" link: "https://researchr.org/alias/robert-soul%C3%A9" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "2007" doi: "http://www.usenix.org/events/nsdi07/tech/michalakis.html" links: doi: "http://www.usenix.org/events/nsdi07/tech/michalakis.html" tags: - "source-to-source" - "peer-to-peer" - "open-source" researchr: "https://researchr.org/publication/MichalakisSG07" cites: 0 citedby: 0 booktitle: "4th Symposium on Networked Systems Design and Implementation (NSDI 2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings" publisher: "USENIX" kind: "inproceedings" key: "MichalakisSG07" - title: "System support for pervasive applications" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Janet Davis" link: "https://researchr.org/alias/janet-davis" - name: "Eric Lemar" link: "https://researchr.org/alias/eric-lemar" - name: "Adam MacBeth" link: "https://researchr.org/alias/adam-macbeth" - name: "Steven Swanson" link: "https://researchr.org/alias/steven-swanson" - name: "Thomas E. Anderson" link: "https://researchr.org/alias/thomas-e.-anderson" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" - name: "Gaetano Borriello" link: "https://researchr.org/alias/gaetano-borriello" - name: "Steven D. Gribble" link: "https://researchr.org/alias/steven-d.-gribble" - name: "David Wetherall" link: "https://researchr.org/alias/david-wetherall" year: "2004" doi: "http://doi.acm.org/10.1145/1035582.1035584" links: doi: "http://doi.acm.org/10.1145/1035582.1035584" researchr: "https://researchr.org/publication/GrimmDLMSABBGW04" cites: 0 citedby: 0 journal: "ACM Trans. Comput. Syst." volume: "22" number: "4" pages: "421-486" kind: "article" key: "GrimmDLMSABBGW04" - title: "PADS: A Policy Architecture for Distributed Storage Systems" author: - name: "Nalini Moti Belaramani" link: "https://researchr.org/alias/nalini-moti-belaramani" - name: "Jiandan Zheng" link: "https://researchr.org/alias/jiandan-zheng" - name: "Amol Nayate" link: "https://researchr.org/alias/amol-nayate" - name: "Robert Soulé" link: "https://researchr.org/alias/robert-soul%C3%A9" - name: "Michael Dahlin" link: "https://researchr.org/alias/michael-dahlin" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "2009" doi: "http://www.usenix.org/events/nsdi09/tech/full_papers/belaramani/belaramani.pdf" links: doi: "http://www.usenix.org/events/nsdi09/tech/full_papers/belaramani/belaramani.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nsdi/BelaramaniZNSDG09" tags: - "architecture" researchr: "https://researchr.org/publication/BelaramaniZNSDG09" cites: 0 citedby: 0 pages: "59-74" booktitle: "Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009, April 22-24, 2009, Boston, MA, USA" editor: - name: "Jennifer Rexford" link: "https://researchr.org/alias/jennifer-rexford" - name: "Emin Gün Sirer" link: "https://researchr.org/alias/emin-g%C3%BCn-sirer" publisher: "USENIX Association" kind: "inproceedings" key: "BelaramaniZNSDG09" - title: "Separating access control policy, enforcement, and functionality in extensible systems" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" year: "2001" doi: "http://doi.acm.org/10.1145/367742.367773" links: doi: "http://doi.acm.org/10.1145/367742.367773" tags: - "control systems" - "access control policies" - "access control" researchr: "https://researchr.org/publication/GrimmB01" cites: 0 citedby: 0 journal: "ACM Trans. Comput. Syst." volume: "19" number: "1" pages: "36-70" kind: "article" key: "GrimmB01" - title: "Providing Policy-Neutral and Transparent Access Control in Extensible Systems" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" year: "1999" tags: - "control systems" - "access control policies" - "access control" researchr: "https://researchr.org/publication/GrimmB99" cites: 0 citedby: 0 pages: "317-338" booktitle: "Secure Internet Programming, Security Issues for Mobile and Distributed Objects" editor: - name: "Jan Vitek" link: "http://www.cs.purdue.edu/homes/jv" - name: "Christian Damsgaard Jensen" link: "https://researchr.org/alias/christian-damsgaard-jensen" volume: "1603" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66130-1" kind: "inproceedings" key: "GrimmB99" - title: "Design and implementation of a distributed virtual machine for networked computers" author: - name: "Emin Gün Sirer" link: "https://researchr.org/alias/emin-g%C3%BCn-sirer" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Arthur J. Gregory" link: "https://researchr.org/alias/arthur-j.-gregory" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" year: "1999" doi: "http://doi.acm.org/10.1145/319151.319165" links: doi: "http://doi.acm.org/10.1145/319151.319165" tags: - "design" researchr: "https://researchr.org/publication/SirerGGB99" cites: 0 citedby: 0 pages: "202-216" booktitle: "SOSP" kind: "inproceedings" key: "SirerGGB99" - title: "Na Kika: Secure Service Execution and Composition in an Open Edge-Side Computing Network" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Guy Lichtman" link: "https://researchr.org/alias/guy-lichtman" - name: "Nikolaos Michalakis" link: "https://researchr.org/alias/nikolaos-michalakis" - name: "Amos Elliston" link: "https://researchr.org/alias/amos-elliston" - name: "Adam Kravetz" link: "https://researchr.org/alias/adam-kravetz" - name: "Jonathan Miller" link: "https://researchr.org/alias/jonathan-miller" - name: "Sajid Raza" link: "https://researchr.org/alias/sajid-raza" year: "2006" doi: "http://www.usenix.org/events/nsdi06/tech/grimm.html" links: doi: "http://www.usenix.org/events/nsdi06/tech/grimm.html" tags: - "composition" - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/GrimmLMEKMR06" cites: 0 citedby: 0 booktitle: "3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), May 8-10, 2007, San Jose, California, USA, Proceedings" publisher: "USENIX" kind: "inproceedings" key: "GrimmLMEKMR06" - title: "Security for Extensible Systems" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" year: "1997" tags: - "security" researchr: "https://researchr.org/publication/GrimmB97" cites: 0 citedby: 0 pages: "62-66" booktitle: "Workshop on Hot Topics in Operating Systems" kind: "inproceedings" key: "GrimmB97" - title: "One.world: Experiences with a Pervasive Computing Architecture" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "2004" doi: "http://doi.ieeecomputersociety.org/10.1109/MPRV.2004.1321024" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MPRV.2004.1321024" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pervasive/Grimm04" tags: - "architecture" researchr: "https://researchr.org/publication/Grimm04-0" cites: 0 citedby: 0 journal: "IEEE Pervasive Computing" volume: "3" number: "3" pages: "22-30" kind: "article" key: "Grimm04-0" - title: "Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006)" author: - name: "Christian W. Probst" link: "https://researchr.org/alias/christian-w.-probst" - name: "Andreas Gal" link: "https://researchr.org/alias/andreas-gal" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Olaf Spinczyk" link: "https://researchr.org/alias/olaf-spinczyk" year: "2006" doi: "http://doi.acm.org/10.1145/1215995.1215996" links: doi: "http://doi.acm.org/10.1145/1215995.1215996" tags: - "programming languages" - "operating system" - "programming" researchr: "https://researchr.org/publication/ProbstGGS06" cites: 0 citedby: 0 pages: "1" booktitle: "Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006" editor: - name: "Christian W. Probst" link: "https://researchr.org/alias/christian-w.-probst" publisher: "ACM" isbn: "1-59593-577-0" kind: "inproceedings" key: "ProbstGGS06" - title: "ADBS: Ein Implementierungswerkzeug zur Auslegung der Mensch-Prozeß-Schnittstelle auch für unterschiedliche Benutzer" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "I. Hertlin" link: "https://researchr.org/alias/i.-hertlin" year: "1984" researchr: "https://researchr.org/publication/GrimmH84a" cites: 0 citedby: 0 pages: "692-701" booktitle: "Prozeßrechner 1984, Prozeßdatenverarbeitung im Wandel, 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26.-28. September 1984, Proceedings" editor: - name: "Heinz Trauboth" link: "https://researchr.org/alias/heinz-trauboth" - name: "Andreas Jaeschke" link: "https://researchr.org/alias/andreas-jaeschke" volume: "86" series: "Informatik-Fachberichte" publisher: "Springer" isbn: "3-540-13858-7" kind: "inproceedings" key: "GrimmH84a" - title: "A system architecture for pervasive computing" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Thomas E. Anderson" link: "https://researchr.org/alias/thomas-e.-anderson" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" - name: "David Wetherall" link: "https://researchr.org/alias/david-wetherall" year: "2000" doi: "http://doi.acm.org/10.1145/566726.566763" links: doi: "http://doi.acm.org/10.1145/566726.566763" tags: - "architecture" - "e-science" researchr: "https://researchr.org/publication/GrimmABW00" cites: 0 citedby: 0 pages: "177-182" booktitle: "Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000" publisher: "ACM" kind: "inproceedings" key: "GrimmABW00" - title: "Typical: Taking the Tedium Out of Typing" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: " Laune Harris" link: "https://researchr.org/alias/laune-harris" - name: "Anh Le" link: "https://researchr.org/alias/anh-le" year: "2007" month: "November" abstract: "The implementation of real-world type checkers requires a nontrivial engineering effort. The resulting code easily comprises thousands of lines, which increases the probability of software defects in a component critical to compiler correctness. To make type checkers easier to implement and extend, this paper presents Typi- cal, a domain-specific language and compiler that directly and concisely captures the structure of type systems. Our language builds on the functional core for ML to represent syntax trees and types as variants and to traverse them with pattern matches. It then adds declarative constructs for common type checker concerns, such as scoping rules, namespaces, and constraints on types. It also integrates error checking and reporting with other constructs to promote comprehensive error management. We have validated our system with two real-world type checkers written in Typical, one for Typical itself and the other for C." tags: - "rule-based" - "pattern language" - "software components" - "traversal" - "language engineering" - "software language engineering" - "software component" - "constraints" - "type system" - "software engineering" - "rules" - "C++" - "type checking" - "compiler" - "domain-specific language" researchr: "https://researchr.org/publication/GrimmHarrisLe2007" cites: 0 citedby: 0 institution: "New York University" type: "NYU CS Technical Report " number: "TR2007-904" address: "New York" kind: "techreport" key: "GrimmHarrisLe2007" - title: "Better extensibility through modular syntax" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "2006" doi: "http://doi.acm.org/10.1145/1133981.1133987" links: doi: "http://doi.acm.org/10.1145/1133981.1133987" tags: - "extensible syntax" researchr: "https://researchr.org/publication/Grimm06" cites: 0 citedby: 2 pages: "38-51" booktitle: "Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006" editor: - name: "Michael I. Schwartzbach" link: "http://www.brics.dk/~mis/" - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" publisher: "ACM" isbn: "1-59593-320-4" kind: "inproceedings" key: "Grimm06" - title: "Debug all your code: portable mixed-environment debugging" author: - name: "Byeongcheol Lee" link: "https://researchr.org/alias/byeongcheol-lee" - name: "Martin Hirzel" link: "https://researchr.org/alias/martin-hirzel" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Kathryn S. McKinley" link: "https://researchr.org/alias/kathryn-s.-mckinley" year: "2009" doi: "http://doi.acm.org/10.1145/1640089.1640105" links: doi: "http://doi.acm.org/10.1145/1640089.1640105" tags: - "meta-model" - "debugging" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/LeeHGM09" cites: 0 citedby: 0 pages: "207-226" booktitle: "Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA" editor: - name: "Shail Arora" link: "https://researchr.org/alias/shail-arora" - name: "Gary T. Leavens" link: "https://researchr.org/alias/gary-t.-leavens" publisher: "ACM" isbn: "978-1-60558-766-0" kind: "inproceedings" key: "LeeHGM09" - title: "Jinn: synthesizing dynamic bug detectors for foreign language interfaces" author: - name: "Byeongcheol Lee" link: "https://researchr.org/alias/byeongcheol-lee" - name: "Ben Wiedermann" link: "https://researchr.org/alias/ben-wiedermann" - name: "Martin Hirzel" link: "https://researchr.org/alias/martin-hirzel" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Kathryn S. McKinley" link: "https://researchr.org/alias/kathryn-s.-mckinley" year: "2010" doi: "http://doi.acm.org/10.1145/1806596.1806601" links: doi: "http://doi.acm.org/10.1145/1806596.1806601" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/LeeWHGM10" researchr: "https://researchr.org/publication/LeeWHGM10" cites: 0 citedby: 0 pages: "36-49" booktitle: "Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010" editor: - name: "Benjamin G. Zorn" link: "https://researchr.org/alias/benjamin-g.-zorn" - name: "Alexander Aiken" link: "https://researchr.org/alias/alexander-aiken" publisher: "ACM" isbn: "978-1-4503-0019-3" kind: "inproceedings" key: "LeeWHGM10" - title: "A Universal Calculus for Stream Processing Languages" author: - name: "Robert Soulé" link: "https://researchr.org/alias/robert-soul%C3%A3%C2%A9" - name: "Martin Hirzel" link: "https://researchr.org/alias/martin-hirzel" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Bugra Gedik" link: "https://researchr.org/alias/bugra-gedik" - name: "Henrique Andrade" link: "https://researchr.org/alias/henrique-andrade" - name: "Vibhore Kumar" link: "https://researchr.org/alias/vibhore-kumar" - name: "Kun-Lung Wu" link: "https://researchr.org/alias/kun-lung-wu" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_27" links: doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_27" tags: - "stream processing" researchr: "https://researchr.org/publication/SouleHGGAKW10" cites: 0 citedby: 0 pages: "507-528" booktitle: "Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings" editor: - name: "Andrew D. Gordon" link: "http://research.microsoft.com/en-us/um/people/adg/" volume: "6012" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-11956-9" kind: "inproceedings" key: "SouleHGGAKW10" - title: "Parsing All of C by Taming the Preprocessor" author: - name: "Paul Gazzillo" link: "https://researchr.org/alias/paul-gazzillo" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" year: "2011" tags: - "Variability-Aware Analysis" - "analysis" - "C++" - "context-aware" - "parsing" researchr: "https://researchr.org/publication/GG%3ATechNYU11" cites: 0 citedby: 0 institution: "Computer Science Department, New York University" number: "TR2011-939" kind: "techreport" key: "GG:TechNYU11" - title: "Application Performance and Flexibility on Exokernel Systems" author: - name: "M. Frans Kaashoek" link: "https://researchr.org/alias/m.-frans-kaashoek" - name: "Dawson R. Engler" link: "https://researchr.org/alias/dawson-r.-engler" - name: "Gregory R. Ganger" link: "https://researchr.org/alias/gregory-r.-ganger" - name: "Héctor M. Briceño" link: "https://researchr.org/alias/h%C3%A9ctor-m.-brice%C3%B1o" - name: "Russell Hunt" link: "https://researchr.org/alias/russell-hunt" - name: "David Mazières" link: "https://researchr.org/alias/david-mazi%C3%A8res" - name: "Thomas Pinckney" link: "https://researchr.org/alias/thomas-pinckney" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "John Jannotti" link: "https://researchr.org/alias/john-jannotti" - name: "Kenneth Mackenzie" link: "https://researchr.org/alias/kenneth-mackenzie" year: "1997" researchr: "https://researchr.org/publication/KaashoekEGBHMPGM97" cites: 0 citedby: 0 pages: "52-65" booktitle: "SOSP" kind: "inproceedings" key: "KaashoekEGBHMPGM97" - title: "Distributed virtual machines: a system architecture for network computing" author: - name: "Emin Gün Sirer" link: "https://researchr.org/alias/emin-g%C3%BCn-sirer" - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" - name: "Arthur J. Gregory" link: "https://researchr.org/alias/arthur-j.-gregory" - name: "Sean McDirmid" link: "https://researchr.org/alias/sean-mcdirmid" year: "1998" doi: "http://doi.acm.org/10.1145/319195.319198" links: doi: "http://doi.acm.org/10.1145/319195.319198" tags: - "architecture" researchr: "https://researchr.org/publication/SirerGBGM98" cites: 0 citedby: 0 pages: "13-16" booktitle: "Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, Sintra, Portugal, 7-10 September 1998" editor: - name: "Paulo Guedes" link: "https://researchr.org/alias/paulo-guedes" - name: "Jean Bacon" link: "https://researchr.org/alias/jean-bacon" publisher: "ACM" kind: "inproceedings" key: "SirerGBGM98" - title: "Access Control for the SPIN Extensible Operating System" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" year: "1997" doi: "http://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601336" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601336" tags: - "control systems" - "operating system" - "access control" researchr: "https://researchr.org/publication/GrimmB97%3A0" cites: 0 citedby: 0 pages: "205" booktitle: "1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA" publisher: "IEEE Computer Society" isbn: "0-8186-7828-3" kind: "inproceedings" key: "GrimmB97:0" - title: "Systems Directions for Pervasive Computing" author: - name: "Robert Grimm" link: "http://www.cs.nyu.edu/rgrimm/" - name: "Janet Davis" link: "https://researchr.org/alias/janet-davis" - name: "Ben Hendrickson" link: "https://researchr.org/alias/ben-hendrickson" - name: "Eric Lemar" link: "https://researchr.org/alias/eric-lemar" - name: "Adam MacBeth" link: "https://researchr.org/alias/adam-macbeth" - name: "Steven Swanson" link: "https://researchr.org/alias/steven-swanson" - name: "Thomas E. Anderson" link: "https://researchr.org/alias/thomas-e.-anderson" - name: "Brian N. Bershad" link: "https://researchr.org/alias/brian-n.-bershad" - name: "Gaetano Borriello" link: "https://researchr.org/alias/gaetano-borriello" - name: "Steven D. Gribble" link: "https://researchr.org/alias/steven-d.-gribble" - name: "David Wetherall" link: "https://researchr.org/alias/david-wetherall" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/hotos/2001/1040/00/10400147abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/hotos/2001/1040/00/10400147abs.htm" researchr: "https://researchr.org/publication/GrimmDHLMSABBGW01" cites: 0 citedby: 0 pages: "147-151" booktitle: "Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany" publisher: "IEEE Computer Society" isbn: "0-7695-1040-X" kind: "inproceedings" key: "GrimmDHLMSABBGW01"