Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Adrian Francalanza

Registered user since Fri 10 Feb 2017

Name: Adrian Francalanza

Country: Malta

Affiliation: University of Malta

Personal website: http://staff.um.edu.mt/afra1/

Research interests: Concurrency, Type Systems, Runtime Verification, Process Calculi, Behavioural Equivalences


SPLASH 2017 Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Show activities from other conferences

SPLASH 2017-profile
View general profile