[an error occurred while processing this directive]

 

 

  School of Electrical Engineering and Computer Science

Master's thesis presentation in Computer Science 2020

Wednesday July 15 at 14.00 (sharp)

Link to on-line presentation with Zoom

Relational Symbolic Execution in WebAssembly.
Sammanfattning   Abstract   Thesis draft

Presenter:  Johan Sjölén
Programmes:   TCSCM, CDATE    Course: DA231X
Supervisor:  Musard Balliu
Examiner:  Roberto Guanciale
Opponent:  John Wikman    (DA231X, examiner Cyrille Artho)

Session chair is Roberto Guanciale