VenueSeattle
Room nameHabib Classroom (Gates G01)
Floor0
Room numberGates G01
Capacity110
Room InformationNo extra information available
Program

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

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
Tool Demo PresentationsISSTA Tool Demonstrations at Habib Classroom (Gates G01)
Chair(s): Jonathan Bell Northeastern University, Luís Pina University of Illinois at Chicago
13:30
6m
Talk
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
ISSTA Tool Demonstrations
Yuhao Zhou Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
Link to publication DOI Media Attached
13:36
6m
Talk
EvoSpex: A Search-based Tool for Postcondition Inference
ISSTA Tool Demonstrations
Facundo Molina IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Media Attached
13:42
6m
Talk
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
ISSTA Tool Demonstrations
Austin Mordahl University of Texas at Dallas, Dakota Soles The University of Texas at Dallas, Miao Miao The University of Texas at Dallas, Zenong Zhang The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
13:49
6m
Talk
KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
ISSTA Tool Demonstrations
Qinglong Wang Alibaba Group, Runzhe Wang Alibaba Group, Yuxi Hu Alibaba Group, Xiaohai Shi Alibaba Group, Zheng Liu Alibaba Group; Zhejiang University, Tao Ma Alibaba Group, Houbing Song University of Maryland, Baltimore County, Heyuan Shi Central South University
13:55
6m
Talk
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
ISSTA Tool Demonstrations
Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Thanasis Typaldos National Technical University of Athens
DOI Pre-print
14:02
6m
Talk
KDAlloc: The KLEE Deterministic Allocator
ISSTA Tool Demonstrations
Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
14:08
6m
Talk
RustSmith: Random Differential Compiler Testing for Rust
ISSTA Tool Demonstrations
Mayank Sharma Imperial College London, Pingshi Yu Imperial College London, Alastair F. Donaldson Imperial College London
14:15
6m
Talk
SymRustC: A Hybrid Fuzzer for Rust
ISSTA Tool Demonstrations
Frédéric Tuong Simon Fraser University, Mohammad Omidvar Tehrani Simon Fraser University, Marco Gaboardi Boston University, Steve Ko Simon Fraser University
14:21
6m
Talk
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
ISSTA Tool Demonstrations
Ziyad Alsaeed Qassim University, Michal Young University of Oregon
14:27
6m
Talk
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
ISSTA Tool Demonstrations
Frederico Ramos Instituto Superior Técnico, Diogo Costa Reis Instituto Superior Técnico, Miguel Trigo Instituto Superior Técnico, António Morgado INESC-ID, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal
14:34
6m
Talk
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
ISSTA Tool Demonstrations
Sunzhou Huang University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
Media Attached
14:40
6m
Talk
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
ISSTA Tool Demonstrations
Sven Peldszus Ruhr University Bochum, Noubar Akopian Ruhr University Bochum, Thorsten Berger Ruhr University Bochum
DOI Media Attached
14:47
6m
Talk
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
ISSTA Tool Demonstrations
Roland Kuhn Actyx AG, Alan Darmasaputra Actyx AG
14:53
6m
Talk
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
ISSTA Tool Demonstrations
Francisco Ferreira Royal Holloway, University of London, Sung-Shik Jongmans Open University of the Netherlands; CWI
15:30 - 17:00
ISSTA Online 2: Static AnalysisISSTA Technical Papers at Habib Classroom (Gates G01)
Chair(s): Julian Dolby IBM Research
15:30
10m
Talk
Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
ISSTA Technical Papers
Tiancheng Hu Huazhong University of Science and Technology, Zijing Xu Huazhong University of Science and Technology, Yilin Fang Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Bin Yuan Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
DOI
15:40
10m
Talk
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
ISSTA Technical Papers
Jiangchao Liu Ant Group; ByteDance, Jierui Liu Ant Group, Peng Di Ant Group, Diyu Wu Ant Group, Hengjie Zheng Ant Group, Alex X. Liu Ant Group, Jingling Xue UNSW
DOI
15:50
10m
Talk
CGuard: Scalable and Precise Object Bounds Protection for C
ISSTA Technical Papers
Piyus Kedia IIIT Delhi, Rahul Purandare University of Nebraska-Lincoln, Udit Kumar Agarwal University of British Columbia, Rishabh GGSIPU
DOI
16:00
10m
Talk
Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage CollectionACM SIGSOFT Distinguished Artifact
ISSTA Technical Papers
Dongjie He UNSW, Yujiang Gui UNSW, Yaoqing Gao Huawei Toronto Research Center, Jingling Xue UNSW
DOI
16:10
10m
Talk
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
ISSTA Technical Papers
Zihan Wang Shanghai Jiao Tong University, Pengbo Nie Shanghai Jiao Tong University, Xinyuan Miao Shanghai Jiao Tong University, Yuting Chen Shanghai Jiao Tong University, Chengcheng Wan East China Normal University, Lei Bu Nanjing University, Jianjun Zhao Kyushu University
DOI
16:20
10m
Talk
Splendor: Static Detection of Stored XSS in Modern Web Applications
ISSTA Technical Papers
He Su Institute of Information Engineering at Chinese Academy of Sciences, Feng Li Institute of Information Engineering at Chinese Academy of Sciences, Lili Xu Institute of Information Engineering at Chinese Academy of Sciences, Wenbo Hu Institute of Information Engineering at Chinese Academy of Sciences, Yujie Sun Institute of Information Engineering at Chinese Academy of Sciences, Qing Sun Institute of Information Engineering at Chinese Academy of Sciences, Huina Chao Institute of Information Engineering at Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences
DOI
16:30
10m
Talk
Improving Bit-Blasting for Nonlinear Integer ConstraintsACM SIGSOFT Distinguished Paper
ISSTA Technical Papers
Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Pei Huang Stanford University, Minghao Liu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Feifei Ma Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI
16:40
10m
Talk
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
ISSTA Technical Papers
Shiwen Yu National University of Defense Technology, Ting Wang National University of Defense Technology, Ji Wang National University of Defense Technology
DOI

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
ISSTA 6: Testing 1ISSTA Technical Papers at Habib Classroom (Gates G01)
Chair(s): Karine Even-Mendoza King’s College London
10:30
15m
Talk
Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
ISSTA Technical Papers
Julia Kaiwen Lau Monash University Malaysia, Kelvin Kai Wen Kong Monash University Malaysia, Julian Hao Yong Monash University Malaysia, Per Hoong Tan Monash University Malaysia, Zhou Yang Singapore Management University, Zi Qian Yong Monash University Malaysia, Joshua Chern Wey Low Monash University Malaysia, Chun Yong Chong Monash University Malaysia, Mei Kuan Lim Monash University Malaysia, David Lo Singapore Management University
DOI
10:45
15m
Talk
PhysCov: Physical Test Coverage for Autonomous Vehicles
ISSTA Technical Papers
Carl Hildebrandt University of Virginia, Meriel von Stein University of Virginia, Sebastian Elbaum University of Virginia
Link to publication DOI Pre-print
11:00
15m
Talk
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
ISSTA Technical Papers
Mingfei Cheng Singapore Management University, Yuan Zhou Nanyang Technological University, Xiaofei Xie Singapore Management University
DOI
11:15
15m
Talk
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
ISSTA Technical Papers
Xudong Zhang Institute of Software at Chinese Academy of Sciences, Yan Cai Institute of Software at Chinese Academy of Sciences
DOI
11:30
15m
Talk
Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
ISSTA Technical Papers
Dhia Elhaq Rzig University of Michigan - Dearborn, Nafees Iqbal University of Michigan at Dearborn, Isabella Attisano Villanova University, Xue Qin Villanova University, Foyzul Hassan University of Michigan at Dearborn
DOI
11:45
15m
Talk
Concept-Based Automated Grading of CS-1 Programming Assignments
ISSTA Technical Papers
Zhiyu Fan National University of Singapore, Shin Hwei Tan Concordia University, Canada, Abhik Roychoudhury National University of Singapore
DOI
13:30 - 15:00
ISSTA 8: Fuzzing 2ISSTA Technical Papers at Habib Classroom (Gates G01)
Chair(s): Marcel Böhme MPI-SP; Monash University
13:30
15m
Talk
Guiding Greybox Fuzzing with Mutation TestingACM SIGSOFT Distinguished Paper
ISSTA Technical Papers
Vasudev Vikram Carnegie Mellon University, Isabella Laybourn Carnegie Mellon University, Ao Li Carnegie Mellon University, Nicole Nair Swarthmore College, Kelton OBrien University of Minnesota, Rafaello Sanna University of Rochester, Rohan Padhye Carnegie Mellon University
DOI Pre-print Media Attached
13:45
15m
Talk
Rare Path Guided Fuzzing
ISSTA Technical Papers
Seemanta Saha University of California at Santa Barbara, Laboni Sarker University of California at Santa Barbara, Md Shafiuzzaman University of California at Santa Barbara, Chaofan Shou University of California at Santa Barbara, Albert Li University of California at Santa Barbara, Ganesh Sankaran University of California at Santa Barbara, Tevfik Bultan University of California at Santa Barbara
DOI
14:00
15m
Talk
Finding Short Slow Inputs Faster with Grammar-Based Search
ISSTA Technical Papers
Ziyad Alsaeed Qassim University, Michal Young University of Oregon
DOI
14:15
15m
Talk
Fuzzing Embedded Systems using Debug Interfaces
ISSTA Technical Papers
Max Eisele Robert Bosch; Saarland University, Daniel Ebert Robert Bosch, Christopher Huth Robert Bosch, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print
14:30
15m
Talk
GrayC: Greybox Fuzzing of Compilers and Analysers for CACM SIGSOFT Distinguished Paper
ISSTA Technical Papers
Karine Even-Mendoza King’s College London, Arindam Sharma Imperial College London, Alastair F. Donaldson Imperial College London, Cristian Cadar Imperial College London
DOI
14:45
15m
Talk
Fuzzing Deep Learning Compilers with HirGen
ISSTA Technical Papers
Haoyang Ma Hong Kong University of Science and Technology, Qingchao Shen Tianjin University, Yongqiang Tian University of Waterloo, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology
DOI
15:30 - 17:00
ISSTA Online 5: Domain-Specific TestingISSTA Technical Papers at Habib Classroom (Gates G01)
Chair(s): Michal Young University of Oregon
15:30
10m
Talk
DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
ISSTA Technical Papers
Zhuo Chen Zhejiang University; Ant Group, Jie Liu Ant Group, Yubo Hu Xidian University, Lei Wu Zhejiang University, Yajin Zhou Zhejiang University, Yiling He Zhejiang University, Xianhao Liao Ant Group, Ke Wang Ant Group, Jinku Li Xidian University, Zhan Qin Zhejiang University
DOI
15:40
10m
Talk
Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
ISSTA Technical Papers
Zifan Xie Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Haoxiang Jia Huazhong University of Science and Technology, Xiaochen Guo Huazhong University of Science and Technology, Xiaotong Huang Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
DOI
15:50
10m
Talk
DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
ISSTA Technical Papers
Yuhao Zhou Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
DOI
16:00
10m
Talk
Exploring Missed Optimizations in WebAssembly Optimizers
ISSTA Technical Papers
Zhibo Liu Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Li Zongjie Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology, Wei Meng Chinese University of Hong Kong
DOI
16:10
10m
Talk
Vectorizing Program Ingredients for Better JVM Testing
ISSTA Technical Papers
Tianchang Gao Tianjin University, Junjie Chen Tianjin University, Yingquan Zhao Tianjin University, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign
DOI
16:20
10m
Talk
1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
ISSTA Technical Papers
Songtao Yang Tsinghua University, Yubo He Information Engineering University, Kaixiang Chen Tsinghua University, Zheyu Ma Tsinghua University, Xiapu Luo Hong Kong Polytechnic University, Yong Xie Qinghai University, Jianjun Chen Tsinghua University, Chao Zhang Tsinghua University
DOI
16:30
10m
Talk
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
ISSTA Technical Papers
Chu Chen Qufu Normal University, Pinghong Ren Qufu Normal University, Zhenhua Duan Xidian University, Cong Tian Xidian University, Xu Lu Xidian University, Bin Yu Xidian University
DOI
16:40
10m
Talk
Silent Compiler Bug De-duplication via Three-Dimensional Analysis
ISSTA Technical Papers
Chen Yang Tianjin University, Junjie Chen Tianjin University, Xingyu Fan Tianjin University, Jiajun Jiang Tianjin University, Jun Sun Singapore Management University
DOI
16:50
10m
Talk
Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
ISSTA Technical Papers
Yiming Zhang Southern University of Science and Technology; Hong Kong Polytechnic University, Yuxin Hu Southern University of Science and Technology, Haonan Li Southern University of Science and Technology, Wenxuan Shi Southern University of Science and Technology, Zhenyu Ning Hunan University; Southern University of Science and Technology, Xiapu Luo Hong Kong Polytechnic University, Fengwei Zhang Southern University of Science and Technology
DOI

Thu 20 Jul

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
ECOOP 4: TypesResearch Papers at Habib Classroom (Gates G01)
Chair(s): Giorgio Audrito Università di Torino
10:30
15m
Talk
Python Type Hints are Turing Complete
Research Papers
Ori Roth Technion
DOI
10:45
15m
Talk
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Research Papers
Magnus Madsen Aarhus University, Jonathan Lindegaard Starup Aarhus University, Matthew Lutze Aarhus University
DOI
11:00
15m
Talk
Modular Compilation for Higher-order Functional Choreographies
Research Papers
Luís Cruz-Filipe University of Southern Denmark, Eva Graversen University of Southern Denmark, Lovro Lugović University of Southern Denmark, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
DOI
11:15
15m
Talk
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
Research Papers
Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University
DOI
11:30
15m
Talk
Dependent Merges and First-Class Environments
Research Papers
Jinhao Tan University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
DOI
11:45
15m
Talk
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Research Papers
Andong Fan The Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
DOI
13:30 - 15:00
ECOOP 5: SynthesisResearch Papers at Habib Classroom (Gates G01)
Chair(s): Karine Even-Mendoza King’s College London
13:30
15m
Talk
Synthesis-Aided Crash Consistency for Storage Systems
Research Papers
Jacob Van Geffen Veridise Inc., James Bornholt University of Texas at Austin, Emina Torlak Amazon Web Services and University of Washington, Xi Wang University of Washington
DOI
13:45
15m
Talk
Synthesizing Conjunctive Queries for Code Search
Research Papers
Chengpeng Wang Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Wensheng Tang Hong Kong University of Science and Technology, Gang Fan Ant Group, Charles Zhang Hong Kong University of Science and Technology
DOI
14:00
15m
Talk
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Research Papers
Henrique Botelho Guerra INESC-ID and IST, University of Lisbon, João F. Ferreira INESC-ID and IST, University of Lisbon, João Costa Seco NOVA-LINCS; Nova University of Lisbon
DOI
14:15
15m
Talk
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Research Papers
Sahil Bhatia University of California, Berkeley, Sumer Kohli UC Berkeley, Sanjit Seshia UC Berkeley, Alvin Cheung University of California at Berkeley
DOI
14:30
15m
Talk
Do Machine Learning Models Produce TypeScript Types that Type Check?
Research Papers
Ming-Ho Yee Northeastern University, Arjun Guha Northeastern University and Roblox Research
DOI Media Attached File Attached
14:45
15m
Talk
Toward Tool-Independent Summaries for Symbolic Execution
Research Papers
Frederico Ramos Instituto Superior Técnico, Nuno Sabino Instituto Superior Técnico, Carnegie Mellon University, Pedro Adão IST-ULisboa and Instituto de Telecomunicações, David Naumann Stevens Institute of Technology, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal
DOI
15:30 - 17:00
ECOOP 6: DesignResearch Papers at Habib Classroom (Gates G01)
Chair(s): Shigeru Chiba The University of Tokyo
15:30
15m
Talk
On the Rise of Modern Software Documentation
Research Papers
Marco Raglianti Software Institute - USI, Lugano, Csaba Nagy Software Institute - USI, Lugano, Roberto Minelli Software Institute - USI, Lugano, Bin Lin Radboud University, Michele Lanza Software Institute - USI, Lugano
DOI
15:45
15m
Talk
Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Research Papers
Sarah Harris University of Kent, Simon Cooksey University of Kent, Michael Vollmer University of Kent, Mark Batty University of Kent
DOI
16:00
15m
Talk
Modular Abstract Definitional Interpreters for WebAssembly
Research Papers
Katharina Brandl JGU Mainz, Sebastian Erdweg JGU Mainz, Sven Keidel TU Darmstadt, Germany, Nils Hansen JGU Mainz
DOI Pre-print
16:15
15m
Talk
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Research Papers
Ugnius Rumsevicius University of Illinois - Chicago, Siddhanth Venkateshwaran University of Illinois - Chicago, Ellen Kidane University of Illinois - Chicago, Luís Pina University of Illinois at Chicago
DOI Pre-print
16:30
15m
Talk
The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Research Papers
Simon Henniger Technical University of Munich, Nada Amin Harvard University
DOI
16:45
15m
Talk
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Research Papers
Jonathan Lindegaard Starup Aarhus University, Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo
DOI

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Habib Classroom (Gates G01)

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul

Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room13:0015304514:0015304515:0015304516:00153045
Habib Classroom (Gates G01)

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Habib Classroom (Gates G01)

Thu 20 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Habib Classroom (Gates G01)