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.

Subodh Sharma
SearchCollections
Map detail
Subodh Sharma9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSubodh SharmaASubodh SharmaResearcherAbPress: Flexing Partial-Order Reduction and AbstractionWAbPress: Flexing Partia...preprint / 2014From Traces To Proofs: Proving Concurrent Program SafeWFrom Traces To Proofs: ...preprint / 2016Efficient Verification of Concurrent Programs Over TSO Memory ModelWEfficient Verification ...preprint / 2016Secure Information Flow Typing in LUSTREWSecure Information Flow...preprint / 2022Dynamic Verification with Observational Equivalence of C/C++ ConcurrencyWDynamic Verification wi...preprint / 2022Unfolding-based Partial Order ReductionWUnfolding-based Partial...preprint / 2015Fence Synthesis under the C11 Memory ModelWFence Synthesis under t...preprint / 2022An operational architecture for privacy-by-design in public service applicationsWAn operational architec...preprint / 2020
Person8 links

Subodh Sharma

Researcher

PaperAbPress: Flexing Partial-Order Reduction and AbstractionAuthorship / preprint / 2014PaperFrom Traces To Proofs: Proving Concurrent Program SafeAuthorship / preprint / 2016PaperEfficient Verification of Concurrent Programs Over TSO Memory ModelAuthorship / preprint / 2016PaperSecure Information Flow Typing in LUSTREAuthorship / preprint / 2022PaperDynamic Verification with Observational Equivalence of C/C++ ConcurrencyAuthorship / preprint / 2022PaperUnfolding-based Partial Order ReductionAuthorship / preprint / 2015PaperFence Synthesis under the C11 Memory ModelAuthorship / preprint / 2022PaperAn operational architecture for privacy-by-design in public service applicationsAuthorship / 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)