Demonstrations

The objective of the ESEC/FSE 2018 Demonstrations Track is to excite the software engineering community about new advances in our field through compelling demonstrations that help advance research and practice. The track is a highly interactive venue where researchers and practitioners can demonstrate their tools and discuss them with attendees. Tool-based demonstrations describe novel aspects of early prototypes or mature tools. The tool demonstrations must communicate clearly the following information to the audience:

  • the envisioned users;
  • the software engineering challenge it proposes to address;
  • the methodology it implies for its users; and
  • the results of validation studies already conducted for mature tools, or the design of planned studies for early prototypes.

Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional ESEC/FSE research papers. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including details such as implementation and usage issues, data models and representations, APIs for tool and data access. Authors of regular research papers are thus also encouraged to submit an accompanying demonstration paper.

Supporters
Sponsor
Sponsor
Platinum
Silver
Silver
Silver
Bronze
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
TestingDemonstrations at Solar
Chair(s): Lingming Zhang
10:30
22m
Talk
BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Demonstrations
Muhammad Ali Gulzar University of California, Los Angeles, Siman Wang Hunan University, Miryung Kim University of California, Los Angeles
10:52
22m
Talk
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Demonstrations
Hongxu Chen Nanyang Technological University, Yuekang Li Nanyang Technological University, Bihuan Chen Fudan University, Yinxing Xue , Yang Liu Nanyang Technological University, Singapore
11:15
22m
Talk
Themis: Automatically Testing Software for Discrimination
Demonstrations
Rico Angell University of Massachusetts, Amherst, Brittany Johnson University of Massachusetts Amherst, Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University of Massachusetts Amherst
Link to publication DOI Pre-print
11:37
22m
Demonstration
Vista: Web Test Repair Using Computer Vision
Demonstrations
Andrea Stocco University of British Columbia, Rahulkrishna Yandrapally University of British Columbia, Canada, Ali Mesbah University of British Columbia
Pre-print
15:30 - 17:00
BugsDemonstrations at Solar
Chair(s): Hoan Nguyen Iowa State University
15:30
22m
Talk
Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Demonstrations
Anastasia Reinhardt , Tianyi Zhang University of California, Los Angeles, Mihir Mathur University of California, Los Angeles, Miryung Kim University of California, Los Angeles
Pre-print
15:52
22m
Talk
PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Demonstrations
Junwen Yang , Cong Yan , Pranav Subramaniam , Shan Lu University of Chicago, Alvin Cheung University of Washington
16:15
22m
Talk
SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
Demonstrations
Jinru Hua , Mengshi Zhang University of Texas at Austin, USA, Kaiyuan Wang , Sarfraz Khurshid University of Texas at Austin
16:37
22m
Talk
WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings
Demonstrations
Louis-Philippe Querel Concordia University, Peter Rigby Concordia University, Montreal, Canada

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
MiningDemonstrations at Spring Lake
Chair(s): Peter Rigby Concordia University, Montreal, Canada
10:30
22m
Talk
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Demonstrations
Tien-Duy B. Le School of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David Lo Singapore Management University
10:52
22m
Talk
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Demonstrations
Han Liu , Zhiqiang Yang Tsinghua University, Chao Liu , Yu Jiang , Wenqi Zhao Ant Financial, Jiaguang Sun
11:15
22m
Talk
INFAR: Insight Extraction from App Reviews
Demonstrations
Cuiyun Gao Computer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng , David Lo Singapore Management University, Chin-Yew Lin Microsoft, Michael Lyu , Irwin King
Pre-print
11:37
22m
Talk
PyDriller: Python Framework for Mining Software Repositories
Demonstrations
Davide Spadini Delft University of Technology, Netherlands, Maurício Aniche Delft University of Technology, Netherlands, Alberto Bacchelli University of Zurich
Pre-print
15:30 - 17:00
ModelsDemonstrations at Spring Lake
Chair(s): Hamid Bagheri University of Nebraska-Lincoln, USA
15:30
22m
Talk
A Formal Verification Tool for Ethereum VM Bytecode
Demonstrations
Daejun Park University of Illinois at Urbana-Champaign, Yi Zhang University of Illinois at Urbana-Champaign, Manasvi Saxena Runtime Verification, Inc., Philip Daian , Grigore Roşu University of Illinois at Urbana-Champaign
15:52
22m
Talk
ASketch: A Sketching Framework for Alloy
Demonstrations
Kaiyuan Wang , Allison Sullivan , Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin
16:15
22m
Talk
VT-Revolution: Interactive Programming Tutorials Made Possible
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Shanping Li
16:37
22m
Talk
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Demonstrations
Ferhat Erata UNIT Information Technologies R&D Ltd., Arda Goknil University of Luxembourg, Ivan Kurtev Altran Netherlands, Bedir Tekinerdogan Wageningen University, The Netherlands

Call for Papers

Evaluation

Each submission will be reviewed by a demonstrations selection committee.

The evaluation criteria include:

  • the relevance of the proposed demonstration for the ESEC/FSE audience;
  • the technical soundness of the demonstrated tool (for a tool demo);
  • the originality of its underlying ideas;
  • the quality of its presentation in the associated video; and
  • the degree to which it considers the relevant literature.

How to Submit

Submissions must conform to the ESEC/FSE 2018 Format and Submission Guidelines. ESEC/FSE 2018 Demonstrations Track will employ a single-blind review process. Latex users should NOT use the “anonymous” option. In addition, demonstrations paper submissions must meet the following criteria.

A demonstration submission may not exceed four pages (including all text, references and figures). Each submission must be accompanied by a short video (between three and five minutes long) illustrating the demonstration. The video must be made available online at the time of submission. Videos should (i) provide an overview of the tool’s capabilities and/or dataset characteristics; (ii) walk through (some of) the tool capabilities and/or data analysis process; (iii) where appropriate, provide clarifying voice-over and/or annotation highlights; and (iv) be engaging and exciting for the watcher! A submission may not have been previously published in a demonstration form. The paper submission must be in PDF and the video made available on YouTube. Papers must be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=esecfse2018formaldem. At the end of the abstract, append the URL at which your demo video can be found on YouTube. The video on YouTube must be publicly accessible at the time of reviewing. Authors of successful submissions will have the opportunity to revise both the paper and the video (and its hosting location) by the camera-ready deadline.

Accepted Papers

Title
A Formal Verification Tool for Ethereum VM Bytecode
Demonstrations
ASketch: A Sketching Framework for Alloy
Demonstrations
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Demonstrations
Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Demonstrations
Pre-print
BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Demonstrations
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Demonstrations
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Demonstrations
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Demonstrations
INFAR: Insight Extraction from App Reviews
Demonstrations
Pre-print
PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Demonstrations
PyDriller: Python Framework for Mining Software Repositories
Demonstrations
Pre-print
SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
Demonstrations
Themis: Automatically Testing Software for Discrimination
Demonstrations
Link to publication DOI Pre-print
VT-Revolution: Interactive Programming Tutorials Made Possible
Demonstrations
Vista: Web Test Repair Using Computer Vision
Demonstrations
Pre-print
WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings
Demonstrations