I am a computer scientist at LogicBlox, where I am responsible for compiler technology and language design. I also work on applications of the LogicBlox infrastructure to program analysis in collaboration with Semmle.

Previously, I was a postdoctoral researcher at the computer science department of the University of Oregon (2008-2009) and the University of Massachusetts Amherst (2009). As a postdoctoral researcher I worked with Yannis Smaragdakis on the declarative specification of points-to analysis (this resulted in Doop). This project was funded by LogicBlox.

As a Ph.D. student I worked with Eelco Visser at the departments of software technology of the Utrecht University (2003-2007) and the Delft University of Technology (2007-2008), both in the Netherlands. This resulted in my Ph.D. thesis Exercises in Free Syntax. I was one of main developers of the Stratego/XT program transformation system during this time.

Events

OOPSLA 2009

Presentation of paper "Strictly Declarative Specification of Sophisticated Points-to Analyses" at the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), October 2009, Orlando, Florida, USA.

Moving to LogicBlox

July 2009 I will be moving to LogicBlox, a young software company based in Atlanta. During the last year, LogicBlox has been funding my research with some pretty exciting result. These results, and the work they are doing themselves, convinced me that LogicBlox has a real chance of drastically changing the way we develop software. At LogicBlox I will be working on language development and compiler technology. I plan to remain active in research through my own work at LogicBlox and our academic collaborations. Computer industry: you'd better be ready!

ISSTA 2009

Presentation of paper "Exception and Points-To Analysis: Better Together" at the International Symposium on Software Testing and Analysis (ISSTA 2009), July 2009, Chicago, Illinois, USA.

NEPLS March 2009

Presenting our latest work: Screaming Fast Declarative Pointer Analysis at NEPLS, the New England Programming Languages and Systems Symposium Series, Bedford, MA, March 5 2009.

GPCE 2009

Program committee member of Eight International Conference on Generative Programming and Component Engineering (GPCE'09), Denver, Colorado, October 4-5, 2009.

Abstracts due: May 11, 2008. Submission: May 18, 2008
See the GPCE'09 call for papers for more information.

LDTA 2009

Program committee member of the 9th Workshop on Language Descriptions, Tools and Applications (LDTA 2009), York, United Kingdom, 28-29 March 2009.

OOPSLA 2008

Presentation of paper "Mixing Source and Bytecode - A Case for Compilation by Normalization" at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008), Nashville, Tennessee, USA.

Moving to UMass

Together with Yannis Smaragdakis and Shan Shan Huang I'll be moving to the University of Masschusetts Amherst somewhere late August 2008.

SLE 2008

Program committee member of the 1st International Conference on Software Language Engineering (SLE 2008), Toulouse, France, September 29-30, 2008.

GPCE 2008

Program committee member of Seventh International Conference on Generative Programming and Component Engineering (GPCE'08), Nashville, Tennessee, October 19-23, 2008.

Abstracts due: May 12, 2008. Submission: May 19, 2008
See the call for papers for more information.

Moving to University of Oregon

February 24 I'm moving to the USA to start a new job at the University of Oregon! I'll be working with Yannis Smaragdakis on program analysis.

DSAL 2008

Program committee member of 3rd Domain-Specific Aspect Languages Workshop (DSAL 2008) at the International Conference on Aspect-Oriented Software Development (AOSD 2008).

Submission: January 31, 2008

PEPM 2008

Program committee member of Workshop on Partial Evaluation and Program Manipulation (PEPM 2008), San Fransisco, USA.

Abstracts due: Fri, October 12, 2007. Submission: Wed, October 17, 2007

GPCE 2007

Presentation of paper "Preventing Injection Attacks with Syntax Embeddings -- A Host and Guest Language Independent Approach" at International Conference on Generative Programming and Component Engineering (GPCE 2007), Salzburg, Austria.

ATEM 2007

Presentation of paper "Designing Syntax Embeddings and Assimilations for Language Libraries" at 4th International Workshop on Software Language Engineering (ATEM 2007), Nashville, USA.