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

This page was built for person: Ilya Sergey