Steve Kommrusch
Colorado State University
H-index: 12
North America-United States
Top articles of Steve Kommrusch
Adaptive oscillator for clock generation
2024/3/19
Clock divider device and methods thereof
2023/5/31
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
IEEE Transactions on Software Engineering
2023/4/27
Steve Kommrusch
H-Index: 5
Martin Monperrus
H-Index: 34
Symbolic guidance for constructivist learning by neural model
2022/4/3
Neurosymbolic learning on activity summarization of video data
2022/4/3
Neural transfer learning for repairing security vulnerabilities in c code
IEEE Transactions on Software Engineering
2022/2/1
Steve Kommrusch
H-Index: 5
Martin Monperrus
H-Index: 34
Machine learning for computer aided programming: From stochastic program repair to verifiable program equivalence
2022
Steve Kommrusch
H-Index: 5
Proving equivalence between complex expressions using graph-to-sequence neural models
arXiv preprint arXiv:2106.02452
2021/6/1
Steve Kommrusch
H-Index: 5
A software-repair robot based on continual learning
IEEE Software
2021/4/1
Optimizing coherence traffic in manycore processors using closed-form caching/home agent mappings
IEEE Access
2021/2/9
Learning Axioms to Compute Verifiable Symbolic Expression Equivalence Proofs Using Graph-to-Sequence Networks
2020/10/2
Self-supervised learning for multi-goal grid world: Comparing leela and deep q network
2020/9/1
Steve Kommrusch
H-Index: 5
Clock adjustment for voltage droop
2020/5/5
Asynchronous buffer with pointer offsets
2020/3/17
Equivalence of dataflow graphs via rewrite rules using a graph-to-sequence neural model
arXiv preprint arXiv:2002.06799
2020/2/17
Steve Kommrusch
H-Index: 5
Coherence Traffic in Manycore Processors with Opaque Distributed Directories
arXiv preprint arXiv:2011.05422
2020/11/10
Co-Authors
