martin.bravenboer.name

Martin Bravenboer / Home

I am a computer scientist at LogicBlox. Where I am leading the team responsible for the core engine of the LogicBlox platform. We work on compiler technology, language design, query execution, and data storage. I also work on applications of the LogicBlox infrastructure to program analysis in collaboration with Yannis Smaragdakis. Previously, I was a postdoctoral researcher at the computer science department of the University of Oregon. 2008-2009) and the University of Massachusetts Amherst. Program comm...

http://martin.bravenboer.name/

OVERVIEW OF martin.bravenboer.name

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

4

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR MARTIN.BRAVENBOER.NAME

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

September

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Thursday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.9 out of 5 with 15 reviews

5 star

5

4 star

5

3 star

4

2 star

0

1 star

1

Hey there! Start your review of martin.bravenboer.name

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.4 seconds

FAVICON PREVIEW

16x16
32x32
64x64
128x128

CONTACTS AT MARTIN.BRAVENBOER.NAME

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

4

SSL

EXTERNAL LINKS

39

SITE IP

89.31.143.100

LOAD TIME

0.438 sec

SCORE

6.2

PAGE TITLE

Martin Bravenboer / Home | martin.bravenboer.name Reviews

<META> DESCRIPTION

I am a computer scientist at LogicBlox. Where I am leading the team responsible for the core engine of the LogicBlox platform. We work on compiler technology, language design, query execution, and data storage. I also work on applications of the LogicBlox infrastructure to program analysis in collaboration with Yannis Smaragdakis. Previously, I was a postdoctoral researcher at the computer science department of the University of Oregon. 2008-2009) and the University of Massachusetts Amherst. Program comm...

<META> KEYWORDS

1 events

2 presentation of paper

3 at the

4 attending the

5 wasdett 3

6 moving to logicblox

7 at nepls

8 for more information

9 moving to umass

10 on program analysis

CONTENT

Page content here

KEYWORDS ON PAGE

events,presentation of paper,at the,attending the,wasdett 3,moving to logicblox,at nepls,for more information,moving to umass,on program analysis,salzburg austria,nashville usa,about me,photos,shan shan,research,publications,presentations,phd thesis,doop

SERVER

UD Webspace 3.0

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

Martin Bravenboer / Home | martin.bravenboer.name Reviews

https://martin.bravenboer.name

I am a computer scientist at LogicBlox. Where I am leading the team responsible for the core engine of the LogicBlox platform. We work on compiler technology, language design, query execution, and data storage. I also work on applications of the LogicBlox infrastructure to program analysis in collaboration with Yannis Smaragdakis. Previously, I was a postdoctoral researcher at the computer science department of the University of Oregon. 2008-2009) and the University of Massachusetts Amherst. Program comm...

INTERNAL PAGES

martin.bravenboer.name

1

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:...

2

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.

3

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.

4

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...

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL PAGES IN THIS WEBSITE

4

LINKS TO THIS WEBSITE

freeflygeek.com

Shan Shan Huang / Presentations

http://www.freeflygeek.com/presentations.html

Computer Scientist and International Media Sensation. Abstraction Mechanisms for Modular Software Construction. March 2009: UCSB, UCDavis, UTSA, Iowa State University, University of Waterloo. April 2009: IBM T.J. Watson Research Center, UCLA, University of Central Florida. May 2009: LogicBlox, Inc. A programming language is low level when its programs require attention to the irrelevant." - Alan Perlis.

ericbouwers.blogspot.com

Bouwers > Eric > Blog: Publications

http://ericbouwers.blogspot.com/p/publications.html

It is not pure, but it is practical. Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions. Journal of Software: Evolution and Process. M van Eekelen and J. Visser. Measuring Dependency Freshness in Software Systems. Proceedings of the 37th International Conference on Software Engineering (ICSE 2015). Tracking Known Security Vulnerabilities in Proprieatary Systems. P John and J. Visser. Monitoring Software Quality at Large Scale. Evaluating Usefulnes...

arthur.van-dam.net

It is I: Limburgs Mooiste

http://arthur.van-dam.net/2007/06/limburgs-mooiste

Zondag, juni 03, 2007. Leuke dingen gedaan dit weekend? Is één van de eerste vragen op maandagmorgen aan collega's. De laatste tijd begint op te vallen dat ze de wedervraag aan mij al specifieker stellen: "Nog gefietst dit weekend? Inderdaad, ik fiets vrij veel de laatste tijd. Afgelopen donderdag vroeg ik me hardop af of Limburgse en Vlaamse heuvels met mijn oude racefiets wel te bedwingen waren (voor de kenners: 45:24 is mijn lichtste verzet). Martin. Aanleiding was de Limburgs Mooiste. Het weer was fa...

arthur.van-dam.net

It is I

http://arthur.van-dam.net/labels/limburgs%20mooiste

Zondag, juni 03, 2007. Leuke dingen gedaan dit weekend? Is één van de eerste vragen op maandagmorgen aan collega's. De laatste tijd begint op te vallen dat ze de wedervraag aan mij al specifieker stellen: "Nog gefietst dit weekend? Inderdaad, ik fiets vrij veel de laatste tijd. Afgelopen donderdag vroeg ik me hardop af of Limburgse en Vlaamse heuvels met mijn oude racefiets wel te bedwingen waren (voor de kenners: 45:24 is mijn lichtste verzet). Martin. Aanleiding was de Limburgs Mooiste. Het weer was fa...

mbravenboer.blogspot.com

Subject to Meta Programming: x86-64 support for Stratego/XT!

http://mbravenboer.blogspot.com/2007/03/x86-64-support-for-strategoxt.html

Subject to Meta Programming. Thursday, March 01, 2007. X86-64 support for Stratego/XT! Today is the day that Stratego/XT. Stratego/XT supports x86-64 from release 0.17M3pre16744. The sdf2-bundle from release 2.4pre212034. The releases are available from our new Nix buildfarm. At the TU Delft. About 6 years ago, various people started. The 64-bit issues were never solved because. We never had a decent 64-bit machine at our disposal,. Users with 64-bit system were uncommon, and. Bought specifically for the...

mbravenboer.blogspot.com

Subject to Meta Programming: Why the JVM Spec defines checkcast for interface types

http://mbravenboer.blogspot.com/2008/12/why-jvm-spec-defines-checkcast-for.html

Subject to Meta Programming. Thursday, December 04, 2008. Why the JVM Spec defines checkcast for interface types. I'm working on the specification of pointer analysis for Java using Datalog. Basically, a pointer analysis computes for each variable in a program the set of objects it may point to at run-time. For this purpose I need to express parts of the JVM Spec in Datalog as well. As a simple example, the following Datalog rules define when a class is a subclass of another class. The first rule for thi...

mbravenboer.blogspot.com

Subject to Meta Programming: March 2013

http://mbravenboer.blogspot.com/2013_03_01_archive.html

Subject to Meta Programming. Sunday, March 03, 2013. Mercurial Cherry-Picking: Branches vs Clones. This weekend I was doing a merge of two branches, and accidentally introduced a problem that was caused by earlier cherry-picking of changesets between the two branches. I thought this really should not have been possible, so I decided to sanity-check my understanding of Mercurial branches. It turns out that cherry-picking and Mercurial branches really do not work well together. Echo "foo" file.txt. Hg merg...

mbravenboer.blogspot.com

Subject to Meta Programming: LDTA'07 slides on Grammar Engineering Tools

http://mbravenboer.blogspot.com/2007/04/ldta07-slides-on-grammar-engineering.html

Subject to Meta Programming. Tuesday, April 03, 2007. LDTA'07 slides on Grammar Engineering Tools. Of our presentation of the LDTA'07 paper Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. Are now available online. The slides are a spectacular demonstration of latex masochism, so please take a look ;) . There are few bonus slides after the conclusion that I wasn't able to show during the 30-minutes version of the talk. Labels: grammar engineering tools.

UPGRADE TO PREMIUM TO VIEW 31 MORE

TOTAL LINKS TO THIS WEBSITE

39

OTHER SITES

martin.boelk.ergo.de

ERGO Versicherung Martin Bölk in Neunkirchen | Ergo Versicherungsgruppe AG

Wiebelskircher Str. 14. Ihr persönlicher Kundenbereich. Willkommen auf meiner ERGO Agenturhomepage. Qualifizierte, vertrauensvolle und transparente Dienstleistungen, attraktive Versicherungsprodukte, persönliche Betreuung, schnelle Schadenregulierung und vielseitiger Service werden hier groß geschrieben. Versichern heißt verstehen! Deshalb entwickeln wir unser Angebot für Sie immer weiter. Haben Sie dennoch Fragen zu unserem Produkt- und Serviceangebot? Dann nehmen Sie Kontakt zu uns auf. Mtl Beitrag, Si...

martin.bordes.se

Martins fotoblogg

martin.borg.ch

Ein paar Eindrücke aus meiner (neuen) Heimat.

martin.borho.net

Martin Borho - Beratung, Programmierung, Web Entwicklung, Freiberufler

Programmierung, Web Entwicklung, Beratung, Freiberufler. Cloud Computing / Docker / Amazon AWS / DevOps. Django, Flask, WSGI, etc. Content-Management-Systeme: Installation, Anpassungen und Erweiterungen. Wartung und Pflege bestehender Webseiten. Content-Syndication, Content-Aggregation, Semantic Web, Optimierung, Entwicklung von Crawlern, Cloud Computing, AWS. Python, JavaScript, Golang, XSLT, Qt/QML (QtAmbassador). Web Services / Cloud:. MySQL, DynamoDB, MongoDB, CouchDB, PostgreSQL, MaxDB, NoSQL, Sqlite.

martin.borik.net

Martin Bórik | vitajte!

Som taký zvláštny človek: programátor. A skladateľ elektronickej alternatívnej hudby. A táto stránka v prvom rade slúži na prezentáciu vlastnej hudobnej tvorby. Ktorej sa venujem už snáď viac ako 15 rokov. Nie som “multitalentovaný čávo”. A nikto ma neučil hrať na žiaden hudobný nástroj. Síce som schopný niečo brnkať na gitare, či klepkať po bielo-čiernych klávesách, no nikdy by som s tým nedokázal vystupovať verejne, alebo to nahrať do svojich skladieb. Moju obrovskú poklonu si preto zaslúžia vš...Uznáv...

martin.bravenboer.name

Martin Bravenboer / Home

I am a computer scientist at LogicBlox. Where I am leading the team responsible for the core engine of the LogicBlox platform. We work on compiler technology, language design, query execution, and data storage. I also work on applications of the LogicBlox infrastructure to program analysis in collaboration with Yannis Smaragdakis. Previously, I was a postdoctoral researcher at the computer science department of the University of Oregon. 2008-2009) and the University of Massachusetts Amherst. Program comm...

martin.brenner.de

Martin Brenner's Home

Aa Until I have time to put some fancy graphics here, there are just the links to my content:. Direct Link to Ultima Online. A Multi User Dungeon. Some very special screenshots. Alle Angaben auf diesen Webseiten ohne Gewähr.

martin.bretterhofer.at

Martins Blog – Personal Blog for me

Personal Blog for me. Bin im Aufbau meine Seite. Bin im Aufbau meine Seite. On Bin im Aufbau meine Seite. On Bin im Aufbau meine Seite. On Bin im Aufbau meine Seite. Free WordPress Theme designed by GavickPro.com. Proudly published with WordPress.

martin.bretterklieber.net

Bretterklieber

Ihr Browser unterstützt keine Frames!

martin.brnovjak.com

[ martin.brnovjak.com ]

Home Is Where You Hang Yourself. Where You End The Pain. Překladatelské služby a lokalizace softwaru. Nezávislé vydavatelství extrémní hudby.

martin.brojo.sk

Martin Brojo |

Na mojej web stránke. Nájdete tu moje fotografie, hlavne štylizované portréty ľudí, fotografie pohybu. Je to jednoduché. Rozhodni sa, kontaktuj ma a dohodneme si spoločné fotenie. Hľadám tváre do môjho projektu. Ak máš chuť stať sa tvárou v mojom projekte, stačí ma kontaktovať emailom, priložiť pár svojich fotografií a ak sa mi budeš hodiť, ozvem sa ti. Nájdete ma aj tu:. Martin Brojo 2018 Privacy Policy.