Strictly declarative specification of sophisticated points-to analyses M Bravenboer, Y Smaragdakis Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009 | 552 | 2009 |
Stratego/XT 0.17. A language and toolset for program transformation M Bravenboer, KT Kalleberg, R Vermaas, E Visser Science of computer programming 72 (1-2), 52-70, 2008 | 478 | 2008 |
Pick your contexts well: understanding object-sensitivity Y Smaragdakis, M Bravenboer, O Lhoták Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 379 | 2011 |
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions M Bravenboer, E Visser Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 291 | 2004 |
Using Datalog for fast and easy program analysis Y Smaragdakis, M Bravenboer International Datalog 2.0 Workshop, 245-251, 2010 | 150 | 2010 |
Program transformation with scoped dynamic rewrite rules M Bravenboer, A van Dam, K Olmos, E Visser Fundamenta Informaticae 69 (1-2), 123-178, 2006 | 125 | 2006 |
Preventing injection attacks with syntax embeddings M Bravenboer, E Dolstra, E Visser Proceedings of the 6th international conference on Generative programming …, 2007 | 104 | 2007 |
Exception analysis and points-to analysis: Better together M Bravenboer, Y Smaragdakis Proceedings of the eighteenth international symposium on Software testing …, 2009 | 91 | 2009 |
Join processing for graph patterns: An old dog with new tricks D Nguyen, M Aref, M Bravenboer, G Kollias, HQ Ngo, C Ré, A Rudra Proceedings of the GRADES'15, 1-8, 2015 | 85 | 2015 |
More sound static handling of Java reflection Y Smaragdakis, G Balatsouras, G Kastrinis, M Bravenboer Programming languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 80 | 2015 |
Stratego/XT 0.16: components for transformation systems M Bravenboer, KT Kalleberg, R Vermaas, E Visser Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006 | 74 | 2006 |
Metaborg in action: Examples of domain-specific language embedding and assimilation using stratego/xt M Bravenboer, R De Groot, E Visser Generative and Transformational Techniques in Software Engineering …, 2006 | 71 | 2006 |
Declarative, formal, and extensible syntax definition for AspectJ M Bravenboer, É Tanter, E Visser ACM SIGPLAN Notices 41 (10), 209-228, 2006 | 65 | 2006 |
Generalized type-based disambiguation of meta programs with concrete object syntax M Bravenboer, R Vermaas, J Vinju, E Visser Generative Programming and Component Engineering: 4th International …, 2005 | 54 | 2005 |
Parse table composition: separate compilation and binary extensibility of grammars M Bravenboer, E Visser Software Language Engineering: First International Conference, SLE 2008 …, 2009 | 33 | 2009 |
Secureblox: customizable secure distributed data processing WR Marczak, SS Huang, M Bravenboer, M Sherr, BT Loo, M Aref Proceedings of the 2010 ACM SIGMOD International Conference on Management of …, 2010 | 31 | 2010 |
Mixing source and bytecode: a case for compilation by normalization LCL Kats, M Bravenboer, E Visser Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008 | 30 | 2008 |
Rewriting strategies for instruction selection M Bravenboer, E Visser International Conference on Rewriting Techniques and Applications, 237-251, 2002 | 30 | 2002 |
Guiding visitors: Separating navigation from computation M Bravenboer, E Visser | 29 | 2001 |
Grammar engineering support for precedence rule recovery and compatibility checking E Bouwers, M Bravenboer, E Visser Electronic Notes in Theoretical Computer Science 203 (2), 85-101, 2008 | 26 | 2008 |