Ilya Sergey Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner: Modular, higher order cardinality analysis in theory and practice. J. Funct. Program. 27: e11 (2017)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Aquinas Hobor: A Concurrent Perspective on Smart Contracts. CoRR abs/1702.05511 (2017)
2016
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey: Experience report: growing and shrinking polygons for random testing of computational geometry algorithms. ICFP 2016: 193-199
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco: Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. OOPSLA 2016: 92-110
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee: Concurrent Data Structures Linked in Time. CoRR abs/1604.08080 (2016)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Podkopaev, Ilya Sergey, Aleksandar Nanevski: Operational Aspects of C/C++ Concurrency. CoRR abs/1606.01400 (2016)
2015
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Aleksandar Nanevski, Anindya Banerjee: Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. ESOP 2015: 333-358
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Aleksandar Nanevski, Anindya Banerjee: Mechanized verification of fine-grained concurrent programs. PLDI 2015: 77-87
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco: Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects. CoRR abs/1509.06220 (2015)
2014
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn: Pushdown flow analysis with abstract garbage collection. J. Funct. Program. 24(2-3): 218-283 (2014)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco: Communicating State Transition Systems for Fine-Grained Concurrent Resources. ESOP 2014: 290-310
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁlvaro García-Pérez, Pablo Nogueira, Ilya Sergey: Deriving interpretations of the gradually-typed lambda calculus. PEPM 2014: 157-168
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones: Modular, higher-order cardinality analysis in theory and practice. POPL 2014: 335-348
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn: Pushdown flow analysis with abstract garbage collection. CoRR abs/1406.5106 (2014)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Aleksandar Nanevski, Anindya Banerjee: Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. CoRR abs/1410.0306 (2014)
2013
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens: Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013: 97-106
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens: Monadic abstract interpreters. PLDI 2013: 399-410
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad: Ownership Types: A Survey. Aliasing in Object-Oriented Programming 2013: 15-58
2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dave Clarke: A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112(1-2): 13-20 (2012)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dave Clarke: Gradual Ownership Types. ESOP 2012: 579-599
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Earl, Ilya Sergey, Matthew Might, David Van Horn: Introspective pushdown analysis of higher-order programs. ICFP 2012: 177-188
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Jan Midtgaard, Dave Clarke: Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Earl, Ilya Sergey, Matthew Might, David Van Horn: Introspective Pushdown Analysis of Higher-Order Programs .CoRR abs/1207.1813 (2012)
2011
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dave Clarke: From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2
2009
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Ilya Sergey: A semantics for context-oriented programming with layers. COP@ECOOP 2009: 10:1-10:6

Coauthor Index

1Anindya Banerjee[c13] [i6] [c12] [c11] [i4] [i2]
2Joachim Breitner[j3]
3Dave Clarke[c7] [c6] [p1] [j1] [c5] [c3] [c2] [c1]
4David Darais[c6]
5Germán Andrés Delbianco[c13] [i6] [i4] [c10]
6Dominique Devriese[c7] [c6]
7Christopher Earl[j2] [i3] [c4] [i1]
8Álvaro García-Pérez[c9]
9Dionna Amalie Glaze
J. Ian Johnson
[j2] [i3]
10Aquinas Hobor[i7]
11David Van Horn[j2] [i3] [c4] [i1]
12Simon L. Peyton Jones[j3] [c8]
13Ruy Ley-Wild[c10]
14Jan Midtgaard[c6] [c3]
15Matthew Might[j2] [i3] [c6] [c4] [i1]
16Aleksandar Nanevski[c13] [i6] [i5] [c12] [c11] [i4] [c10] [i2]
17Pablo Nogueira[c9]
18Johan Östlund[p1]
19Frank Piessens[c7] [c6]
20Anton Podkopaev[i5]
21Dimitrios Vytiniotis[j3] [c8]
22Tobias Wrigstad[p1]

 

Last update 2017-03-12 22:59 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page