SCG News

Bounded Seas: Island Parsing Without Shipwrecks

Jan Kurs, Mircea Lungu, and Oscar Nierstrasz. Bounded Seas: Island Parsing Without Shipwrecks. In Benoit Combemale, DavidJ. Pearce, Olivier Barais, and JurgenJ. Vinju (Ed.), Software Language Engineering, Lecture Notes in Computer Science 8706 p. 62-81, Springer International Publishing, 2014. Details.

Abstract

Imprecise manipulation of source code (semi-parsing) is useful for tasks such as robust parsing, error recovery, lexical analysis, and rapid development of parsers for data extraction. An island grammar precisely defines only a subset of a language syntax (islands), while the rest of the syntax (water) is defined imprecisely. Usually, water is defined as the negation of islands. Albeit simple, such a definition of water is naive and impedes composition of islands. When developing an island grammar, sooner or later a programmer has to create water tailored to each individual island. Such an approach is fragile, however, because water can change with any change of a grammar. It is time-consuming, because water is defined manually by a programmer and not automatically. Finally, an island surrounded by water cannot be reused because water has to be defined for every grammar individually. In this paper we propose a new technique of island parsing - bounded seas. Bounded seas are composable, robust, reusable and easy to use because island-specific water is created automatically. We integrated bounded seas into a parser combinator framework as a demonstration of their composability and reusability.

Posted by scg at 25 September 2014, 1:23 pm comment link

Pangea: A Workbench for Statically Analyzing Multi-Language Software Corpora

Andrea Caracciolo, Andrei Chis, Boris Spasojevic, and Mircea Lungu. Pangea: A Workbench for Statically Analyzing Multi-Language Software Corpora. In Source Code Analysis and Manipulation (SCAM), 2014 IEEE 14th International Working Conference on, IEEE, September 2014. Details.

Abstract

Software corpora facilitate reproducibility of analyses, however, static analysis for an entire corpus still requires considerable effort, often duplicated unnecessarily by multiple users. Moreover, most corpora are designed for single languages increasing the effort for cross-language analysis. To address these aspects we propose Pangea, an infrastructure allowing fast development of static analyses on multi-language corpora. Pangea uses language-independent meta-models stored as object model snapshots that can be directly loaded into memory and queried without any parsing overhead. To reduce the effort of performing static analyses, Pangea provides out-of-the box support for: creating and refining analyses in a dedicated environment, deploying an analysis on an entire corpus, using a runner that supports parallel execution, and exporting results in various formats. In this tool demonstration we introduce Pangea and provide several usage scenarios that illustrate how it reduces the cost of analysis.

Posted by scg at 23 September 2014, 2:15 pm comment link

Andrei Chis receives Best Student Paper Award at SLE 2014

Andrei ChiČ™ has received the Software Language Engineering (SLE) 2014 Best Student Paper Award for The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers

Posted by Oscar Nierstrasz at 23 September 2014, 9:51 am comment link

Quicksilver — A Framework for Hierarchical Data Analysis

Dennis Schenk. Quicksilver — A Framework for Hierarchical Data Analysis. Masters thesis, University of Bern, September 2014. Details.

Abstract

Software analysis is an advanced field of study in computer science. It deals with large and complex datasets and has found the abstractions, concepts and techniques to deal with the challenges such data sets present. We see the fields of reverse engineering, architecture recovery and related visualization techniques as an ideal starting point to enable exploration of a wider range of data sets, not just the ones pertaining to software. We motivate and derive a model for a generic kind of data: data that contains entities that are ordered in a hierarchical way and connected through arbitrary relationships. Based on this model we propose a framework which enables exploration and analysis of data that has the mentioned characteristics naturally or to which such characteristics can be introduced. We present a proof-of- concept implementation of such a framework called Quicksilver and validate our approach by presenting two case studies made possible by using the tool.

Posted by scg at 22 September 2014, 11:15 am comment link

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers

Andrei Chiş, Tudor Gîrba, and Oscar Nierstrasz. The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers. In Benoit Combemale, DavidJ. Pearce, Olivier Barais, and JurgenJ. Vinju (Ed.), Software Language Engineering, Lecture Notes in Computer Science 8706 p. 102-121, Springer International Publishing, 2014. Details.

Abstract

Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to explore and exhibit the execution stack and system state, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort. To reduce this gap, we propose a framework for developing domain-specific debuggers called the Moldable Debugger. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. We motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

Posted by scg at 15 September 2014, 4:15 pm comment link
<< 1 2 3 4 5 6 7 8 9 10 >>
Last changed by oscar on 23 September 2014