Personal information

Websites & social links

homepage

Other IDs

Scopus Author ID: 9733732800

Activities

Collapse all

Employment (10)

Swat.engineering BV: Amsterdam, Noord-Holland, NL

2017-02-14 to present | co-owner / senior language engineer
Employment
Source: Self-asserted source
Jurgen J. Vinju

TU Eindhoven: Eindhoven, Noord-Brabant, NL

2014-09-01 to present | Full Professor Automated Software Analysis (SET)
Employment
Source: Self-asserted source
Jurgen J. Vinju

Centrum Wiskunde & Informatica: Amsterdam, Noord-Holland, NL

2012-01-01 to present | Senior Researcher / Group leader (Software Analysis & Transformation)
Employment
Source: Self-asserted source
Jurgen J. Vinju

Inria Centre de recherche Lille Nord Europe: Villeneuve-d'Ascq, Hauts-de-France, FR

2014-04-01 to 2016-12-31 | Project Leader (ATEAMS)
Employment
Source: Self-asserted source
Jurgen J. Vinju

Universiteit van Amsterdam: Amsterdam, Noord-Holland, NL

2005-09-01 to 2014-08-31 | Lecturer / Course Coordinator (IvI - Master Software Engineering)
Employment
Source: Self-asserted source
Jurgen J. Vinju

Inria Centre de recherche Lille Nord Europe: Villeneuve-d'Ascq, Hauts-de-France, FR

2009-07-01 to 2013-12-31 | Senior researcher (ATEAMS)
Employment
Source: Self-asserted source
Jurgen J. Vinju

Centrum Wiskunde & Informatica: Amsterdam, Noord-Holland, NL

2005-05-19 to 2012-02-01 | Junior researcher / junior group leader (SEN1)
Employment
Source: Self-asserted source
Jurgen J. Vinju

IBM Research - Thomas J. Watson Research Center: Yorktown Heights, New York, US

2007-09-01 to 2008-04-15 | Guest researcher
Employment
Source: Self-asserted source
Jurgen J. Vinju

Centrum Wiskunde & Informatica: Amsterdam, Noord-Holland, NL

2000-02-01 to 2005-11-18 | PhD candidate (SEN1)
Employment
Source: Self-asserted source
Jurgen J. Vinju

Inria Centre de Recherche Nancy Grand Est: Villers-les-Nancy, Grand Est, FR

2002-08-01 to 2002-11-30 | Guest researcher
Employment
Source: Self-asserted source
Jurgen J. Vinju

Education and qualifications (3)

Universiteit van Amsterdam: Amsterdam, Noord-Holland, NL

2005-11-18 | PhD (Informatica)
Education
Source: Self-asserted source
Jurgen J. Vinju

Universiteit van Amsterdam: Amsterdam, Noord-Holland, NL

1995-09-01 to 1999-11-18 | MSc cum laude
Education
Source: Self-asserted source
Jurgen J. Vinju

Het Zaanlands Lyceum: Zaandam, Noord-Holland, NL

1989-09-01 to 1995-05-01 | Gymnasium
Education
Source: Self-asserted source
Jurgen J. Vinju

Works (44)

Taming complexity of industrial printing systems using a constraint‐based DSL: An industrial experience report

Software: Practice and Experience
2023-10 | Journal article
DOI: 10.1002/spe.3239
Contributors: Jasper Denkers; Marvin Brunner; Louis van Gool; Jurgen J. Vinju; Andy Zaidman; Eelco Visser
Source: check_circle
Crossref

Automated Validation of State-Based Client-Centric Isolation with TLA$$^+$$

2021 | Book chapter
DOI: 10.1007/978-3-030-67220-1_4
Contributors: Tim Soethout; Tijs van der Storm; Jurgen J. Vinju
Source: check_circle
Crossref

Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions

2021-10-17 | Conference paper
DOI: 10.1145/3486601.3486707
Contributors: Tim Soethout; Tijs van der Storm; Jurgen J. Vinju
Source: check_circle
Crossref

Getting grammars into shape for block-based editors

2021-10-17 | Conference paper
DOI: 10.1145/3486608.3486908
Contributors: Mauricio Verano Merino; Tom Beckmann; Tijs van der Storm; Robert Hirschfeld; Jurgen J. Vinju
Source: check_circle
Crossref

Corrigendum: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015

Journal of Software: Evolution and Process
2017-10 | Journal article
DOI: 10.1002/smr.1914
Contributors: Davy Landman; Alexander Serebrenik; Eric Bouwers; Jurgen Vinju
Source: check_circle
Crossref

Preface

Science of Computer Programming
2015-01 | Journal article
DOI: 10.1016/j.scico.2014.04.011
Contributors: Jurgen J. Vinju
Source: check_circle
Crossref

Towards multilingual programming environments

Science of Computer Programming
2015-01 | Journal article
DOI: 10.1016/j.scico.2013.11.041
Contributors: Tijs van der Storm; Jurgen J. Vinju
Source: check_circle
Crossref

An empirical study of PHP feature usage: A static analysis perspective

2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings
2013 | Journal article
DOI:

10.1145/2483760.2483786
Contributors: Hills, M.; Klint, P.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Meta-language support for type-safe access to external resources

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Journal article
DOI:

10.1007/978-3-642-36089-3_21
Contributors: Hills, M.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Preface to the special section on Language Descriptions Tools and Applications (LDTA'08 & '09)

Science of Computer Programming
2013 | Journal article
DOI:

10.1016/j.scico.2012.12.008
Contributors: Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Ambiguity detection: Scaling to scannerless

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI:

10.1007/978-3-642-28830-2_17
Contributors: Basten, H.J.S.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Parse forest diagnostics with Dr. Ambiguity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI:

10.1007/978-3-642-28830-2_16
Contributors: Basten, H.J.S.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Program analysis scenarios in Rascal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI:

10.1007/978-3-642-34005-5_2
Contributors: Hills, M.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

RLSRunner: Linking rascal with K for program analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI:

10.1007/978-3-642-28830-2_19
Contributors: Hills, M.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Scripting a refactoring with Rascal and Eclipse

ACM International Conference Proceeding Series
2012 | Journal article
DOI:

10.1145/2328876.2328882
Contributors: Hills, M.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Welcome from the Doctoral Symposium Chair

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR
2012 | Journal article
DOI:

10.1109/CSMR.2012.86
Contributors: Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

What does control flow really look like? Eyeballing the cyclomatic complexity metric

Proceedings - 2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, SCAM 2012
2012 | Journal article
DOI:

10.1109/SCAM.2012.17
Contributors: Vinju, J.J.; Godfrey, M.W.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

A case of visitor versus interpreter pattern

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Journal article
DOI:

10.1007/978-3-642-21952-8_17
Contributors: Hills, M.; Klint, P.; Van Der Storm, T.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

EASY meta-programming with Rascal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Journal article
DOI:

10.1007/978-3-642-18023-1_6
Contributors: Klint, P.; Van Der Storm, T.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Automated generation of program translation and verification tools using annotated grammars

Science of Computer Programming
2010 | Journal article
DOI:

10.1016/j.scico.2009.10.003
Contributors: Ordóñez Camacho, D.; Mens, K.; Brand, M.v.d.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Electronic Notes in Theoretical Computer Science: Preface

Electronic Notes in Theoretical Computer Science
2010 | Journal article
DOI:

10.1016/j.entcs.2010.08.027
Contributors: Ekman, T.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Faster ambiguity detection by grammar filtering

Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010
2010 | Journal article
DOI:

10.1145/1868281.1868286
Contributors: Basten, H.J.S.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Mod4J: A qualitative case study of model-driven software development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Journal article
DOI:

10.1007/978-3-642-16129-2_25
Contributors: Lussenburg, V.; Van Der Storm, T.; Vinju, J.; Warmer, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

On the impact of DSL tools on the maintainability of language implementations

Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010
2010 | Journal article
DOI:

10.1145/1868281.1868291
Contributors: Klint, P.; Van Der Storm, T.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Prototyping a tool environment for run-time assertion checking in JML with communication histories

24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10
2010 | Journal article
DOI:

10.1145/1924520.1924526
Contributors: De Boer, F.S.; De Gouw, S.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Accelerating the creation of customized, language-specific IDEs in eclipse

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
2009 | Journal article
DOI:

10.1145/1640089.1640104
Contributors: Charles, P.; Fuhrer, R.M.; Sutton Jr., S.M.; Duesterwald, E.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Faster scannerless GLR parsing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Journal article
DOI:

10.1007/978-3-642-00722-4_10
Contributors: Economopoulos, G.; Klint, P.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Language design for meta-programming in the software composition domaings

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Journal article
DOI:

10.1007/978-3-642-02655-3_1
Contributors: Klint, P.; Vinju, J.; Van Der Stor Tijs
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Preface

Electronic Notes in Theoretical Computer Science
2009 | Journal article
DOI:

10.1016/j.entcs.2009.09.036
Contributors: Johnstone, A.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

RASCAL: A domain specific language for source code analysis and manipulation

9th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009
2009 | Journal article
DOI:

10.1109/SCAM.2009.28
Contributors: Klint, P.; Van Der Storm, T.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Language Parametric Module Management for IDEs

Electronic Notes in Theoretical Computer Science
2008 | Journal article
DOI:

10.1016/j.entcs.2008.03.041
Contributors: Klint, P.; Kooiker, A.T.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Using the Meta-Environment for maintenance and renovation

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR
2007 | Journal article
DOI:

10.1109/CSMR.2007.52
Contributors: Van Den Brand, M.G.J.; Bruntink, M.; Economopoulos, G.R.; De Jong, H.A.; Klint, P.; Kooiker, T.; Van Der Storm, T.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

A language independent framework for context-sensitive formatting

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR
2006 | Journal article
DOI:

10.1109/CSMR.2006.4
Contributors: Van Den Brandy, M.G.J.; Kooiker, A.T.; Vinju, J.J.; Veerman, N.P.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Automated Derivation of Translators From Annotated Grammars

Electronic Notes in Theoretical Computer Science
2006 | Journal article
DOI:

10.1016/j.entcs.2006.10.009
Contributors: Ordonez Camacho, D.; Mens, K.; van den Brand, M.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Type-driven automatic quotation of concrete object code in meta programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Journal article
DOI:

10.1007/11751113_8
Contributors: Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

An architecture for context-sensitive formatting

IEEE International Conference on Software Maintenance, ICSM
2005 | Journal article
DOI:

10.1109/ICSM.2005.17
Contributors: Van Den Brand, M.G.J.; Kooiker, A.T.; Vinju, J.J.; Veerman, N.P.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Generalized type-based disambiguation of meta programs with concrete object syntax

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005 | Journal article
DOI:

10.1007/11561347_12
Contributors: Bravenboer, M.; Vermaas, R.; Vinju, J.; Visser, E.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Generator of efficient strongly typed abstract syntax trees in Java

IEE Proceedings: Software
2005 | Journal article
DOI:

10.1049/ip-sen:20041181
Contributors: Van Den Brand, M.; Moreau, P.-E.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Term rewriting meets aspect-oriented programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005 | Journal article
EID: 2-s2.0-37149046704
Contributors: Klint, P.; Van Der Storm, T.; Vinju, J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

TIDE: A generic debugging framework - Tool demonstration

Electronic Notes in Theoretical Computer Science
2005 | Journal article
DOI:

10.1016/j.entcs.2005.02.056
Contributors: Van Den Brand, M.G.J.; Cornelissen, B.; Olivier, P.A.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Generalized parsing and term rewriting: Semantics driven disambiguation

Electronic Notes in Theoretical Computer Science
2003 | Journal article
DOI:

10.1016/S1571-0661(05)82629-5
Contributors: Van Den Brand, M.G.J.; Klusener, A.S.; Moonen, L.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Term rewriting with traversal functions

ACM Transactions on Software Engineering and Methodology
2003 | Journal article
DOI:

10.1145/941566.941568
Contributors: Van Den Brand, M.G.J.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

Term rewriting with type-safe traversal functions

Electronic Notes in Theoretical Computer Science
2002 | Journal article
DOI:

10.1016/S1571-0661(04)80602-9
Contributors: Van Den Brand, M.G.J.; Klint, P.; Vinju, J.J.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier

The Asf+Sdf meta-environment: A component-based language development environment

Electronic Notes in Theoretical Computer Science
2001 | Journal article
DOI:

10.1016/S1571-0661(04)80917-4
Contributors: Van Den Brand, M.G.J.; Van Deursen, A.; Heering, J.; De Jong, H.A.; De Jonge, M.; Kuipers, T.; Klint, P.; Moonen, L.; Olivier, P.A.; Scheerder, J. et al.
Source: Self-asserted source
Jurgen J. Vinju via Scopus - Elsevier
How many people are using ORCID?