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.