Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Venueonline
Room nameDiscussions with Experts (room 3)
Room InformationNo extra information available
Program

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

Thu 15 Jul

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

20:20 - 21:00
Practical Static Analysis and Bug FindingECOOP and ISSTA Discussions 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
ECOOP and ISSTA 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

03:20 - 04:00
Advances in Type SystemsECOOP and ISSTA Discussions 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
ECOOP and ISSTA Discussions with Experts
Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong
11:20 - 12:00
FuzzingECOOP and ISSTA Discussions 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
ECOOP and ISSTA Discussions with Experts
Mathias Payer EPFL, Marcel Böhme Monash University

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

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:00153045
Discussions with Experts (room 3)