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.

Ranjit Jhala
SearchCollections
Map detail
Ranjit Jhala13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRanjit JhalaARanjit JhalaResearcherHMC: Verifying Functional Programs Using Abstract InterpretersWHMC: Verifying Function...preprint / 2010Interpolant-Based Transition Relation ApproximationWInterpolant-Based Trans...preprint / 2007Predicate Abstraction for Linked Data StructuresWPredicate Abstraction f...preprint / 2015Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)WRefinement Reflection (...preprint / 2016Mechanizing Refinement Types (extended)WMechanizing Refinement ...preprint / 2022Nested Refinements for Dynamic LanguagesWNested Refinements for ...preprint / 2011Dependent Types for JavaScriptWDependent Types for Jav...preprint / 2012Counterexample-guided PlanningWCounterexample-guided P...preprint / 2012From Safety To Termination And Back: SMT-Based Verification For Lazy LanguagesWFrom Safety To Terminat...preprint / 2014Trust, but Verify: Two-Phase Typing for Dynamic LanguagesWTrust, but Verify: Two-...preprint / 2015Bounded Refinement TypesWBounded Refinement Typespreprint / 2015Refinement Types for TypeScriptWRefinement Types for Ty...preprint / 2016
Person12 links

Ranjit Jhala

Researcher

PaperHMC: Verifying Functional Programs Using Abstract InterpretersAuthorship / preprint / 2010PaperInterpolant-Based Transition Relation ApproximationAuthorship / preprint / 2007PaperPredicate Abstraction for Linked Data StructuresAuthorship / preprint / 2015PaperRefinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)Authorship / preprint / 2016PaperMechanizing Refinement Types (extended)Authorship / preprint / 2022PaperNested Refinements for Dynamic LanguagesAuthorship / preprint / 2011PaperDependent Types for JavaScriptAuthorship / preprint / 2012PaperCounterexample-guided PlanningAuthorship / preprint / 2012

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)