Ilya Sergey

Available identifiers

Publication	Date of Publication	Type
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers	2022-10-13	Paper
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)	2022-03-25	Paper
Protocol combinators for modeling, testing, and execution of distributed systems	2021-12-22	Paper
Automated repair of heap-manipulating programs using deductive synthesis	2021-10-18	Paper
Certifying certainty and uncertainty in approximate membership query structures	2021-02-09	Paper
Engineering Distributed Systems that We Can Trust (and Also Run)	2021-01-20	Paper
Paxos consensus, deconstructed and abstracted	2019-09-13	Paper
Modular, higher order cardinality analysis in theory and practice	2017-10-23	Paper
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms	2017-05-10	Paper
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity	2016-04-26	Paper
Pushdown flow analysis with abstract garbage collection	2014-08-14	Paper
Introspective pushdown analysis of higher-order programs	2014-07-21	Paper
Communicating State Transition Systems for Fine-Grained Concurrent Resources	2014-04-16	Paper
Modular, higher-order cardinality analysis in theory and practice	2014-04-10	Paper
Calculating Graph Algorithms for Dominance and Shortest Path	2012-09-05	Paper
Gradual Ownership Types	2012-06-22	Paper
A correspondence between type checking via reduction and type checking via evaluation	2012-03-09	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ilya Sergey