pith. sign in

Ilya Sergey

Identifiers

  • name variant Ilya Sergey 0.60 · backfill

Papers (15)

  1. Certified Program Synthesis with a Multi-Modal Verifier cs.SE · 2026 · author #8
  2. A True Positives Theorem for a Static Race Detector - Extended Version cs.PL · 2018 · author #3
  3. Exploiting The Laws of Order in Smart Contracts cs.CR · 2018 · author #3
  4. Structuring the Synthesis of Heap-Manipulating Programs - Extended Version cs.PL · 2018 · author #2
  5. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode cs.PL · 2018 · author #5
  6. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale cs.CR · 2018 · author #3
  7. Paxos Consensus, Deconstructed and Abstracted (Extended Version) cs.DC · 2018 · author #4
  8. Scilla: a Smart Contract Intermediate-Level LAnguage cs.PL · 2018 · author #1
  9. A Concurrent Perspective on Smart Contracts cs.DC · 2017 · author #1
  10. Operational Aspects of C/C++ Concurrency cs.PL · 2016 · author #2
  11. Concurrent Data Structures Linked in Time cs.LO · 2016 · author #2
  12. Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects cs.LO · 2015 · author #1
  13. Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity cs.LO · 2014 · author #1
  14. Pushdown flow analysis with abstract garbage collection cs.PL · 2014 · author #2
  15. Introspective Pushdown Analysis of Higher-Order Programs cs.PL · 2012 · author #2

Mentions

  • 1207.1813 #2 · backfill · confidence 0.70 Ilya Sergey

Frequent Coauthors