| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
|
| 2023 |
J |
jnl |
Found. Trends Program. Lang.
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
|
| 2023 |
J |
jnl |
CoRR
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
|
| 2022 |
J |
jnl |
CoRR
Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena
|
| 2022 |
J |
jnl |
CoRR
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
|
| 2022 |
J |
jnl |
CoRR
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
|
| 2021 |
J |
jnl |
Proc. ACM Program. Lang.
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
|
| 2020 |
J |
jnl |
CoRR
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
|
| 2020 |
A* |
conf |
CCS
Alley Stoughton, Marco Vassena
|
| 2020 |
— |
ed. |
PLAS@CCS
Alley Stoughton, Marco Vassena
|
| 2020 |
A |
conf |
CSF
Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo
|
| 2020 |
— |
conf |
PLAS@CCS
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
|
| 2019 |
— |
conf |
POST
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
|
| 2019 |
J |
jnl |
CoRR
Marco Vassena, Marco Patrignani
|
| 2017 |
A |
conf |
CSF
Marco Vassena, Joachim Breitner, Alejandro Russo
|
| 2016 |
— |
conf |
ESORICS (1)
Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo
|
| 2016 |
— |
conf |
TyDe@ICFP
Marco Vassena
|
| 2016 |
— |
conf |
PLAS@CCS
Marco Vassena, Alejandro Russo
|