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.

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

DBPL 2011

Program committee member of the 13th International Symposium on Database Programming Languages (DBPL 2011), August 29th 2011, Seattle, Washington, USA, (co-located with VLDB 2011).

POPL 2011

Presentation of paper "Pick Your Contexts Well: Understanding Object-Sensitivity" at the Symposium on Principles of Programming Languages (POPL 2011).

SIGMOD 2010

Presentation of paper "SecureBlox: Customizable Secure Distributed Data Processing" at the 2010 ACM SIGMOD/PODS Conference (SIGMOD 2010), June 2010, Indianapolis, Indiana, USA.

Datalog 2.0 Workshop

Attending the Datalog 2.0 Workshop, March 2010, Oxford, UK.

WASDeTT-3

Program committee member of Third International Workshop on Academic Software Development Tools (WASDeTT-3). Co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'2010). September 20, 2010.

GPCE 2010

Program committee member of Ninth International Conference on Generative Programming and Component Engineering (GPCE'10), October 10-13, 2010 Eindhoven, The Netherlands.

SCAM 2010

Program committee member of Tenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), 12th-13th September 2010, Timisoara, Romania.

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

LogicBlox logo

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.