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

BEAT 2019Committee Member in Program Committee within the BEAT 2019-track
Author of Getting rid of null-dereferences – Behavioural types to the rescue within the BEAT 2019-track
BEHAPI 2019PC Chair in Program Committee within the BEHAPI-track
Committee Member in Organizing Committee within the BEHAPI-track
PLACES 2019Committee Member in Program Committee within the PLACES-track
POPL 2019Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track
Erlang 2018Co-chair of Farewell & Closing within the Erlang 2018-track
Co-chair of Day Openning within the Erlang 2018-track
Co-chair in Organizing Committee within the Erlang 2018-track
ICFP 2018Erlang Workshop Co-chair in Organizing Committee
Erlang 2017Author of eAOP - An Aspect Oriented Programming Framework for Erlang within the Erlang 2017-track
VORTEX 2017Committee Member in Program Committee within the VORTEX17-track
VORTEX 2016Author of Extracting Runtime Monitors from Tests: An Overview and a way forward within the VORTEX-track
ISSTA 2018Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track
Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track
ECOOP and ISSTAAuthor of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track
SPLASH 2017Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track