Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online

At the Discussions with Experts sessions, you can join informal discussions on a range of research topics related to ECOOP and ISSTA.

At each session, a couple of invited experts will be present. The sessions take place via Zoom and are not being recorded.

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

Conference Day
Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

20:20 - 21:00
Advances in TestingDiscussions with Experts at Discussions with Experts (room 1)
Chair(s): Annibale PanichellaDelft University of Technology; University of Luxembourg, Sebastian ElbaumUniversity of Virginia
20:20
40m
Panel
Advances in Testing
Discussions with Experts
Annibale PanichellaDelft University of Technology; University of Luxembourg, Sebastian ElbaumUniversity of Virginia
20:20 - 21:00
Specification and Implementation of Type SystemsDiscussions with Experts at Discussions with Experts (room 2)
Chair(s): Eelco VisserDelft University of Technology, Sebastian ErdwegJGU Mainz
20:20
40m
Panel
Specification and Implementation of Type Systems
Discussions with Experts
Eelco VisserDelft University of Technology, Sebastian ErdwegJGU Mainz
20:20 - 21:00
Practical Static Analysis and Bug FindingDiscussions with Experts at Discussions with Experts (room 3)
Chair(s): Murali Krishna RamanathanUber Technologies Inc., Michael PradelUniversity of Stuttgart
20:20
40m
Panel
Practical Static Analysis and Bug Finding
Discussions with Experts
Murali Krishna RamanathanUber Technologies Inc., Michael PradelUniversity of Stuttgart

Conference Day
Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

03:20 - 04:00
Testing/Analysis and ML/DL 1 Discussions with Experts at Discussions with Experts (room 1)
Chair(s): Satish ChandraFacebook, Yang LiuNanyang Technological University

We will be discussing:

  1. What are the common or different things in traditional testing vs DL testing? Coverage criteria, mutation operators, regression testing and so on.

  2. 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?

  3. 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 ChandraFacebook, Yang LiuNanyang Technological University
03:20 - 04:00
Symbolic ExecutionDiscussions with Experts at Discussions with Experts (room 2)
Chair(s): Willem VisserStellenbosch University, South Africa, Jun SunSingapore Management University

Need research ideas? Join us to discuss the following questions.

  1. How do we handle loops in symbolic execution?

  2. Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap?

  3. 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 VisserStellenbosch University, South Africa, Jun SunSingapore Management University
03:20 - 04:00
Advances in Type SystemsDiscussions with Experts at Discussions with Experts (room 3)
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, Michael GreenbergStevens Institute of Technology

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 GreenbergStevens Institute of Technology, Bruno C. d. S. OliveiraUniversity of Hong Kong
11:20 - 12:00
PL/SE for Concurrent / Distributed SystemsDiscussions with Experts at Discussions with Experts (room 1)
Chair(s): Burcu Kulahcioglu OzkanDelft University of Technology, Simon FowlerUniversity of Glasgow, Mira MeziniTU Darmstadt, Germany
11:20
40m
Panel
PL/SE for Concurrent / Distributed Systems
Discussions with Experts
Burcu Kulahcioglu OzkanDelft University of Technology, Simon FowlerUniversity of Glasgow, Mira MeziniTU Darmstadt, Germany
11:20 - 12:00
Testing/Analysis and ML/DL 2 Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Mauro PezzeUSI Lugano; Schaffhausen Institute of Technology, Tao XiePeking University
11:20
40m
Panel
Testing/Analysis and ML/DL 2
Discussions with Experts
Tao XiePeking University, Mauro PezzeUSI Lugano; Schaffhausen Institute of Technology
11:20 - 12:00
FuzzingDiscussions with Experts at Discussions with Experts (room 3)
Chair(s): Mathias PayerEPFL, Marcel BöhmeMonash University

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 PayerEPFL, Marcel BöhmeMonash University