Collaborated with:
Georgios Tzimpragos Dilip Vasudevan N.Tsiskaridze G.Michelogiannakis Advait Madhavan J.Shalf T.Sherwood
Talks about:
superconduct (1) acceler (1) tempor (1) comput (1) logic (1)
Person: Jennifer Volk
DBLP: Volk:Jennifer
Contributed to:
Wrote 1 papers:
- ASPLOS-2020-TzimpragosVTMMV #logic
- A Computational Temporal Logic for Superconducting Accelerators (GT, DV, NT, GM, AM, JV, JS, TS), pp. 435–448.