Collaborated with:
Dennis E. Shasha T.Wies
Talks about:
structur (1) composit (1) abstract (1) concurr (1) flow (1) data (1) go (1)
Person: Siddharth Krishna
DBLP: Krishna:Siddharth
Contributed to:
Wrote 1 papers:
- POPL-2018-KrishnaSW #abstraction #composition #concurrent #data type
- Go with the flow: compositional abstractions for concurrent data structures (SK, DES, TW), p. 31.