About me
Publications
Contact
Light
Dark
Automatic
Paper-Conference
Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model
Designing a pipeline for a multicore processor is difficult. One major challenge is designing it such that the pipeline correctly …
An Qi Zhang
,
Andrés Goens
,
Nicolai Oswald
,
Tobias Grosser
,
Daniel J. Sorin
,
Vijay Nagarajan
Oct 16, 2024
PDF
Cite
DOI
URL
Determining the Minimum Number of Virtual Networks for Different Coherence Protocols
We revisit the question of how many virtual networks (VNs) are required to provably avoid deadlock in a cache coherence protocol. The …
Weihang Li
,
Andrés Goens
,
Nicolai Oswald
,
Vijay Nagarajan
,
Daniel J. Sorin
Jan 1, 2024
PDF
Cite
DOI
URL
Transforming Optimization Problems into Disciplined Convex Programming Form
Add the full text or supplementary notes for the publication here using Markdown formatting.
Ramon Fernández Mir
,
Paul Jackson
,
Siddharth Bhat
,
Andrés Goens
,
Tobias Grosser
Jan 1, 2024
PDF
Cite
DOI
Verifying Peephole Rewriting In SSA Compiler IRs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Siddharth Bhat
,
Alex Keizer
,
Chris Hughes
,
Andrés Goens
,
Tobias Grosser
Jan 1, 2024
PDF
Cite