02:00 - 02:10

• Automated Program Repair in an Integrated Development Environment

  We present the integration of the Auto Fix automated program repair technique into the Eiffel Studio Development Environment. Auto Fix presents itself like a recommendation system capable of automatically finding bugs and suggesting fixes in the form of source-code patches. Its performance suggests usage scenarios where it runs in the background or during work interruptions, displaying fix suggestions as they become available. This is a contribution towards the vision of semantic Integrated Development Environments, which offer powerful automated functionality within interfaces familiar to developers. A screen cast highlighting the main features of Auto Fix can be found at: http://youtu.be/Ff2ULiyL-80.

Yu Pei; Carlo A. Furia; Martin Nordio; Bertrand Meyer

ETH Zurich, Switzerland

02:10 - 02:20

• FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly

  When software engineers collaborate, they frequently use whiteboards or paper for sketching diagrams. This is fast and flexible, but the resulting diagrams cannot be interpreted by software modeling tools. We present FLEXISKETCH TEAM, a tool solution consisting of a significantly extended version of our previous, single-user FLEXISKETCH tool for Android devices and a new desktop tool. Our solution for collaborative, model-based sketching of free-form diagrams allows users to define and re-use diagramming notations on the fly. Several users can work simultaneously on the same model sketch with multiple tablets. The desktop tool provides a shared view of the drawing canvas which can be projected onto an electronic whiteboard. Preliminary results from an exploratory study show that our tool motivates meeting participants to actively take part in sketching as well as defining ad-hoc notations. Demo video: http://youtu.be/0kHjNfHLViM .

   

  Preprint available:

Dustin Wüest; Norbert Seyff; Martin Glinz

University of Zurich, Switzerland

02:20 - 02:30

• Interactive Synthesis Using Free-Form Queries

  We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, types, and scoping rules of Java as well as statistical usage patterns. The returned results need not have the structure of any previously seen code fragment. As part of our system we have constructed a probabilistic context free grammar for Java constructs and library invocations, as well as an algorithm that uses a customized natural language processing tool chain to extract information from free-form text queries. The evaluation results show that our technique can tolerate much of the flexibility present in natural language, and can also be used to repair incorrect Java expressions that contain useful information about the developer's intent. Our demo video is available at http://youtu.be/tx4-XgAZkKU.

Tihomir Gvero; Viktor Kuncak

EPFL, Switzerland

02:30 - 02:40

• Varis: IDE Support for Embedded Client Code in PHP Web Applications

  In software development, IDE services are used to assist developers in programming tasks. In dynamic web applications, however, since the client-side code is embedded in the server-side program as string literals, providing IDE services for such embedded code is challenging. We introduce Varis, a tool that provides services on the embedded client-side code. We perform symbolic execution on a PHP program to approximate its output and parse it into a VarDOM that compactly represents all its DOM variations. Using the VarDOM, we implement various types of IDE services for embedded client code including syntax highlighting, code completion, and 'find declaration'.

   

  Preprint available:

Hung Viet Nguyen; Christian Kaestner; Tien N. Nguyen

Iowa State University, USA; Carnegie Mellon University, USA

02:40 - 02:50

• MU-MMINT: An IDE for Model Uncertainty

  Developers have to work with ever-present design-time uncertainty, i.e., Uncertainty about selecting among alternative design decisions. However, existing tools do not support working in the presence of uncertainty, forcing developers to either make provisional, premature decisions, or to avoid using the tools altogether until uncertainty is resolved. In this paper, we present a tool, called MU-MMINT, that allows developers to express their uncertainty within software artifacts and perform a variety of model management tasks such as reasoning, transformation and refinement in an interactive environment. In turn, this allows developers to defer the resolution of uncertainty, thus avoiding having to undo provisional decisions. See the companion video: http://youtu.be/kAWUm-iFatM.

Michalis Famelis; Naama Ben-David; Alessio Di Sandro; Rick Salay; Marsha Chechik

University of Toronto, Canada

02:50 - 03:00

• StriSynth: Synthesis for Live Programming

  Motivated by applications in automating repetitive file manipulations, we present a tool called StriSynth, which allows end-users to perform transformations over data using examples. Based on provided examples, our tool automatically generates scripts for non-trivial file manipulations.  Although the current focus of StriSynth are file manipulations, it implements a more general string transformation framework. This framework builds on and further extends the functionality of Flash Fill—a Microsoft Excel extension for string transformations.  An accompanying video to this paper is available at the following website http://youtu.be/kkDZphqIdFM.

Sumit Gulwani; Mikaël Mayer; Filip Niksic; Ruzica Piskac

Microsoft Research Redmond, USA; EPFL, Switzerland; MPI-SWS, Germany; Yale University, USA

03:00 - 03:10

• CACHECA: A Cache Language Model Based Code Suggestion Tool

  Nearly every Integrated Development Environment includes a form of code completion. The suggested completions ("suggestions") are typically based on information available at compile time, such as type signatures and variables in scope. A statistical approach, based on estimated models of code patterns in large code corpora, has been demonstrated to be effective at predicting tokens given a context. In this demo, we present CACHECA, an Eclipse plug in that combines the native suggestions with a statistical suggestion regime. We demonstrate that a combination of the two approaches more than doubles Eclipse's suggestion accuracy. A video demonstration is available at https://www.youtube.com/watch?v=3INk0N3JNtc.

Christine Franks; Zhaopeng Tu; Premkumar Devanbu; Vincent Hellendoorn

University of California at Davis, USA; Huawei Noah’s Ark Lab, Hong Kong; Delft University of Technology, Netherlands

03:10 - 03:20

• ChangeScribe: A Tool for Automatically Generating Commit Messages

  During software maintenances tasks, commit messages are an important source of information, knowledge, and documentation that developers rely upon. However, the number and nature of daily activities and interruptions can influence the quality of resulting commit messages. This formal demonstration paper presents ChangeScribe, a tool for automatically generating commit messages. ChangeScribe is available at http://www.cs.wm.edu/semeru/changescribe (Eclipse plugin, instructions, demos and the source code)

   

  Preprint available:

Mario Linares-Vásquez; Luis Fernando Cortes-Coy; Jairo Aponte; Denys Poshyvanyk

College of William and Mary, USA; Universidad Nacional de Colombia, Colombia