Search

Your search keyword '"Vinju, Jurgen J."' showing total 106 results
Start Over Author "Vinju, Jurgen J."
106 results on '"Vinju, Jurgen J."'

2. Automated Validation of State-Based Client-Centric Isolation with TLA

Author

Soethout, Tim, van der Storm, Tijs, Vinju, Jurgen J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cleophas, Loek, editor, and Massink, Mieke, editor

Published
2021
Full Text
View/download PDF

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

Author

Steindorfer, Michael J. and Vinju, Jurgen J.

Subjects
Computer Science - Data Structures and Algorithms, Computer Science - Programming Languages
Abstract

An immutable multi-map is a many-to-many thread-friendly map data structure with expected fast insert and lookup operations. This data structure is used for applications processing graphs or many-to-many relations as applied in static analysis of object-oriented systems. When processing such big data sets the memory overhead of the data structure encoding itself is a memory usage bottleneck. Motivated by reuse and type-safety, libraries for Java, Scala and Clojure typically implement immutable multi-maps by nesting sets as the values with the keys of a trie map. Like this, based on our measurements the expected byte overhead for a sparse multi-map per stored entry adds up to around 65B, which renders it unfeasible to compute with effectively on the JVM. In this paper we propose a general framework for Hash-Array Mapped Tries on the JVM which can store type-heterogeneous keys and values: a Heterogeneous Hash-Array Mapped Trie (HHAMT). Among other applications, this allows for a highly efficient multi-map encoding by (a) not reserving space for empty value sets and (b) inlining the values of singleton sets while maintaining a (c) type-safe API. We detail the necessary encoding and optimizations to mitigate the overhead of storing and retrieving heterogeneous data in a hash-trie. Furthermore, we evaluate HHAMT specifically for the application to multi-maps, comparing them to state-of-the-art encodings of multi-maps in Java, Scala and Clojure. We isolate key differences using microbenchmarks and validate the resulting conclusions on a real world case in static analysis. The new encoding brings the per key-value storage overhead down to 30B: a 2x improvement. With additional inlining of primitive values it reaches a 4x improvement.

Published
2016

5. Rascal: From Algebraic Specification to Meta-Programming

Author

Bos, Jeroen van den, Hills, Mark, Klint, Paul, van der Storm, Tijs, and Vinju, Jurgen J.

Subjects
Computer Science - Programming Languages, Computer Science - Software Engineering, D.3.2
Abstract

Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification and integrating these into a new programming language: Rascal. This language is easy to learn by non-experts but is also scalable to very large meta-programming applications. We explain the algebraic roots of Rascal and its main application areas: software analysis, software transformation, and design and implementation of domain-specific languages. Some example applications in the domain of Model-Driven Engineering (MDE) are described to illustrate this., Comment: In Proceedings AMMSE 2011, arXiv:1106.5962

Published
2011
Full Text
View/download PDF

7. Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

Author

Hentz, Cleverton, Vinju, Jurgen J., Moreira, Anamaria M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, El-Fakih, Khaled, editor, Barlas, Gerassimos, editor, and Yevtushenko, Nina, editor

Published
2015
Full Text
View/download PDF

8. Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint

Author

Vinju, Jurgen J. and Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

Subjects
GLR, parser generation, context-free grammars, GLL, Software and its engineering → Syntax, algorithms, disambiguation
Abstract

Context-free general parsing and disambiguation algorithms are threaded throughout the research and engineering career of Eelco Visser. Both our Ph.D. theses featured the study of "disambiguation." Disambiguation is the declarative definition of choices among different parse trees, derived using the same context-free grammar, for the same input sentence. This essay highlights the differences between syntactic disambiguation for context-free general parsing in a top-down architecture and a bottom-up architecture. The differences between top-down and bottom-up are mainly observed as practical aspects of the software architecture and software implementation. Eventually, the concept of data-dependent context-free grammar brings all engineering perspectives of disambiguation back into a conceptual (declarative) framework independent of the parsing architecture. The novelty in this essay is the juxtaposition of three general parsing architectures from a disambiguation point of view: SGLR, SGLL, and DDGLL. It also motivates design decisions in the parsing architectures for SDF{1,2} and Rascal with previously unpublished detail. The essay falls short of a literature review and a tool evaluation since it does not investigate the disambiguation methods of the many other parser generator tools that exist. The fact that only the implementation algorithms are different between the compared parsing architectures, while the syntax definition formalisms have practically the same formal semantics for historical reasons, nicely "isolates the variable" of interest. We hope this essay lives up to the enormous enthusiasm, curiosity, and drive for perfection in syntax definition and parsing that Eelco always radiated. We dearly miss him., OASIcs, Vol. 109, Eelco Visser Commemorative Symposium (EVCS 2023), pages 31:1-31:16

Published
2023
Full Text
View/download PDF

9. Meta-language Support for Type-Safe Access to External Resources

Author

Hills, Mark, Klint, Paul, Vinju, Jurgen J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Czarnecki, Krzysztof, editor, and Hedin, Görel, editor

Published
2013
Full Text
View/download PDF

10. Program Analysis Scenarios in Rascal

Author

Hills, Mark, Klint, Paul, Vinju, Jurgen J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Durán, Franciso, editor

Published
2012
Full Text
View/download PDF

11. RLSRunner: Linking Rascal with K for Program Analysis

Author

Hills, Mark, Klint, Paul, Vinju, Jurgen J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sloane, Anthony, editor, and Aßmann, Uwe, editor

Published
2012
Full Text
View/download PDF

12. Parse Forest Diagnostics with Dr. Ambiguity

Author

Basten, Hendrikus J. S., Vinju, Jurgen J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sloane, Anthony, editor, and Aßmann, Uwe, editor

Published
2012
Full Text
View/download PDF

13. Ambiguity Detection: Scaling to Scannerless

Author

Basten, Hendrikus J. S., Klint, Paul, Vinju, Jurgen J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sloane, Anthony, editor, and Aßmann, Uwe, editor

Published
2012
Full Text
View/download PDF

27. Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)

Author

Allen, Alice, Aragon, Cecilia, Becker, Christoph, Carver, Jeffrey, Chis, Andrei, Combemale, Benoit, Croucher, Mike, Crowston, Kevin, Garijo, Daniel, Gehani, Ashish, Goble, Carole, Haines, Robert, Hirschfeld, Robert, Howison, James, Huff, Kathryn, Jay, Caroline, Katz, Daniel S., Kirchner, Claude, Kuksenok, Katie, Lämmel, Ralf, Nierstrasz, Oscar, Turk, Matt, Van Nieuwpoort, Rob, Vaughn, Matthew, and Vinju, Jurgen J.

Subjects
000 Computer science, knowledge, general works, Computer Science
Abstract

Software is often a critical component of scientific research. It can be a component of the academic research methods used to produce research results, or it may itself be an academic research result. Software, however, has rarely been considered to be a citable artifact in its own right. With the advent of open-source software, artifact evaluation committees of conferences, and journals that include source code and running systems as part of the published artifacts, we foresee that software will increasingly be recognized as part of the academic process. The quality and sustainability of this software must be accounted for, both a prioro and a posteriori. The Dagstuhl Perspectives Workshop on "Engineering Academic Software" has examined the strengths, weaknesses, risks, and opportunities of academic software engineering. A key outcome of the workshop is this Dagstuhl Manifesto, serving as a roadmap towards future professional software engineering for software-based research instruments and other software produced and used in an academic context. The manifesto is expressed in terms of a series of actionable "pledges" that users and developers of academic research software can take as concrete steps towards improving the environment in which that software is produced.

Published
2017
Full Text
View/download PDF

28. Engineering Academic Software

Author

Allen, Alice, Aragon , Cecilia, Becker, Christoph, Carver, Jeffrey, Chis, Andrei, Combemale, Benoit, Croucher, Mike, Crowston, Kevin, Garijo, Daniel, Gehani, Ashish, Goble, Carole, Haines, Robert, Hirschfeld, Robert M A, Howison , James, Huff, Kathryn, Jay, Caroline, Katz, Daniel S., Kirchner, Claude, Kuksenok , Katie, Lämmel, Ralf, Nierstrasz, Oscar, Turk, Matt, van Nieuwpoort, Rob, Vaughn, Matthew, and Vinju, Jurgen J.

Subjects
Software citation, Software sustainability, Research software, Academic software
Abstract

Software is often a critical component of scientific research. It can be a component of the academic research methods used to produce research results, or it may itself be an academic research result. Software, however, has rarely been considered to be a citable artifact in its own right. With the advent of open-source software, artifact evaluation committees of conferences, and journals that include source code and running systems as part of the published artifacts, weforesee that software will increasingly be recognized as part of the academic process. The quality and sustainability of this software must be accounted for, both a priori and a posteriori.The Dagstuhl Perspectives Workshop on “Engineering Academic Software” has examined the strengths, weaknesses, risks, and opportunities of academic software engineering. A key outcome of the workshop is this Dagstuhl Manifesto, serving as a roadmap towards future professionalsoftware engineering for software-based research instruments and other software produced and used in an academic context. The manifesto is expressed in terms of a series of actionable “pledges” that users and developers of academic research software can take as concrete stepstowards improving the environment in which that software is produced.

Published
2017

31. Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)

Author

Goble, Carol, Howison, James, Kirchner, Claude, Nierstrasz, Oscar, and Vinju, Jurgen J.

Subjects
000 Computer science, knowledge, general works, 510 Mathematics, GeneralLiterature_INTRODUCTORYANDSURVEY, Computer Science, 000 Computer science, knowledge & systems
Abstract

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 16252 "Engineering Academic Software".

Published
2016
Full Text
View/download PDF

48. Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions.

Author

Landman, Davy, Serebrenik, Alexander, Bouwers, Eric, and Vinju, Jurgen J.

Subjects
SOFTWARE maintenance, COMPUTER programming, SOFTWARE measurement, SOURCE code, LOSSLESS data compression
Abstract

Measuring the internal quality of source code is one of the traditional goals of making software development into an engineering discipline. Cyclomatic complexity (CC) is an often used source code quality metric, next to source lines of code (SLOC). However, the use of the CC metric is challenged by the repeated claim that CC is redundant with respect to SLOC because of strong linear correlation. We conducted an extensive literature study of the CC/SLOC correlation results. Next, we tested correlation on large Java (17.6 M methods) and C (6.3 M functions) corpora. Our results show that linear correlation between SLOC and CC is only moderate as a result of increasingly high variance. We further observe that aggregating CC and SLOC as well as performing a power transform improves the correlation. Our conclusion is that the observed linear correlation between CC and SLOC of Java methods or C functions is not strong enough to conclude that CC is redundant with SLOC. This conclusion contradicts earlier claims from literature but concurs with the widely accepted practice of measuring of CC next to SLOC. Copyright © 2015 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results