Habib Classroom (Gates G01)

VenueSeattle

Room nameHabib Classroom (Gates G01)

Floor0

Room numberGates G01

Capacity110

Room InformationNo extra information available

Program

Time Zone

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

Use conference time zone: (GMT-08:00) Pacific 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

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

08:30 - 10:00	Session 1COP 2023 at Habib Classroom (Gates G01) Chair(s): Lars Schütze Technische Universität Dresden, Yudai Tanabe Kyoto University Link to Zoom

08:50 10m Day opening		Opening COP 2023
09:00 30m Talk		Temporal Layers: Reactive Activation Scope of First-class Layer Instances COP 2023 Tetsuo Kamina Oita University Link to publication DOI
09:30 30m Talk		Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages COP 2023 Lars Schütze Technische Universität Dresden, Jeronimo Castrillon TU Dresden, Germany Link to publication DOI

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: TypesECOOP Research Papers at Habib Classroom (Gates G01) Chair(s): Giorgio Audrito Università di Torino

10:30 15m Talk		Python Type Hints are Turing Complete ECOOP Research Papers Ori Roth Technion DOI
10:45 15m Talk		Restrictable Variants: A Simple and Practical Alternative to Extensible Variants ECOOP 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 ECOOP 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 ECOOP Research Papers Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University DOI
11:30 15m Talk		Dependent Merges and First-Class Environments ECOOP 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 ECOOP 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: SynthesisECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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? ECOOP 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 ECOOP 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: DesignECOOP Research 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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 ECOOP 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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Habib Classroom (Gates G01)							COP 2023 Session 1																								COP 2023																																				COP 2023																								COP 2023

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


Room	13:00						30						14:00						30						15:00						30						16:00						30
Habib Classroom (Gates G01)							ISSTA Tool Demonstrations Tool Demo Presentations																								ISSTA Technical Papers ISSTA Online 2: Static Analysis

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Habib Classroom (Gates G01)							ISSTA Technical Papers ISSTA 6: Testing 1																																				ISSTA Technical Papers ISSTA 8: Fuzzing 2																								ISSTA Technical Papers ISSTA Online 5: Domain-Specific Testing

Thu 20 Jul
Displayed time zone: Pacific 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
Habib Classroom (Gates G01)							ECOOP Research Papers ECOOP 4: Types																																				ECOOP Research Papers ECOOP 5: Synthesis																								ECOOP Research Papers ECOOP 6: Design

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


Room	8:00			15			30			45			9:00			15			30			45
Habib Classroom (Gates G01)											COP Opening 08:50 - 09:00		COP Temporal Layers: Reactive Activation Scope of First-class Layer Instances 09:00 - 09:30						COP Towards Virtual Machine Support for Contextual Role-Oriented Programmin ... 09:30 - 10:00

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


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Habib Classroom (Gates G01)							ISSTA Tool Demonstrations DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issue ... 13:30 - 13:36	ISSTA Tool Demonstrations EvoSpex: A Search-based Tool for Postcondition Inference 13:36 - 13:42	ISSTA Tool Demonstrations ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static ... 13:42 - 13:49		ISSTA Tool Demonstrations KeenTune: Automated Tuning Tool for Cloud Application Performance Testi ... 13:49 - 13:55	ISSTA Tool Demonstrations EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer 13:55 - 14:02	ISSTA Tool Demonstrations KDAlloc: The KLEE Deterministic Allocator 14:02 - 14:08		ISSTA Tool Demonstrations RustSmith: Random Differential Compiler Testing for Rust 14:08 - 14:15	ISSTA Tool Demonstrations SymRustC: A Hybrid Fuzzer for Rust 14:15 - 14:21	ISSTA Tool Demonstrations TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break 14:21 - 14:27	ISSTA Tool Demonstrations MetaData262: Automatic Test Suite Selection for Partial JavaScript Impl ... 14:27 - 14:34		ISSTA Tool Demonstrations PExReport-Maven: Creating Pruned Executable Cross-Project Failure Repor ... 14:34 - 14:40	ISSTA Tool Demonstrations RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Fram ... 14:40 - 14:47	ISSTA Tool Demonstrations Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms 14:47 - 14:53		ISSTA Tool Demonstrations Oven: Safe and Live Communication Protocols in Scala, using Synthetic B ... 14:53 - 15:00							ISSTA Technical Papers Fine-Grained Code Clone Detection with Block-Based Splitting of Abstrac ... 15:30 - 15:40		ISSTA Technical Papers Hybrid Inlining: A Framework for Compositional and Context-Sensitive St ... 15:40 - 15:50		ISSTA Technical Papers CGuard: Scalable and Precise Object Bounds Protection for C 15:50 - 16:00		ISSTA Technical PapersACM SIGSOFT Distinguished Artifact Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fi ... 16:00 - 16:10		ISSTA Technical Papers GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM T ... 16:10 - 16:20		ISSTA Technical Papers Splendor: Static Detection of Stored XSS in Modern Web Applications 16:20 - 16:30		ISSTA Technical PapersACM SIGSOFT Distinguished Paper Improving Bit-Blasting for Nonlinear Integer Constraints 16:30 - 16:40		ISSTA Technical Papers Loop Invariant Inference through SMT Solving Enhanced Reinforcement Lea ... 16:40 - 16:50

Wed 19 Jul
Displayed time zone: Pacific 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
Habib Classroom (Gates G01)							ISSTA Technical Papers Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study ... 10:30 - 10:45			ISSTA Technical Papers PhysCov: Physical Test Coverage for Autonomous Vehicles 10:45 - 11:00			ISSTA Technical Papers BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving S ... 11:00 - 11:15			ISSTA Technical Papers Building Critical Testing Scenarios for Autonomous Driving from Real Ac ... 11:15 - 11:30			ISSTA Technical Papers Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Uni ... 11:30 - 11:45			ISSTA Technical Papers Concept-Based Automated Grading of CS-1 Programming Assignments 11:45 - 12:00																					ISSTA Technical PapersACM SIGSOFT Distinguished Paper Guiding Greybox Fuzzing with Mutation Testing 13:30 - 13:45			ISSTA Technical Papers Rare Path Guided Fuzzing 13:45 - 14:00			ISSTA Technical Papers Finding Short Slow Inputs Faster with Grammar-Based Search 14:00 - 14:15			ISSTA Technical Papers Fuzzing Embedded Systems using Debug Interfaces 14:15 - 14:30			ISSTA Technical PapersACM SIGSOFT Distinguished Paper GrayC: Greybox Fuzzing of Compilers and Analysers for C 14:30 - 14:45			ISSTA Technical Papers Fuzzing Deep Learning Compilers with HirGen 14:45 - 15:00									ISSTA Technical Papers DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity 15:30 - 15:40		ISSTA Technical Papers Precise and Efficient Patch Presence Test for Android Applications agai ... 15:40 - 15:50		ISSTA Technical Papers DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps 15:50 - 16:00		ISSTA Technical Papers Exploring Missed Optimizations in WebAssembly Optimizers 16:00 - 16:10		ISSTA Technical Papers Vectorizing Program Ingredients for Better JVM Testing 16:10 - 16:20		ISSTA Technical Papers 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing 16:20 - 16:30		ISSTA Technical Papers SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/T ... 16:30 - 16:40		ISSTA Technical Papers Silent Compiler Bug De-duplication via Three-Dimensional Analysis 16:40 - 16:50		ISSTA Technical Papers Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hard ... 16:50 - 17:00

Thu 20 Jul
Displayed time zone: Pacific 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
Habib Classroom (Gates G01)							ECOOP Research Papers Python Type Hints are Turing Complete 10:30 - 10:45			ECOOP Research Papers Restrictable Variants: A Simple and Practical Alternative to Extensible ... 10:45 - 11:00			ECOOP Research Papers Modular Compilation for Higher-order Functional Choreographies 11:00 - 11:15			ECOOP Research Papers Programming with Purity Reflection: Peaceful Coexistence of Effects, La ... 11:15 - 11:30			ECOOP Research Papers Dependent Merges and First-Class Environments 11:30 - 11:45			ECOOP Research Papers super-Charging Object-Oriented Programming Through Precise Typing of Op ... 11:45 - 12:00																					ECOOP Research Papers Synthesis-Aided Crash Consistency for Storage Systems 13:30 - 13:45			ECOOP Research Papers Synthesizing Conjunctive Queries for Code Search 13:45 - 14:00			ECOOP Research Papers Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis usin ... 14:00 - 14:15			ECOOP Research Papers Building Code Transpilers for Domain-Specific Languages Using Program S ... 14:15 - 14:30			ECOOP Research Papers Do Machine Learning Models Produce TypeScript Types that Type Check? 14:30 - 14:45			ECOOP Research Papers Toward Tool-Independent Summaries for Symbolic Execution 14:45 - 15:00									ECOOP Research Papers On the Rise of Modern Software Documentation 15:30 - 15:45			ECOOP Research Papers Rust for Morello: Always-on Memory Safety, Even in Unsafe Code 15:45 - 16:00			ECOOP Research Papers Modular Abstract Definitional Interpreters for WebAssembly 16:00 - 16:15			ECOOP Research Papers Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through ... 16:15 - 16:30			ECOOP Research Papers The Dolorem Pattern: Growing a Language through Compile-Time Function E ... 16:30 - 16:45			ECOOP Research Papers Breaking the Negative Cycle: Exploring the Design Space of Stratificati ... 16:45 - 17:00

Room information: Habib Classroom (Gates G01)

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

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

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

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

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

COP 2023

COP 2023

COP 2023

COP 2023

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

ISSTA Tool Demonstrations

ISSTA Technical Papers

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

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

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

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

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

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

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

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

Tracks

ECOOP and ISSTA 2023

Room information: Habib Classroom (Gates G01)

Program Display Configuration

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

COP 2023

COP 2023

COP 2023

COP 2023

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Tool Demonstrations

ISSTA Technical Papers

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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