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.

Matthew Might
SearchCollections
Map detail
Matthew Might13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatthew MightAMatthew MightResearcherA family of abstract interpretations for static analysis of concurrent higher-order programsWA family of abstract in...preprint / 2011Resolving and Exploiting the $k$-CFA ParadoxWResolving and Exploitin...preprint / 2013Yacc is deadWYacc is deadpreprint / 2010Pushdown Abstractions of JavaScriptWPushdown Abstractions o...preprint / 2011Abstracting Abstract MachinesWAbstracting Abstract Ma...preprint / 2010Pushdown Control-Flow Analysis of Higher-Order ProgramsWPushdown Control-Flow A...preprint / 2010Systematic Abstraction of Abstract MachinesWSystematic Abstraction ...preprint / 2011Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program AnalysisWAbstracting Abstract Ma...preprint / 2011Stack-Summarizing Control-Flow Analysis of Higher-Order ProgramsWStack-Summarizing Contr...preprint / 2010Pushdown Exception-Flow Analysis of Object-Oriented ProgramsWPushdown Exception-Flow...preprint / 2013AnaDroid: Malware Analysis of Android with User-supplied PredicatesWAnaDroid: Malware Analy...preprint / 2013Galois Transformers and Modular Abstract InterpretersWGalois Transformers and...preprint / 2015
Person12 links

Matthew Might

Researcher

PaperA family of abstract interpretations for static analysis of concurrent higher-order programsAuthorship / preprint / 2011PaperResolving and Exploiting the kk-CFA ParadoxAuthorship / preprint / 2013PaperYacc is deadAuthorship / preprint / 2010PaperPushdown Abstractions of JavaScriptAuthorship / preprint / 2011PaperAbstracting Abstract MachinesAuthorship / preprint / 2010PaperPushdown Control-Flow Analysis of Higher-Order ProgramsAuthorship / preprint / 2010PaperSystematic Abstraction of Abstract MachinesAuthorship / preprint / 2011PaperAbstracting Abstract Machines: A Systematic Approach to Higher-Order Program AnalysisAuthorship / preprint / 2011

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)