publication venue for
- Brief announcement: A tight lower bound for clock synchronization in odd-ary m-toroids 2018
- Speeding up maximal causality reduction with static dependency analysis 2017
- What's the optimal performance of precise dynamic race detection? - A redundancy perspective 2017
- Generic proofs of consensus numbers for abstract data types 2016