Adrian Francalanza's Homepage

contact | academic | personal | about

Program committee member for CONCUR 2019.
Journal paper Adventures in Monitorability: From Branching to Linear Time and Back Again has been accepted to POPL 2019.
Program committee member for ICTAC 2019.
Program committee member for BEAT 2019 @ POPL.
Program committee member for PLACES 2019 @ ETAPS.
Journal paper Full-abstraction for client testing preorders has been accepted to Science of Computer Programming.
Program committee member for FSEN 2019.
Sep 18 Conference paper On Runtime Enforcement via Suppressions has been accepted at CONCUR 2018.
Jul 18 Conference paper Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots has been accepted at ISSTA 2018.
Jun 18 Conference paper Reversible Choreographies via Monitoring in Erlang has been accepted at DAIS 2018.
Sep 18 Program committee member for RV 2018.
Sep 18 Program committee member for YR-CONCUR 2018.
Sep 18 Invited Speaker at the 25th Workshop in Expressivness in Concurrency/Structural Operational Semantics (EXPRESS/SOS) 2018, colocated with CONCUR 2018.
Mar 18 Conference paper A Framework for Parametrized Monitorability has been accepted at FoSSaCS 2018.
Jan 18 Two book chapters published in Lectures on Runtime Verification: Introduction to Runtime Verification and Runtime Verification for Decentralised and Distributed Systems.
Nov 17 Program Chair for Erlang 2018 colocated with ICFP 2018 .
Nov 17 Program committee member for ICTAC 2018.
Dec 17 Conference paper Monitoring for Silent Actions has been accepted at FSTTCS 2017.
Oct 17 Journal paper Heaps Don't Lie: Countering Unsoundness with Heap Snapshots has been accepted at OOPSLA 2017.
Sep 17 Invited tutorial paper A Foundation for Runtime Monitoring has been presented at RV 2017.
Sep 17 Conference paper Consistently-Detecting Monitors has been accepted at CONCUR 2017.
Sep 17 Paper eAOP: an aspect oriented programming framework for Erlang has been accepted at Erlang 2017.
Aug 17 The papers A Suite of Monitoring Tools for Erlang and A Generic Instrumentation Tool for Erlang have been accepted at RV-Cubes 2017.
Jul 17 Conference paper The Complexity of Identifying Characteristic Formulas for muHML has been accepted at PLS 2017.
Jul 17 The papers A Survey of Runtime Monitoring Instrumentation Techniques and Reliability and Fault-Tolerance by Choreographic Design have been accepted at PrePost 2017.
Jul 17 Journal paper Monitorability for the Hennessy-Milner Logic with Recursion has been published in the Journal of Formal Methods in System Design (FMSD)
Jun 17 Program committee member for RV-CuBES 2017.
May 17 Conference paper Full-abstraction for Must Testing Preorders has been accepted at Coordination 2017.
May 17 Conference paper On the Complexity of Determinizing Monitors has been accepted at CIAA 2017.
May 17 Conference paper Trace Partitioning and Local Monitoring for Asynchronous Components has been accepted at SEFM 2017.
Apr 17 Program Chair for PrePost 2017.
Apr 17 Program committee member for SEFM 2017.
Apr 17 Program committee member for VORTEX 2017.
Jan 17 Participant in the Dagstuhl Seminar on the Theory and Applications of Behavioural Types.
Jan 17 Technical report Determinizing Monitors for HML with Recursion is now available.
Jan 17 Book chapter A Runtime Monitoring Tool for Actor-Based Systems will appear as part of the book Behavioural Types: from Theory to Tools.
Oct 16 Program committee member for FSEN 2017.
Sep 16 Invited Lecturer at the ARVI International Summer School on Runtime Verification in Madrid, Spain.
Sep 16 Conference paper A Monitoring Tool for a Branching-Time Logic has been accepted at RV 2016.
May 16 Workshop paper Preliminary Results Towards Contract Monitorability has been accepted at PrePost 2016.
Apr 16 Conference paper Using Gherkin to extract Tests and Monitors for Safer Medical Device Interaction Design has been accepted at EICS 2016.
Mar 16 A co-proposed three year project titled Theoretical Foundations for Monitorability has been accepted by Rannis (The Icelandic Research Fund). The project is in collaboration with Luca Aceto and Anna Ingolfsdottir from Reykjavik University .
Mar 16 Conference paper On Implementing a Monitor-Oriented Programming Framework for Actor Systems has been accepted at iFM 2016.
Mar 16 BETTY COST Action Meeting: Valletta, Malta (local organiser).
Jan 16 Conference paper A Theory of Monitors has been accepted at FoSSaCS 2016.
Jan 16 Program committee member for RV 2016 .
Dec 15 Program committee co-chair for PREPOST 2016 .
Sep 15 Program Committee member for WSFM/BEAT 2015 .
Jun 15 Conference paper On Verifying Hennessy-Milner Logic with Recursion at Runtime has been accepted at RV 2015.
Jun 15 Conference paper Runtime Adaptation for Actor Systems has been accepted at RV 2015.
Apr 15 Conference paper Investigating Instrumentation Techniques for ESB Runtime Verification has been accepted at SEFM 2015.
Apr 15 Workshop paper Unlocking Blocked Communicating Processes has been accepted at WWV 2015.
Jan 15 Conference paper An LTL Proof System for Runtime Verification has been accepted at TACAS 2015.
Jan 15 Workshop paper Improving Runtime Overheads for detectEr has been accepted at FESCA 2015.
Nov 14 Journal paper Synthesising Correct Concurrent Runtime Monitors has been published in the Journal of Formal Methods in System Design (FMSD)
Sep 14 3 papers accepted in the journal Xjenza:
Uniqueness Typing For A Higher-Order Language, Formal Proofs for Broadcast Algorithms and Monitoring Distributed Systems with Distributed PolyLarva.
Aug 14 DetectEr Project website launched, accompanying the tool development repository
Jul 14 Paper On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems has been accepted at FOCLASA 2014
Jun 14 Program Committee co-chair for BEAT 2014 .
Mar 14 Journal paper Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency has been accepted at LMCS.
Sep 13 Paper Code Management Automation for Erlang Remote Actors has been accepted at Agere 2013.
Sep 13 A prototype implementation for automating migration and management of codebases in Distributed Erlang is available to download from here. It accompanies a paper discussing the underlying technology.
Jul 13 Paper Towards an Abstraction for Remote Evaluation in Erlang has been accepted at Erlang Workshop 2013.
Jul 13 Conference paper Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) has been accepted at RV2013.
May 13 Program Committee member for BEAT II 2013 .
Apr 13 The journal paper Distributed System Contract Monitoring superseding the extended abstract of the same name, has been accepted for publication in the Journal of Logic and Algebraic Programming (JLAP).
Feb 13 A new tool DetectEr, automating the synthesis of synchronous monitors, checking for safety property violations by Erlang systems, is available to download. It accompanies a technical report discussing the underlying theory.
Feb 13 The technical report Synthesising Correct Concurrent Runtime Monitors in Erlang is now available here.
Jan 13 The paper Extensible Technology Agnostic Runtime Verification has been accepted at FESCA2013 (in conjunction with ETAPS 2013).
Nov 12 The paper Reasoning about Explicit Resource Management is now superseded by the technical report Compositional Reasoning for Channel-Based Concurrent Resource Management available here.
Jul 12 Paper Simplifying Contract-Violating Traces has been accepted at FLACOS2012.
Jun 12 Program Committee member for SVARM/VERIFY 2012 .
May 12 Conference paper polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries has been accepted at SEFM2012.
Apr 12 Journal paper Uniqueness Typing for Resource Management in Message-Passing Concurrency has been accepted at Journal of Logic and Computation.
Sep 11 Paper Distributed System Contract Monitoring has been accepted at FLACOS 2011.
Aug 11 Paper Elarva: A Monitoring tool for Erlang has been accepted at RV 2011.
Jun 11 Journal paper Permission-based Separation Logic for Message-Passing Concurrency has been accepted at LMCS.