Ilya Sergey
发表
Prateek Saxena,
Ilya Sergey,
Aquinas Hobor,
2018,
ACSAC.
Ilya Sergey,
Aquinas Hobor,
Amrit Kumar,
2018,
ArXiv.
Prateek Saxena,
Ilya Sergey,
Aquinas Hobor,
2018,
ISSTA.
Ilya Sergey,
Anindya Banerjee,
Aleksandar Nanevski,
2015,
PLDI.
Albert Rubio,
Elvira Albert,
Ilya Sergey,
2019,
Lecture Notes in Computer Science.
Ilya Sergey,
Aleksandar Nanevski,
Ruy Ley-Wild,
2014,
ESOP.
Ilya Sergey,
Zachary Tatlock,
James R. Wilcox,
2017,
Proc. ACM Program. Lang..
Ilya Sergey,
2015
.
Dave Clarke,
Ilya Sergey,
Ilya Sergey,
2012,
Inf. Process. Lett..
Dave Clarke,
Tobias Wrigstad,
Ilya Sergey,
2013,
Aliasing in Object-Oriented Programming.
Matthew Might,
David Van Horn,
Ilya Sergey,
2014,
Journal of Functional Programming.
Simon L. Peyton Jones,
Ilya Sergey,
Dimitrios Vytiniotis,
2014,
POPL 2014.
Matthew Might,
David Van Horn,
Ilya Sergey,
2012,
ICFP.
Thomas Sibut-Pinote,
Ilya Sergey,
E. Albert,
2018
.
Ilya Sergey,
Á. García-Pérez,
Alexey Gotsman,
2018
.
Ilya Sergey,
S. Jones,
Dimitrios Vytiniotis,
2013
.
Ilya Sergey,
D. Clarke,
Jan Midtgaard,
2013
.
James R. Wilcox,
Ilya Sergey,
Zachary Tatlock,
2017
.
Ilya Sergey,
A. Banerjee,
Aleksandar Nanevski,
2016
.
Dominique Devriese,
Frank Piessens,
David Darais,
2013,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Ilya Sergey,
2015
.
Ilya Sergey,
George Pîrlea,
2019
.
Ilya Sergey,
A. Andersen,
2018
.
Ilya Sergey,
A. Andersen,
2018
.
Ilya Sergey,
D. Clarke,
2010
.
Ilya Sergey,
Kiran Gopinathan,
Ilya Sergey,
2020,
CAV.
Albert Rubio,
Benjamin Livshits,
Elvira Albert,
2018,
ATVA.
Ilya Sergey,
Aquinas Hobor,
Aquinas Hobor,
2017,
Financial Cryptography Workshops.
Alexey Gotsman,
Ilya Sergey,
Álvaro García-Pérez,
2018,
ESOP.
Alexey Gotsman,
Álvaro García-Pérez,
Yuri Meshman,
2018,
ArXiv.
Ilya Sergey,
Karl Palmskog,
Zachary Tatlock,
2019,
Found. Trends Program. Lang..
Dave Clarke,
Ilya Sergey,
Jan Midtgaard,
2012,
MPC.
Ilya Sergey,
Amrit Kumar,
George Pîrlea,
2021,
PLDI.
Ilya Sergey,
Anindya Banerjee,
Aleksandar Nanevski,
2014,
ESOP.
Ilya Sergey,
Amrit Kumar,
Vaivaswatha Nagaraj,
2020,
ArXiv.
Ilya Sergey,
Amrit Kumar,
Vaivaswatha Nagaraj,
2019,
Proc. ACM Program. Lang..
Ilya Sergey,
Aquinas Hobor,
Amrit Kumar,
2018,
ISoLA.
Anton Podkopaev,
Ilya Sergey,
Aleksandar Nanevski,
2016,
ArXiv.
Ilya Sergey,
Peter Müller,
N. Polikarpova,
2023
.
Peter W. O'Hearn,
Ilya Sergey,
Nikos Gorogiannis,
2018,
Proc. ACM Program. Lang..
Ilya Sergey,
Aquinas Hobor,
Amrit Kumar,
2017
.
Ilya Sergey,
S. Bozhevolnyi,
Sergejs Boroviks,
2019
.
Aquinas Hobor,
Ilya Sergey,
2017,
Financial Cryptography Workshops.
Ilya Sergey,
Leonidas Lampropoulos,
A. Trunov,
2022,
Proc. ACM Program. Lang..
Ilya Sergey,
George Pîrlea,
Abhik Roychoudhury,
2023,
2305.02601.
Ilya Sergey,
Abhishek Tiwari,
Abhik Roychoudhury,
2021,
ACM Trans. Softw. Eng. Methodol..
Albert Rubio,
Elvira Albert,
Ilya Sergey,
2018,
ArXiv.
Ilya Sergey,
George Pîrlea,
Ilya Sergey,
2018,
CPP.
Reuben N. S. Rowe,
Hila Peleg,
Nadia Polikarpova,
2021,
PLDI.
Nadia Polikarpova,
Ilya Sergey,
Ilya Sergey,
2018,
Proc. ACM Program. Lang..
Peter W. O'Hearn,
Ilya Sergey,
Nikos Gorogiannis,
2018,
Proc. ACM Program. Lang..
Wei-Ngan Chin,
Quang-Trung Ta,
Ilya Sergey,
2021,
VMCAI.
Reuben N. S. Rowe,
Hila Peleg,
Nadia Polikarpova,
2021,
CAV.
Ilya Sergey,
Ilya Sergey,
2014
.
Michael A. Rodriguez,
Ilya Sergey,
K. Wiersema,
2020,
Astronomy & Astrophysics.
Ilya Sergey,
Ilya Sergey,
2016,
ICFP.
Ilya Sergey,
Pablo Nogueira,
Álvaro García-Pérez,
2014,
PEPM '14.
Dave Clarke,
Ilya Sergey,
Ilya Sergey,
2011,
LDTA.
Dominique Devriese,
Frank Piessens,
David Darais,
2013,
PLDI.
Nadia Polikarpova,
Ilya Sergey,
Kiran Gopinathan,
2021,
Proc. ACM Program. Lang..
Ilya Sergey,
Dave Clarke,
Alexander Podkhalyuzin,
2010
.