BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ilya Sergey
SearchCollections
Map detail
Ilya Sergey11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIlya SergeyAIlya SergeyResearcherSpecifying and Verifying Concurrent Algorithms with Histories and SubjectivityWSpecifying and Verifyin...preprint / 2014Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent ObjectsWHoare-style Specificati...preprint / 2016Certifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended VersionWCertifying Certainty an...preprint / 2020Introspective Pushdown Analysis of Higher-Order ProgramsWIntrospective Pushdown ...preprint / 2012Pushdown flow analysis with abstract garbage collectionWPushdown flow analysis ...preprint / 2014Operational Aspects of C/C++ ConcurrencyWOperational Aspects of ...preprint / 2016QED at Large: A Survey of Engineering of Formally Verified SoftwareWQED at Large: A Survey ...preprint / 2020Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant InferenceWInductive First-Order F...preprint / 2026Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended VersionWConcise Read-Only Speci...preprint / 2020Compiling a Higher-Order Smart Contract Language to LLVMWCompiling a Higher-Orde...preprint / 2020
Person10 links

Ilya Sergey

Researcher

PaperSpecifying and Verifying Concurrent Algorithms with Histories and SubjectivityAuthorship / preprint / 2014PaperHoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent ObjectsAuthorship / preprint / 2016PaperCertifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended VersionAuthorship / preprint / 2020PaperIntrospective Pushdown Analysis of Higher-Order ProgramsAuthorship / preprint / 2012PaperPushdown flow analysis with abstract garbage collectionAuthorship / preprint / 2014PaperOperational Aspects of C/C++ ConcurrencyAuthorship / preprint / 2016PaperQED at Large: A Survey of Engineering of Formally Verified SoftwareAuthorship / preprint / 2020PaperInductive First-Order Formula Synthesis by ASP: A Case Study in Invariant InferenceAuthorship / preprint / 2026

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)