SPLASH 2017 (series) / 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
Contributions
| SPLASH 2017 | Heaps Don't Lie: Countering Unsoundness with Heap Snapshots | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2017-profile
View general profile
View general profile