Martin Bravenboer

Artificial Intelligence · 2008–2011

A researcher in the Science corpus: 3 papers; trusts 7 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 13 citations into it; #14,736 of 35,345 by trust here, #23,077 by citations
• Computational Theory and Mathematics — 7 citations into it; #5,240 of 12,182 by trust here, #7,851 by citations
• Software — 7 citations into it; #1,030 of 1,227 by trust here, #1,006 by citations

Whom Martin Bravenboer trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. John Whaley
2. Eelco Visser
3. Monica S. Lam
4. Mayur Naik
5. Atsushi Igarashi
6. Manu Sridharan

Who trusts Martin Bravenboer overall

1. Ravi Mangal
2. Yannis Smaragdakis
3. Lennart C. L. Kats
4. Paul Klint
5. Xin Zhang
6. Michael Kong
7. Eelco Visser
8. Aditya V. Nori
9. Lexi Brent
10. Tijs van der Storm

Papers from Martin Bravenboer's perspective

Ordered by how strongly the researchers Martin Bravenboer trusts endorse each paper. Same corpus, a different order for every researcher.

1. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (LDTA@ETAPS)
3. DMS®: Program Transformations for Practical Scalable Software Evolution (International Workshop on Principles of Software Evolution)
4. Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 (Domain-Specific Program Generation)
6. Scrap your boilerplate: a practical design pattern for generic programming (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
7. Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
9. Parameterized object sensitivity for points-to analysis for Java (TSEM)
10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers

• Strictly declarative specification of sophisticated points-to analyses (2009) — 479 citations
• Pick your contexts well: understanding object-sensitivity (2011) — 332 citations
• Stratego/XT 0.17. A language and toolset for program transformation (2008) — 386 citations