Steven Cheng Hum Yuen
hyswchen at ucalgary.ca
I am a computer science research assistant at the University of Calgary.
My Thesis :
Formal Models and Implementations of Distributed Shared Memory Tech Report 2009-922-01
Tech report :
Partition Consistency: A class of memory consistency models with implementations on message-passing networks. Tech Report 2010-952-01
Partition Consistency: Appendix
Interests
Distributed Algorithms (Memory Consistency)
Category Theory
which I still don't quite "get"
Teaching
CPSC349 Programming Paradigms
CPSC457 Operating Systems
some notes from the classes I subbed in for
CPSC501 Advanced Programming Techniques
Notes
A survey of Randomized Network Coding
done for a network coding class
Notes on the connection between category theory and the pi calculus
was done for a category theory class
Sigma pi cut elimination proof
an exercise done for
Categorical Proof Theory
class.