Cortez 1 - JPF 2019

VenueHilton San Diego Mission Valley

Room nameCortez 1

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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 12 Nov
Displayed time zone: Tijuana, Baja California change

10:40 - 12:20	Testing and CoverageASE Research Papers / ASE Demonstrations / ASE Journal First Presentations / ASE Industry Showcase at Cortez 1 Chair(s): Jonathan Bell George Mason University

10:40 20m Talk		Automatic Self-Validation for Code Coverage Profilers ASE Research Papers Yibiao Yang Huazhong University of Science and Technology, Yanyan Jiang Nanjing University, Zhiqiang Zuo Nanjing University, China, Yang Wang Nanjing University, Hao Sun Unaffiliated, Hongmin Lu Nanjing University, Yuming Zhou Nanjing University, Baowen Xu Nanjing University Pre-print
11:00 20m Talk		Efficient Test Generation Guided by Field Coverage Criteria ASE Research Papers Ariel Godio Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
11:20 20m Talk		Exploring Output-Based Coverage for Testing PHP Web Applications ASE Journal First Presentations Hung Viet Nguyen Google LLC, USA, Hung Dang Phan ECpE Department, Iowa State University, Christian Kästner Carnegie Mellon University, Tien N. Nguyen University of Texas at Dallas Link to publication
11:40 20m Talk		PHANTA: Diversified Test Code Quality Measurement for Modern Software Development ASE Industry Showcase Susumu Tokumoto Fujitsu Laboratories Ltd., Kuniharu Takayama Fujitsu Laboratories Ltd. Media Attached
12:00 10m Demonstration		TestCov: Robust Test-Suite Execution and Coverage Measurement ASE Demonstrations Dirk Beyer LMU Munich, Thomas Lemberger LMU Munich Pre-print Media Attached File Attached
12:10 10m Demonstration		VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization ASE Demonstrations Chijin Zhou Tsinghua University, Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Zhe Liu Nanjing University of Aeronautics and Astronautics, Chengnian Sun Waterloo University, Yu Jiang Tsinghua University

13:40 - 15:20	Testing and VerificationASE Research Papers / ASE Demonstrations / ASE Industry Showcase at Cortez 1 Chair(s): Weihang Wang University at Buffalo, SUNY

13:40 20m Talk		Systematically Covering Input Structure ASE Research Papers Nikolas Havrikov CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print
14:00 20m Talk		SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs ASE Research Papers Devika Sondhi IIIT Delhi, Rahul Purandare IIIT-Delhi Pre-print
14:20 20m Talk		Detecting Error-Handling Bugs without Error Specification Input ASE Research Papers Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Tingting Yu University of Kentucky, Liao Xiangke National University of Defense Technology, China, Ji Wang National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Yunhuai Liu Peking University
14:40 20m Talk		Test Automation and its Limitations ASE Industry Showcase Ahyoung Sung Samsung Electronics, Yangsu Kim Samsung Electronics, Sangjun Kim Samsung Electronics, Jongin Kim Samsung Electronics, Neo Jang Samsung Electronics
15:00 10m Talk		Grading-Based Test Suite Augmentation ASE Research Papers Jonathan Osei-Owusu University of Illinois at Urbana-Champaign, Angello Astorga University of Illinois at Urbana-Champaign, Liia Butler University of Illinois at Urbana-Champaign, Tao Xie Peking University, Geoffrey Challen University of Illinois at Urbana-Champaign
15:10 10m Demonstration		MutAPK: Source-Codeless Mutant Generation for Android Apps ASE Demonstrations Camilo Escobar-Velásquez Universidad de los Andes, Michael Osorio-Riaño Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia

16:00 - 17:40	Testing and VisualizationASE Demonstrations / ASE Research Papers / ASE Journal First Presentations at Cortez 1 Chair(s): Amin Alipour University of Houston

16:00 20m Talk		History-Guided Configuration Diversification for Compiler Test-Program GenerationACM SIGSOFT Distinguished Paper Award ASE Research Papers Junjie Chen Tianjin University, Guancheng Wang Peking University, Dan Hao Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Lu Zhang Peking University
16:20 20m Talk		Data-Driven Compiler Testing and Debugging ASE Research Papers Junjie Chen Tianjin University
16:40 20m Talk		Targeted Example Generation for Compilation Errors ASE Research Papers Umair Z. Ahmed National University of Singapore, Renuka Sindhgatta Queensland University of Technology, Australia, Nisheeth Srivastava Indian Institute of Technology, Kanpur, Amey Karkare IIT Kanpur Link to publication Pre-print
17:00 20m Talk		Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators ASE Journal First Presentations Giovanni Grano University of Zurich, Fabio Palomba Department of Informatics, University of Zurich, Harald Gall University of Zurich Link to publication Pre-print
17:20 10m Demonstration		Visual Analytics for Concurrent Java Executions ASE Demonstrations Cyrille Artho KTH Royal Institute of Technology, Sweden, Monali Pande KTH Royal Institute of Technology, Qiyi Tang University of Oxford
17:30 10m Demonstration		NeuralVis: Visualizing and Interpreting Deep Learning Models ASE Demonstrations Xufan Zhang State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Ziyue Yin State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Yang Feng University of California, Irvine, Qingkai Shi Hong Kong University of Science and Technology, Jia Liu State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Zhenyu Chen Nanjing University

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

10:40 - 12:20	Testing and Program AnalysisASE Research Papers / ASE Demonstrations at Cortez 1 Chair(s): Jun Sun Singapore Management University, Singapore

10:40 20m Talk		Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular ExpressionsACM SIGSOFT Distinguished Paper Award ASE Research Papers Louis G. Michael IV Virginia Tech, James Donohue University of Bradford, James C. Davis Virginia Tech, USA, Dongyoon Lee Stony Brook University, Francisco Servant Virginia Tech Pre-print File Attached
11:00 20m Talk		Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study ASE Research Papers James C. Davis Virginia Tech, USA, Daniel Moyer Virginia Tech, Ayaan M. Kazerouni Virginia Tech, Dongyoon Lee Stony Brook University Pre-print File Attached
11:20 20m Talk		Accurate String Constraints Solution Counting with Weighted Automata ASE Research Papers Elena Sherman Boise State University, Andrew Harris Boise State University
11:40 20m Talk		Subformula Caching for Model Counting and Quantitative Program Analysis ASE Research Papers William Eiers University of California at Santa Barbara, USA, Seemanta Saha University of California Santa Barbara, Tegan Brennan University of California, Santa Barbara, Tevfik Bultan University of California, Santa Barbara
12:00 10m Demonstration		SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs ASE Demonstrations Xutong Ma Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software, Chinese Academy of Sciences
12:10 10m Demonstration		FPChecker: Detecting Floating-Point Exceptions in GPU Applications ASE Demonstrations Ignacio Laguna Lawrence Livermore National Laboratory

13:40 - 15:20	Verification and Bug DetectionASE Demonstrations / ASE Research Papers at Cortez 1 Chair(s): Raghavan Komondoor Indian Institute of Science, Bangalore

13:40 20m Talk		Mutation Analysis for Coq ASE Research Papers Ahmet Celik The University of Texas at Austin, Karl Palmskog University of Texas at Austin, Marinela Parovic The University of Texas at Austin, Emilio Jesús Gallego Arias MINES ParisTech, Milos Gligoric The University of Texas at Austin
14:00 20m Talk		Verifying Arithmetic in Cryptographic C Programs ASE Research Papers Jiaxiang Liu Shenzhen University, Xiaomu Shi Shenzhen University, Ming-Hsien Tsai Academia Sinica, Taiwan, Bow-Yaw Wang Academia Sinica, Bo-Yin Yang Academia Sinica Pre-print
14:20 20m Talk		Model checking embedded control software using OS-in-the-loop CEGAR ASE Research Papers Dongwoo Kim Kyungpook National University, Yunja Choi Kyungpook National University Pre-print
14:40 20m Talk		Get rid of inline assembly through verification-oriented lifting ASE Research Papers Frédéric Recoules CEA LIST, Sébastien Bardin CEA LIST, Richard Bonichon CEA LIST, Laurent Mounier Université Grenoble Alpes, Marie-Laure Potet Université Grenoble Alpes DOI Pre-print
15:00 10m Demonstration		VeriAbs : Verification by Abstraction and Test Generation ASE Demonstrations Mohammad Afzal Tata Cosultancy Services, A Asia Tata Cosultancy Services, Avriti Chauhan Tata Cosultancy Services, Bharti Chimdyalwar Tata Consultancy Services, Priyanka Darke Tata Consultancy Services, Advaita Datar Tata Consultancy Services Ltd, Shrawan Kumar Tata Cosultancy Services, R Venkatesh Tata Research Development and Design Centre
15:10 10m Demonstration		SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection ASE Demonstrations Da Li State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan Wang State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang Xu Nanjing University, Ruiqing Zhang Search Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing Ma State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University

16:00 - 17:40	PredictionASE Research Papers / ASE Journal First Presentations at Cortez 1 Chair(s): Xin Xia Monash University

16:00 20m Talk		Predicting Licenses for Changed Source Code ASE Research Papers Xiaoyu Liu Department of Computer Science and Engineering, Southern Methodist University, Liguo Huang Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205, Jidong Ge State Key Laboratory for Novel Software and Technology, Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
16:20 20m Talk		Empirical evaluation of the impact of class overlap on software defect prediction ASE Research Papers Lina Gong China University of Mining and Technology, Shujuan Jiang China University of Mining and Technology, Rongcun Wang China University of Mining and Technology, Li Jiang China University of Mining and Technology
16:40 20m Talk		Combining Program Analysis and Statistical Language Model for Code Statement Completion ASE Research Papers Son Nguyen The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas, Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA
17:00 20m Talk		Balancing the trade-off between accuracy and interpretability in software defect prediction ASE Journal First Presentations Toshiki Mori Corporate Software Engineering & Technology Center, Toshiba Corporation, Naoshi Uchihira School of Knowledge Science, Japan Advanced Institute of Science and Technology (JAIST) Link to publication File Attached
17:20 20m Talk		Fine-grained just-in-time defect prediction ASE Journal First Presentations Luca Pascarella Delft University of Technology, Fabio Palomba Department of Informatics, University of Zurich, Alberto Bacchelli University of Zurich Link to publication

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

10:40 - 12:20	ConcurrencyASE Research Papers / ASE Demonstrations at Cortez 1 Chair(s): Elena Sherman Boise State University

10:40 20m Talk		MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes ASE Research Papers Zan Wang College of Intelligence and Computing, Tianjin University, Yingquan Zhao Tianjin University, Shuang Liu College of Intelligence and Computing, Tianjin University, Jun Sun Singapore Management University, Singapore, Xiang Chen School of Information Science and Technology, Nantong University, Huarui Lin College of Intelligence and Computing, Tianjin University
11:00 20m Talk		Automating Non-Blocking Synchronization In Concurrent Data Abstractions ASE Research Papers Jiange Zhang University of Colorado Colorado Springs, Qing Yi University of Colorado Colorado Springs, Damian Dechev University of Central Florida Pre-print
11:20 20m Talk		Automating CUDA Synchronization via Program Transformation ASE Research Papers Mingyuan Wu Southern University of Science and Technology, Lingming Zhang The University of Texas at Dallas, Cong Liu Eindhoven University of Technology, Shin Hwei Tan , Yuqun Zhang Southern University of Science and Technology
11:40 20m Talk		Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs ASE Research Papers Ernest Bota Pobee City University of Hong Kong, Xiupei Mei City University of Hong Kong, Wing-Kwong Chan City University of Hong Kong, Hong Kong
12:00 10m Demonstration		VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq ASE Demonstrations Bernd Fischer Stellenbosch University, Salvatore La Torre Università degli Studi di Salerno, Gennaro Parlato University of Molise
12:10 10m Demonstration		ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities ASE Demonstrations Ruijie Meng University of Chinese Academy of Sciences, Biyun Zhu University of Chinese Academy of Sciences, Hao Yun University of Chinese Academy of Sciences, Haicheng Li University of Chinese Academy of Sciences, Yan Cai Institute of Software, Chinese Academy of Sciences, Zijiang Yang Western Michigan University

13:40 - 15:20	Program AnalysisASE Research Papers / ASE Demonstrations at Cortez 1 Chair(s): Coen De Roover Vrije Universiteit Brussel

13:40 20m Talk		Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation ASE Research Papers Brandon Paulsen University of Southern California, Chungha Sung University of Southern California, Peter Peterson University of Minnesota Duluth, Chao Wang USC
14:00 20m Talk		Fine-grain memory object representation in symbolic execution ASE Research Papers Martin Nowack Imperial College London
14:20 20m Talk		RENN: Efficient Reverse Execution with Neural-Network-assisted Alias Analysis ASE Research Papers Dongliang Mu Nanjing University, Wenbo Guo The Pennsylvania State University, Alejandro Cuevas The Pennsylvania State University, Yueqi Chen The Pennsylvania State University, Jinxuan Gai The Pennsylvania State University, Xinyu Xing The Pennsylvania State University, Bing Mao Nanjing University, Chengyu Song UC Riverside
14:40 20m Talk		Batch Alias Analysis ASE Research Papers Jyothi Vedurada IIT Madras, V Krishna Nandivada IIT Madras Pre-print
15:00 10m Demonstration		Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts ASE Demonstrations Mark Mossberg Trail of Bits, Felipe Manzano Trail of Bits, Eric Hennenfent Trail of Bits, Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits, Josselin Feist Trail of Bits, Trent Brunson Trail of Bits, Artem Dinaburg Trail of Bits Media Attached
15:10 10m Demonstration		BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules ASE Demonstrations Pavan Kumar Chittimalli TCS Research, Kritika Anand TCS Research, Shrishti Pradhan TCS Research, Sayandeep Mitra TCS Research, Chandan Prakash TCS Research, Rohit Shere TCS Research, Ravindra Naik TCS Research, TRDDC, India

16:00 - 17:40	Emerging DomainsASE Demonstrations / ASE Journal First Presentations / ASE Research Papers at Cortez 1 Chair(s): Joshua Garcia University of California, Irvine

16:00 20m Talk		Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility ASE Research Papers Jeffrey Palmerino Rochester Institute of Technology, Qi Yu Rochester Institute of Technology, Travis Desell University of North Dakota, Daniel Krutz Rochester Institute of Technology Pre-print
16:20 20m Talk		Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences ASE Research Papers Yuqi Chen Singapore University of Technology and Design, Singapore, Chris Poskitt Singapore University of Technology and Design, Jun Sun Singapore Management University, Singapore, Sridhar Adepu Singapore University of Technology and Design, Singapore, Fan Zhang Zhejiang University, Zhejiang Lab, and Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China DOI Pre-print File Attached
16:40 20m Talk		Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems ASE Journal First Presentations Man Zhang Kristiania University, Shaukat Ali Simula Research Lab, Tao Yue Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory Link to publication
17:00 20m Talk		Finding Trends in Software Research ASE Journal First Presentations George Mathew Department of Computer Science, North Carolina State University, Amritanshu Agrawal Wayfair, Tim Menzies North Carolina State University Link to publication
17:20 10m Demonstration		XRaSE: Towards Virtually Tangible Software using Augmented Reality ASE Demonstrations Rohit Mehra Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture
17:30 10m Demonstration		MuSC: A Tool for Mutation Testing of Ethereum Smart Contract ASE Demonstrations Zixin Li Nanjing University, Haoran Wu State Key Laboratory for Novel Software Technology, Nanjing University, Jiehui Xu Nanjing University, Xingya Wang State Key Laboratory for Novel Software Technology, Nanjing University, Lingming Zhang The University of Texas at Dallas, Zhenyu Chen Nanjing University

Tue 12 Nov
Displayed time zone: Tijuana, Baja California 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
Cortez 1									ASE Research Papers + ASE Demonstrations + ASE Journal First Presentations + ASE Industry Showcase Testing and Coverage																																				ASE Research Papers + ASE Demonstrations + ASE Industry Showcase Testing and Verification																												ASE Demonstrations + ASE Research Papers + ASE Journal First Presentations Testing and Visualization

Wed 13 Nov
Displayed time zone: Tijuana, Baja California 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
Cortez 1									ASE Research Papers + ASE Demonstrations Testing and Program Analysis																																				ASE Demonstrations + ASE Research Papers Verification and Bug Detection																												ASE Research Papers + ASE Journal First Presentations Prediction

Thu 14 Nov
Displayed time zone: Tijuana, Baja California 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
Cortez 1									ASE Research Papers + ASE Demonstrations Concurrency																																				ASE Research Papers + ASE Demonstrations Program Analysis																												ASE Demonstrations + ASE Journal First Presentations + ASE Research Papers Emerging Domains

Tue 12 Nov
Displayed time zone: Tijuana, Baja California 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
Cortez 1									ASE Research Papers Automatic Self-Validation for Code Coverage Profilers 10:40 - 11:00				ASE Research Papers Efficient Test Generation Guided by Field Coverage Criteria 11:00 - 11:20				ASE Journal First Presentations Exploring Output-Based Coverage for Testing PHP Web Applications 11:20 - 11:40				ASE Industry Showcase PHANTA: Diversified Test Code Quality Measurement for Modern Software D ... 11:40 - 12:00				ASE Demonstrations TestCov: Robust Test-Suite Execution and Coverage Measurement 12:00 - 12:10		ASE Demonstrations VisFuzz: Understanding and Intervening Fuzzing with Interactive Visuali ... 12:10 - 12:20																		ASE Research Papers Systematically Covering Input Structure 13:40 - 14:00				ASE Research Papers SEGATE: Unveiling Semantic Inconsistencies between Code and Specificati ... 14:00 - 14:20				ASE Research Papers Detecting Error-Handling Bugs without Error Specification Input 14:20 - 14:40				ASE Industry Showcase Test Automation and its Limitations 14:40 - 15:00				ASE Research Papers Grading-Based Test Suite Augmentation 15:00 - 15:10		ASE Demonstrations MutAPK: Source-Codeless Mutant Generation for Android Apps 15:10 - 15:20										ASE Research PapersACM SIGSOFT Distinguished Paper Award History-Guided Configuration Diversification for Compiler Test-Program ... 16:00 - 16:20				ASE Research Papers Data-Driven Compiler Testing and Debugging 16:20 - 16:40				ASE Research Papers Targeted Example Generation for Compilation Errors 16:40 - 17:00				ASE Journal First Presentations Lightweight Assessment of Test-Case Effectiveness using Source-Code-Qua ... 17:00 - 17:20				ASE Demonstrations Visual Analytics for Concurrent Java Executions 17:20 - 17:30		ASE Demonstrations NeuralVis: Visualizing and Interpreting Deep Learning Models 17:30 - 17:40

Wed 13 Nov
Displayed time zone: Tijuana, Baja California 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
Cortez 1									ASE Research PapersACM SIGSOFT Distinguished Paper Award Regexes are Hard: Decision-making, Difficulties, and Risks in Programmi ... 10:40 - 11:00				ASE Research Papers Testing Regex Generalizability And Its Implications: A Large-Scale Many ... 11:00 - 11:20				ASE Research Papers Accurate String Constraints Solution Counting with Weighted Automata 11:20 - 11:40				ASE Research Papers Subformula Caching for Model Counting and Quantitative Program Analysis 11:40 - 12:00				ASE Demonstrations SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs 12:00 - 12:10		ASE Demonstrations FPChecker: Detecting Floating-Point Exceptions in GPU Applications 12:10 - 12:20																		ASE Research Papers Mutation Analysis for Coq 13:40 - 14:00				ASE Research Papers Verifying Arithmetic in Cryptographic C Programs 14:00 - 14:20				ASE Research Papers Model checking embedded control software using OS-in-the-loop CEGAR 14:20 - 14:40				ASE Research Papers Get rid of inline assembly through verification-oriented lifting 14:40 - 15:00				ASE Demonstrations VeriAbs : Verification by Abstraction and Test Generation 15:00 - 15:10		ASE Demonstrations SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defec ... 15:10 - 15:20										ASE Research Papers Predicting Licenses for Changed Source Code 16:00 - 16:20				ASE Research Papers Empirical evaluation of the impact of class overlap on software defect ... 16:20 - 16:40				ASE Research Papers Combining Program Analysis and Statistical Language Model for Code Stat ... 16:40 - 17:00				ASE Journal First Presentations Balancing the trade-off between accuracy and interpretability in softwa ... 17:00 - 17:20				ASE Journal First Presentations Fine-grained just-in-time defect prediction 17:20 - 17:40

Thu 14 Nov
Displayed time zone: Tijuana, Baja California 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
Cortez 1									ASE Research Papers MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes 10:40 - 11:00				ASE Research Papers Automating Non-Blocking Synchronization In Concurrent Data Abstractions 11:00 - 11:20				ASE Research Papers Automating CUDA Synchronization via Program Transformation 11:20 - 11:40				ASE Research Papers Efficient Transaction-Based Deterministic Replay for Multi-threaded Pro ... 11:40 - 12:00				ASE Demonstrations VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with ... 12:00 - 12:10		ASE Demonstrations ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities 12:10 - 12:20																		ASE Research Papers Debreach: Mitigating Compression Side Channels via Static Analysis and ... 13:40 - 14:00				ASE Research Papers Fine-grain memory object representation in symbolic execution 14:00 - 14:20				ASE Research Papers RENN: Efficient Reverse Execution with Neural-Network-assisted Alias An ... 14:20 - 14:40				ASE Research Papers Batch Alias Analysis 14:40 - 15:00				ASE Demonstrations Manticore: A User-Friendly Symbolic Execution Framework for Binaries an ... 15:00 - 15:10		ASE Demonstrations BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules 15:10 - 15:20										ASE Research Papers Improving the Decision-Making Process of Self-Adaptive Systems by Accou ... 16:00 - 16:20				ASE Research Papers Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences 16:20 - 16:40				ASE Journal First Presentations Uncertainty-wise Test Case Generation and Minimization for Cyber-Physic ... 16:40 - 17:00				ASE Journal First Presentations Finding Trends in Software Research 17:00 - 17:20				ASE Demonstrations XRaSE: Towards Virtually Tangible Software using Augmented Reality 17:20 - 17:30		ASE Demonstrations MuSC: A Tool for Mutation Testing of Ethereum Smart Contract 17:30 - 17:40

Room information: Cortez 1

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

ASE Research Papers + ASE Demonstrations + ASE Journal First Presentations + ASE Industry Showcase

ASE Research Papers + ASE Demonstrations + ASE Industry Showcase

ASE Demonstrations + ASE Research Papers + ASE Journal First Presentations

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

ASE Research Papers + ASE Demonstrations

ASE Demonstrations + ASE Research Papers

ASE Research Papers + ASE Journal First Presentations

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

ASE Research Papers + ASE Demonstrations

ASE Research Papers + ASE Demonstrations

ASE Demonstrations + ASE Journal First Presentations + ASE Research Papers

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tracks

Room information: Cortez 1

Program Display Configuration

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

ASE Research Papers + ASE Demonstrations + ASE Journal First Presentations + ASE Industry Showcase

ASE Research Papers + ASE Demonstrations + ASE Industry Showcase

ASE Demonstrations + ASE Research Papers + ASE Journal First Presentations

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

ASE Research Papers + ASE Demonstrations

ASE Demonstrations + ASE Research Papers

ASE Research Papers + ASE Journal First Presentations

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

ASE Research Papers + ASE Demonstrations

ASE Research Papers + ASE Demonstrations

ASE Demonstrations + ASE Journal First Presentations + ASE Research Papers

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change