Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperTight bounds for delay-sensitive aggregationYvonne Anne Pignolet, Stefan Schmid, et al.Discrete Mathematics and Theoretical Computer Science