Follow
Martin Bravenboer
Martin Bravenboer
Relational AI
Verified email at relational.ai
Title
Cited by
Cited by
Year
Strictly declarative specification of sophisticated points-to analyses
M Bravenboer, Y Smaragdakis
Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009
4872009
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
4622008
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
3482011
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
2852004
Using Datalog for fast and easy program analysis
Y Smaragdakis, M Bravenboer
International Datalog 2.0 Workshop, 245-251, 2010
1382010
Program transformation with scoped dynamic rewrite rules
M Bravenboer, A van Dam, K Olmos, E Visser
Fundamenta Informaticae 69 (1-2), 123-178, 2006
1252006
Preventing injection attacks with syntax embeddings
M Bravenboer, E Dolstra, E Visser
Proceedings of the 6th international conference on Generative programming …, 2007
1042007
Exception analysis and points-to analysis: Better together
M Bravenboer, Y Smaragdakis
Proceedings of the eighteenth international symposium on Software testing …, 2009
862009
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
762015
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
752015
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
742006
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
712006
Declarative, formal, and extensible syntax definition for AspectJ
M Bravenboer, É Tanter, E Visser
ACM SIGPLAN Notices 41 (10), 209-228, 2006
652006
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
532005
Parse table composition: separate compilation and binary extensibility of grammars
M Bravenboer, E Visser
Software Language Engineering: First International Conference, SLE 2008 …, 2009
332009
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
312010
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
312008
Rewriting strategies for instruction selection
M Bravenboer, E Visser
International Conference on Rewriting Techniques and Applications, 237-251, 2002
302002
Guiding visitors: Separating navigation from computation
M Bravenboer, E Visser
282001
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
242008
The system can't perform the operation now. Try again later.
Articles 1–20