Elixir: A system for synthesizing concurrent graph programs

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Fingerprint

Dive into the research topics of 'Elixir: A system for synthesizing concurrent graph programs'. Together they form a unique fingerprint.

Engineering & Materials Science