Jurgen J. Vinju - researchr profile

researchr

You are not signed in
Sign in
Sign up

I am Jurgen Vinju

September 2007	-	April 2008	:	IBM TJ Watson
March 2006	-	April 2006	:	Bell Labs Murray Hill
February 2000	-		:	Centrum Wiskunde & Informatica
April 2005	-		:	Universiteit van Amsterdam
2014	-		:	TU Eindhoven
2004	-	2004	:	INRIA-LORIA
1997	-	2000	:	Just Software

AlleAlle: bounded relational model finding with unbounded dataJouke Stoel, Tijs van der Storm, Jurgen J. Vinju. OOPSLA 2019: 46-61 [doi]

Concrete Syntax with Black Box ParsersRodin Aarssen, Jurgen J. Vinju, Tijs van der Storm. Programming, 3(3):15, 2019. [doi]

To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-triesMichael J. Steindorfer, Jurgen J. Vinju. PLDI 2018: 283-295 [doi]

An empirical evaluation of OSGi dependencies best practices in the eclipse IDELina Ochoa, Thomas Degueule, Jurgen J. Vinju. msr 2018: 170-180 [doi]

Bacatá: a language parametric notebook generator (tool demo)Mauricio Verano Merino, Jurgen J. Vinju, Tijs van der Storm. SLE 2018: 210-214 [doi]

Meta-Environment

abstract syntax

abstract syntax trees

algebraic specification

ambiguity detection

application framework

aspect oriented programming

attribute grammars

code generation

concrete object syntax

concrete syntax

context-free grammars

data-flow language

data-flow programming

design research

domain analysis

domain-specific language

embedded software

extensible language

extreme programming

feature-oriented programming

functional programming

generative programming

generic programming

graph transformation

graph-rewriting

higher-order transformations

intermediate representation

language design

language engineering

language modeling

language workbench

little language

maximal sharing

meta programming

metaprogramming

model transformation

model-driven development

model-driven engineering

model-to-model transformation

modeling language

object-oriented programming

operational semantics

operations languages

parsing algorithm

pattern language

points-to analysis

program analysis

program optimization

program transformation

program verification

programming languages

programming paradigms

rewriting strategies

scannerless parsing

software component

software components

software engineering

software evolution

software language engineering

source comments

source-to-source

staged computation

static analysis

subject-oriented programming

syntax definition

systematic-approach

transformation engineering

transformation language

transformation system

runs on WebDSL