Eric Koskinen
发表
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2017,
PODC.
Eric Koskinen,
2009
.
Eric Koskinen,
Kshitij Bansal,
2020
.
D. Song,
Eric Koskinen,
J. Foster,
2018
.
M. Herlihy,
Eric Koskinen,
2008
.
Michael Hicks,
Eric Koskinen,
Tachio Terauchi,
2016
.
Sumit Gulwani,
Eric Koskinen,
Sagar Jain,
2009
.
Eric Koskinen,
A. Chen,
Parisa Fathololumi,
2022,
Proc. ACM Program. Lang..
M. Herlihy,
Eric Koskinen,
2010
.
Dawn Song,
Jeffrey S. Foster,
David Van Horn,
2018
.
Eric Koskinen,
John Jannotti,
John Jannotti,
2007
.
D. Naumann,
Eric Koskinen,
Timos Antonopoulos,
2022,
ArXiv.
Moshe Y. Vardi,
Eric Koskinen,
B. Cook,
2012,
Formal Methods in System Design.
Eric Koskinen,
Tachio Terauchi,
Eric Koskinen,
2014,
CSL-LICS.
Thomas Wies,
Damien Zufferey,
Eric Koskinen,
2013,
TACAS.
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2011,
Formal Methods Syst. Des..
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2017,
Distributed Computing.
Maurice Herlihy,
Matthew J. Parkinson,
Eric Koskinen,
2011
.
Eric Koskinen,
Tachio Terauchi,
Hiroshi Unno,
2021,
CAV.
Michael Hicks,
Eric Koskinen,
Tachio Terauchi,
2017,
PLDI.
Eric Koskinen,
Byron Cook,
Eric Koskinen,
2011,
POPL '11.
Eric Koskinen,
C. Enea,
Parisa Fathololumi,
2023,
ArXiv.
Sumit Gulwani,
Eric Koskinen,
Sagar Jain,
2009,
PLDI '09.
D. Naumann,
Eric Koskinen,
Timos Antonopoulos,
2022,
Proc. ACM Program. Lang..
Eric Koskinen,
Timos Antonopoulos,
Ton-Chanh Le,
2019,
Proc. ACM Program. Lang..
Maurice Herlihy,
Eric Koskinen,
Vikram Saraph,
2018,
Financial Cryptography Workshops.
Eric Koskinen,
Omer Tripp,
Kshitij Bansal,
2020,
Journal of Automated Reasoning.
Eric Koskinen,
Kshitij Bansal,
Omer Tripp,
2018,
TACAS.
Maurice Herlihy,
Eric Koskinen,
M. Herlihy,
2008,
PPoPP.
Eric Koskinen,
John Jannotti,
John Jannotti,
2008,
Eurosys '08.
Eric Koskinen,
Ton Chanh Le,
Timos Antonopoulos,
2020,
Proc. ACM Program. Lang..
Eric Koskinen,
Tachio Terauchi,
Hiroshi Unno,
2020,
ArXiv.
Jun Xu,
Yaohui Chen,
Eric Koskinen,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Junfeng Yang,
Eric Koskinen,
Eric Koskinen,
2016,
POPL.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2018
.
Eric Koskinen,
Kshitij Bansal,
Eric Koskinen,
2021,
VMCAI.
Eric Koskinen,
Georgios Portokalidis,
Daniel Dietsch,
2021,
APLAS.
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2011
.
Moshe Y. Vardi,
Eric Koskinen,
Byron Cook,
2010
.
Maurice Herlihy,
Eric Koskinen,
M. Herlihy,
2008,
SPAA '08.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2019,
APLAS.
Maurice Herlihy,
Eric Koskinen,
Paul Gazzillo,
2017,
PODC.
Eric Koskinen,
Shmuel Sagiv,
Omer Tripp,
2013,
OOPSLA.
Maurice Herlihy,
Eric Koskinen,
M. Herlihy,
2009,
PODC '09.
Eric Koskinen,
Tachio Terauchi,
Hiroshi Unno,
2018,
LICS.
Moshe Y. Vardi,
Eric Koskinen,
Hiroshi Unno,
2022
.