• Sign in
  • Sign up
conf.researchr.org / Silvia Crafa
  • APLAS 2019 profile
  • APLAS 2020 profile
  • ECOOP 2016 profile
  • ESOP 2015 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2022 profile
  • SPLASH 2015 profile
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
Share
xSun 15 Jun 17:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up