Ilya Sergey
Ilya Sergey
Associate Professor at Yale-NUS College and NUS School of Computing
Подтвержден адрес электронной почты в домене yale-nus.edu.sg - Главная страница
НазваниеПроцитированоГод
Communicating State Transition Systems for Fine-Grained Concurrent Resources
A Nanevski, R Ley-Wild, I Sergey, GA Delbianco
ESOP 2014: 23rd European Symposium on Programming, 290–310, 2014
752014
Mechanized Verification of Fine-grained Concurrent Programs
I Sergey, A Nanevski, A Banerjee
36th ACM SIGPLAN International Conference on Programming Language Design and …, 2015
652015
Finding the greedy, prodigal, and suicidal contracts at scale
I Nikolic, A Kolluri, I Sergey, P Saxena, A Hobor
ACSAC 2018: 34th Annual Computer Security Applications Conference, 653-663, 2018
592018
Introspective pushdown analysis of higher-order programs
C Earl, I Sergey, M Might, D Van Horn
ACM SIGPLAN Notices 47 (9), 177-188, 2012
552012
Ownership types: A survey
D Clarke, J Östlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013
462013
A concurrent perspective on smart contracts
I Sergey, A Hobor
International Conference on Financial Cryptography and Data Security, 478-493, 2017
372017
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.
I Sergey, A Nanevski, A Banerjee
24th European Symposium on Programming (ESOP), 333-358, 2015
372015
A semantics for context-oriented programming with layers
D Clarke, I Sergey
International Workshop on Context-Oriented Programming, 10, 2009
352009
Programming and proving with distributed protocols
I Sergey, JR Wilcox, Z Tatlock
45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018
302018
Gradual Ownership Types
I Sergey, D Clarke
ESOP 2012: 21st European Symposium on Programming, 579–599, 2012
292012
Scilla: a smart contract intermediate-level language
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 2018
212018
Modular, higher order cardinality analysis in theory and practice
I Sergey, D Vytiniotis, SLP Jones, J Breitner
Journal of Functional Programming 27, 2017
202017
Modular, higher order cardinality analysis in theory and practice
I Sergey, D Vytiniotis, SLP Jones
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2014
202014
Monadic Abstract Interpreters
I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ...
34th ACM SIGPLAN International Conference on Programming Language Design and …, 2013
202013
Mechanising Blockchain Consensus
G Pîrlea, I Sergey
7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018
132018
Operational aspects of C/C++ concurrency
A Podkopaev, I Sergey, A Nanevski
arXiv preprint arXiv:1606.01400, 2016
112016
Programming Language Abstractions for Modularly Verified Distributed Systems
JR Wilcox, I Sergey, Z Tatlock
The 2nd Summit oN Advances in Programming Languages (SNAPL 2017), 2017
102017
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects
I Sergey, A Nanevski, A Banerjee, GA Delbianco
ACM SIGPLAN Notices 51 (10), 92-110, 2016
102016
Pushdown Flow Analysis with Abstract Garbage Collection
JIAN JOHNSON, I SERGEY, C EARL, M MIGHT, D VAN HORN
Journal of Functional Programming 24 (2-3), 218-283, 2014
102014
A correspondence between type checking via reduction and type checking via evaluation
I Sergey, D Clarke
Information Processing Letters 112 (1-2), 13-20, 2012
102012
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20