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.
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).
Presentation of paper "Pick Your Contexts Well: Understanding Object-Sensitivity" at the Symposium on Principles of Programming Languages (POPL 2011).
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.
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.
Program committee member of Ninth International Conference on Generative Programming and Component Engineering (GPCE'10), October 10-13, 2010 Eindhoven, The Netherlands.
Program committee member of Tenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), 12th-13th September 2010, Timisoara, Romania.
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!
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
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
Program committee member of the 9th Workshop on Language Descriptions, Tools and Applications (LDTA 2009), York, United Kingdom, 28-29 March 2009.
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
Program committee member of the 1st International Conference on Software Language Engineering (SLE 2008), Toulouse, France, September 29-30, 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
Moving to University of Oregon
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
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
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.
Presentation of paper "Designing Syntax Embeddings and Assimilations for Language Libraries" at 4th International Workshop on Software Language Engineering (ATEM 2007), Nashville, USA.