Ilya Sergey
Ilya Sergey
Yale-NUS College and National University of Singapore
Dirección de correo verificada de yale-nus.edu.sg - Página principal
Título
Citado por
Citado por
Año
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
1862018
Mechanized Verification of Fine-grained Concurrent Programs
I Sergey, A Nanevski, A Banerjee
36th ACM SIGPLAN International Conference on Programming Language Design and …, 2015
982015
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
972014
Ownership types: A survey
D Clarke, J Östlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013
78*2013
A concurrent perspective on smart contracts
I Sergey, A Hobor
International Conference on Financial Cryptography and Data Security, 478-493, 2017
672017
Programming and proving with distributed protocols
I Sergey, JR Wilcox, Z Tatlock
45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018
662018
Scilla: a smart contract intermediate-level language
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 2018
622018
Introspective pushdown analysis of higher-order programs
C Earl, I Sergey, M Might, D Van Horn
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
602012
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.
I Sergey, A Nanevski, A Banerjee
24th European Symposium on Programming (ESOP), 333-358, 2015
482015
Gradual Ownership Types
I Sergey, D Clarke
ESOP 2012: 21st European Symposium on Programming, 579–599, 2012
402012
Mechanising Blockchain Consensus
G Pîrlea, I Sergey
7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018
382018
A semantics for context-oriented programming with layers
D Clarke, I Sergey
International Workshop on Context-Oriented Programming, 10, 2009
372009
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
E Albert, P Gordillo, B Livshits, A Rubio, I Sergey
ATVA, 2018
342018
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
302013
Modular, higher order cardinality analysis in theory and practice
I Sergey, D Vytiniotis, SLP Jones, J Breitner
Journal of Functional Programming 27, 2017
282017
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
282014
Exploiting the laws of order in smart contracts
A Kolluri, I Nikolic, I Sergey, A Hobor, P Saxena
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
262019
RacerD: Compositional Static Race Detection
S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey
Proc. ACM Program. Lang 2 (OOPSLA), 2018
262018
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
162017
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
162016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20