Publications

See also Google Scholar and DBLP

2015

• Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer. More Sound Static Handling of Java Reflection. APLAS 2015.
• Dung Nguyen, Molham Aref, Martin Bravenboer, George Kollias, Hung Q. Ngo, Christopher Re, Atri Rudra. Join Processing for Graph Patterns: An Old Dog with New Tricks. GRADES 2015.

2011

• Yannis Smaragdakis, Martin Bravenboer, and Ondřej Lhoták. Pick Your Contexts Well: Understanding Object-sensitivity. POPL 2011.
• Yannis Smaragdakis and  Martin Bravenboer. Using Datalog for Fast and Easy Program Analysis. In Datalog'10: Proceedings of the First international conference on Datalog Reloaded.

2010

• William Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, and Molham Aref. SecureBlox: Customizable Secure Distributed Data Processing. In Proceedings of the 35th SIGMOD International Conference on Management of Data (SIGMOD 2010), June 2010.

  pdf

2009

• Martin Bravenboer, Yannis Smaragdakis. Strictly Declarative Specification of Sophisticated Points-to Analyses. In Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), October 2009.

  a.k.a. Doop

  draft implementation

• Martin Bravenboer, Yannis Smaragdakis. Exception Analysis and Points-to Analysis: Better Together. In International Symposium on Software Testing and Analysis (ISSTA 2009), July 2009. To appear.

  pdf implementation

• Martin Bravenboer, Eelco Dolstra, and Eelco Visser. Preventing Injection Attacks with Syntax Embeddings. In Science of Computer Programming, 2009. To appear.

  pdf implementation

2008

• Lennart Kats, Martin Bravenboer, and Eelco Visser. Mixing Source and Bytecode - A Case for Compilation by Normalization. In Proceedings of the 23st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008), October 2008.

  pdf doi

• Martin Bravenboer and Eelco Visser. Parse Table Composition - Separate Compilation and Binary Extensibility of Grammars. In Proceedings of 1st International Conference on Software Language Engineering (SLE 2008) September 2008

  pdf (pre-proceedings edition)

• Martin Bravenboer and Eelco Visser. Designing Syntax Embeddings and Assimilations for Language Libraries. In Models in Software Engineering: Workshops and Symposia at MoDELS 2007, volume 5002 of LNCS, 2008.

  pdf pdf (extended edition) doi

• Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, and Eelco Visser. Stratego/XT 0.17. A Language and Toolset for Program Transformation. In Science of Computer Programming, June 2008

  pdf doi

• Martin Bravenboer. Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates. PhD thesis, Utrecht University, January 2008

  pdf website

2007

• Martin Bravenboer and Eelco Visser. Designing Syntax Embeddings and Assimilations for Language Libraries. In Proceedings of the 4th International Workshop on Software Language Engineering (ATEM 2007), October 2007. Selected as best paper.

  pdf

• Martin Bravenboer, Eelco Dolstra, and Eelco Visser. Preventing Injection Attacks with Syntax Embeddings. A Host and Guest Language Independent Approach. In Proceedings of the Sixth International Conference on Generative Programming and Component Engineering (GPCE 2007), October 2007

  pdf doi implementation

• Eric Bouwers, Martin Bravenboer, and Eelco Visser. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In Proceedings of LDTA'07, Seventh Workshop on Language Descriptions, Tools and Applications at ETAPS'07, March 2007

  pdf implementation doi

• Martin Bravenboer, and Eelco Visser. Program Transformation with Stratego/XT. Tutorial at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 2007.

2006

• Martin Bravenboer. Impact of Software Transformation Systems on Language Workbenches and Domain-Specific Language Tools. In Proceedings of STS'06, Software Transformation Systems Workshop at GPCE'06, October 2006

  pdf

• Martin Bravenboer, Eric Tanter, and Eelco Visser. Declarative, Formal, and Extensible Syntax Definition for AspectJ. In Proceedings of the 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), October 2006

  pdf presentation implementation doi

• Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, and Eelco Visser. Building Java Transformations with Stratego/XT. Tutorial at Sixth International Conference on Generative Programming and Component Engineering (GPCE 2006), October 2006.

  pdf

• Martin Bravenboer, Rene de Groot, and Eelco Visser. MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT. In Generative and Transformational Techniques in Software Engineering (GTTSE 2005), volume 4143 of LNCS, November, 2006.

  pdf presentation doi

• Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, and Eelco Visser . Stratego/XT 0.16: Components for Transformation Systems. In Proceedings of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06), January 2006.

  pdf doi

2005

• Eelco Dolstra, Martin Bravenboer, and Eelco Visser. Service Configuration Management. In Proceedings of the 12th International Workshop on Software Configuration Management (SCM 2005), September 2005.

  pdf doi

• Martin Bravenboer, Rob Vermaas, Jurgen Vinju and Eelco Visser. Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. In Generative Programming and Component Engineering 4th International Conference (GPCE 2005), volume 3676 of LNCS, October 2005

  pdf presentation doi

• Anya Helene Bagge, Martin Bravenboer, Karl Trygve Kalleberg, Koen Muilwijk, and Eelco Visser. Adaptive Code Reuse by Aspects, Cloning and Renaming. Technical Report UU-CS-2005-031, Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, August 2005.

  pdf

• Martin Bravenboer, Arthur van Dam, Karina Olmos and Eelco Visser. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, Volume 69, 2005.

  pdf

2004

• Martin Bravenboer and Eelco Visser. Reusable and Adaptable Strategies for Generative Programming. In Proceedings of STS'04, Software Transformation Systems Workshop at GPCE'04, Vancouver, Canada. October 2004

  pdf

• Martin Bravenboer and Eelco Visser. Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In Proceedings of the 19th ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA'04), October 2004

  pdf presentation doi

2003

• Martin Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars . Master's thesis INF/SCR-04-08, Institute of Information and Computing Sciences, Utrecht University, November 2003

  ps pdf presentation)

• Martin Bravenboer. Being Declarative - Searching for the Essence of Declarativeness. Report for the course Philosophical aspects of Computer Science, Utrecht University, 2003

  ps

2002

• Martin Bravenboer and Eelco Visser. Rewriting Strategies for Instruction Selection. In Rewriting Techniques and Applications (RTA 2002), volume 2378 of LNCS, July 2002

  pdf doi

2001

• Martin Bravenboer and Eelco Visser. Guiding Visitors: Separating Navigation from Computation. Technical Report UU-CS-2001-42, Institute of Information and Computing Sciences, Utrecht University, 2001

  pdf