Banquet A - ASE 2022

VenueOakland Center, Michigan, USA

Room nameBanquet A

Room numberA

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:30	Technical Session 2 - Debugging and TroubleshootingResearch Papers / Industry Showcase / Late Breaking Results at Banquet A Chair(s): Andrew Begel Carnegie Mellon University, Software and Societal Systems Department

10:30 20m Research paper		Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints Research Papers Arianna Blasi Meta; prev. Università della Svizzera italiana, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology
10:50 20m Research paper		CoditT5: Pretraining for Source Code and Natural Language Editing Research Papers Jiyang Zhang University of Texas at Austin, Sheena Panthaplackel UT Austin, Pengyu Nie University of Texas at Austin, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin Pre-print
11:10 20m Industry talk		Automated Identification of Security-Relevant Configuration Settings Using NLP Industry Showcase Patrick Stöckle Technical University of Munich (TUM), Theresa Wasserer Technical University of Munich, Bernd Grobauer Siemens AG, Alexander Pretschner TU Munich Pre-print
11:30 20m Research paper		Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness Research Papers Haoye Tian University of Luxembourg, Xunzhu Tang University of Luxembourg, Andrew Habib SnT, University of Luxembourg, Shangwen Wang National University of Defense Technology, Kui Liu Huawei Software Engineering Application Technology Lab, Xin Xia Huawei Software Engineering Application Technology Lab, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé SnT, University of Luxembourg Pre-print
11:50 10m Paper		A real-world case study for automated ticket team assignment using natural language processing and explainable modelsVirtual Late Breaking Results Lucas Pavelski Sidia R&D Institute, Rodrigo de Souza Braga Sidia R&D Institute

14:00 - 15:30	Technical Session 6 - Source Code ManipulationNIER Track / Research Papers / Late Breaking Results at Banquet A Chair(s): Collin McMillan University of Notre Dame

14:00 10m Vision and Emerging Results		Automatic Code Documentation Generation Using GPT-3 NIER Track Junaed Younus Khan University of Calgary, Gias Uddin University of Calgary, Canada
14:10 20m Research paper		Automated Feedback Generation for Competition-Level Code Research Papers Jialu Zhang Yale University, De Li The MathWorks, Inc., John C. Kolesar Yale University, Hanyuan Shi N/A, Ruzica Piskac Yale University
14:30 10m Paper		Generalizability of Code Clone Detection on CodeBERT Late Breaking Results Tim Sonnekalb German Aerospace Center (DLR), Bernd Gruner German Aerospace Center (DLR), Clemens-Alexander Brust German Aerospace Center (DLR), Patrick Mäder Technische Universität Ilmenau DOI Pre-print
14:40 10m Vision and Emerging Results		Next Syntactic-Unit Code Completion and Applications NIER Track Hoan Anh Nguyen Amazon, Aashish Yadavally University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
14:50 20m Research paper		CrystalBLEU: Precisely and Efficiently Measuring the Similarity of CodeVirtualACM SIGSOFT Distinguished Paper Award Research Papers Aryaz Eghbali University of Stuttgart, Germany, Michael Pradel University of Stuttgart
15:10 20m Research paper		Low-Resources Project-Specific Code SummarizationVirtual Research Papers Rui Xie Peking University, Tianxiang Hu Peking University, Wei Ye Peking University, Shikun Zhang Peking University

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:00 - 12:00	Technical Session 10 - Testing IResearch Papers / Industry Showcase / Tool Demonstrations at Banquet A Chair(s): Gordon Fraser University of Passau

10:00 20m Research paper		Inline Tests Research Papers Yu Liu University of Texas at Austin, Pengyu Nie University of Texas at Austin, Owolabi Legunsen Cornell University, Milos Gligoric University of Texas at Austin Pre-print
10:20 10m Demonstration		LiveRef: a Tool for Live Refactoring Java Code Tool Demonstrations Sara Fernandes FEUP, Universidade do Porto, Ademar Aguiar FEUP, Universidade do Porto, André Restivo LIACC, Universidade do Porto, Porto, Portugal
10:30 20m Research paper		Sorry, I don't Understand: Improving Voice User Interface Testing Research Papers Emanuela Guglielmi University of Molise, Giovanni Rosa University of Molise, Simone Scalabrino University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise
10:50 20m Industry talk		MOREST: Industry Practice of Automatic RESTful API Testing Industry Showcase Yi Liu Nanyang Technological University, Yuekang Li Nanyang Technological University, Yang Liu Nanyang Technological University, Ruiyuan Wan , Runchao Wu Huawei Inc., Qingkun Liu Huawei Cloud Computing Technologies Co., Ltd
11:10 20m Research paper		VITAS : Guided Model-based VUI Testing of VPA AppsVirtual Research Papers Suwan Li Nanjing University, Lei Bu Nanjing University, Guangdong Bai University of Queensland, Zhixiu Guo Institute of Information Engineering, Chinese Academy of Sciences, China, Kai Chen SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, China, Hanlin Wei The University of Queensland

13:30 - 15:30	Technical Session 14 - Bug Prediction and LocalizationJournal-first Papers / Research Papers / NIER Track / Industry Showcase at Banquet A Chair(s): David Lo Singapore Management University

13:30 20m Research paper		How Useful is Code Change Information for Fault Localization in Continuous Integration? Research Papers An Ran Chen Concordia University, Tse-Hsun (Peter) Chen Concordia University, Junjie Chen Tianjin University
13:50 20m Industry talk		Code Understanding Linter to Detect Variable Misuse Industry Showcase Yeonhee Ryou Samsung Research, Samsung Electronics, Sangwoo Joh Samsung Research, Samsung Electronics, Joonmo Yang Samsung Research, Samsung Electronics, Sujin Kim Samsung Research, Samsung Electronics, Youil Kim Samsung Research, Samsung Electronics
14:10 20m Paper		Static Data-Flow Analysis for Software Product Lines in C Journal-first Papers Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Paul Gazzillo University of Central Florida, Zachary Patterson University of Texas at Dallas, Julian Braha University of Central Florida, Fabian Schiebel Fraunhofer IEM, Ben Hermann Technical University Dortmund, Shiyi Wei University of Texas at Dallas, Eric Bodden University of Paderborn; Fraunhofer IEM DOI
14:30 10m Vision and Emerging Results		Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning ApproachVirtual NIER Track Adil mukhtar Graz University of Technology, Birgit Hofer Graz University of Technology, Dietmar Jannach University of Klagenfurt, Franz Wotawa Graz University of Technology, Konstantin Schekotihin University of Klagenfurt
14:40 20m Research paper		Evolving Ranking-Based Failure Proximities for Better Clustering in Fault IsolationVirtual Research Papers Yi Song School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Xihao Zhang School of Computer Science, Wuhan University, Quanming Liu School of Computer Science, Wuhan University, Ruizhi Gao Sonos Inc.
15:00 20m Paper		Leveraging structural properties of source code graphs for just-in-time bug predictionVirtual Journal-first Papers Md Nadim University of Saskatchewan, Debajyoti Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan

16:00 - 18:00	Technical Session 18 - Testing IIResearch Papers / Tool Demonstrations / Journal-first Papers at Banquet A Chair(s): Darko Marinov University of Illinois at Urbana-Champaign

16:00 10m Demonstration		Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair Tool Demonstrations Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas
16:10 20m Research paper		Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems Research Papers Tomasz Kuchta Samsung Electronics, Bartosz Zator Samsung Electronics DOI Pre-print
16:30 10m Demonstration		Maktub: Lightweight Robot System Test Creation and Automation Tool Demonstrations Amr Moussa North Carolina State University, John-Paul Ore North Carolina State University
16:40 20m Paper		Cerebro: Static Subsuming Mutant Selection Journal-first Papers Aayush Garg University of Luxembourg, Milos Ojdanic University of Luxembourg, Renzo Degiovanni SnT, University of Luxembourg, Thierry Titcheu Chekam SES S.A. & University of Luxembourg (SnT), Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg Link to publication DOI
17:00 20m Research paper		Natural Test Generation for Precise Testing of Question Answering SoftwareVirtual Research Papers Qingchao Shen Tianjin University, Junjie Chen Tianjin University, Jie M. Zhang King's College London, Haoyu Wang College of Intelligence and Computing, Tianjin University, Shuang Liu Tianjin University, Menghan Tian College of Intelligence and Computing, Tianjin University Pre-print
17:20 20m Paper		GloBug: Using global data in Fault LocalizationVirtual Journal-first Papers Nima Miryeganeh University of Calgary, Sepehr Hashtroudi University of Calgary, Hadi Hemmati University of Calgary Link to publication DOI
17:40 20m Research paper		Selectively Combining Multiple Coverage Goals in Search-Based Unit Test GenerationVirtual Research Papers Zhichao Zhou School of Information Science and Technology, ShanghaiTech University, Yuming Zhou Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University, Yutian Tang ShanghaiTech University DOI Pre-print

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change

10:00 - 12:00	Technical Session 22 - Code Summarization and RecommendationResearch Papers / NIER Track / Journal-first Papers / Industry Showcase at Banquet A Chair(s): Houari Sahraoui Université de Montréal

10:00 20m Research paper		Identifying Solidity Smart Contract API Documentation Errors Research Papers Chenguang Zhu The University of Texas at Austin, Ye Liu Nanyang Technological University, Xiuheng Wu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Singapore Pre-print
10:20 10m Vision and Emerging Results		Few-shot training LLMs for project-specific code-summarization NIER Track Toufique Ahmed University of California at Davis, Prem Devanbu Department of Computer Science, University of California, Davis DOI Pre-print
10:30 20m Research paper		Answer Summarization for Technical Queries: Benchmark and New Approach Research Papers Chengran Yang Singapore Management University, Bowen Xu School of Information Systems, Singapore Management University, Ferdian Thung Singapore Management University, Yucen Shi Singapore Management University, Ting Zhang Singapore Management University, Zhou Yang Singapore Management University, Xin Zhou , Jieke Shi Singapore Management University, Junda He Singapore Management University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University
10:50 20m Paper		Code Structure Guided Transformer for Source Code SummarizationVirtual Journal-first Papers Shuzheng Gao Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Yulan He University of Warwick, Jichuan Zeng The Chinese University of Hong Kong, Lun Yiu Nie Tsinghua University, Xin Xia Huawei Software Engineering Application Technology Lab, Michael Lyu The Chinese University of Hong Kong
11:10 10m Vision and Emerging Results		Taming Multi-Output Recommenders for Software EngineeringVirtual NIER Track Christoph Treude University of Melbourne
11:20 20m Industry talk		MV-HAN: A Hybrid Attentive Networks based Multi-View Learning Model for Large-scale Contents RecommendationVirtual Industry Showcase Ge Fan Tencent Inc., Chaoyun Zhang Tencent Inc., Kai Wang Tencent Inc., Junyang Chen Shenzhen University DOI Pre-print
11:40 20m Research paper		Which Exception Shall We Throw?Virtual Research Papers Hao Zhong Shanghai Jiao Tong University

13:30 - 15:30	Technical Session 27 - Dynamic and Concolic AnalysisResearch Papers / NIER Track / Journal-first Papers at Banquet A Chair(s): ThanhVu Nguyen George Mason University

13:30 20m Research paper		LISSA: Lazy Initialization with Specialized Solver Aid Research Papers Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Alessandra Gorla IMDEA Software Institute, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
13:50 10m Vision and Emerging Results		Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows NIER Track Anh Duc Vu Humboldt-Universität zu Berlin, Timo Kehrer University of Bern, Christos Tsigkanos University of Bern, Switzerland Pre-print
14:00 20m Research paper		SymFusion: Hybrid Instrumentation for Concolic Execution Research Papers Emilio Coppa Sapienza University of Rome, Heng Yin UC Riverside, Camil Demetrescu Sapienza University Rome Pre-print
14:20 20m Research paper		Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel Research Papers David Fernandez-Amoros UNED, Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Alexander Egyed Johannes Kepler University Linz
14:40 20m Paper		A Practical Approach for Dynamic Taint Tracking with Control-Flow RelationshipsVirtual Journal-first Papers Katherine Hough , Jonathan Bell Northeastern University Link to publication DOI Pre-print Media Attached
15:00 20m Research paper		Prioritized Constraint-Aided Dynamic Partial-Order ReductionVirtual Research Papers Jie Su Xidian University, Cong Tian Xidian University, Zuchao Yang Xidian University, Jiyu Yang Xidian University, Bin Yu Xidian University, Zhenhua Duan Xidian University

16:00 - 18:00	Technical Session 31 - Code Similarities and RefactoringResearch Papers / Tool Demonstrations / Journal-first Papers at Banquet A Chair(s): Hua Ming Oakland University

16:00 20m Research paper		Reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications Research Papers Alexi Turcotte Northeastern University, Mark W. Aldrich Tufts University, Frank Tip Northeastern University
16:20 20m Paper		How Software Refactoring Impacts Execution Time Journal-first Papers Luca Traini University of L'Aquila, Daniele Di Pompeo University of L'Aquila, Michele Tucci Charles University, Bin Lin Radboud University, Simone Scalabrino University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Michele Lanza Software Institute - USI, Lugano, Rocco Oliveto University of Molise, Vittorio Cortellessa University of L'Aquila Link to publication DOI Authorizer link
16:40 20m Research paper		Learning to Synthesize Relational Invariants Research Papers Jingbo Wang University of Southern California, Chao Wang USC
17:00 10m Demonstration		AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE Tool Demonstrations Eman Abdullah AlOmar Stevens Institute of Technology, Anton Ivanov HSE University, Zarina Kurbatova JetBrains Research, Yaroslav Golubev JetBrains Research, Mohamed Wiem Mkaouer Rochester Institute of Technology, Ali Ouni ETS Montreal, University of Quebec, Timofey Bryksin JetBrains Research, Le Nguyen Rochester Institute of Technology, Amit Kini Rochester Institute of Technology, Aditya Thakur Rochester Institute of Technology DOI Pre-print
17:10 20m Research paper		TreeCen: Building Tree Graph for Scalable Semantic Code Clone DetectionVirtual Research Papers Yutao Hu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Junru Peng Xidian University, Yueming Wu Nanyang Technological University, Junjie Shan KTH Royal Institute of Technology, Hai Jin Huazhong University of Science and Technology
17:30 10m Demonstration		Trimmer: Context-Specific Code ReductionVirtual Tool Demonstrations Aatira Anum Ahmad Lahore University of Management Sciences, Mubashir Anwar University of Illinois Urbana-Champaign, Hashim Sharif University of Illinois at Urbana-Champaign, Ashish Gehani SRI, Fareed Zaffar Lahore University of Management Sciences
17:40 20m Research paper		Studying and Understanding the Tradeoffs Between Generality and Reduction in Software DebloatingVirtual Research Papers Qi Xin Wuhan University, Qirun Zhang Georgia Institute of Technology, Alessandro Orso Georgia Tech

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Banquet A							Research Papers + Industry Showcase + Late Breaking Results Technical Session 2 - Debugging and Troubleshooting																																										NIER Track + Research Papers + Late Breaking Results Technical Session 6 - Source Code Manipulation

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Banquet A	Research Papers + Industry Showcase + Tool Demonstrations Technical Session 10 - Testing I																																										Journal-first Papers + Research Papers + NIER Track + Industry Showcase Technical Session 14 - Bug Prediction and Localization																														Research Papers + Tool Demonstrations + Journal-first Papers Technical Session 18 - Testing II

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Banquet A	Research Papers + NIER Track + Journal-first Papers + Industry Showcase Technical Session 22 - Code Summarization and Recommendation																																										Research Papers + NIER Track + Journal-first Papers Technical Session 27 - Dynamic and Concolic Analysis																														Research Papers + Tool Demonstrations + Journal-first Papers Technical Session 31 - Code Similarities and Refactoring

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Banquet A							ASE Research Papers Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Resp ... 10:30 - 10:50				ASE Research Papers CoditT5: Pretraining for Source Code and Natural Language Editing 10:50 - 11:10				ASE Industry Showcase Automated Identification of Security-Relevant Configuration Settings Us ... 11:10 - 11:30				ASE Research Papers Is this Change the Answer to that Problem? Correlating Descriptions of ... 11:30 - 11:50				ASE Late Breaking ResultsVirtual A real-world case study for automated ticket team assignment using natu ... 11:50 - 12:00																										ASE NIER Track Automatic Code Documentation Generation Using GPT-3 14:00 - 14:10		ASE Research Papers Automated Feedback Generation for Competition-Level Code 14:10 - 14:30				ASE Late Breaking Results Generalizability of Code Clone Detection on CodeBERT 14:30 - 14:40		ASE NIER Track Next Syntactic-Unit Code Completion and Applications 14:40 - 14:50		ASE Research PapersVirtualACM SIGSOFT Distinguished Paper Award CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code 14:50 - 15:10				ASE Research PapersVirtual Low-Resources Project-Specific Code Summarization 15:10 - 15:30

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Banquet A	ASE Research Papers Inline Tests 10:00 - 10:20				ASE Tool Demonstrations LiveRef: a Tool for Live Refactoring Java Code 10:20 - 10:30		ASE Research Papers Sorry, I don't Understand: Improving Voice User Interface Testing 10:30 - 10:50				ASE Industry Showcase MOREST: Industry Practice of Automatic RESTful API Testing 10:50 - 11:10				ASE Research PapersVirtual VITAS : Guided Model-based VUI Testing of VPA Apps 11:10 - 11:30																												ASE Research Papers How Useful is Code Change Information for Fault Localization in Continu ... 13:30 - 13:50				ASE Industry Showcase Code Understanding Linter to Detect Variable Misuse 13:50 - 14:10				ASE Journal-first Papers Static Data-Flow Analysis for Software Product Lines in C 14:10 - 14:30				ASE NIER TrackVirtual Boosting Spectrum-Based Fault Localization for Spreadsheets with Produc ... 14:30 - 14:40		ASE Research PapersVirtual Evolving Ranking-Based Failure Proximities for Better Clustering in Fau ... 14:40 - 15:00				ASE Journal-first PapersVirtual Leveraging structural properties of source code graphs for just-in-time ... 15:00 - 15:20												ASE Tool Demonstrations Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair 16:00 - 16:10		ASE Research Papers Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Sof ... 16:10 - 16:30				ASE Tool Demonstrations Maktub: Lightweight Robot System Test Creation and Automation 16:30 - 16:40		ASE Journal-first Papers Cerebro: Static Subsuming Mutant Selection 16:40 - 17:00				ASE Research PapersVirtual Natural Test Generation for Precise Testing of Question Answering Software 17:00 - 17:20				ASE Journal-first PapersVirtual GloBug: Using global data in Fault Localization 17:20 - 17:40				ASE Research PapersVirtual Selectively Combining Multiple Coverage Goals in Search-Based Unit Test ... 17:40 - 18:00

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Banquet A	ASE Research Papers Identifying Solidity Smart Contract API Documentation Errors 10:00 - 10:20				ASE NIER Track Few-shot training LLMs for project-specific code-summarization 10:20 - 10:30		ASE Research Papers Answer Summarization for Technical Queries: Benchmark and New Approach 10:30 - 10:50				ASE Journal-first PapersVirtual Code Structure Guided Transformer for Source Code Summarization 10:50 - 11:10				ASE NIER TrackVirtual Taming Multi-Output Recommenders for Software Engineering 11:10 - 11:20		ASE Industry ShowcaseVirtual MV-HAN: A Hybrid Attentive Networks based Multi-View Learning Model for ... 11:20 - 11:40				ASE Research PapersVirtual Which Exception Shall We Throw? 11:40 - 12:00																						ASE Research Papers LISSA: Lazy Initialization with Specialized Solver Aid 13:30 - 13:50				ASE NIER Track Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows 13:50 - 14:00		ASE Research Papers SymFusion: Hybrid Instrumentation for Concolic Execution 14:00 - 14:20				ASE Research Papers Scalable Sampling of Highly-Configurable Systems: Generating Random Ins ... 14:20 - 14:40				ASE Journal-first PapersVirtual A Practical Approach for Dynamic Taint Tracking with Control-Flow Relat ... 14:40 - 15:00				ASE Research PapersVirtual Prioritized Constraint-Aided Dynamic Partial-Order Reduction 15:00 - 15:20												ASE Research Papers Reformulator: Automated Refactoring of the N+1 Problem in Database-Back ... 16:00 - 16:20				ASE Journal-first Papers How Software Refactoring Impacts Execution Time 16:20 - 16:40				ASE Research Papers Learning to Synthesize Relational Invariants 16:40 - 17:00				ASE Tool Demonstrations AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduc ... 17:00 - 17:10		ASE Research PapersVirtual TreeCen: Building Tree Graph for Scalable Semantic Code Clone Detection 17:10 - 17:30				ASE Tool DemonstrationsVirtual Trimmer: Context-Specific Code Reduction 17:30 - 17:40		ASE Research PapersVirtual Studying and Understanding the Tradeoffs Between Generality and Reducti ... 17:40 - 18:00

Room information: Banquet A

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

Research Papers + Industry Showcase + Late Breaking Results

NIER Track + Research Papers + Late Breaking Results

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

Research Papers + Industry Showcase + Tool Demonstrations

Journal-first Papers + Research Papers + NIER Track + Industry Showcase

Research Papers + Tool Demonstrations + Journal-first Papers

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change

Research Papers + NIER Track + Journal-first Papers + Industry Showcase

Research Papers + NIER Track + Journal-first Papers

Research Papers + Tool Demonstrations + Journal-first Papers

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Room information: Banquet A

Program Display Configuration

Tue 11 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 12 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 13 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 11 OctDisplayed time zone: Eastern Time (US & Canada) change

Research Papers + Industry Showcase + Late Breaking Results

NIER Track + Research Papers + Late Breaking Results

Wed 12 OctDisplayed time zone: Eastern Time (US & Canada) change

Research Papers + Industry Showcase + Tool Demonstrations

Journal-first Papers + Research Papers + NIER Track + Industry Showcase

Research Papers + Tool Demonstrations + Journal-first Papers

Thu 13 OctDisplayed time zone: Eastern Time (US & Canada) change

Research Papers + NIER Track + Journal-first Papers + Industry Showcase

Research Papers + NIER Track + Journal-first Papers

Research Papers + Tool Demonstrations + Journal-first Papers

Tue 11 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 12 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 13 OctDisplayed time zone: Eastern Time (US & Canada) change

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change

Tue 11 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 12 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 13 Oct
Displayed time zone: Eastern Time (US & Canada) change