Silvia Crafa -

Registered user since Wed 19 Aug 2015

Name:Silvia Crafa

Country:Italy

Affiliation:University of Padova

Personal website: http://www.math.unipd.it/~crafa/

Contributions

2022

ProLaLa

Author of Stipula: a domain specific language for legal contracts within the ProLaLa Programming Languages and the Law-track

2020

APLAS

Committee Member in Program Committee

2019

APLAS

Ordinary PC member in Program Committee within the Research Papers-track

2017

ECOOP

Publicity Chair in Organizing Committee

2016

CurryOn

Author of On the chemistry of typestate-oriented actors within the CurryOn -track

2015

SPLASH

Author of The Chemical Approach to Typestate-Oriented Programming within the OOPSLA-track

ESOP

Author of Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions within the ESOP-track