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.

Subhajit Roy
SearchCollections
Map detail
Subhajit Roy10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSubhajit RoyASubhajit RoyResearcherLearning Differentially Private MechanismsWLearning Differentially...preprint / 2021Debug-Localize-Repair: A Symbiotic Construction for Heap ManipulationsWDebug-Localize-Repair: ...preprint / 2022Phase Transition Behavior in Knowledge CompilationWPhase Transition Behavi...preprint / 2020Manthan: A Data Driven Approach for Boolean Function SynthesisWManthan: A Data Driven ...preprint / 2020Distributed Bounded Model CheckingWDistributed Bounded Mod...preprint / 2020Synthesis of Semantic Actions in Attribute GrammarsWSynthesis of Semantic A...preprint / 2022HOLL: Program Synthesis for Higher OrderLogic LockingWHOLL: Program Synthesis...preprint / 2022Synthesizing Abstract TransformersWSynthesizing Abstract T...preprint / 2022Program Synthesis using Natural LanguageWProgram Synthesis using...preprint / 2015
Person9 links

Subhajit Roy

Researcher

PaperLearning Differentially Private MechanismsAuthorship / preprint / 2021PaperDebug-Localize-Repair: A Symbiotic Construction for Heap ManipulationsAuthorship / preprint / 2022PaperPhase Transition Behavior in Knowledge CompilationAuthorship / preprint / 2020PaperManthan: A Data Driven Approach for Boolean Function SynthesisAuthorship / preprint / 2020PaperDistributed Bounded Model CheckingAuthorship / preprint / 2020PaperSynthesis of Semantic Actions in Attribute GrammarsAuthorship / preprint / 2022PaperHOLL: Program Synthesis for Higher OrderLogic LockingAuthorship / preprint / 2022PaperSynthesizing Abstract TransformersAuthorship / preprint / 2022

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)