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.

Michael Tautschnig
SearchCollections
Map detail
Michael Tautschnig15 visible / 15 total nodes / 53 links

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

Related contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipAuthorshipMichael TautschnigAMichael TautschnigResearcherTeaching LLMs Program Semantics via Symbolic Execution TracesWTeaching LLMs Program S...preprint / 2026Stefan ZetzscheAStefan ZetzscheResearcherOlivier BouissouAOlivier BouissouResearcherSoonho KongASoonho KongResearcherJonas BayerAJonas BayerResearcherRemi DelmasARemi DelmasResearcherSoftware EngineeringTSoftware Engineering3620 worksMachine LearningTMachine Learning49008 worksProgramming LanguagesTProgramming Languages1239 worksPartial Orders for Efficient BMC of Concurrent SoftwareWPartial Orders for Effi...preprint / 2013On the Structure and Complexity of Rational Sets of Regular LanguagesWOn the Structure and Co...preprint / 2013Herding Cats - Modelling, simulation, testing, and data-mining for weak memoryWHerding Cats - Modellin...preprint / 2014Software Verification for Weak Memory via Program TransformationWSoftware Verification f...preprint / 2012Assisted Coverage ClosureWAssisted Coverage Closurepreprint / 2015
Person14 links

Michael Tautschnig

Researcher

PaperTeaching LLMs Program Semantics via Symbolic Execution TracesAuthorship / preprint / 2026PersonStefan ZetzscheCo-authorship / ResearcherPersonOlivier BouissouCo-authorship / ResearcherPersonSoonho KongCo-authorship / ResearcherPersonJonas BayerCo-authorship / ResearcherPersonRemi DelmasCo-authorship / ResearcherTopicSoftware EngineeringWorks on / 3620 worksTopicMachine LearningWorks on / 49008 works

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)