Steve Kommrusch
Orcid: 0000-0002-1447-5993
According to our database1,
Steve Kommrusch
authored at least 14 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules.
IEEE Trans. Software Eng., July, 2023
IEEE Trans. Software Eng., 2023
2021
IEEE Trans. Software Eng., 2021
Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules.
CoRR, 2021
Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models.
CoRR, 2021
Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings.
IEEE Access, 2021
2020
CoRR, 2020
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model.
CoRR, 2020
Self-Supervised Learning for Multi-Goal Grid World: Comparing Leela and Deep Q Network.
Proceedings of the International Workshop on Self-Supervised Learning, 2020
2019
Proceedings of the International Joint Conference on Neural Networks, 2019