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.

Nadia Polikarpova
SearchCollections
Map detail
Nadia Polikarpova18 visible / 18 total nodes / 39 links

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

Related contextRelated contextCo-authorshipCo-authorshipCo-authorshipRelated contextAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipNadia PolikarpovaANadia PolikarpovaResearcherLanguage-Based Agent ControlWLanguage-Based Agent Co...preprint / 2026Timothy ZhouATimothy ZhouResearcherLoris D'AntoniALoris D'AntoniResearcherLiquid Information Flow ControlWLiquid Information Flow...preprint / 2020What Good Are Strong Specifications?WWhat Good Are Strong Sp...preprint / 2013Specifying Reusable ComponentsWSpecifying Reusable Com...preprint / 2010Flexible Invariants Through Semantic CollaborationWFlexible Invariants Thr...preprint / 2014Program Synthesis from Polymorphic Refinement TypesWProgram Synthesis from ...preprint / 2016Programming LanguagesTProgramming Languages1239 worksArtificial IntelligenceTArtificial Intelligence22915 worksCryptography and SecurityTCryptography and Security7258 worksConcise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended VersionWConcise Read-Only Speci...preprint / 2020AutoProof: Auto-active Functional Verification of Object-oriented ProgramsWAutoProof: Auto-active ...preprint / 2015Searching Entangled Program SpacesWSearching Entangled Pro...preprint / 2022Liquid Resource TypesWLiquid Resource Typespreprint / 2020Type-Directed Program Synthesis for RESTful APIsWType-Directed Program S...preprint / 2022Program Synthesis by Type-Guided Abstraction RefinementWProgram Synthesis by Ty...preprint / 2019
Person17 links

Nadia Polikarpova

Researcher

PaperLanguage-Based Agent ControlAuthorship / preprint / 2026PersonTimothy ZhouCo-authorship / ResearcherPersonLoris D'AntoniCo-authorship / ResearcherPaperLiquid Information Flow ControlAuthorship / preprint / 2020PaperWhat Good Are Strong Specifications?Authorship / preprint / 2013PaperSpecifying Reusable ComponentsAuthorship / preprint / 2010PaperFlexible Invariants Through Semantic CollaborationAuthorship / preprint / 2014PaperProgram Synthesis from Polymorphic Refinement TypesAuthorship / preprint / 2016

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)