Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Fri 16 Jul 2021 03:20 - 04:00 at Discussions with Experts (room 2) - Symbolic Execution Chair(s): Jun Sun, Willem Visser

Need research ideas? Join us on July 16 at Discussions with Experts on Symbolic Execution to discuss the following questions and possibly more.

  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?
  4. How can we better integrate SMT solving and symbolic execution?
  5. Is it possible to apply symbolic execution to new programming paradigms such as neuronal networks?
  6. How do we better use models for parts of the code that we don’t want to execute symbolically?
  7. Can one build a product around symbolic execution? What will it take to do this?
  8. Are there other open problems on symbolic execution?

Fri 16 Jul

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

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.

  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 Visser Stellenbosch University, South Africa, Jun Sun Singapore Management University