Ilya Sergey

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Concise read-only specifications for better synthesis of programs with pointers Programming Languages and Systems	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 Journal of Functional Programming	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 (available as arXiv preprint)	2021-02-09	Paper
Engineering Distributed Systems that We Can Trust (and Also Run) Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing	2021-01-20	Paper
Paxos consensus, deconstructed and abstracted (available as arXiv preprint)	2019-09-13	Paper
Modular, higher order cardinality analysis in theory and practice Journal of Functional Programming	2017-10-23	Paper
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Specifying and verifying concurrent algorithms with histories and subjectivity Programming Languages and Systems	2016-04-26	Paper
Pushdown flow analysis with abstract garbage collection Journal of Functional Programming	2014-08-14	Paper
Introspective pushdown analysis of higher-order programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Introspective pushdown analysis of higher-order programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Communicating state transition systems for fine-grained concurrent resources Programming Languages and Systems	2014-04-16	Paper
Modular, higher-order cardinality analysis in theory and practice Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Calculating graph algorithms for dominance and shortest path Lecture Notes in Computer Science	2012-09-05	Paper
Gradual ownership types Programming Languages and Systems	2012-06-22	Paper
A correspondence between type checking via reduction and type checking via evaluation Information Processing Letters	2012-03-09	Paper

Research outcomes over time

This page was built for person: Ilya Sergey