Amazon Auditorium (Gates G20)

VenueSeattle

Room nameAmazon Auditorium (Gates G20)

Floor2

Room numberGates G20

Capacity250

Room InformationNo extra information available

Program

Time Zone

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

Use conference time zone: (GMT-07: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 1FUZZING at Amazon Auditorium (Gates G20)

09:00 15m Day opening		Welcome and Introductions FUZZING
09:15 45m Keynote		Three Colours of Fuzzing: Reflections and Open Challenges FUZZING K: Cristian Cadar Imperial College London

10:30 - 12:00	Session 2FUZZING at Amazon Auditorium (Gates G20)

10:30 60m Panel		Fishbowl Conversation FUZZING
11:30 30m Talk		Reflections on preregistration-based publication model FUZZING

13:30 - 15:00	Session 3FUZZING at Amazon Auditorium (Gates G20)

13:30 45m Keynote		Rich coverage signal and the consequences for scaling FUZZING K: Kostya Serebryany Google
14:15 15m Paper		Large Language Models for Fuzzing Parsers FUZZING Joshua Ackerman Dartmouth College, USA, George Cybenko Dartmouth College, USA
14:30 15m Paper		Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage FUZZING Nico Schiller CISPA Helmholtz Center for Information Security, Xinyi Xu CISPA Helmholtz Center for Information Security, Lukas Bernhard CISPA Helmholtz Center for Information Security, Nils Bars CISPA Helmholtz Center for Information Security, Moritz Schloegel CISPA, Germany, Thorsten Holz CISPA Helmholtz Center for Information Security
14:45 15m Paper		Grammar Mutation for Testing Input Parsers FUZZING Bachir Bendrissou Imperial College London, Cristian Cadar Imperial College London, Alastair F. Donaldson Imperial College London

15:30 - 17:00	Session 4FUZZING at Amazon Auditorium (Gates G20)

15:30 15m Paper		CrabSandwich: Fuzzing Rust with Rust FUZZING Addison Crump CISPA Helmholtz Center for Information Security, Dongjia Zhang EURECOM, Syeda Mahnur Asif CISPA Helmholtz Center for Information Security, Dominik Maier TU Berlin, Andrea Fioraldi EURECOM, Thorsten Holz CISPA Helmholtz Center for Information Security, Davide Balzarotti EURECOM
15:45 15m Paper		Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers FUZZING Wentao Gao , Thuan Pham The University of Melbourne, Dongge Liu , Oliver Chang Google, Toby Murray University of Melbourne, Benjamin I.P. Rubinstein University of Melbourne
16:00 15m Paper		DiPri: Distance-based Seed Prioritization for Greybox Fuzzing FUZZING Ruixiang Qian State Key Laboratory for Novel Software Technology, Nanjing University, Quanjun Zhang Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
16:15 15m Paper		InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis FUZZING Qian Yan National Key Laboratory of Science and Technology on Information System Security, Minhuan Huang National Key Laboratory of Science and Technology on Information System Security, Huayang Cao National Key Laboratory of Science and Technology on Information System Security, Shuaibing Lu Academy of Military Sciences
16:30 15m Paper		Multi-phase Parallel Fuzzer FUZZING Taotao Gu Academy of Military Sciences, Tong Wang National Key Laboratory of Science and Technology on Information System Security, Xiang Li Academy of Military Sciences, Shuaibing Lu Academy of Military Sciences, Yuanping Nie Academy of Military Sciences, Zhaowei Zhang National Key Laboratory of Science and Technology on Information System Security, Xiaohui Kuang Academy of Military Sciences, Gang Zhao National Key Laboratory of Science and Technology on Information System Security
16:45 15m Day closing		Concluding Remarks FUZZING

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

	08:30 - 09:00	OpeningECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:00 - 10:00	KeynoteECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Towards Code-Aware Code Models ECOOP and ISSTA Keynotes K: Baishakhi Ray Columbia University

10:30 - 12:00	ISSTA 1: Program Repair and DebuggingISSTA Technical Papers at Amazon Auditorium (Gates G20) Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security

10:30 15m Talk		Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction ISSTA Technical Papers Dylan Callaghan Stellenbosch University, Bernd Fischer Stellenbosch University DOI
10:45 15m Talk		A Bayesian Framework for Automated Debugging ISSTA Technical Papers Sungmin Kang KAIST, Wonkeun Choi KAIST, Shin Yoo KAIST DOI Pre-print
11:00 15m Talk		ConfFix: Repairing Configuration Compatibility Issues in Android Apps ISSTA Technical Papers Huaxun Huang Hong Kong University of Science and Technology, Chi Xu The Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI
11:15 15m Talk		Quantitative Policy Repair for Access Control on the Cloud ISSTA Technical Papers William Eiers University of California at Santa Barbara, Ganesh Sankaran University of California at Santa Barbara, Tevfik Bultan University of California at Santa Barbara DOI
11:30 15m Talk		Automated Program Repair from Fuzzing Perspective ISSTA Technical Papers YoungJae Kim Ulsan National Institute of Science and Technology, Seungheon Han Ulsan National Institute of Science and Technology, Askar Yeltayuly Khamit Ulsan National Institute of Science and Technology, Jooyong Yi UNIST (Ulsan National Institute of Science and Technology) DOI

13:30 - 15:00	ISSTA 3: Deep-Learning for Software AnalysisISSTA Technical Papers at Amazon Auditorium (Gates G20) Chair(s): Shiyi Wei University of Texas at Dallas

13:30 15m Talk		API2Vec: Learning Representations of API Sequences for Malware Detection ISSTA Technical Papers Lei Cui Zhongguancun Laboratory, Jiancong Cui University of Chinese Academy of Sciences; Institute of Information Engineering at Chinese Academy of Sciences, Yuede Ji University of North Texas, Zhiyu Hao Zhongguancun Laboratory, Lun Li Institute of Information Engineering at Chinese Academy of Sciences, Zhenquan Ding Institute of Information Engineering at Chinese Academy of Sciences DOI
13:45 15m Talk		CONCORD: Clone-Aware Contrastive Learning for Source CodeACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yangruibo Ding Columbia University, Saikat Chakraborty Microsoft Research, Luca Buratti IBM Research, Saurabh Pujar IBM, Alessandro Morari IBM Research, Gail Kaiser Columbia University, Baishakhi Ray Columbia University DOI
14:00 15m Talk		Type Batched Program Reduction ISSTA Technical Papers Golnaz Gharachorlu Simon Fraser University, Nick Sumner Simon Fraser University DOI
14:15 15m Talk		CodeGrid: A Grid Representation of Code ISSTA Technical Papers Abdoul Kader Kaboré University of Luxembourg, Earl T. Barr University College London; Google DeepMind, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg DOI
14:30 15m Talk		Guided Retraining to Enhance the Detection of Difficult Android Malware ISSTA Technical Papers Nadia Daoudi University of Luxembourg, Kevin Allix CentraleSupélec, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg DOI
14:45 15m Talk		Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning ISSTA Technical Papers Zhaoxu Zhang University of Southern California, Robert Winn University of Southern California, Yu Zhao University of Central Missouri, Tingting Yu University of Cincinnati, William G.J. Halfond University of Southern California DOI

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

08:30 - 09:15	ISSTA Impact Paper AwardECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

08:30 45m Keynote		Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications ECOOP and ISSTA Keynotes K: William G.J. Halfond University of Southern California

09:15 - 10:00	AITO Test of Time AwardECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:15 45m Keynote		AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design ECOOP and ISSTA Keynotes K: Andrew P. Black Pre-print Media Attached

10:30 - 12:00	ECOOP 1: SemanticsResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Sophia Drossopoulou Imperial College London

10:30 15m Talk		Semantics for Noninterference with Interaction Trees Research Papers Lucas Silver University of Pennsylvania, Paul He University of Pennsylvania, Ethan Cecchetti University of Maryland, College Park, Andrew K. Hirsch University at Buffalo, Steve Zdancewic University of Pennsylvania DOI
10:45 15m Talk		Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification Research Papers Lucas Silver University of Pennsylvania, Edwin Westbrook Galois, Matthew Yacavone Galois, Inc., Ryan Scott Galois, Inc. DOI
11:00 15m Talk		Multi-Graded Featherweight Java Research Papers Riccardo Bianchini University of Genoa, Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa DOI
11:15 15m Talk		Wiring circuits is easy as {0, 1, ω}, or is it… Research Papers Jan de Muijnck-Hughes University of Glasgow, Wim Vanderbauwhede University of Glasgow DOI
11:30 15m Talk		Automata Learning with an Incomplete Teacher Research Papers Mark Moeller Cornell University, Thomas Wiener Cornell University, Alaia Solko-Breslin University of Pennsylvania, Caleb Koch Stanford, Nate Foster Cornell University, Alexandra Silva Cornell University DOI
11:45 15m Talk		A Direct-Style Effect Notation for Sequential and Parallel Programs Research Papers David Richter Technical University of Darmstadt, Timon Böhler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Mira Mezini TU Darmstadt DOI Pre-print Media Attached

13:30 - 15:00	ECOOP 2: ReplicationResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Eric Jul University of Oslo

13:30 15m Talk		Behavioural Types for Local-First Software Research Papers Roland Kuhn Actyx AG, Hernan Melgratti University of Buenos Aires, Argentina, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy DOI
13:45 15m Talk		Algebraic Replicated Data Types: Programming Secure Local-First Software Research Papers Christian Kuessner Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Anna-Katharina Wickert TU Darmstadt, Germany, Mira Mezini TU Darmstadt DOI Pre-print
14:00 15m Talk		Modular Verification of State-Based CRDTs in Separation Logic Research Papers Abel Nieto Aarhus University, Arnaud Daby-Seesaram ENS Paris Saclay, Léon Gondelman Aarhus University, Amin Timany Aarhus University, Lars Birkedal Aarhus University DOI
14:15 15m Talk		VeriFx: Correct Replicated Data Types for the Masses Research Papers Kevin De Porre Vrije Universiteit Brussel, Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI
14:30 15m Talk		Nested Pure Operation-Based CRDTs Research Papers Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI
14:45 15m Talk		LoRe: A Programming Model for Verifiably Safe Local-First Software Research Papers Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Elena Yanakieva University of Kaiserslautern-Landau, Annette Bieniusa Kaiserslautern, Mira Mezini TU Darmstadt DOI Pre-print

15:30 - 17:00	ECOOP 3: DistributionResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

15:30 15m Talk		Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types Research Papers Sung-Shik Jongmans Open University of the Netherlands; CWI, Francisco Ferreira Royal Holloway, University of London DOI
15:45 15m Talk		Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts Research Papers Felix Stutz MPI-SWS DOI
16:00 15m Talk		Dynamically Updatable Multiparty Session Protocols Research Papers David Castro-Perez University of Kent, Nobuko Yoshida University of Oxford DOI
16:15 15m Talk		Designing Asynchronous Multiparty Protocols with Crash-Stop Failures Research Papers Adam D. Barwell University of St Andrews and University of Oxford, Ping Hou University of Oxford, Nobuko Yoshida University of Oxford, Fangyi Zhou Imperial College London DOI Pre-print
16:30 15m Talk		ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs Research Papers Felix Suchert Center for Advancing Electronics Dresden, TU Dresden, Lisza Zeidler Composable Operating Systems Group, Barkhausen Institute, Dresden, Jeronimo Castrillon TU Dresden, Germany, Sebastian Ertel Composable Operating Systems Group, Barkhausen Institute, Dresden DOI
16:45 15m Talk		Information Flow Analysis for Detecting Non-Determinism in Blockchain Research Papers Luca Olivieri Ca’ Foscari University of Venice, Vincenzo Arceri University of Parma, Italy, Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Fabio Tagliaferro CYS4 Srl, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Agostino Cortesi Università Ca' Foscari Venezia, Fausto Spoto U. Verona DOI

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

08:30 - 09:00	Dahl-Nygaard Prize Ceremony and AwardsECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

08:30 30m Awards		ECOOP: Dahl-Nygaard Prize Ceremony and Awards ECOOP and ISSTA Keynotes

09:00 - 10:00	KeynoteECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities ECOOP and ISSTA Keynotes K: Sophia Drossopoulou Imperial College London Media Attached

10:30 - 12:00	ISSTA 9: Testing 2ISSTA Technical Papers at Amazon Auditorium (Gates G20) Chair(s): Cristian Cadar Imperial College London

10:30 15m Talk		A Comprehensive Study on Quality Assurance Tools for Java ISSTA Technical Papers Han Liu East China Normal University, Sen Chen Tianjin University, Ruitao Feng UNSW, Chengwei Liu Nanyang Technological University, Kaixuan Li East China Normal University, Zhengzi Xu Nanyang Technological University, Liming Nie Nanyang Technological University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University DOI
10:45 15m Talk		Transforming Test Suites into Croissants ISSTA Technical Papers Yang Chen University of Illinois at Urbana-Champaign, Alperen Yildiz Sabanci University, Darko Marinov University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI
11:00 15m Talk		SlipCover: Near Zero-Overhead Code Coverage for Python ISSTA Technical Papers Juan Altmayer Pizzorno University of Massachusetts Amherst, Emery D. Berger University of Massachusetts Amherst DOI
11:15 15m Talk		To Kill a Mutant: An Empirical Study of Mutation Testing Kills ISSTA Technical Papers Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine DOI
11:30 15m Talk		Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests ISSTA Technical Papers Chengpeng Li University of Texas at Austin, M. Mahdi Khosravi Middle East Technical University, Wing Lam George Mason University, August Shi University of Texas at Austin DOI
11:45 15m Talk		Extracting Inline Tests from Unit Tests ISSTA Technical Papers Yu Liu University of Texas at Austin, Pengyu Nie University of Texas at Austin, Anna Guo University of Texas at Austin, Milos Gligoric University of Texas at Austin, Owolabi Legunsen Cornell University DOI

13:30 - 15:00	ISSTA 11: Testing 3ISSTA Technical Papers at Amazon Auditorium (Gates G20) Chair(s): Marcelo d'Amorim North Carolina State University

13:30 15m Talk		Dependency-Aware Metamorphic Testing of Datalog Engines ISSTA Technical Papers Muhammad Numair Mansur Amazon Web Services, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien DOI
13:45 15m Talk		GDsmith: Detecting Bugs in Cypher Graph Database Engines ISSTA Technical Papers Ziyue Hua Peking University, Wei Lin Peking University, Luyao Ren Peking University, Zongyang Li Peking University, Lu Zhang Peking University, Wenpin Jiao Peking University, Tao Xie Peking University DOI
14:00 15m Talk		Testing Graph Database Engines via Query Partitioning ISSTA Technical Papers Matteo Kamm ETH Zurich, Manuel Rigger National University of Singapore, Chengyu Zhang ETH Zurich, Zhendong Su ETH Zurich DOI
14:15 15m Talk		Toward Automated Detecting Unanticipated Price Feed in Smart Contract ISSTA Technical Papers Yifan Mo Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University DOI
14:30 15m Talk		Definition and Detection of Defects in NFT Smart Contracts ISSTA Technical Papers Shuo Yang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University DOI

15:30 - 17:00	Keynote – ISSTA'24 Preview – ClosingECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

15:30 60m Keynote		Machine Learning for Software Engineering ECOOP and ISSTA Keynotes K: Satish Chandra Meta Platforms
16:30 15m Day closing		ISSTA'24 Preview ECOOP and ISSTA Keynotes
16:45 15m Day closing		ISSTA Closing ECOOP and ISSTA Keynotes

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

08:30 - 09:00	Outlooks and FarewellsECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

08:30 30m Day closing		ECOOP: Outlooks and Farewells ECOOP and ISSTA Keynotes

09:00 - 10:00	KeynoteECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! ECOOP and ISSTA Keynotes K: Heather Miller Carnegie Mellon University and Two Sigma Media Attached

10:30 - 12:00	ECOOP 7: Verification and TestingResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Wenxi Wang University of Texas at Austin

10:30 15m Talk		On using VeriFast, VerCors, Plural, and KeY to check object usage Research Papers João Mota NOVA School of Science and Technology, António Ravara NOVA LINCS & FCT, NOVA University of Lisbon, Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa DOI
10:45 15m Talk		Exact Separation Logic Research Papers Petar Maksimović Imperial College London, UK, Caroline Cronjäger Ruhr-Universität Bochum, Andreas Lööw Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London DOI Pre-print
11:00 15m Talk		Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs Research Papers Ashish Mishra Purdue University, Suresh Jagannathan Purdue University DOI
11:15 15m Talk		Constraint Based Compiler Optimization for Energy Harvesting Applications Research Papers Yannan Li University of Southern California, Chao Wang University of Southern California DOI
11:30 15m Talk		Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises Research Papers Feiyang Jin Georgia Institute of Technology, Lechen Yu Georgia Institute of Technology, Tiago Cogumbreiro University of Massachusetts Boston, Vivek Sarkar Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology DOI
11:45 15m Talk		On Leveraging Tests to Infer Nullable Annotations Research Papers Jens Dietrich Victoria University of Wellington, David J. Pearce ConsenSys, Mahin Chandramohan Oracle Labs 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
Amazon Auditorium (Gates G20)							FUZZING Session 1																								FUZZING Session 2																																				FUZZING Session 3																								FUZZING Session 4

Tue 18 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
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes Opening						ECOOP and ISSTA Keynotes Keynote ISSTA Keynotes 09:00 - 10:00																		ISSTA Technical Papers ISSTA 1: Program Repair and Debugging																																				ISSTA Technical Papers ISSTA 3: Deep-Learning for Software Analysis

Wed 19 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
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes ISSTA Impact Paper Award									ECOOP and ISSTA Keynotes AITO Test of Time Award															Research Papers ECOOP 1: Semantics																																				Research Papers ECOOP 2: Replication																								Research Papers ECOOP 3: Distribution

Thu 20 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
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes Dahl-Nygaard Prize Ceremony and Awards						ECOOP and ISSTA Keynotes Keynote																		ISSTA Technical Papers ISSTA 9: Testing 2																																				ISSTA Technical Papers ISSTA 11: Testing 3																								ECOOP and ISSTA Keynotes Keynote – ISSTA'24 Preview – Closing

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


Room	8:00						30						9:00						30						10:00						30						11:00						30
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes Outlooks and Farewells						ECOOP and ISSTA Keynotes Keynote																		Research Papers ECOOP 7: Verification and Testing

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


Room	9:00			15			30			45			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
Amazon Auditorium (Gates G20)	FUZZING Welcome and Introductions 09:00 - 09:15			FUZZING Three Colours of Fuzzing: Reflections and Open Challenges 09:15 - 10:00															FUZZING Fishbowl Conversation 10:30 - 11:30												FUZZING Reflections on preregistration-based publication model 11:30 - 12:00																								FUZZING Rich coverage signal and the consequences for scaling 13:30 - 14:15									FUZZING Large Language Models for Fuzzing Parsers 14:15 - 14:30			FUZZING Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage 14:30 - 14:45			FUZZING Grammar Mutation for Testing Input Parsers 14:45 - 15:00									FUZZING CrabSandwich: Fuzzing Rust with Rust 15:30 - 15:45			FUZZING Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers 15:45 - 16:00			FUZZING DiPri: Distance-based Seed Prioritization for Greybox Fuzzing 16:00 - 16:15			FUZZING InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through ... 16:15 - 16:30			FUZZING Multi-phase Parallel Fuzzer 16:30 - 16:45			FUZZING Concluding Remarks 16:45 - 17:00

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


Room	9:00			15			30			45			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
Amazon Auditorium (Gates G20)	ECOOP and ISSTA Keynotes Towards Code-Aware Code Models 09:00 - 10:00																		ISSTA Technical Papers Improving Spectrum-Based Localization of Multiple Faults by Iterative T ... 10:30 - 10:45			ISSTA Technical Papers A Bayesian Framework for Automated Debugging 10:45 - 11:00			ISSTA Technical Papers ConfFix: Repairing Configuration Compatibility Issues in Android Apps 11:00 - 11:15			ISSTA Technical Papers Quantitative Policy Repair for Access Control on the Cloud 11:15 - 11:30			ISSTA Technical Papers Automated Program Repair from Fuzzing Perspective 11:30 - 11:45																								ISSTA Technical Papers API2Vec: Learning Representations of API Sequences for Malware Detection 13:30 - 13:45			ISSTA Technical PapersACM SIGSOFT Distinguished Paper CONCORD: Clone-Aware Contrastive Learning for Source Code 13:45 - 14:00			ISSTA Technical Papers Type Batched Program Reduction 14:00 - 14:15			ISSTA Technical Papers CodeGrid: A Grid Representation of Code 14:15 - 14:30			ISSTA Technical Papers Guided Retraining to Enhance the Detection of Difficult Android Malware 14:30 - 14:45			ISSTA Technical Papers Automatically Reproducing Android Bug Reports using Natural Language Pr ... 14:45 - 15:00

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


Room	8:00			15			30			45			9:00			15			30			45			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
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes Reflections on the Impact of Calculating Source Line Level Energy Infor ... 08:30 - 09:15									ECOOP and ISSTA Keynotes AITO Test of Time Award: Why Programming Languages Matter: Reflections ... 09:15 - 10:00															ECOOP Research Papers Semantics for Noninterference with Interaction Trees 10:30 - 10:45			ECOOP Research Papers Interaction Tree Specifications: A Framework for Specifying Recursive, ... 10:45 - 11:00			ECOOP Research Papers Multi-Graded Featherweight Java 11:00 - 11:15			ECOOP Research Papers Wiring circuits is easy as {0, 1, ω}, or is it… 11:15 - 11:30			ECOOP Research Papers Automata Learning with an Incomplete Teacher 11:30 - 11:45			ECOOP Research Papers A Direct-Style Effect Notation for Sequential and Parallel Programs 11:45 - 12:00																					ECOOP Research Papers Behavioural Types for Local-First Software 13:30 - 13:45			ECOOP Research Papers Algebraic Replicated Data Types: Programming Secure Local-First Software 13:45 - 14:00			ECOOP Research Papers Modular Verification of State-Based CRDTs in Separation Logic 14:00 - 14:15			ECOOP Research Papers VeriFx: Correct Replicated Data Types for the Masses 14:15 - 14:30			ECOOP Research Papers Nested Pure Operation-Based CRDTs 14:30 - 14:45			ECOOP Research Papers LoRe: A Programming Model for Verifiably Safe Local-First Software 14:45 - 15:00									ECOOP Research Papers Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Im ... 15:30 - 15:45			ECOOP Research Papers Asynchronous Multiparty Session Type Implementability is Decidable – Le ... 15:45 - 16:00			ECOOP Research Papers Dynamically Updatable Multiparty Session Protocols 16:00 - 16:15			ECOOP Research Papers Designing Asynchronous Multiparty Protocols with Crash-Stop Failures 16:15 - 16:30			ECOOP Research Papers ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs 16:30 - 16:45			ECOOP Research Papers Information Flow Analysis for Detecting Non-Determinism in Blockchain 16:45 - 17:00

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


Room	8:00			15			30			45			9:00			15			30			45			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
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes ECOOP: Dahl-Nygaard Prize Ceremony and Awards 08:30 - 09:00						ECOOP and ISSTA Keynotes Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capa ... 09:00 - 10:00																		ISSTA Technical Papers A Comprehensive Study on Quality Assurance Tools for Java 10:30 - 10:45			ISSTA Technical Papers Transforming Test Suites into Croissants 10:45 - 11:00			ISSTA Technical Papers SlipCover: Near Zero-Overhead Code Coverage for Python 11:00 - 11:15			ISSTA Technical Papers To Kill a Mutant: An Empirical Study of Mutation Testing Kills 11:15 - 11:30			ISSTA Technical Papers Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests 11:30 - 11:45			ISSTA Technical Papers Extracting Inline Tests from Unit Tests 11:45 - 12:00																					ISSTA Technical Papers Dependency-Aware Metamorphic Testing of Datalog Engines 13:30 - 13:45			ISSTA Technical Papers GDsmith: Detecting Bugs in Cypher Graph Database Engines 13:45 - 14:00			ISSTA Technical Papers Testing Graph Database Engines via Query Partitioning 14:00 - 14:15			ISSTA Technical Papers Toward Automated Detecting Unanticipated Price Feed in Smart Contract 14:15 - 14:30			ISSTA Technical Papers Definition and Detection of Defects in NFT Smart Contracts 14:30 - 14:45												ECOOP and ISSTA Keynotes Machine Learning for Software Engineering 15:30 - 16:30												ECOOP and ISSTA Keynotes ISSTA'24 Preview 16:30 - 16:45			ECOOP and ISSTA Keynotes ISSTA Closing 16:45 - 17:00

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Amazon Auditorium (Gates G20)							ECOOP and ISSTA Keynotes ECOOP: Outlooks and Farewells 08:30 - 09:00						ECOOP and ISSTA Keynotes Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! 09:00 - 10:00																		ECOOP Research Papers On using VeriFast, VerCors, Plural, and KeY to check object usage 10:30 - 10:45			ECOOP Research Papers Exact Separation Logic 10:45 - 11:00			ECOOP Research Papers Morpheus: Automated Safety Verification of Data-dependent Parser Combin ... 11:00 - 11:15			ECOOP Research Papers Constraint Based Compiler Optimization for Energy Harvesting Applications 11:15 - 11:30			ECOOP Research Papers Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises 11:30 - 11:45			ECOOP Research Papers On Leveraging Tests to Infer Nullable Annotations 11:45 - 12:00

Room information: Amazon Auditorium (Gates G20)

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

Fri 21 JulDisplayed time zone: Pacific Time (US & Canada) change

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

FUZZING

FUZZING

FUZZING

FUZZING

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

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

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

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

Research Papers

Research Papers

Research Papers

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

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ECOOP and ISSTA Keynotes

Fri 21 JulDisplayed time zone: Pacific Time (US & Canada) change

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

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

Fri 21 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

Fri 21 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

Fri 21 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

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