About me

I am a PhD candidate reading for a joint programme between Reykjavík University and the University of Malta. Prior to resuming my studies, I pursued a software development career for seven years.

My main research interests lie in the area of runtime monitoring and verification for concurrent and distributed systems, automated synthesis of efficient runtime monitors, and software engineering techniques to address scalability and partial-failure in distributed systems. I am also interested in the semantics of programming languages, language design, concurrent languages, compiler construction, formal modelling and verification of systems, and various program logics.

Publications

Book Chapters

  1. Attard, D. P., Cassar, I., Francalanza, A., Aceto, L., Ingólfsdóttir, A.: A Runtime Monitoring Tool for Actor-Based Systems. In Behavioural Types for Reliable Large-Scale Software Systems (BETTY) COST Action, pp. 49-76 (2017).

Conferences and Workshops

  1. Le Brun, M. A., Attard, D. P., Francalanza, A.: Graft: general purpose raft consensus in Elixir. In Erlang Workshop, ACM, pp. 2-14 (2021).
  2. Aceto, L., Attard, D. P., Francalanza, A., Ingólfsdóttir: On Benchmarking for Concurrent Runtime Verification. In FASE, LNCS, vol. 12649, pp. 3-23 (2021).
  3. Attard, D. P., Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Lehtinen, K.: Better Late Than Never or: Verifying Asynchronous Components at Runtime. In FORTE, LNCS, vol. 12719, pp. 207-225 (2021).
  4. Francalanza, A., Aceto, L., Achilleos, A., Attard, D. P., Cassar, I., Della Monica, D., Ingólfsdóttir, A.: A Foundation for Runtime Monitoring. In RV, LNCS, vol. 10548, pp. 8-29 (2017).
  5. Cassar, I., Francalanza, A., Attard, D. P., Aceto, L., Ingólfsdóttir, A.: A Suite of Monitoring Tools for Erlang. In RV-CuBES, Kalpa, vol. 3, pp. 41-47 (2017).
  6. Cassar, I., Francalanza, A., Attard, D. P., Aceto, L., Ingólfsdóttir, A.: A Generic Instrumentation Tool for Erlang. In RV-CuBES, Kalpa, vol. 3, pp. 48-54 (2017).
  7. Attard, D. P., Francalanza, A.: Trace Partitioning and Local Monitoring for Asynchronous Components. In SEFM, LNCS, vol. 10469, pp. 219-235 (2017).
  8. Attard, D. P., and Francalanza, A.: A Monitoring Tool for a Branching-Time Logic. In RV, LNCS, vol. 10012, pp. 473-481 (2016).

Technical Reports

  1. Aceto, L., Attard, D. P., Francalanza, A., Ingólfsdóttir, A.: A Choreographed Outline Instrumentation Algorithm for Asynchronous Components (Technical Report). In CoRR abs/2104.09433 (2021).

Teaching Experience

Teaching

  • CPS2001 - Programming Paradigms (partly) • University of Malta • Sem. 1, 2017 - 2021

Teaching Assistance

  • Web Development in Python • Reykjavík University • Sem. 3, 2018 - 2019
  • CPS2001 - Programming Paradigms • University of Malta • Sem. 1, 2017 - 2021
  • CPS3238 - Principles of Programming Languages • University of Malta • Sem. 1, 2018 - 2020
  • CPS1011 - Programming Principles in C • University of Malta • Sem. 1, 2015 - 2016

Projects

Past and ongoing academic work, tools and projects.

  • detectEr

    An asynchronous runtime verification tool written for programs developed in the Erlang language.

  • Programming Paradigms

    Tutorials, examples and accompanying material for the CPS2001 - Programming Paradigms course given at UM.

  • BonBon

    A minimalistic and clean LATEX theme for Beamer.