• 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

ProLaLa 2022 Author of Stipula: a domain specific language for legal contracts within the ProLaLa Programming Languages and the Law-track
APLAS 2020 Committee Member in Program Committee
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
CurryOn 2016 Author of On the chemistry of typestate-oriented actors within the CurryOn -track
ECOOP 2017 Publicity Chair in Organizing Committee
ESOP 2015 Author of Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions within the ESOP-track
SPLASH 2015 Author of The Chemical Approach to Typestate-Oriented Programming within the OOPSLA-track

Share
xWed 6 Jul 19:28
using conf.researchr.org (v1.56.1)
Support page
Sign Up