Jurgen J. Vinju

Orcid: 0000-0002-2686-7409

According to our database1, Jurgen J. Vinju authored at least 94 papers between 2001 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report.
Softw. Pract. Exp., October, 2023

Open and Shared Infrastructure for Software Research.
ERCIM News, 2023

Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint.
Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022
Large-scale semi-automated migration of legacy C/C++ test code.
Softw. Pract. Exp., 2022

Breaking bad? Semantic versioning and impact of breaking changes in Maven Central.
Empir. Softw. Eng., 2022

2021
Path-Sensitive Atomic Commit - Local Coordination Avoidance for Distributed Transactions.
Art Sci. Eng. Program., 2021

DRAFT-What you always wanted to know but could not find about block-based environments.
CoRR, 2021

Getting grammars into shape for block-based editors.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Modeling with Mocking.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions.
Proceedings of the AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, 2021

2020
Bacatá: Notebooks for DSLs, Almost for Free.
Art Sci. Eng. Program., 2020

Automated Validation of State-Based Client-Centric Isolation with TLA<sup>+</sup>.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019
Concrete Syntax with Black Box Parsers.
Art Sci. Eng. Program., 2019

Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions (Technical Report).
CoRR, 2019

Rascal, 10 Years Later.
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

AlleAlle: bounded relational model finding with unbounded data.
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

Static local coordination avoidance for distributed objects.
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019

2018
Bacatá: a language parametric notebook generator (tool demo).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

An empirical evaluation of OSGi dependencies best practices in the eclipse IDE.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

2017
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.
J. Softw. Evol. Process., 2017

Enabling PHP software engineering research in Rascal.
Sci. Comput. Program., 2017

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6).
Sci. Comput. Program., 2017

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).
Dagstuhl Manifestos, 2017


Challenges for static analysis of Java reflection: literature review and empirical study.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions.
J. Softw. Evol. Process., 2016

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).
Dagstuhl Reports, 2016

Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries.
CoRR, 2016

Technical Report: Towards a Universal Code Formatter through Machine Learning.
CoRR, 2016

Performance Modeling of Maximal Sharing.
Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, 2016

On Error-Class Distribution in Automotive Model-Based Software.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Towards a universal code formatter through machine learning.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Supporting Custom Quality Models to Analyse and Compare Open-Source Software.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank.
Proceedings of the 1st Industry Track on Software Language Engineering, 2016

Towards a software product line of trie-based collections.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015
Preface.
Sci. Comput. Program., 2015

Towards multilingual programming environments.
Sci. Comput. Program., 2015

Modular language implementation in Rascal - experience report.
Sci. Comput. Program., 2015

M3: A general model for code analytics in rascal.
Proceedings of the 1st IEEE International Workshop on Software Analytics, 2015


OSSMETER: a software measurement platform for automatically analysing open source software projects.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage.
Proceedings of the Testing Software and Systems, 2015

Optimizing hash-array mapped tries for fast and lean immutable JVM collections.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
Sofware Quality - Introduction to the Special Theme.
ERCIM News, 2014

Looking Towards a Future where Software is Controlled by the Public (and not the other way round).
ERCIM News, 2014

Static, lightweight includes resolution for PHP.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Code specialization for memory efficient hash tries (short paper).
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013
Preface to the special section on Language Descriptions Tools and Applications (LDTA'08 & '09).
Sci. Comput. Program., 2013

M3: An Open Model for Measuring Code Artifacts.
CoRR, 2013

Safe Specification of Operator Precedence Rules.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

An empirical study of PHP feature usage: a static analysis perspective.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Exploring the Limits of Domain Model Recovery.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2012
A One-Stop-Shop for Software Evolution Tool Construction.
ERCIM News, 2012

Program Analysis Scenarios in Rascal.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Meta-language Support for Type-Safe Access to External Resources.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric.
Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Scripting a refactoring with Rascal and Eclipse.
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

Welcome from the Doctoral Symposium Chair.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011
Rascal: From Algebraic Specification to Meta-Programming
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

A Case of Visitor versus Interpreter Pattern.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

RLSRunner: Linking Rascal with K for Program Analysis.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Parse Forest Diagnostics with Dr. Ambiguity.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Ambiguity Detection: Scaling to Scannerless.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

2010
Automated generation of program translation and verification tools using annotated grammars.
Sci. Comput. Program., 2010

Mod4J: A Qualitative Case Study of Model-Driven Software Development.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

On the impact of DSL tools on the maintainability of language implementations.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Faster ambiguity detection by grammar filtering.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Prototyping a tool environment for run-time assertion checking in JML with communication histories.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009
Preface.
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Language Design for Meta-programming in the Software Composition Domain.
Proceedings of the Software Composition - 8th International Conference, 2009

RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Accelerating the creation of customized, language-Specific IDEs in Eclipse.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

EASY Meta-programming with Rascal.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Faster Scannerless GLR Parsing.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Preface.
Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

2007
Language Parametric Module Management for IDEs.
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, 2007

Using The Meta-Environment for Maintenance and Renovation.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006
Automated Derivation of Translators From Annotated Grammars.
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

A Language Independent Framework for Context-sensitive Formatting.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005
Generator of efficient strongly typed abstract syntax trees in Java.
IEE Proc. Softw., 2005

TIDE: A Generic Debugging Framework - Tool Demonstration.
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

An Architecture for Context-Sensitive Formatting.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax.
Proceedings of the Generative Programming and Component Engineering, 2005

How to make a bridge between transformation and analysis technologies?.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

Term Rewriting Meets Aspect-Oriented Programming.
Proceedings of the Processes, 2005

2003
Term rewriting with traversal functions.
ACM Trans. Softw. Eng. Methodol., 2003

Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation.
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

Environments for Term Rewriting Engines for Free!
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002
Term Rewriting with Type-safe Traversal Functions.
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

Disambiguation Filters for Scannerless Generalized LR Parsers.
Proceedings of the Compiler Construction, 11th International Conference, 2002

2001
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001


  Loading...