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.

Thomas Reps
SearchCollections
Map detail
Thomas Reps11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThomas RepsAThomas RepsResearcherA Generating-Extension-Generator for Machine CodeWA Generating-Extension-...preprint / 2020TOFU: Target-Oriented FUzzerWTOFU: Target-Oriented F...preprint / 2020Simulating reachability using first-order logic with applications to verification of linked data structuresWSimulating reachability...preprint / 2009Synthesizing Abstract TransformersWSynthesizing Abstract T...preprint / 2022Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis ProblemsWExact and Approximate M...preprint / 2020Templates and Recurrences: Better TogetherWTemplates and Recurrenc...preprint / 2020A Dataset of DockerfilesWA Dataset of Dockerfilespreprint / 2020Learning from, Understanding, and Supporting DevOps Artifacts for DockerWLearning from, Understa...preprint / 2020Shipwright: A Human-in-the-Loop System for Dockerfile RepairWShipwright: A Human-in-...preprint / 2021Semantic Robustness of Models of Source CodeWSemantic Robustness of ...preprint / 2020
Person10 links

Thomas Reps

Researcher

PaperA Generating-Extension-Generator for Machine CodeAuthorship / preprint / 2020PaperTOFU: Target-Oriented FUzzerAuthorship / preprint / 2020PaperSimulating reachability using first-order logic with applications to verification of linked data structuresAuthorship / preprint / 2009PaperSynthesizing Abstract TransformersAuthorship / preprint / 2022PaperExact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis ProblemsAuthorship / preprint / 2020PaperTemplates and Recurrences: Better TogetherAuthorship / preprint / 2020PaperA Dataset of DockerfilesAuthorship / preprint / 2020PaperLearning from, Understanding, and Supporting DevOps Artifacts for DockerAuthorship / 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)