Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luca Aceto
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
ISSTA/ECOOP 2024 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
POPL 2019 profile
Registered user since Mon 20 Aug 2018
Name:
Luca Aceto
Affiliation:
Reykjavik University
Contributions
2024
ECOOP
Author of A Sound Type System for Secure Currency Flow within the Technical Papers-track
Author of Runtime Instrumentation for Reactive Components within the Technical Papers-track
2023
NWPT
Author of Infinite hard families of equations in process algebras within the NWPT 2023-track
2019
FOSSACS
Committee Member in Program Committee within the FOSSACS 2019-track
POPL
Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track
2017
Erlang
Author of eAOP - An Aspect Oriented Programming Framework for Erlang within the Erlang 2017-track
Share
x
Sat 25 Oct 20:38