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.

Zhendong Su
SearchCollections
Map detail
Zhendong Su9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipZhendong SuAZhendong SuResearcherDetecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine ConstructionWDetecting Optimization ...preprint / 2020Testing Database Engines via Pivoted Query SynthesisWTesting Database Engine...preprint / 2020Toward Rapid Transformation of Ideas into SoftwareWToward Rapid Transforma...preprint / 2016Testing Machine Translation via Referential TransparencyWTesting Machine Transla...preprint / 2021Structure-Invariant Testing for Machine TranslationWStructure-Invariant Tes...preprint / 2020Abstracting Runtime Heaps for Program UnderstandingWAbstracting Runtime Hea...preprint / 2012MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler PipelinesWMLIR-Smith: A Novel Ran...preprint / 2026Combining Symbolic Execution and Model Checking to Verify MPI ProgramsWCombining Symbolic Exec...preprint / 2020
Person8 links

Zhendong Su

Researcher

PaperDetecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine ConstructionAuthorship / preprint / 2020PaperTesting Database Engines via Pivoted Query SynthesisAuthorship / preprint / 2020PaperToward Rapid Transformation of Ideas into SoftwareAuthorship / preprint / 2016PaperTesting Machine Translation via Referential TransparencyAuthorship / preprint / 2021PaperStructure-Invariant Testing for Machine TranslationAuthorship / preprint / 2020PaperAbstracting Runtime Heaps for Program UnderstandingAuthorship / preprint / 2012PaperMLIR-Smith: A Novel Random Program Generator for Evaluating Compiler PipelinesAuthorship / preprint / 2026PaperCombining Symbolic Execution and Model Checking to Verify MPI ProgramsAuthorship / 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)