DemonstrationsESEC/FSE 2018
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.
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mDemonstration | 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 | |||
15:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings Demonstrations |
Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 | |||
15:30 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 |
Accepted Papers
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.