Marco Vassena
发表
Bryan Parno,
Anitha Gollamudi,
D. Stefan,
2022,
2208.13583.
Bryan Parno,
Anitha Gollamudi,
Evan Johnson,
2022,
Proc. ACM Program. Lang..
Alejandro Russo,
Pablo Buiras,
Lucas Waye,
2017
.
Craig Disselkoen,
Deian Stefan,
Ranjit Jhala,
2020,
Proc. ACM Program. Lang..
Robert Künnemann,
Marco Vassena,
Kevin Morio,
2020,
PLAS@CCS.
Ranjit Jhala,
D. Stefan,
Marco Patrignani,
2023,
ArXiv.
Deian Stefan,
Alejandro Russo,
Deepak Garg,
2019,
Proc. ACM Program. Lang..
Marco Patrignani,
Marco Vassena,
Marco Patrignani,
2019,
ArXiv.
Alejandro Russo,
Marco Vassena,
Alejandro Russo,
2016,
PLAS@CCS.
Alejandro Russo,
Pablo Buiras,
Lucas Waye,
2016,
ESORICS.
Matthew Chan,
Deian Stefan,
John Renner,
2019,
POST.
Rami Gökhan Kici,
D. Tullsen,
Ranjit Jhala,
2020,
Proc. ACM Program. Lang..
Rami Gökhan Kici,
D. Tullsen,
Ranjit Jhala,
2020,
Artifact Digital Object Group.
D. Stefan,
D. Moghimi,
M. Guarnieri,
2022,
ArXiv.
Deian Stefan,
Ranjit Jhala,
Rami Gökhan Kici,
2020,
ArXiv.
Marco Vassena,
Marco Vassena,
2016,
TyDe@ICFP.