Publications - Martin Bravenboer

See also [Google Scholar](https://scholar.google.com/citations?user=u2EHrxEAAAAJ) and [DBLP](https://dblp.org/pid/b/MartinBravenboer.html) # 2015 <ul class="major"> <li> Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer. More Sound Static Handling of Java Reflection. APLAS 2015. </li> <li> 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. </li> </ul> # 2011 <ul class="major"> <li> Yannis Smaragdakis, Martin Bravenboer, and Ondřej Lhoták. Pick Your Contexts Well: Understanding Object-sensitivity. POPL 2011. </li> <li> 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. </li> </ul> # 2010 <ul class="major"> <li> 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. <a href="https://yanniss.github.io/doop-datalog2.0.pdf">pdf</a> </li> </ul> # 2009 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="https://yanniss.github.io/">Yannis Smaragdakis</a>. Strictly Declarative Specification of Sophisticated Points-to Analyses. In Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (<a href="http://www.oopsla.org/oopsla2009/">OOPSLA 2009</a>), October 2009. a.k.a. Doop <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/oopsla09.pdf">draft</a> <a href="https://github.com/plast-lab/doop">implementation</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="https://yanniss.github.io/">Yannis Smaragdakis</a>. Exception Analysis and Points-to Analysis: Better Together. In International Symposium on Software Testing and Analysis (<a href="http://www.cse.msu.edu/issta09/">ISSTA 2009</a>), July 2009. To appear. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/issta09.pdf">pdf</a> <a href="https://github.com/plast-lab/doop">implementation</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="http://www.cs.uu.nl/~eelco">Eelco Dolstra</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. Preventing Injection Attacks with Syntax Embeddings. In Science of Computer Programming, 2009. To appear. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/stringborg09.pdf">pdf</a> <a href="http://www.stringborg.org">implementation</a> </li> </ul> # 2008 <ul class="major"> <li> <a href="https://lennart.cl/">Lennart Kats</a>, <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. 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 (<a href="http://www.oopsla.org/oopsla2008/" >OOPSLA 2008</a>), October 2008. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/oopsla08.pdf">pdf</a> <a href="http://doi.acm.org/10.1145/1449764.1449772">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Parse Table Composition - Separate Compilation and Binary Extensibility of Grammars. In Proceedings of 1st International Conference on Software Language Engineering (<a href="http://planet-sl.org/sle2008/">SLE 2008</a>) September 2008 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/sle08-pre.pdf">pdf</a> (pre-proceedings edition) </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Designing Syntax Embeddings and Assimilations for Language Libraries. In Models in Software Engineering: Workshops and Symposia at MoDELS 2007, volume 5002 of LNCS, 2008. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/lncs-atem07.pdf">pdf</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/atem07.pdf">pdf</a> (extended edition) <a href="http://dx.doi.org/10.1007/978-3-540-69073-3_5">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="http://www.ii.uib.no/%7Ekarltk/">Karl Trygve Kalleberg</a>, Rob Vermaas, and <a href="https://eelcovisser.org">Eelco Visser</a>. Stratego/XT 0.17. A Language and Toolset for Program Transformation. In Science of Computer Programming, June 2008 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/est08.pdf">pdf</a> <a href="http://dx.doi.org/10.1016/j.scico.2007.11.003">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>. Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates. PhD thesis, Utrecht University, January 2008 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/mbravenboer-phdthesis.pdf">pdf</a> <a href="thesis.html">website</a> </li> </ul> # 2007 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Designing Syntax Embeddings and Assimilations for Language Libraries. In Proceedings of the 4th International Workshop on Software Language Engineering (<a href="http://planetmde.org/atem2007/">ATEM 2007</a>), October 2007. Selected as best paper. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/atem07.pdf">pdf</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="https://edolstra.github.io/">Eelco Dolstra</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. 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 (<a href="http://www.gpce.org/07" >GPCE 2007</a>), October 2007 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/gpce07.pdf">pdf</a> <a href="http://doi.acm.org/10.1145/1289971.1289975">doi</a> <a href="http://www.stringborg.org">implementation</a> </li> <li> <a href="http://ericbouwers.blogspot.com">Eric Bouwers</a>, <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In Proceedings of <a href="http://www.di.uminho.pt/ldta07/" >LDTA'07</a>, Seventh Workshop on Language Descriptions, Tools and Applications at ETAPS'07, March 2007 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/ldta07.pdf">pdf</a> <a href="http://www.stratego-language.org/Stratego/GrammarEngineeringTools">implementation</a> <a href="http://dx.doi.org/10.1016/j.entcs.2008.03.046">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. Program Transformation with Stratego/XT. Tutorial at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 2007. </li> </ul> # 2006 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>. Impact of Software Transformation Systems on Language Workbenches and Domain-Specific Language Tools. In Proceedings of <a href="http://www.program-transformation.org/Sts/STS06" >STS'06</a>, Software Transformation Systems Workshop at GPCE'06, October 2006 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/sts06.pdf">pdf</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="http://www.dcc.uchile.cl/~etanter/" >Eric Tanter</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. Declarative, Formal, and Extensible Syntax Definition for AspectJ. In Proceedings of the 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (<a href="http://www.oopsla.org/2006/" >OOPSLA 2006</a>), October 2006 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/oopsla06.pdf">pdf</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/oopsla06-slides.pdf">presentation</a> <a href="http://www.stratego-language.org/Stratego/AspectJFront">implementation</a> <a href="http://doi.acm.org/10.1145/1167473.1167491">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="http://www.ii.uib.no/%7Ekarltk/" >Karl Trygve Kalleberg</a>, Rob Vermaas, and <a href="https://eelcovisser.org">Eelco Visser</a>. Building Java Transformations with Stratego/XT. Tutorial at Sixth International Conference on Generative Programming and Component Engineering (GPCE 2006), October 2006. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/gpce06-tutorial-slides.pdf">pdf</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, Rene de Groot, and <a href="https://eelcovisser.org">Eelco Visser</a>. MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT. In Generative and Transformational Techniques in Software Engineering (<a href="http://www.di.uminho.pt/GTTSE2005" >GTTSE 2005</a>), volume 4143 of LNCS, November, 2006. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/gttse05.pdf">pdf</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/gttse05-slides.pdf">presentation</a> <a href="http://dx.doi.org/10.1007/11877028_10">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, <a href="http://www.ii.uib.no/%7Ekarltk/" >Karl Trygve Kalleberg</a>, <a href="http://www.cs.uu.nl/wiki/Vermaas/WebHome">Rob Vermaas</a>, and <a href="https://eelcovisser.org">Eelco Visser</a> . Stratego/XT 0.16: Components for Transformation Systems. In Proceedings of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (<a href="http://www.cis.ksu.edu/santos/pepm06/">PEPM '06</a>), January 2006. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/pepm06.pdf">pdf</a> <a href="http://doi.acm.org/10.1145/1111542.1111558">doi</a> </li> </ul> # 2005 <ul class="major"> <li> Eelco Dolstra</a>, <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, and <a href="https://eelcovisser.org">Eelco Visser</a>. Service Configuration Management. In Proceedings of the 12th International Workshop on Software Configuration Management (<a href="http://www.cs.ucsc.edu/%7Eejw/scm12/" >SCM 2005</a>), September 2005. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/scm05.pdf">pdf</a> <a href="http://doi.acm.org/10.1145/1109128.1109135">doi</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, Rob Vermaas</a>, <a href="http://homepages.cwi.nl/%7Ejurgenv/">Jurgen Vinju</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. In Generative Programming and Component Engineering 4th International Conference (<a href="http://www.program-transformation.org/Gpce05/" >GPCE 2005</a>), volume 3676 of LNCS, October 2005 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/disamb-gpce05.pdf">pdf</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/gpce05-slides.pdf">presentation</a> <a href="http://dx.doi.org/10.1007/11561347_12">doi</a> </li> <li> Anya Helene Bagge, <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, Karl Trygve Kalleberg, Koen Muilwijk, and <a href="https://eelcovisser.org">Eelco Visser</a>. 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. <a href="http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2005/2005-031.pdf">pdf</a> </li> <li class="major"> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>, Arthur van Dam, Karina Olmos and <a href="https://eelcovisser.org">Eelco Visser</a>. Program Transformation with Scoped Dynamic Rewrite Rules. <a href="http://fi.mimuw.edu.pl/">Fundamenta Informaticae</a>, Volume 69, 2005. <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/BDOV04.pdf">pdf</a> </li> </ul> # 2004 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Reusable and Adaptable Strategies for Generative Programming. In Proceedings of <a href="http://www.program-transformation.org/Gpce04/STS" >STS'04</a>, Software Transformation Systems Workshop at GPCE'04, Vancouver, Canada. October 2004 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/BV04-STS.pdf">pdf</a> </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. 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 (<a href="http://www.oopsla.org/">OOPSLA'04</a>), October 2004 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/BV04.pdf">pdf</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/OOPSLA04-CSfO.pdf">presentation</a> <a href="http://doi.acm.org/10.1145/1028976.1029007">doi</a> </li> </ul> # 2003 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>. 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 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/mbravenboer-masterthesis.ps">ps</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/mbravenboer-masterthesis.pdf">pdf</a> <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/mbravenboer-masterthesis-talk.pdf">presentation</a>) </li> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a>. Being Declarative - Searching for the Essence of Declarativeness. Report for the course Philosophical aspects of Computer Science, Utrecht University, 2003 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/declarative.ps">ps</a> </li> </ul> # 2002 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Rewriting Strategies for Instruction Selection. In Rewriting Techniques and Applications (RTA 2002), volume 2378 of LNCS, July 2002 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/BV02.pdf">pdf</a> <a href="http://dx.doi.org/10.1007/3-540-45610-4_17">doi</a> </li> </ul> # 2001 <ul class="major"> <li> <a href="https://martin.bravenboer.name">Martin Bravenboer</a> and <a href="https://eelcovisser.org">Eelco Visser</a>. Guiding Visitors: Separating Navigation from Computation. Technical Report UU-CS-2001-42, Institute of Information and Computing Sciences, Utrecht University, 2001 <a href="https://s3.us-west-2.amazonaws.com/martin.bravenboer.name/docs/BV01.pdf">pdf</a> </li> </ul>