martin.bravenboer.name
Martin Bravenboer / Home
http://martin.bravenboer.name/index.html
I am a computer scientist at LogicBlox. Where I am leading the development of the LogicBlox platform. We work on compiler technology, language design, query execution, data storage, declarative user-interface specification, declarative development environments, and high-level specification of optimization and machine learning problems. I also work on applications of the LogicBlox infrastructure to program analysis in collaboration with Yannis Smaragdakis. This project was funded by LogicBlox. SecureBlox:...
martin.bravenboer.name
Martin Bravenboer / Presentations
http://martin.bravenboer.name/presentations.html
Exception Analysis and Points-to Analysis: Better Together. Presented at International Symposium on Software Testing and Analysis (ISSTA 2009), July 2009. Software Development Challenges: Abstraction and Analysis. Presented at University of Waterloo, Canada, April 2, 2009. Strictly Declarative Specification of Sophisticated Points-To Analyses. Presented at New York University, March 30, 2009. Earlier version presented at University of Texas at San Antonio and the University of Massachusetts Amherst.
martin.bravenboer.name
Martin Bravenboer / Ph.D. Thesis
http://martin.bravenboer.name/thesis.html
Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates. Martin Bravenboer, Ph.D. Thesis. Chapter 2: Concrete Syntax for Objects. Chapter 3: Type-based Disambiguation of Concrete Object Syntax. Chapter 4: Preventing Injection Attacks. Chapter 5: Syntax Defintion for AspectJ. Chapter 6: Parse Table Composition. Chapter 7: Precedence Rule Recovery. Mark van den Brand.
martin.bravenboer.name
Martin Bravenboer / Publications
http://martin.bravenboer.name/publications.html
Pick Your Contexts Well: Understanding Object-Sensitivity (The Making of a Precise and Scalable Pointer Analysis). Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 2009. Object-sensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorly understood. For instance, for a context depth of 2 or higher, past scalable impleme...Octob...