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.

Niki Vazou
SearchCollections
Map detail
Niki Vazou9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNiki VazouANiki VazouResearcherHow to Safely Use Extensionality in Liquid HaskellWHow to Safely Use Exten...preprint / 2022From Safety To Termination And Back: SMT-Based Verification For Lazy LanguagesWFrom Safety To Terminat...preprint / 2014Bounded Refinement TypesWBounded Refinement Typespreprint / 2015Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)WRefinement Reflection (...preprint / 2016Verified Parallel String Matching in HaskellWVerified Parallel Strin...preprint / 2016REST: Integrating Term Rewriting with Program Verification (Extended Version)WREST: Integrating Term ...preprint / 2022Mechanizing Refinement Types (extended)WMechanizing Refinement ...preprint / 2022LIO*: Low Level Information Flow Control in F*WLIO*: Low Level Informa...preprint / 2020
Person8 links

Niki Vazou

Researcher

PaperHow to Safely Use Extensionality in Liquid HaskellAuthorship / preprint / 2022PaperFrom Safety To Termination And Back: SMT-Based Verification For Lazy LanguagesAuthorship / preprint / 2014PaperBounded Refinement TypesAuthorship / preprint / 2015PaperRefinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)Authorship / preprint / 2016PaperVerified Parallel String Matching in HaskellAuthorship / preprint / 2016PaperREST: Integrating Term Rewriting with Program Verification (Extended Version)Authorship / preprint / 2022PaperMechanizing Refinement Types (extended)Authorship / preprint / 2022PaperLIO*: Low Level Information Flow Control in F*Authorship / preprint / 2020

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)