Eric Koskinen
发表
Eric Koskinen,
Tachio Terauchi,
Eric Koskinen,
2014,
CSL-LICS.
Maurice Herlihy,
Eric Koskinen,
2008
.
Eric Koskinen,
Tachio Terauchi,
Hiroshi Unno,
2020,
ArXiv.
Eric Koskinen,
Byron Cook,
Eric Koskinen,
2011,
POPL '11.
Maurice Herlihy,
Eric Koskinen,
2008,
SPAA '08.
Eric Koskinen,
Tim Harris,
2007
.
Junfeng Yang,
Eric Koskinen,
Eric Koskinen,
2016,
POPL.
Thomas Wies,
Damien Zufferey,
Eric Koskinen,
2013,
TACAS.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2019,
APLAS.
Eric Koskinen,
John Jannotti,
John Jannotti,
2008,
Eurosys '08.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2017,
Distributed Computing.
Eric Koskinen,
Byron Cook,
2013,
PLDI 2013.
Maurice Herlihy,
Matthew J. Parkinson,
Eric Koskinen,
2010,
POPL '10.
Michael Hicks,
Eric Koskinen,
Tachio Terauchi,
2017,
PLDI.
Natarajan Shankar,
Eric Koskinen,
Martin Grohe,
2016,
LICS.
Maurice Herlihy,
Eric Koskinen,
2014,
ESOP.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2017,
PODC.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2018
.
Maurice Herlihy,
Eric Koskinen,
M. Herlihy,
2008,
SPAA '08.
Maurice Herlihy,
Matthew J. Parkinson,
Eric Koskinen,
2011
.
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2012,
Formal Methods Syst. Des..
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2011,
Formal Methods Syst. Des..
Eric Koskinen,
Byron Cook,
2013,
PLDI.
Dimitar Dimitrov,
Eric Koskinen,
Martin T. Vechev,
2014,
PLDI.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2017,
PODC.
Sumit Gulwani,
Eric Koskinen,
Sagar Jain,
2009,
PLDI '09.
Maurice Herlihy,
Eric Koskinen,
Vikram Saraph,
2018,
Financial Cryptography Workshops.
Sumit Gulwani,
Eric Koskinen,
Sagar Jain,
2010
.
Eric Koskinen,
Shmuel Sagiv,
Omer Tripp,
2013,
OOPSLA.
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2011
.
Eric Koskinen,
Kshitij Bansal,
2020,
ArXiv.
Eric Koskinen,
John Jannotti,
2008
.
Dawn Song,
Jeffrey S. Foster,
David Van Horn,
2018
.
Eric Koskinen,
Timos Antonopoulos,
Ton-Chanh Le,
2019,
Proc. ACM Program. Lang..
Matthew J. Parkinson,
Eric Koskinen,
2015,
PLDI.
Eric Koskinen,
Ton Chanh Le,
Timos Antonopoulos,
2020,
Proc. ACM Program. Lang..
Eric Koskinen,
Omer Tripp,
Kshitij Bansal,
2020,
Journal of Automated Reasoning.
Eric Koskinen,
Kshitij Bansal,
Eric Koskinen,
2021,
VMCAI.
Eric Koskinen,
Tachio Terauchi,
Hiroshi Unno,
2018,
LICS.
Jun Xu,
Yaohui Chen,
Eric Koskinen,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Pietro Ferrara,
Eric Koskinen,
Peng Liu,
2017,
VMCAI.
Eric Koskinen,
Kshitij Bansal,
Omer Tripp,
2018,
TACAS.
Maurice Herlihy,
Eric Koskinen,
M. Herlihy,
2008,
PPoPP.
Maurice Herlihy,
Eric Koskinen,
M. Herlihy,
2009,
PODC '09.
Jun Xu,
Eric Koskinen,
Georgios Portokalidis,
2021,
ArXiv.
Jun Xu,
Eric Koskinen,
Georgios Portokalidis,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Eric Koskinen,
Yuandong Cyrus Liu,
Ton-Chanh Le,
2021,
ArXiv.
Eric Koskinen,
Tachio Terauchi,
Hiroshi Unno,
2021,
CAV.
Eric Koskinen,
Georgios Portokalidis,
Daniel Dietsch,
2021,
APLAS.
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2010
.
Sumit Gulwani,
Eric Koskinen,
Sagar Jain,
2009,
PLDI.
Eric Koskinen,
Kshitij Bansal,
Omer Tripp,
2015
.
Eric Koskinen,
John Jannotti,
John Jannotti,
2007
.
Michael Hicks,
Eric Koskinen,
Tachio Terauchi,
2016
.