Program - ECOOP and ISSTA 2021

ECOOP and ISSTA 2021 (series) /

ECOOP and ISSTA 2021 Program

Detailed Table Column Timeline Session Timeline Detailed Timeline

Switch Program View

You're viewing a filtered program.

Do you want to keep these filters active in the new view?

Get Calendar (iCal)

Filter Program | active: YourProgram

Dates

Nothing to filter

Rooms

Nothing to filter

Tracks

Nothing to filter

Badges

Nothing to filter

Your Program

Your

Program

Program Display Configuration

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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

Sun 11 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 13:00	Session 1REBASE at Rebase Chair(s): Andreas Zeller CISPA

11:00 2h Talk		Ubiquitous Omniscient Debugging REBASE Robert O'Callahan Pernosco

13:00 - 15:00	Session 2REBASE at Rebase Chair(s): Alexandre Bergel University of Chile, Oscar Nierstrasz University of Bern, Switzerland

13:00 2h Talk		Molding Knowledge REBASE Tudor Gîrba feenk.com

15:00 - 17:00	Session 3REBASE at Rebase Chair(s): Gregor Kiczales

15:00 2h Talk		Students can't test. Or can they? REBASE John Wrenn Brown University

17:00 - 19:00	Session 4REBASE at Rebase Chair(s): Manuel Chakravarty Tweag & IOHK, Andreas Rossberg Dfinity Stiftung

17:00 2h Talk		The Move language for the Diem Blockchain REBASE Shaz Qadeer Facebook

19:00 - 21:00	Session 5REBASE at Rebase Chair(s): Chris Lattner SiFive

19:00 2h Talk		AA - Yet Another New Language REBASE Cliff Click me

21:00 - 23:00	Session 6REBASE at Rebase Chair(s): Aleksandar Prokopec Oracle Labs

21:00 2h Talk		Variational Calculus for Dummies REBASE Erik Meijer

Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 11:50	Main SessionAISTA at AISTA Chair(s): Lei Ma University of Alberta, Shuai Wang Hong Kong University of Science and Technology, Xiaofei Xie Kyushu University

09:00 30m Keynote		Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach AISTA Yun Lin National University of Singapore
09:30 20m Talk		NerdBug: Automated Bug Detection in Neural Networks AISTA Foad Jafarinejad Technical University of Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt, Germany
09:50 20m Talk		Automated Cell Header Generator for Jupyter Notebooks AISTA Ashwin Prasad Shivarpatna Venkatesh Paderborn University, Eric Bodden DOI
10:10 20m Talk		Impact of Programming Languages on Machine Learning Bugs AISTA Sebastian Sztwiertnia Technical University of Darmstadt, Maximilian Grübel Technical University of Darmstadt, Amine Chouchane Technical University of Darmstadt, Daniel Sokolowski TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt, Germany Link to publication DOI Pre-print
10:30 20m Talk		On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies AISTA Andreea Vescan Babes-Bolyai University, Camelia Chisalita-Cretu Babes-Bolyai University Cluj-Napoca, Camelia Serban Department of Computer Science, Babes-Bolyai University, Laura Diosan Babes-Bolyai University
10:50 60m Panel		Panel discussion AISTA

	09:50 - 10:00	OpeningSPIN at SPIN Chair(s): Alfons Laarman Leiden University

10:00 - 11:00	Invited talk 1SPIN at SPIN Chair(s): Dragan Bosnacki Eindhoven University of Technology, The Netherlands

10:00 60m Talk		Safety versus security: why have they not married yet? SPIN Marielle Stoelinga University of Twente and Radboud University, Nijmegen

10:30 - 11:50	Morning sessionVORTEX at VORTEX Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

10:30 40m Keynote		Increasing Confidence in Autonomous Systems VORTEX I: Michael Fisher University of Manchester, UK File Attached
11:10 20m Talk		Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents VORTEX Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri File Attached
11:30 20m Talk		RVPLAN: A General Purpose Framework for Replanning using Runtime Verification VORTEX Angelo Ferrando DIBRIS, Università di Genova, Rafael C. Cardoso File Attached

11:00 - 12:00	Session 1SPIN at SPIN Chair(s): Anton Wijs Eindhoven University of Technology

11:00 20m Talk		Verifying Pipeline Implementations in OpenMP SPIN Maik Wiesner TU Darmstadt, Marie-Christine Jakobs TU Darmstadt, Germany
11:20 20m Talk		A model-checked I2C specification SPIN Lukas Humbel ETH Zurich, Daniel Schwyn ETH Zurich, Nora Hossle ETH Zurich, Roni Häcki ETH Zurich, Melissa Licciardello ETH Zurich, Jan Schär ETH Zurich, David Cock ETH Zurich, Michael Giardino ETH Zurich, Timothy Roscoe ETH Zurich
11:40 20m Talk		PatEC: Pattern-based Equivalence Checking SPIN Marie-Christine Jakobs TU Darmstadt, Germany

	12:00 - 13:00	Lunch breakSPIN at SPIN

13:00 - 17:00	COPCOP at COP

13:00 30m Talk		[Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System COP Kenji Hisazumi Kyushu University, Tsuneo Nakanishi File Attached
13:30 30m Talk		[Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments COP Sebastian Ebert Technische Universität Dresden, Tim Kluge TU Dresden, Germany, Sebastian Götz Technische Universität Dresden DOI File Attached
14:00 30m Talk		[Invited Talk] A Method for Context-Oriented Management of ROS2-FPGA Module Reconfiguration COP Takeshi Ohkawa Tokai University File Attached
14:30 15m Talk		[Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level COP Yudai Tanabe Tokyo Institute of Technology File Attached
14:45 15m Talk		[Student Talk] Object-Oriented Programming with Versions COP Luthfan Anshar Lubis File Attached
15:00 30m Talk		[Invited Talk] Aspect-Oriented Modeling Mechanism for Ultra-Flexible Software Architecture COP Natsuko Noda Shibaura Institute of Technology File Attached
15:30 30m Talk		[Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition COP Toni Mattis Hasso Plattner Institute, University of Potsdam, Tom Beckmann Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany DOI File Attached
16:00 30m Talk		[Invited Talk] Generating Adaptations in Context-Oriented Programming using Reinforcement Learning Options COP Nicolás Cardozo Universidad de los Andes Pre-print Media Attached
16:30 30m Talk		[Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages COP Achiya Elyasaf Ben-Gurion University of the Negev, Arnon Sturm Ben-Gurion University of the Negev DOI File Attached

13:00 - 14:00	Invited talk 2SPIN at SPIN Chair(s): Ana Sokolova University of Salzburg

13:00 60m Talk		Spatial Model Checking and its applications to Medical Image Analysis SPIN Vincenzo Ciancia Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY

13:30 - 14:50	Afternoon session 1VORTEX at VORTEX Chair(s): Wolfgang Ahrendt Chalmers University of Technology

13:30 40m Keynote		The E-ACSL Perspective on Runtime Assertion Checking VORTEX Julien Signoles CEA LIST File Attached
14:10 20m Talk		Towards Aggregate Monitoring of Spatio-temporal Properties VORTEX Giorgio Audrito Università di Torino, Gianluca Torta File Attached
14:30 20m Talk		RM for Users’ Safety and Security in the Built Environment VORTEX Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giuseppe Di Giuda , Silvia Meschini , Laura Pellegrini , Elena Seghezzi , Lavinia Chiara Tagliabue , Lorenzo Testa , Gianluca Torta File Attached

14:00 - 15:00	Session 2SPIN at SPIN Chair(s): Sergio Mover Ecole Polytechnique

14:00 20m Talk		Spotlight Abstraction in Model Checking Real-Time Task Schedulability SPIN Madoda Nxumalo University of Pretoria, Nils Timm University of Pretoria, Stefan Gruner University of Pretoria
14:20 20m Talk		Accelerating the Computation of Dead and Concurrent Places using Reductions SPIN Nicolas Amat LAAS-CNRS, Silvano DAL ZILIO LAAS-CNRS, Didier Le Botlan LAAS-CNRS
14:40 20m Coffee break		Coffee break SPIN

15:00 - 16:00	Invited talk 3SPIN at SPIN Chair(s): Stefan Leue

15:00 60m Talk		The Rise and Fall of Linear Temporal Logic SPIN Moshe Vardi

15:30 - 16:50	Afternoon session 2VORTEX at VORTEX Chair(s): Adrian Francalanza University of Malta

15:30 40m Keynote		Synchronous and Asynchronous Stream Runtime Verification VORTEX I: César Sánchez IMDEA Software Institute File Attached
16:10 20m Talk		Optional Monitoring for Long-Lived Transactions VORTEX Joshua Ellul University of Malta, Gordon Pace University of Malta File Attached
16:30 20m Talk		Runtime Verification for Trustworthy Secure Shell Deployment VORTEX Axel Curmi , Christian Colombo , Mark Vella File Attached

16:00 - 17:00	Session 3SPIN at SPIN Chair(s): Tatjana Petrov Universität Konstanz

16:00 20m Talk		Go2Pins: a framework for the LTL verification of Go programs SPIN Etienne Renault LRDE, Alexandre Kirszenberg LRDE, Hugo Moreau LRDE, Antoine Martin EPITA, LRDE
16:20 20m Talk		C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs SPIN Antoine Chenoy Université catholique de Louvain, Fabien Duchene ICTEAM, UCLouvain, Thomas Given-Wilson Université catholique de Louvain, Axel Legay Université Catholique de Louvain, Belgium
16:40 20m Talk		Probabilistic Model Checking of Randomized Java Code SPIN Syyeda Zainab Fatmi York University, Xiang Chen University of Waterloo, Yash Dhamija York University, Maeve Wildes McGill University, Qiyi Tang University of Oxford, Franck van Breugel York University, Canada

	17:00 - 17:15	Closing statementSPIN at SPIN Chair(s): Alfons Laarman Leiden University

17:00 - 18:30	Summer SchoolSummer School at Summer School Chair(s): Andreas Zeller CISPA

17:00 90m Talk		Who is Afraid of the Turnstile? Summer School S: Andreas Rossberg Dfinity Stiftung Media Attached

19:00 - 20:30	Summer SchoolSummer School at Summer School Chair(s): Frank Tip Northeastern University

19:00 90m Talk		Let me fix that for you: An Overview of Automated Program Repair Summer School S: Claire Le Goues Carnegie Mellon University Media Attached

21:00 - 22:30	Summer SchoolSummer School at Summer School Chair(s): Andreas Zeller CISPA

21:00 90m Talk		FanSASTic! The magic behind Static Application Security Testing Summer School S: Eric Bodden University of Paderborn; Fraunhofer IEM Link to publication Media Attached

Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30	Summer SchoolSummer School at Summer School Chair(s): Frank Tip Northeastern University

00:00 90m Talk		Foundations of Software Testing Summer School S: Marcel Böhme Monash University Media Attached

02:00 - 03:30	Summer SchoolSummer School at Summer School Chair(s): Frank Tip Northeastern University

02:00 90m Talk		Machine Learning for Developer Productivity Summer School S: Satish Chandra Facebook

08:00 - 09:30	Summer SchoolSummer School at Summer School Chair(s): Andreas Zeller CISPA

08:00 90m Talk		Who is Afraid of the Turnstile? Summer School S: Andreas Rossberg Dfinity Stiftung Media Attached

10:00 - 11:30	Summer SchoolSummer School at Summer School Chair(s): Andreas Zeller CISPA

10:00 90m Talk		FanSASTic! The magic behind Static Application Security Testing Summer School S: Eric Bodden University of Paderborn; Fraunhofer IEM Link to publication Media Attached

13:00 - 17:30	ICOOOLPSICOOOLPS at ICOOOLPS

13:00 5m Other		Welcome ICOOOLPS
13:05 25m Talk		The Two Cultures of Language ImplementationInvited Talk ICOOOLPS Stephen Kell King's College London
13:30 20m Paper		Naïve Transient Cast Insertion Isn’t (That) BadPaper ICOOOLPS P: Erin Greenwood-Thessman Victoria University of Wellington, Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington DOI Pre-print
13:50 20m Talk		Threaded Code Generation with a Meta-tracing JIT CompilerPosition Paper ICOOOLPS P: Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, CF Bolz-Tereick , Youyou Cong Tokyo Institute of Technology Pre-print
14:10 10m Social Event		Break ICOOOLPS
14:20 20m Talk		Avoiding Monomorphisation Bottlenecks with Phase-based Splitting ICOOOLPS P: Sophie Kaleba University of Kent, Stefan Marr University of Kent, Richard Jones University of Kent Pre-print
14:40 20m Talk		Native Implementation of Mutable Value SemanticsPosition Paper ICOOOLPS P: Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dave Abrahams Google, Dan Zheng Purdue University, Google Brain, Brennan Saeta Google Pre-print
15:00 20m Talk		An Eclipse OMR-based Garbage Collector for Python ICOOOLPS P: Joannah Nanjekye University of New Brunswick, David Bremner University of New Brunswick, Aleksandar Micic IBM, Canada
15:20 20m Social Event		Break ICOOOLPS
15:40 20m Talk		Userfault Objects: Transparent Programmable MemoryPosition Paper ICOOOLPS P: Konrad Siek Czech Technical University in Prague, Colette Kerr ČVUT Pre-print
16:00 20m Talk		The Strange and Wondrous Life of Functions in Ř ICOOOLPS Jan Ječmen , Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University in Prague, P: Jan Vitek Northeastern University / Czech Technical University File Attached
16:20 20m Talk		Non-Intrusive Migration from Lazy to Eager Evaluation ICOOOLPS P: Aviral Goel Northeastern University, Jan Vitek Northeastern University / Czech Technical University
16:40 10m Social Event		Break ICOOOLPS
16:50 20m Talk		A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications ICOOOLPS P: Kyle Liang Carnegie Mellon University, Reese Grimsley CMU, Eve Hu CMU, Edward Andert Arizona State University, Mohammad Khayatian Arizona State University, Aviral Shrivastava Arizona State University, Carlee Joe-Wong CMU, Jonathan Aldrich Carnegie Mellon University, Bob Iannucci CMU
17:10 20m Talk		Fuel: A Compiler Framework for Safe Memory ManagementPosition Paper ICOOOLPS Dimi Racordon University of Geneva, Switzerland, P: Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland Pre-print

14:00 - 14:15	WelcomeDoctoral Symposium at Doctoral Symposium

14:00 3m Talk		Welcome Talk Doctoral Symposium

14:00 - 16:35	FTfJP Workshop-1FTfJP at FTfJP

14:00 5m Talk		Welcome FTfJP
14:05 30m Talk		Refactoring traces to identify concurrency improvements FTfJP P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
14:35 30m Talk		A Generic Type System for Featherweight Java FTfJP Ulrich Schöpp fortiss GmbH, P: Chuangjie Xu fortiss GmbH
15:05 30m Talk		Source code patches from dynamic analysis FTfJP P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
15:35 30m Talk		Reconstructing Z3 Proofs in KeY: There and Back Again FTfJP P: Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Jonas Schiffl , Mattias Ulbrich Karlsruhe Institute of Technology File Attached
16:05 30m Talk		Using Dafny to Solve the VerifyThis 2021 Challenges FTfJP P: Marie Farrell University of Liverpool, Rosemary Monahan National University of Ireland, A: Conor Reynolds Maynooth University

14:15 - 15:15	KeynoteDoctoral Symposium at Doctoral Symposium

14:15 60m Talk		Keynote Doctoral Symposium A: Mary Lou Soffa University of Virginia Media Attached

15:30 - 17:30	Student Presentations Session 1Doctoral Symposium at Doctoral Symposium Chair(s): Eric Bodden University of Paderborn; Fraunhofer IEM Panel Members: Myra Cohen, Iowa State University, USA Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany Yang Liu, Nanyang Technological University, Singapore Mary Lou Soffa, University of Virginia, USA

15:30 30m Talk		Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation) Doctoral Symposium A: Zhouxian Jian Beijing Jiaotong University
16:00 30m Talk		JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation) Doctoral Symposium Jihyeok Park KAIST
16:30 30m Talk		AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation) Doctoral Symposium A: Ben Wang Hohai University
17:00 30m Talk		Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation) Doctoral Symposium A: Haibo Chen Jiangsu University

16:50 - 18:50	FTfJP Workshop-2FTfJP at FTfJP

16:50 30m Talk		IntelliJML: A JML plugin for IntelliJ IDEA FTfJP P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente File Attached
17:20 30m Talk		Ensuring correct cryptographic algorithm and provider usage at compile time FTfJP P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo Media Attached
17:50 30m Talk		Behavioural Separation with Parallel Usages FTfJP Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark
18:20 30m Talk		Combining Formal and Machine Learning Techniques for the Generation of JML Specifications FTfJP P: Armand Puccetti , Gaël de Chalendar , Pierre-Yves Gibello DOI File Attached
18:50 30m Talk		JML and OpenJML for Java 16 FTfJP P: David Cok Safer Software Consulting, LLC File Attached

	18:30 - 19:15	Informal Break OutDoctoral Symposium at Doctoral Symposium

19:00 - 20:30	Summer SchoolSummer School at Summer School Chair(s): Frank Tip Northeastern University

19:00 90m Talk		Machine Learning for Developer Productivity Summer School S: Satish Chandra Facebook

	19:15 - 20:15	Panel Q&ADoctoral Symposium at Doctoral Symposium

19:20 - 20:00	FTfJP Workshop-3FTfJP at FTfJP

19:20 40m Live Q&A		Discussion and Conclusion FTfJP

20:30 - 22:30	Student presentations Session 2Doctoral Symposium at Doctoral Symposium Chair(s): Wei Le Iowa State University Panel Members: Myra Cohen, Iowa State University, USA Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany Yang Liu, Nanyang Technological University, Singapore Mira Mezini, Technische Universität Darmstadt, Germany Mary Lou Soffa, University of Virginia, USA

20:30 30m Talk		Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation) Doctoral Symposium A: Andrei Lascu Imperial College London
21:00 30m Talk		Using refactoring features to solve the problem of nested refactoring (Junior Presentation) Doctoral Symposium A: Tan Liang Philipps-Universität Marburg
21:30 30m Talk		Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation) Doctoral Symposium A: Luigi Libero Lucio Starace Federico II University of Naples
22:00 30m Talk		Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation) Doctoral Symposium A: Fabian Bauer-Marquart Universität Konstanz

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30	Summer SchoolSummer School at Summer School Chair(s): Frank Tip Northeastern University

00:00 90m Talk		Let me fix that for you: An Overview of Automated Program Repair Summer School S: Claire Le Goues Carnegie Mellon University Media Attached

08:00 - 09:30	Summer SchoolSummer School at Summer School Chair(s): Andreas Zeller CISPA

08:00 90m Talk		Foundations of Software Testing Summer School S: Marcel Böhme Monash University Media Attached

17:00 - 17:20	ECOOP & ISSTA Opening Session (time band 1)ECOOP and ISSTA Opening at Opening

17:00 20m		Opening Session ECOOP and ISSTA Opening E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University Media Attached

17:20 - 18:20	Celebrating 30 Editions of ISSTAISSTA Keynotes at ISSTA 30th Panel Chair(s): Cristian Cadar Imperial College London, UK, Xiangyu Zhang Purdue University

17:20 60m Panel		ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1) ISSTA Keynotes Lionel Briand University of Luxembourg; University of Ottawa, Tevfik Bultan University of California, Santa Barbara, Myra Cohen Iowa State University, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Media Attached

18:30 - 19:30	Types (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Sam Tobin-Hochstadt Indiana University

18:30 20m Talk		Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP Technical Papers Anish Tondwalkar University of California, San Diego, Matthew Kolosick University of California, San Diego, Ranjit Jhala University of California at San Diego DOI
18:50 20m Talk		Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP Technical Papers Hendrik van Antwerpen Delft University of Technology, Eelco Visser Delft University of Technology DOI File Attached
19:10 20m Talk		Idris 2: Quantitative Type Theory in Practice ECOOP Technical Papers Edwin Brady University of St Andrews, UK DOI Media Attached

18:30 - 19:30	Session 1 (time band 1) Web ApplicationsISSTA Technical Papers at ISSTA 1 Chair(s): Xusheng Xiao Case Western Reserve University

18:30 20m Talk		Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms ISSTA Technical Papers Kulani Tharaka Mahadewa National University of Singapore, Yanjun Zhang University of Queensland, Guangdong Bai University of Queensland, Lei Bu Nanjing University, Zhiqiang Zuo Nanjing University, Dileepa Fernando Sri Lanka Technological Campus, Zhenkai Liang National University of Singapore, Jin Song Dong National University of Singapore DOI Media Attached File Attached
18:50 20m Talk		WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes ISSTA Technical Papers Fei Shao Case Western Reserve University, Rui Xu Case Western Reserve University, Wasif Haque University of Texas at Dallas, Jingwei Xu Peking University, Ying Zhang Peking University, Wei Yang University of Texas at Dallas, Yanfang Ye Case Western Reserve University, Xusheng Xiao Case Western Reserve University DOI File Attached
19:10 20m Talk		Modular Call Graph Construction for Security Scanning of Node.js Applications ISSTA Technical Papers Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University, Anders Møller Aarhus University DOI Media Attached

18:30 - 19:30	Session 2 (time band 1) Testing Deep Learning Systems 1ISSTA Technical Papers at ISSTA 2 Chair(s): Lin Tan Purdue University

18:30 20m Talk		Attack as Defense: Characterizing Adversarial Examples using Robustness ISSTA Technical Papers Zhe Zhao ShanghaiTech University, Guangke Chen ShanghaiTech University, Jingyi Wang Zhejiang University, Yiwei Yang ShanghaiTech University, Fu Song ShanghaiTech University, Jun Sun Singapore Management University DOI Media Attached
18:50 20m Talk		Exposing Previously Undetectable Faults in Deep Neural Networks ISSTA Technical Papers Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford DOI Pre-print Media Attached
19:10 20m Talk		DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults ISSTA Technical Papers Nargiz Humbatova USI Lugano, Gunel Jahangirova USI Lugano, Paolo Tonella USI Lugano DOI

18:40 - 19:40	AmazonSponsors at Sponsors Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality. In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes!

18:40 60m		Amazon Sponsors

19:40 - 20:40	Modular Programming / Types (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Alexander J. Summers University of British Columbia (UBC)

19:40 20m Talk		Compositional ProgrammingTOPLAS Journal-First ECOOP Technical Papers Weixin Zhang University of Bristol, UK, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI Pre-print Media Attached File Attached
20:00 20m Talk		Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP Technical Papers Jan Bessai Technical University Dortmund, George Heineman WPI, Boris Düdder University of Copenhagen DOI
20:20 20m Talk		A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First ECOOP Technical Papers Mingqi Xue , Bruno C. d. S. Oliveira University of Hong Kong DOI

19:40 - 20:40	Session 3 (time band 1) Android Application TestingISSTA Technical Papers at ISSTA 1 Chair(s): Alex Orso Georgia Institute of Technology

19:40 20m Talk		Parema: An Unpacking Framework for Demystifying VM-Based Android Packers ISSTA Technical Papers Lei Xue Hong Kong Polytechnic University, Yuxiao Yan Xi'an Jiaotong University; Hong Kong Polytechnic University, Luyi Yan Hong Kong Polytechnic University, Muhui Jiang Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Dinghao Wu Pennsylvania State University, Yajin Zhou Zhejiang University DOI
20:00 20m Talk		An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools ISSTA Technical Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wing Lam University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached
20:20 20m Talk		Semantic Matching of GUI Events for Test Reuse: Are We There Yet? ISSTA Technical Papers Leonardo Mariani University of Milano-Bicocca, Ali Mohebbi USI Lugano, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Valerio Terragni University of Auckland DOI Pre-print

19:40 - 20:20	Session 4 (time band 1) Testing Deep Learning Systems 2ISSTA Technical Papers at ISSTA 2 Chair(s): Sebastian Elbaum University of Virginia

19:40 20m Talk		DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search ISSTA Technical Papers Tahereh Zohdinasab USI Lugano, Vincenzo Riccio USI Lugano, Alessio Gambi University of Passau, Paolo Tonella USI Lugano DOI File Attached
20:00 20m Talk		Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper) ISSTA Technical Papers Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Thomas Stifter IEE, Jun Wang Post Luxembourg DOI

20:40 - 21:10	Posters (time band 1)Posters at Posters

20:40 30m Poster		Can we run in parallel? Automating Loop Parallelization for TornadoVM Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi
20:40 30m Poster		Techniques for Evaluating Pragmatic Call Graph Builders Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
20:40 30m Poster		Exposing Previously Undetectable Faults in Deep Neural Networks Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford
20:40 30m Poster		Refactoring Scala Programs to Promote Functional Design Patterns Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached
20:40 30m Poster		Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 00:20	ECOOP & ISSTA Opening Session (time band 2)ECOOP and ISSTA Opening at Opening

00:00 20m		Opening Session ECOOP and ISSTA Opening E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University Media Attached

00:20 - 01:20	Language Design (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Jens Dietrich Victoria University of Wellington

00:20 20m Talk		Lambda-based object-oriented programmingPearl ECOOP Technical Papers Marco Servetto Victoria University Wellington, New Zealand, Elena Zucca University of Genova DOI Media Attached
00:40 20m Talk		ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP Technical Papers Maxime Buyse Uber ATCP, Remi Delmas Uber ATCP, Youssef Hamadi Uber Elevate DOI
01:00 20m Talk		Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks ECOOP Technical Papers Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology DOI

00:20 - 01:20	Session 5 (time band 2) Android Application Analysis and TestingISSTA Technical Papers at ISSTA 1 Chair(s): William G.J. Halfond University of Southern California

00:20 20m Talk		GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps ISSTA Technical Papers Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Guiyin Li Nanjing University, Xia Zeng Tencent, Tian Zhang Nanjing University, Yuetang Deng Tencent, Xuandong Li Nanjing University DOI
00:40 20m Talk		Understanding and Finding System Setting-Related Defects in Android Apps ISSTA Technical Papers Jingling Sun East China Normal University, Ting Su East China Normal University, Junxin Li East China Normal University, Zhen Dong National University of Singapore, Geguang Pu East China Normal University, Tao Xie Peking University, Zhendong Su ETH Zurich DOI Media Attached
01:00 20m Talk		HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis ISSTA Technical Papers Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Xiang Li Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI

00:20 - 01:20	Session 6 (time band 2) FuzzingISSTA Technical Papers at ISSTA 2 Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign

00:20 20m Talk		Seed Selection for Successful Fuzzing ISSTA Technical Papers Adrian Herrera Australian National University; DST, Hendra Gunadi Australian National University, Shane Magrath DST, Michael Norrish CSIRO’s Data61; Australian National University, Mathias Payer EPFL, Tony Hosking Australian National University; CSIRO’s Data61 DOI Pre-print File Attached
00:40 20m Talk		Gramatron: Effective Grammar-Aware Fuzzing ISSTA Technical Papers Prashast Srivastava Purdue University, Mathias Payer EPFL DOI Pre-print Media Attached File Attached
01:00 20m Talk		QFuzz: Quantitative Fuzzing for Side Channels ISSTA Technical Papers Yannic Noller National University of Singapore, Saeid Tizpaz-Niari University of Texas at El Paso DOI Pre-print Media Attached

01:40 - 02:20	Types (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Werner Dietl University of Waterloo

01:40 20m Talk		Type-Directed Operational Semantics for Gradual Typing ECOOP Technical Papers Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong DOI Media Attached File Attached
02:00 20m Talk		Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP Technical Papers Anish Tondwalkar University of California, San Diego, Matthew Kolosick University of California, San Diego, Ranjit Jhala University of California at San Diego DOI

01:40 - 02:20	Session 7 (time band 2) Data Processing Application AnalysisISSTA Technical Papers at ISSTA 1 Chair(s): Darko Marinov University of Illinois at Urbana-Champaign

01:40 20m Talk		SAND: A Static Analysis Approach for Detecting SQL AntipatternsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yingjun Lyu Amazon, Sasha Volokh University of Southern California, William G.J. Halfond University of Southern California, Omer Tripp Amazon DOI
02:00 20m Talk		Semantic Table Structure Identification in Spreadsheets ISSTA Technical Papers Yakun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xiao Lv Microsoft Research, Haoyu Dong Microsoft Research, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shi Han Microsoft Research, Dongmei Zhang Microsoft Research, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI Media Attached

01:40 - 02:20	Session 8 (time band 2) Dynamic AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Luís Pina University of Illinois at Chicago

01:40 20m Talk		Runtime Detection of Memory Errors with Smart Status ISSTA Technical Papers Zhe Chen Nanjing University of Aeronautics and Astronautics, Chong Wang Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Yulei Sui University of Technology Sydney, Jingling Xue UNSW DOI Media Attached
02:00 20m Talk		UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities ISSTA Technical Papers Binfa Gui Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Media Attached File Attached

02:20 - 02:50	Posters (time band 2)Posters at Posters

02:20 30m Poster		KLEEMA: A DSE based Mutation Analyser Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore
02:20 30m Poster		Techniques for Evaluating Pragmatic Call Graph Builders Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
02:20 30m Poster		Native Implementation of Mutable Value Semantics Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google
02:20 30m Poster		Toward Optimal MC/DC Test Case Generation Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore
02:20 30m Poster		Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached
02:20 30m Poster		Target Code-coverage in APP Automatic Compatibility Testing Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA

08:00 - 09:00	Celebrating 30 Editions of ISSTAISSTA Keynotes at ISSTA 30th Panel Chair(s): Cristian Cadar Imperial College London, UK, Xiangyu Zhang Purdue University

08:00 60m Panel		ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) ISSTA Keynotes Abhik Roychoudhury National University of Singapore, Zhendong Su ETH Zurich, Andreas Zeller CISPA, Dongmei Zhang Microsoft Research Media Attached

09:10 - 10:10	Potpourri (time band 3)ECOOP Technical Papers at ECOOP 1 Chair(s): Viktor Kunčak EPFL, Switzerland

09:10 20m Talk		Type-Directed Operational Semantics for Gradual Typing ECOOP Technical Papers Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong DOI Media Attached File Attached
09:30 20m Talk		Lambda-based object-oriented programmingPearl ECOOP Technical Papers Marco Servetto Victoria University Wellington, New Zealand, Elena Zucca University of Genova DOI Media Attached
09:50 20m Talk		ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP Technical Papers Maxime Buyse Uber ATCP, Remi Delmas Uber ATCP, Youssef Hamadi Uber Elevate DOI

09:10 - 10:50	Session 9 (time band 3) Testing Deep Learning Systems 3ISSTA Technical Papers at ISSTA 1 Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology

09:10 20m Talk		Attack as Defense: Characterizing Adversarial Examples using Robustness ISSTA Technical Papers Zhe Zhao ShanghaiTech University, Guangke Chen ShanghaiTech University, Jingyi Wang Zhejiang University, Yiwei Yang ShanghaiTech University, Fu Song ShanghaiTech University, Jun Sun Singapore Management University DOI Media Attached
09:30 20m Talk		Exposing Previously Undetectable Faults in Deep Neural Networks ISSTA Technical Papers Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford DOI Pre-print Media Attached
09:50 20m Talk		Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper) ISSTA Technical Papers Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Thomas Stifter IEE, Jun Wang Post Luxembourg DOI
10:10 20m Talk		DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search ISSTA Technical Papers Tahereh Zohdinasab USI Lugano, Vincenzo Riccio USI Lugano, Alessio Gambi University of Passau, Paolo Tonella USI Lugano DOI File Attached
10:30 20m Talk		DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults ISSTA Technical Papers Nargiz Humbatova USI Lugano, Gunel Jahangirova USI Lugano, Paolo Tonella USI Lugano DOI

09:10 - 10:50	Session 10 (time band 3) Symbolic Execution 1ISSTA Technical Papers at ISSTA 2 Chair(s): Sébastien Bardin CEA LIST, University Paris-Saclay

09:10 20m Talk		Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration ISSTA Technical Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI
09:30 20m Talk		Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) ISSTA Technical Papers Sicheng Luo Fudan University, Hui Xu Fudan University, Yanxiang Bi Fudan University, Xin Wang Fudan University, Yangfan Zhou Fudan University DOI File Attached
09:50 20m Talk		Synthesize Solving Strategy for Symbolic Execution ISSTA Technical Papers Zhenbang Chen National University of Defense Technology, Zehua Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Guofeng Zhang Hunan University, Weiyu Pan National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI
10:10 20m Talk		Type and Interval Aware Array Constraint Solving for Symbolic ExecutionACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Jun Sun Singapore Management University, Ji Wang National University of Defense Technology DOI
10:30 20m Talk		Grammar-Agnostic Symbolic Execution by Token Symbolization ISSTA Technical Papers Weiyu Pan National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Guofeng Zhang Hunan University, Yunlai Luo National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI

09:10 - 10:10	AmazonSponsors at Sponsors Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality. In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes!

09:10 60m		Amazon Sponsors

10:10 - 11:10	Modular Programming / Types (time band 3)ECOOP Technical Papers at ECOOP 2 Chair(s): Eelco Visser Delft University of Technology

10:10 20m Talk		A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First ECOOP Technical Papers Mingqi Xue , Bruno C. d. S. Oliveira University of Hong Kong DOI
10:30 20m Talk		Compositional ProgrammingTOPLAS Journal-First ECOOP Technical Papers Weixin Zhang University of Bristol, UK, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI Pre-print Media Attached File Attached
10:50 20m Talk		Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP Technical Papers Jan Bessai Technical University Dortmund, George Heineman WPI, Boris Düdder University of Copenhagen DOI

11:10 - 11:40	Posters (time band 3)Posters at Posters

11:10 30m Poster		Exposing Previously Undetectable Faults in Deep Neural Networks Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford
11:10 30m Poster		KLEEMA: A DSE based Mutation Analyser Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore
11:10 30m Poster		Target Code-coverage in APP Automatic Compatibility Testing Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA
11:10 30m Poster		Native Implementation of Mutable Value Semantics Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google
11:10 30m Poster		Toward Optimal MC/DC Test Case Generation Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore
11:10 30m Poster		Refactoring Scala Programs to Promote Functional Design Patterns Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached
11:10 30m Poster		Can we run in parallel? Automating Loop Parallelization for TornadoVM Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi

17:00 - 18:00	Keynote - Dahl-Nygaard Senior Prize (time band 1)ECOOP Keynotes at Keynote Chair(s): Davide Ancona DIBRIS, University of Genova, Italy See AITO’s Dahl-Nygaard Prize Winners webpage.

17:00 60m Keynote		Dahl-Nygaard Senior Prize: Theory to UnderstandingKeynote ECOOP Keynotes K: Kim Bruce Pomona College Media Attached

18:00 - 18:05	ISSTA Tool Demos (One-Minute Teasers) 1ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

18:00 5m Other		One-Minute Teasers ISSTA Tool Demonstrations

18:05 - 18:40	ISSTA Tool Demos (Live Discussion) 1ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

18:05 35m Live Q&A		RESTest: Automated Black-Box Testing of RESTful Web APIs ISSTA Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville
18:05 35m Live Q&A		C4: the C Compiler Concurrency Checker ISSTA Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London
18:05 35m Live Q&A		echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing ISSTA Tool Demonstrations Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
18:05 35m Live Q&A		SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts ISSTA Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
18:05 35m Live Q&A		ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing ISSTA Tool Demonstrations Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne

19:00 - 20:00	Program Analysis (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Uday P. Khedker Indian Institute of Technology (IIT) Bombay

19:00 20m Talk		Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper ECOOP Technical Papers Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann Technical University Dortmund, Eric Bodden University of Paderborn; Fraunhofer IEM Link to publication DOI Pre-print Media Attached
19:20 20m Talk		Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP Technical Papers Aleksandar S. Dimovski Mother Teresa University, Skopje, Sven Apel Saarland University DOI
19:40 20m Talk		Gradual Program Analysis for Null Pointers ECOOP Technical Papers Sam Estep Carnegie Mellon University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Jane Street, Joshua Sunshine Carnegie Mellon University DOI Pre-print Media Attached File Attached

19:00 - 20:00	Multiparty Programming and Session Types (time band 1)ECOOP Technical Papers at ECOOP 2 Chair(s): Mira Mezini TU Darmstadt, Germany

19:00 20m Talk		Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl ECOOP Technical Papers Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark, David Richter Technical University of Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt Link to publication DOI
19:20 20m Talk		Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP Technical Papers Paul Harvey Rakuten Mobile Innovation Studio, Simon Fowler University of Glasgow, Ornela Dardha University of Glasgow, Simon J. Gay University of Glasgow, UK DOI Pre-print Media Attached
19:40 20m Talk		On the Monitorability of Session Types, in Theory and Practice ECOOP Technical Papers Christian Bartolo Burlò Gran Sasso Science Institute, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark DOI

19:00 - 20:20	Session 11 (time band 1) Machine Learning and TestingISSTA Technical Papers at ISSTA 1 Chair(s): August Shi University of Texas at Austin

19:00 20m Talk		Interval Constraint-Based Mutation Testing of Numerical Specifications ISSTA Technical Papers Clothilde Jeangoudoux MPI-SWS, Eva Darulova MPI-SWS, Christoph Lauter University of Alaska at Anchorage DOI
19:20 20m Talk		Predoo: Precision Testing of Deep Learning Operators ISSTA Technical Papers Xufan Zhang Nanjing University, Ning Sun Nanjing University, Chunrong Fang Nanjing University, Jiawei Liu Nanjing University, Jia Liu Nanjing University, Dong Chai Huawei, Jiang Wang Huawei, Zhenyu Chen Nanjing University DOI
19:40 20m Talk		TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects ISSTA Technical Papers Saikat Dutta University of Illinois at Urbana-Champaign, Jeeva Selvam University of Illinois at Urbana-Champaign, Aryaman Jain University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign DOI
20:00 20m Talk		Deep Just-in-Time Defect Prediction: How Far Are We? ISSTA Technical Papers Zhengran Zeng Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Haotian Zhang Kwai, Lingming Zhang University of Illinois at Urbana-Champaign DOI

19:00 - 20:20	Session 12 (time band 1) Configuration and Dependency ISSTA Technical Papers at ISSTA 2 Chair(s): Jonathan Bell Northeastern University

19:00 20m Talk		Fixing Dependency Errors for Python Build Reproducibility ISSTA Technical Papers Suchita Mukherjee University of California at Davis, Abigail Almanza University of California at Davis, Cindy Rubio-González University of California at Davis DOI
19:20 20m Talk		Test-Case Prioritization for Configuration TestingACM SIGSOFT Distinguished Paper ISSTA Technical Papers Runxiang Cheng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign DOI
19:40 20m Talk		The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android ISSTA Technical Papers Austin Mordahl University of Texas at Dallas, Shiyi Wei University of Texas at Dallas DOI Pre-print
20:00 20m Talk		Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing ISSTA Technical Papers Wang Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Teng Wang National University of Defense Technology, Erci Xu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI File Attached

20:20 - 21:00	Advances in TestingDiscussions with Experts at Discussions with Experts (room 1) Chair(s): Sebastian Elbaum University of Virginia, Annibale Panichella Delft University of Technology; University of Luxembourg

20:20 40m Panel		Advances in Testing Discussions with Experts Annibale Panichella Delft University of Technology; University of Luxembourg, Sebastian Elbaum University of Virginia

20:20 - 21:00	Specification and Implementation of Type SystemsDiscussions with Experts at Discussions with Experts (room 2) Chair(s): Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology

20:20 40m Panel		Specification and Implementation of Type Systems Discussions with Experts Eelco Visser Delft University of Technology, Sebastian Erdweg JGU Mainz

20:20 - 21:00	Practical Static Analysis and Bug FindingDiscussions with Experts at Discussions with Experts (room 3) Chair(s): Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart

20:20 40m Panel		Practical Static Analysis and Bug Finding Discussions with Experts Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:00	Keynote - Dahl-Nygaard Senior Prize (time band 2)ECOOP Keynotes at Keynote Chair(s): James Noble Victoria University of Wellington See AITO’s Dahl-Nygaard Prize Winners webpage.

00:00 60m Keynote		Dahl-Nygaard Senior Prize: Theory to UnderstandingKeynote ECOOP Keynotes K: Kim Bruce Pomona College Media Attached

01:00 - 01:05	ISSTA Tool Demos (One-Minute Teasers) 2ISSTA Tool Demonstrations at ISSTA Demos Chair(s): August Shi University of Texas at Austin

01:00 5m Other		One-Minute Teasers ISSTA Tool Demonstrations

01:05 - 01:40	ISSTA Tool Demos (Live Discussion) 2ISSTA Tool Demonstrations at ISSTA Demos Chair(s): August Shi University of Texas at Austin

01:05 35m Live Q&A		MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services ISSTA Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia
01:05 35m Live Q&A		TauMed: Test Augmentation of Deep Learning in Medical Diagnosis ISSTA Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
01:05 35m Live Q&A		RESTest: Automated Black-Box Testing of RESTful Web APIs ISSTA Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville

02:00 - 03:20	Program Analysis / Runtimes (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Werner Dietl University of Waterloo

02:00 20m Talk		Gradual Program Analysis for Null Pointers ECOOP Technical Papers Sam Estep Carnegie Mellon University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Jane Street, Joshua Sunshine Carnegie Mellon University DOI Pre-print Media Attached File Attached
02:20 20m Talk		Best-Effort Lazy Evaluation for Python Software Built On APIs ECOOP Technical Papers Guoqiang Zhang North Carolina State University, Xipeng Shen North Carolina State University DOI
02:40 20m Talk		Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP Technical Papers Aleksandar S. Dimovski Mother Teresa University, Skopje, Sven Apel Saarland University DOI
03:00 20m Talk		Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability ECOOP Technical Papers Dongjie He University of New South Wales, Jingbo Lu UNSW Sydney, Yaoqing Gao Huawei Canada, Jingling Xue UNSW DOI Pre-print

02:00 - 03:20	Session 13 (time band 2) Testing Deep Learning Systems 4ISSTA Technical Papers at ISSTA 1 Chair(s): Shiqing Ma Rutgers University

02:00 20m Talk		Efficient White-Box Fairness Testing through Gradient Search ISSTA Technical Papers Lingfeng Zhang East China Normal University, Yueling Zhang Singapore Management University, Min Zhang East China Normal University DOI Media Attached
02:20 20m Talk		DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems ISSTA Technical Papers Zixi Liu Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University DOI
02:40 20m Talk		AdvDoor: Adversarial Backdoor Attack of Deep Learning System ISSTA Technical Papers Quan Zhang Tsinghua University, Yifeng Ding Tsinghua University, Yongqiang Tian Tianjin University, Jianmin Guo Tsinghua University, Min Yuan WeBank, Yu Jiang Tsinghua University DOI
03:00 20m Talk		ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection ISSTA Technical Papers Yuanchun Li Microsoft Research, Ziqi Zhang Peking University, Bingyan Liu Peking University, Ziyue Yang Microsoft Research, Yunxin Liu Tsinghua University DOI

02:00 - 03:20	Session 14 (time band 2) Symbolic Execution 2ISSTA Technical Papers at ISSTA 2 Chair(s): Martin Nowack Imperial College London

02:00 20m Talk		Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration ISSTA Technical Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI
02:20 20m Talk		Synthesize Solving Strategy for Symbolic Execution ISSTA Technical Papers Zhenbang Chen National University of Defense Technology, Zehua Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Guofeng Zhang Hunan University, Weiyu Pan National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI
02:40 20m Talk		Type and Interval Aware Array Constraint Solving for Symbolic ExecutionACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Jun Sun Singapore Management University, Ji Wang National University of Defense Technology DOI
03:00 20m Talk		Grammar-Agnostic Symbolic Execution by Token Symbolization ISSTA Technical Papers Weiyu Pan National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Guofeng Zhang Hunan University, Yunlai Luo National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI

03:20 - 04:00	Testing/Analysis and ML/DL 1 Discussions with Experts at Discussions with Experts (room 1) Chair(s): Satish Chandra Facebook, Yang Liu Nanyang Technological University We will be discussing: What are the common or different things in traditional testing vs DL testing? Coverage criteria, mutation operators, regression testing and so on. How to test or analyse different types of networks like FNN/RNN/DRL? What are the common methods we can follow, and what are the adaptations we need? How to apply testing/analysis in different applications domains (e.g., security) …

03:20 40m Panel		Testing/Analysis and ML/DL 1 Discussions with Experts Satish Chandra Facebook, Yang Liu Nanyang Technological University

03:20 - 04:00	Symbolic ExecutionDiscussions with Experts at Discussions with Experts (room 2) Chair(s): Jun Sun Singapore Management University, Willem Visser Stellenbosch University, South Africa Need research ideas? Join us to discuss the following questions. How do we handle loops in symbolic execution? Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap? How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation? …

03:20 40m Panel		Symbolic Execution Discussions with Experts Willem Visser Stellenbosch University, South Africa, Jun Sun Singapore Management University

03:20 - 04:00	Advances in Type SystemsDiscussions with Experts at Discussions with Experts (room 3) Chair(s): Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong What advances in type systems have had a recent effect… and what’s next? Join us to discuss where types are going, in both theory and practice.

03:20 40m Panel		Advances in Type Systems Discussions with Experts Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong

08:00 - 09:00	Empirical Studies / Parallelism (time band 3)ECOOP Technical Papers at ECOOP 1 Chair(s): Hakjoo Oh Korea University

08:00 20m Talk		CodeDJ: Reproducible Queries over Large-Scale Software Repositories ECOOP Technical Papers Petr Maj Czech Technical University, Konrad Siek Czech Technical University in Prague, Jan Vitek Northeastern University / Czech Technical University, Alexander Kovalenko Czech Technical University in Prague DOI
08:20 20m Talk		Enabling Additional Parallelism in Asynchronous JavaScript Applications ECOOP Technical Papers Ellen Arteca Northeastern University, Frank Tip Northeastern University, Max Schaefer GitHub, Inc. DOI
08:40 20m Talk		Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs ECOOP Technical Papers Xiaodong Gu Shanghai Jiao Tong University, China, Sunghun Kim Hong Kong University of Science and Technology, Yo-Sub Han Yonsei University, Hongyu Zhang University of Newcastle DOI

08:00 - 09:00	Session 15 (time band 3) Testing 1ISSTA Technical Papers at ISSTA 1 Chair(s): Phil McMinn University of Sheffield

08:00 20m Talk		Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration ISSTA Technical Papers Daniel Elsner TU Munich, Florian Hauer TU Munich, Alexander Pretschner TU Munich, Silke Reimer IVU Traffic Technologies DOI
08:20 20m Talk		Toward Optimal MC/DC Test Case Generation ISSTA Technical Papers Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore DOI
08:40 20m Talk		Log-Based Slicing for System-Level Test Cases ISSTA Technical Papers Salma Messaoudi University of Luxembourg, Donghwan Shin University of Luxembourg, Annibale Panichella Delft University of Technology; University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa DOI Media Attached

08:00 - 09:00	Session 16 (time band 3) Binary AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Michael Pradel University of Stuttgart

08:00 20m Talk		iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing ISSTA Technical Papers Shisong Qin Tsinghua University, Chao Zhang Tsinghua University, Kaixiang Chen Tsinghua University, Zheming Li Tsinghua University DOI
08:20 20m Talk		RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis ISSTA Technical Papers Ming Yuan Tsinghua University, Yeseop Lee Tsinghua University, Chao Zhang Tsinghua University, Yun Li Tsinghua University, Yan Cai Institute of Software at Chinese Academy of Sciences, Bodong Zhao Tsinghua University DOI
08:40 20m Talk		A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped BinariesACM SIGSOFT Distinguished Paper ISSTA Technical Papers Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Yinxing Xue University of Science and Technology of China, Weiming Zhang University of Science and Technology of China DOI

09:00 - 09:05	ISSTA Tool Demos (One-Minute Teasers) 3ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

09:00 5m Other		One-Minute Teasers ISSTA Tool Demonstrations

09:05 - 09:40	ISSTA Tool Demos (Live Discussion) 3ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

09:05 35m Live Q&A		SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts ISSTA Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
09:05 35m Live Q&A		TauMed: Test Augmentation of Deep Learning in Medical Diagnosis ISSTA Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
09:05 35m Live Q&A		ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing ISSTA Tool Demonstrations Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne
09:05 35m Live Q&A		C4: the C Compiler Concurrency Checker ISSTA Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London
09:05 35m Live Q&A		echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing ISSTA Tool Demonstrations Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
09:05 35m Live Q&A		MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services ISSTA Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia

10:00 - 11:20	Types / Program Analysis (time band 3)ECOOP Technical Papers at ECOOP 1 Chair(s): George Fourtounis University of Athens

10:00 20m Talk		Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability ECOOP Technical Papers Dongjie He University of New South Wales, Jingbo Lu UNSW Sydney, Yaoqing Gao Huawei Canada, Jingling Xue UNSW DOI Pre-print
10:20 20m Talk		Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper ECOOP Technical Papers Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann Technical University Dortmund, Eric Bodden University of Paderborn; Fraunhofer IEM Link to publication DOI Pre-print Media Attached
10:40 20m Talk		Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP Technical Papers Hendrik van Antwerpen Delft University of Technology, Eelco Visser Delft University of Technology DOI File Attached
11:00 20m Talk		Idris 2: Quantitative Type Theory in Practice ECOOP Technical Papers Edwin Brady University of St Andrews, UK DOI Media Attached

10:00 - 11:20	Session 17 (time band 3) Testing Miscellaneous Systems ISSTA Technical Papers at ISSTA 1 Chair(s): Thuan Pham The University of Melbourne

10:00 20m Talk		Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? ISSTA Technical Papers Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo, Huizhong Li WeBank, Yan Cai Institute of Software at Chinese Academy of Sciences DOI File Attached
10:20 20m Talk		Interval Constraint-Based Mutation Testing of Numerical Specifications ISSTA Technical Papers Clothilde Jeangoudoux MPI-SWS, Eva Darulova MPI-SWS, Christoph Lauter University of Alaska at Anchorage DOI
10:40 20m Talk		TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects ISSTA Technical Papers Saikat Dutta University of Illinois at Urbana-Champaign, Jeeva Selvam University of Illinois at Urbana-Champaign, Aryaman Jain University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign DOI
11:00 20m Talk		Predoo: Precision Testing of Deep Learning Operators ISSTA Technical Papers Xufan Zhang Nanjing University, Ning Sun Nanjing University, Chunrong Fang Nanjing University, Jiawei Liu Nanjing University, Jia Liu Nanjing University, Dong Chai Huawei, Jiang Wang Huawei, Zhenyu Chen Nanjing University DOI

10:00 - 11:20	Session 18 (time band 3) Android Application Testing 2ISSTA Technical Papers at ISSTA 2 Chair(s): Shin Hwei Tan Southern University of Science and Technology

10:00 20m Talk		GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps ISSTA Technical Papers Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Guiyin Li Nanjing University, Xia Zeng Tencent, Tian Zhang Nanjing University, Yuetang Deng Tencent, Xuandong Li Nanjing University DOI
10:20 20m Talk		Understanding and Finding System Setting-Related Defects in Android Apps ISSTA Technical Papers Jingling Sun East China Normal University, Ting Su East China Normal University, Junxin Li East China Normal University, Zhen Dong National University of Singapore, Geguang Pu East China Normal University, Tao Xie Peking University, Zhendong Su ETH Zurich DOI Media Attached
10:40 20m Talk		Parema: An Unpacking Framework for Demystifying VM-Based Android Packers ISSTA Technical Papers Lei Xue Hong Kong Polytechnic University, Yuxiao Yan Xi'an Jiaotong University; Hong Kong Polytechnic University, Luyi Yan Hong Kong Polytechnic University, Muhui Jiang Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Dinghao Wu Pennsylvania State University, Yajin Zhou Zhejiang University DOI
11:00 20m Talk		HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis ISSTA Technical Papers Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Xiang Li Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI

11:20 - 12:00	PL/SE for Concurrent / Distributed SystemsDiscussions with Experts at Discussions with Experts (room 1) Chair(s): Simon Fowler University of Glasgow, Burcu Kulahcioglu Ozkan Delft University of Technology, Mira Mezini TU Darmstadt, Germany

11:20 40m Panel		PL/SE for Concurrent / Distributed Systems Discussions with Experts Burcu Kulahcioglu Ozkan Delft University of Technology, Simon Fowler University of Glasgow, Mira Mezini TU Darmstadt, Germany

11:20 - 12:00	Testing/Analysis and ML/DL 2 Discussions with Experts at Discussions with Experts (room 2) Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Tao Xie Peking University

11:20 40m Panel		Testing/Analysis and ML/DL 2 Discussions with Experts Tao Xie Peking University, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology

11:20 - 12:00	FuzzingDiscussions with Experts at Discussions with Experts (room 3) Chair(s): Marcel Böhme Monash University, Mathias Payer EPFL Fuzzing has become the major technique to find vulnerabilities in software and has seen a recent explosion in research activity. We will discuss the origins of fuzzing and the major events that lead to this proliferation: from the “DARPA Cyber Grand Challenge” and “American Fuzzy Lop” seed events to the explosion of fuzzers that target hundreds of open source projects. Then, we’ll gradually ease into highlighting key research areas in software engineering and security such as coverage metrics, intelligent mutation operators, scheduling, seed selection, or different forms of feedback. In addition, we welcome interactivity and questions from the audience throughout.

11:20 40m Panel		Fuzzing Discussions with Experts Mathias Payer EPFL, Marcel Böhme Monash University

17:00 - 17:55	ISSTA Impact Paper Award TalkISSTA Keynotes at Keynote Chair(s): Cristian Cadar Imperial College London, UK

17:00 55m Keynote		Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote ISSTA Keynotes Alessandro Orso Georgia Tech, Chris Parnin North Carolina State University Media Attached

17:55 - 18:00	ISSTA 2022 Preview (time band 1)2022 Previews at Preview

17:55 5m Talk		ISSTA 2022 Preview 2022 Previews Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens

18:20 - 20:00	Session 19 (time band 1) Testing 2ISSTA Technical Papers at ISSTA 1 Chair(s): Rohan Padhye Carnegie Mellon University

18:20 20m Talk		Model-Based Testing of Networked Applications ISSTA Technical Papers Yishuai Li University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Steve Zdancewic University of Pennsylvania DOI Pre-print
18:40 20m Talk		Validating Static Warnings via Testing Code Fragments ISSTA Technical Papers Ashwin Kallingal Joshy Iowa State University, Xueyuan Chen Iowa State University, Benjamin Steenhoek Iowa State University, Wei Le Iowa State University DOI
19:00 20m Talk		Gramatron: Effective Grammar-Aware Fuzzing ISSTA Technical Papers Prashast Srivastava Purdue University, Mathias Payer EPFL DOI Pre-print Media Attached File Attached
19:20 20m Talk		Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration ISSTA Technical Papers Daniel Elsner TU Munich, Florian Hauer TU Munich, Alexander Pretschner TU Munich, Silke Reimer IVU Traffic Technologies DOI
19:40 20m Talk		Log-Based Slicing for System-Level Test Cases ISSTA Technical Papers Salma Messaoudi University of Luxembourg, Donghwan Shin University of Luxembourg, Annibale Panichella Delft University of Technology; University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa DOI Media Attached

18:20 - 20:00	Session 20 (time band 1) AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Shiyi Wei University of Texas at Dallas

18:20 20m Talk		A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped BinariesACM SIGSOFT Distinguished Paper ISSTA Technical Papers Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Yinxing Xue University of Science and Technology of China, Weiming Zhang University of Science and Technology of China DOI
18:40 20m Talk		Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) ISSTA Technical Papers Sicheng Luo Fudan University, Hui Xu Fudan University, Yanxiang Bi Fudan University, Xin Wang Fudan University, Yangfan Zhou Fudan University DOI File Attached
19:00 20m Talk		Finding Data Compatibility Bugs with JSON Subschema CheckingDistinguished Artifact ISSTA Technical Papers Andrew Habib SnT, University of Luxembourg, Avraham Shinnar IBM Research, Martin Hirzel IBM Research, Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached
19:20 20m Talk		SAND: A Static Analysis Approach for Detecting SQL AntipatternsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yingjun Lyu Amazon, Sasha Volokh University of Southern California, William G.J. Halfond University of Southern California, Omer Tripp Amazon DOI
19:40 20m Talk		Automated Patch Backporting in Linux (Experience Paper)Distinguished Artifact ISSTA Technical Papers Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Julia Lawall Inria, Abhik Roychoudhury National University of Singapore DOI Pre-print Media Attached

18:20 - 19:00	ECOOP Test of Time Award (time band 1)ECOOP Keynotes at Keynote 2 Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel An Overview of AspectJ. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold. ECOOP 2001. See AITO’s Test of Time Winners for 2021 webpage.

18:20 40m Talk		ECOOP Test of Time AwardKeynote ECOOP Keynotes I: Gregor Kiczales Media Attached

19:00 - 20:00	Potpourri (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Omer Tripp Amazon

19:00 20m Talk		CodeDJ: Reproducible Queries over Large-Scale Software Repositories ECOOP Technical Papers Petr Maj Czech Technical University, Konrad Siek Czech Technical University in Prague, Jan Vitek Northeastern University / Czech Technical University, Alexander Kovalenko Czech Technical University in Prague DOI
19:20 20m Talk		Differential Privacy for Coverage Analysis of Software Traces ECOOP Technical Papers Yu Hao Ohio State University, Sufian Latif Ohio State University, Hailong Zhang Fordham University, Raef Bassily Ohio State University, Atanas Rountev Ohio State University DOI
19:40 20m Talk		Dealing with Variability in API Misuse Specification ECOOP Technical Papers Rodrigo Bonifácio Computer Science Department - University of Brasília, Stefan Krüger Independent Researcher, Krishna Narasimhan TU Darmstadt, Eric Bodden University of Paderborn; Fraunhofer IEM, Mira Mezini TU Darmstadt, Germany DOI

19:00 - 20:00	Parallelism / Runtimes (time band 1)ECOOP Technical Papers at ECOOP 2 Chair(s): Colin Gordon Drexel University

19:00 20m Talk		Best-Effort Lazy Evaluation for Python Software Built On APIs ECOOP Technical Papers Guoqiang Zhang North Carolina State University, Xipeng Shen North Carolina State University DOI
19:20 20m Talk		Linear Promises: Towards Safer Concurrent Programming ECOOP Technical Papers Ohad Rau Georgia Institute of Technology, Caleb Voss Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI
19:40 20m Talk		Enabling Additional Parallelism in Asynchronous JavaScript Applications ECOOP Technical Papers Ellen Arteca Northeastern University, Frank Tip Northeastern University, Max Schaefer GitHub, Inc. DOI

20:00 - 20:55	Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote Chair(s): Davide Ancona DIBRIS, University of Genova, Italy See AITO’s Dahl-Nygaard Prize Winners webpage.

20:00 55m Keynote		Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote ECOOP Keynotes K: Karim Ali University of Alberta Media Attached

20:55 - 21:00	ECOOP 2022 Preview (time band 1)2022 Previews at Preview

20:55 5m		ECOOP 2022 Preview 2022 Previews Mira Mezini TU Darmstadt, Germany, Jan Vitek Northeastern University / Czech Technical University

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 00:55	ISSTA Impact Paper Award TalkISSTA Keynotes at Keynote Chair(s): Xiangyu Zhang Purdue University

00:00 55m Keynote		Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote ISSTA Keynotes Alessandro Orso Georgia Tech, Chris Parnin North Carolina State University Media Attached

00:55 - 01:00	ISSTA 2022 Preview (time band 2)2022 Previews at Preview

00:55 5m Talk		ISSTA 2022 Preview 2022 Previews Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens

01:10 - 02:30	Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign

01:10 20m Talk		Differential Privacy for Coverage Analysis of Software Traces ECOOP Technical Papers Yu Hao Ohio State University, Sufian Latif Ohio State University, Hailong Zhang Fordham University, Raef Bassily Ohio State University, Atanas Rountev Ohio State University DOI
01:30 20m Talk		Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs ECOOP Technical Papers Xiaodong Gu Shanghai Jiao Tong University, China, Sunghun Kim Hong Kong University of Science and Technology, Yo-Sub Han Yonsei University, Hongyu Zhang University of Newcastle DOI
01:50 20m Talk		Linear Promises: Towards Safer Concurrent Programming ECOOP Technical Papers Ohad Rau Georgia Institute of Technology, Caleb Voss Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI
02:10 20m Talk		Dealing with Variability in API Misuse Specification ECOOP Technical Papers Rodrigo Bonifácio Computer Science Department - University of Brasília, Stefan Krüger Independent Researcher, Krishna Narasimhan TU Darmstadt, Eric Bodden University of Paderborn; Fraunhofer IEM, Mira Mezini TU Darmstadt, Germany DOI

01:10 - 02:30	Session 21 (time band 2) Testing 3ISSTA Technical Papers at ISSTA 1 Chair(s): Rohan Padhye Carnegie Mellon University

01:10 20m Talk		Continuous Test Suite Failure Prediction ISSTA Technical Papers Cong Pan Beihang University, Michael Pradel University of Stuttgart DOI Media Attached
01:30 20m Talk		Toward Optimal MC/DC Test Case Generation ISSTA Technical Papers Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore DOI
01:50 20m Talk		Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing ISSTA Technical Papers Wang Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Teng Wang National University of Defense Technology, Erci Xu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI File Attached
02:10 20m Talk		Test-Case Prioritization for Configuration TestingACM SIGSOFT Distinguished Paper ISSTA Technical Papers Runxiang Cheng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign DOI

01:10 - 02:30	Session 22 (time band 2) Bugs and Analysis 1 ISSTA Technical Papers at ISSTA 2 Chair(s): Saeid Tizpaz-Niari University of Texas at El Paso

01:10 20m Talk		Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space ISSTA Technical Papers Yicheng Pan Peking University, Meng Ma Peking University, Xinrui Jiang Peking University, Ping Wang Peking University DOI Media Attached File Attached
01:30 20m Talk		iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing ISSTA Technical Papers Shisong Qin Tsinghua University, Chao Zhang Tsinghua University, Kaixiang Chen Tsinghua University, Zheming Li Tsinghua University DOI
01:50 20m Talk		RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis ISSTA Technical Papers Ming Yuan Tsinghua University, Yeseop Lee Tsinghua University, Chao Zhang Tsinghua University, Yun Li Tsinghua University, Yan Cai Institute of Software at Chinese Academy of Sciences, Bodong Zhao Tsinghua University DOI
02:10 20m Talk		Fixing Dependency Errors for Python Build Reproducibility ISSTA Technical Papers Suchita Mukherjee University of California at Davis, Abigail Almanza University of California at Davis, Cindy Rubio-González University of California at Davis DOI

02:20 - 03:00	Dragon TestingSponsors at Sponsors Research funding and job opportunities with Dragon Testing. Details to be revealed in the session. See also this video about Dragon Testing

02:20 40m		Dragon Testing Sponsors

02:40 - 03:40	Session 23 (time band 2) Testing 4ISSTA Technical Papers at ISSTA 1 Chair(s): Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

02:40 20m Talk		Validating Static Warnings via Testing Code Fragments ISSTA Technical Papers Ashwin Kallingal Joshy Iowa State University, Xueyuan Chen Iowa State University, Benjamin Steenhoek Iowa State University, Wei Le Iowa State University DOI
03:00 20m Talk		Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? ISSTA Technical Papers Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo, Huizhong Li WeBank, Yan Cai Institute of Software at Chinese Academy of Sciences DOI File Attached
03:20 20m Talk		Model-Based Testing of Networked Applications ISSTA Technical Papers Yishuai Li University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Steve Zdancewic University of Pennsylvania DOI Pre-print

02:40 - 03:40	Session 24 (time band 2) Android and Web Application TestingISSTA Technical Papers at ISSTA 2 Chair(s): Omer Tripp IBM Thomas J. Watson Research Center

02:40 20m Talk		WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes ISSTA Technical Papers Fei Shao Case Western Reserve University, Rui Xu Case Western Reserve University, Wasif Haque University of Texas at Dallas, Jingwei Xu Peking University, Ying Zhang Peking University, Wei Yang University of Texas at Dallas, Yanfang Ye Case Western Reserve University, Xusheng Xiao Case Western Reserve University DOI File Attached
03:00 20m Talk		The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android ISSTA Technical Papers Austin Mordahl University of Texas at Dallas, Shiyi Wei University of Texas at Dallas DOI Pre-print
03:20 20m Talk		An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools ISSTA Technical Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wing Lam University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached

03:00 - 04:00	Microsoft ResearchSponsors at Sponsors Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR. See also this video about MSR

03:00 60m		Microsoft Research Sponsors

08:00 - 09:20	Session 25 (time band 3) Testing and AnalysisISSTA Technical Papers at ISSTA 1 Chair(s): Michael Pradel University of Stuttgart

08:00 20m Talk		Automated Patch Backporting in Linux (Experience Paper)Distinguished Artifact ISSTA Technical Papers Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Julia Lawall Inria, Abhik Roychoudhury National University of Singapore DOI Pre-print Media Attached
08:20 20m Talk		Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms ISSTA Technical Papers Kulani Tharaka Mahadewa National University of Singapore, Yanjun Zhang University of Queensland, Guangdong Bai University of Queensland, Lei Bu Nanjing University, Zhiqiang Zuo Nanjing University, Dileepa Fernando Sri Lanka Technological Campus, Zhenkai Liang National University of Singapore, Jin Song Dong National University of Singapore DOI Media Attached File Attached
08:40 20m Talk		Modular Call Graph Construction for Security Scanning of Node.js Applications ISSTA Technical Papers Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University, Anders Møller Aarhus University DOI Media Attached
09:00 20m Talk		Semantic Matching of GUI Events for Test Reuse: Are We There Yet? ISSTA Technical Papers Leonardo Mariani University of Milano-Bicocca, Ali Mohebbi USI Lugano, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Valerio Terragni University of Auckland DOI Pre-print

08:00 - 09:20	Session 26 (time band 3) Testing Deep Learning Systems 5ISSTA Technical Papers at ISSTA 2 Chair(s): Junjie Chen Tianjin University

08:00 20m Talk		Efficient White-Box Fairness Testing through Gradient Search ISSTA Technical Papers Lingfeng Zhang East China Normal University, Yueling Zhang Singapore Management University, Min Zhang East China Normal University DOI Media Attached
08:20 20m Talk		DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems ISSTA Technical Papers Zixi Liu Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University DOI
08:40 20m Talk		AdvDoor: Adversarial Backdoor Attack of Deep Learning System ISSTA Technical Papers Quan Zhang Tsinghua University, Yifeng Ding Tsinghua University, Yongqiang Tian Tianjin University, Jianmin Guo Tsinghua University, Min Yuan WeBank, Yu Jiang Tsinghua University DOI
09:00 20m Talk		ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection ISSTA Technical Papers Yuanchun Li Microsoft Research, Ziqi Zhang Peking University, Bingyan Liu Peking University, Ziyue Yang Microsoft Research, Yunxin Liu Tsinghua University DOI

08:00 - 08:40	ECOOP Test of Time Award (time band 3)ECOOP Keynotes at Keynote 2 Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel An Overview of AspectJ. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold. ECOOP 2001. See AITO’s Test of Time Winners for 2021 webpage.

08:00 40m Talk		ECOOP Test of Time AwardKeynote ECOOP Keynotes I: Gregor Kiczales Media Attached

09:00 - 09:40	Dragon TestingSponsors at Sponsors Research funding and job opportunities with Dragon Testing. Details to be revealed in the session. See also this video about Dragon Testing

09:00 40m		Dragon Testing Sponsors

09:30 - 10:50	Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1 Chair(s): Lu Zhang Peking University

09:30 20m Talk		On the Monitorability of Session Types, in Theory and Practice ECOOP Technical Papers Christian Bartolo Burlò Gran Sasso Science Institute, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark DOI
09:50 20m Talk		Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP Technical Papers Paul Harvey Rakuten Mobile Innovation Studio, Simon Fowler University of Glasgow, Ornela Dardha University of Glasgow, Simon J. Gay University of Glasgow, UK DOI Pre-print Media Attached
10:10 20m Talk		Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks ECOOP Technical Papers Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology DOI
10:30 20m Talk		Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl ECOOP Technical Papers Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark, David Richter Technical University of Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt Link to publication DOI

09:30 - 11:10	Session 27 (time band 3) Bugs and Analysis 2ISSTA Technical Papers at ISSTA 1 Chair(s): Mike Papadakis University of Luxembourg, Luxembourg

09:30 20m Talk		Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space ISSTA Technical Papers Yicheng Pan Peking University, Meng Ma Peking University, Xinrui Jiang Peking University, Ping Wang Peking University DOI Media Attached File Attached
09:50 20m Talk		Finding Data Compatibility Bugs with JSON Subschema CheckingDistinguished Artifact ISSTA Technical Papers Andrew Habib SnT, University of Luxembourg, Avraham Shinnar IBM Research, Martin Hirzel IBM Research, Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached
10:10 20m Talk		Semantic Table Structure Identification in Spreadsheets ISSTA Technical Papers Yakun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xiao Lv Microsoft Research, Haoyu Dong Microsoft Research, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shi Han Microsoft Research, Dongmei Zhang Microsoft Research, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI Media Attached
10:30 20m Talk		Deep Just-in-Time Defect Prediction: How Far Are We? ISSTA Technical Papers Zhengran Zeng Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Haotian Zhang Kwai, Lingming Zhang University of Illinois at Urbana-Champaign DOI
10:50 20m Talk		Continuous Test Suite Failure Prediction ISSTA Technical Papers Cong Pan Beihang University, Michael Pradel University of Stuttgart DOI Media Attached

09:30 - 10:50	Session 28 (time band 3) Fuzzing and Runtime AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Michaël Marcozzi Université Paris-Saclay, CEA, List

09:30 20m Talk		Runtime Detection of Memory Errors with Smart Status ISSTA Technical Papers Zhe Chen Nanjing University of Aeronautics and Astronautics, Chong Wang Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Yulei Sui University of Technology Sydney, Jingling Xue UNSW DOI Media Attached
09:50 20m Talk		UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities ISSTA Technical Papers Binfa Gui Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Media Attached File Attached
10:10 20m Talk		Seed Selection for Successful Fuzzing ISSTA Technical Papers Adrian Herrera Australian National University; DST, Hendra Gunadi Australian National University, Shane Magrath DST, Michael Norrish CSIRO’s Data61; Australian National University, Mathias Payer EPFL, Tony Hosking Australian National University; CSIRO’s Data61 DOI Pre-print File Attached
10:30 20m Talk		QFuzz: Quantitative Fuzzing for Side Channels ISSTA Technical Papers Yannic Noller National University of Singapore, Saeid Tizpaz-Niari University of Texas at El Paso DOI Pre-print Media Attached

10:00 - 11:00	Microsoft ResearchSponsors at Sponsors Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR. See also this video about MSR

10:00 60m		Microsoft Research Sponsors

11:10 - 12:05	Keynote - Dahl-Nygaard Junior Prize (time band 3)ECOOP Keynotes at Keynote Chair(s): Tobias Wrigstad Uppsala University, Sweden See AITO’s Dahl-Nygaard Prize Winners webpage.

11:10 55m Keynote		Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote ECOOP Keynotes K: Karim Ali University of Alberta Media Attached

12:05 - 12:10	ECOOP 2022 Preview (time band 3)2022 Previews at Preview

12:05 5m		ECOOP 2022 Preview 2022 Previews Mira Mezini TU Darmstadt, Germany, Jan Vitek Northeastern University / Czech Technical University

Get Calendar (iCal)

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

Session Calendar (ical)

session-calendar.ics

Detailed Event Calendar (ical)

event-calendar.ics

xMon 31 Mar 10:57

ECOOP and ISSTA 2021 Program

Sun 11 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Co-hosted Conferences

Workshops

ECOOP and ISSTA 2021 Program

Switch Program View

Program Display Configuration

Sun 11 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Get Calendar (iCal)

Sun 11 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change