Ilya Sergey

发表

Nadia Polikarpova, Ilya Sergey, Andreea Costea, 2020, ESOP.

Ilya Sergey, Aquinas Hobor, Amrit Kumar, 2018, ISoLA.

Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2014, ESOP.

Simon Peyton Jones, Ilya Sergey, Dimitrios Vytiniotis, 2014 .

Ilya Sergey, Zachary Tatlock, James R. Wilcox, 2017, SNAPL.

Dave Clarke, Ilya Sergey, Ilya Sergey, 2012, Inf. Process. Lett..

Dave Clarke, Tobias Wrigstad, Ilya Sergey, 2013, Aliasing in Object-Oriented Programming.

Ilya Sergey, Vytiniotis Simon, Peyton Jones, 2013 .

Ilya Sergey, Pablo Nogueira, Álvaro García-Pérez, 2014, PEPM '14.

Dave Clarke, Ilya Sergey, Jan Midtgaard, 2012, MPC.

Ilya Sergey, Dave Clarke, Alexander Podkhalyuzin, 2010 .

Matthew Might, David Van Horn, Ilya Sergey, 2014, Journal of Functional Programming.

Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2015, PLDI.

Simon L. Peyton Jones, Ilya Sergey, Dimitrios Vytiniotis, 2017, J. Funct. Program..

Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2017, Dagstuhl Artifacts Ser..

Ilya Sergey, Zachary Tatlock, James R. Wilcox, 2017, Proc. ACM Program. Lang..

Dave Clarke, Ilya Sergey, 2012, ESOP.

Albert Rubio, Benjamin Livshits, Elvira Albert, 2018, ATVA.

Prateek Saxena, Ilya Sergey, Aquinas Hobor, 2018, ISSTA.

Ilya Sergey, Dave Clarke, 2011 .

Matthew Might, David Van Horn, Ilya Sergey, 2014, ArXiv.

Ilya Sergey, Aleksandar Nanevski, Ruy Ley-Wild, 2014, ESOP.

Simon L. Peyton Jones, Ilya Sergey, Dimitrios Vytiniotis, 2014, POPL 2014.

Ilya Sergey, George Pîrlea, Ilya Sergey, 2018, CPP.

Ilya Sergey, Aquinas Hobor, Amrit Kumar, 2018, ArXiv.

Prateek Saxena, Ilya Sergey, Aquinas Hobor, 2018, ACSAC.

Alexey Gotsman, Ilya Sergey, Álvaro García-Pérez, 2018, ESOP.

Simon Peyton Jones, Ilya Sergey, Dimitrios Vytiniotis, 2017 .

Dominique Devriese, Frank Piessens, Dave Clarke, 2013, PEPM '13.

Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2016, OOPSLA.

Albert Rubio, Elvira Albert, Ilya Sergey, 2019, Lecture Notes in Computer Science.

Dominique Devriese, Frank Piessens, David Darais, 2013, PLDI.

Matthew Might, David Van Horn, Ilya Sergey, 2012, ICFP.

Dominique Devriese, Frank Piessens, David Darais, 2013, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski, 2016, ArXiv.

Ilya Sergey, Kiran Gopinathan, Ilya Sergey, 2020, CAV.

Dave Clarke, Ilya Sergey, 2009, COP@ECOOP.

Ilya Sergey, Amrit Kumar, Vaivaswatha Nagaraj, 2020, ArXiv.

Matthew Might, David Van Horn, Ilya Sergey, 2013 .

Dave Clarke, Ilya Sergey, Jan Midtgaard, 2011 .

Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2017, ECOOP.

Nadia Polikarpova, Ilya Sergey, Ilya Sergey, 2018, Proc. ACM Program. Lang..

Ilya Sergey, Amrit Kumar, Vaivaswatha Nagaraj, 2019, Proc. ACM Program. Lang..

Ilya Sergey, Karl Palmskog, Zachary Tatlock, 2019, Found. Trends Program. Lang..

Wei-Ngan Chin, Quang-Trung Ta, Ilya Sergey, 2021, VMCAI.

Ilya Sergey, Aquinas Hobor, Aquinas Hobor, 2017, Financial Cryptography Workshops.

Albert Rubio, Elvira Albert, Ilya Sergey, 2018, ArXiv.

Dave Clarke, Ilya Sergey, Peter Gromov, 2011 .

Ilya Sergey, Kristoffer Just Arndal Andersen, 2019, PADL.

Nadia Polikarpova, Ilya Sergey, Kiran Gopinathan, 2021 .

Ilya Sergey, Abhishek Tiwari, Abhik Roychoudhury, 2021, ACM Trans. Softw. Eng. Methodol..

Reuben N. S. Rowe, Hila Peleg, Nadia Polikarpova, 2021, PLDI.

Ilya Sergey, George Pîrlea, Amrit Kumar, 2021 .

Reuben N. S. Rowe, Hila Peleg, Nadia Polikarpova, 2021 .

Ilya Sergey, Amrit Kumar, George Pîrlea, 2021, PLDI.

Nadia Polikarpova, Ilya Sergey, Kiran Gopinathan, 2021, Proc. ACM Program. Lang..