Ling Cheung's Home Page
This page is no longer maintained. Please click
here for
my home page at MIT.
I am a Ph.D. student in the
Computer Science
Department at University of Nijmegen, the Netherlands.
Currently I belong to the
Informatics for Technical
Applications group, led by
Prof. Frits Vaandrager.
My Ph.D. project plan is available
here.
In year 2002/2003, I studied in the
Foundations group under
Prof. Henk Barendregt.
Dissertation:
Reconciling Nondeterministic and Probabilistic Choices.
Almost final version: PDF.
To be defended on Monday, 18 September at 3:30pm in the Aula
of Radboud University Nijmegen.
Papers:
2006
- Task-Structured Probabilistic I/O Automata, with Ran Canetti,
Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira and
Roberto Segala.
To appear as Technical Report
ICIS-R06012, ICIS, RU Nijmegen, 2006. Preliminary version:
PDF.
- Switched PIOA: Parallel Composition via Distributed
Scheduling, with Nancy Lynch, Roberto Segala and Frits
Vaandrager.
Accepted for publication in TCS Special Issue on FMCO
2004. PDF.
- A Testing Scenario for Probabilistic Processes, with
Marielle Stoelinga and Frits Vaandrager.
Technical Report ICIS-R06002, ICIS, RU Nijmegen, January 2006.
PDF
Submitted to Journal of the ACM.
2005
- Randomized Wait-Free Consensus using An Atomicity
Assumption.
Proceedings OPODIS 2005, Pisa, December
2005. PDF.
Full version as Technical
Report ICIS-R05035, ICIS, RU Nijmegen, November 2005. PDF.
- Causal Dependencies in Parallel Composition of Stochastic
Processes, with Martijn Hendriks.
Technical Report ICIS-R05020, ICIS, RU Nijmegen, September 2005.
PDF.
- Using Probabilistic I/O Automata to Analyze an Oblivious
Transfer Protocol, with Ran Canetti, Dilsun Kaynar, Moses
Liskov, Nancy Lynch, Olivier Pereira and Roberto Segala.
Technical Report MIT-LCS-TR-1001, MIT CSAIL, August 2005.
PDF.
2004
- Switched Probabilistic Input/Output Automata, with Nancy
Lynch, Roberto Segala and Frits Vaandrager.
Proceedings ICTAC 2004: PDF.
Full version as NIII report NIII-R0437, NIII, KU Nijmegen.
gzipped PostScript.
- Some CPO Results for Simple Probabilistic Automata.
Unpublished. gzipped PostScript.
Talks:
- Randomized Wait-Free Consensus Using An Atomicity Assumption. OPODIS 2005, Pisa, Italy, 12-14 December, 2005. PDF.
- A symbolic treatment of randomization. VOSS2 semi-annual
meeting, Saarbruecken, Germany, 24-35 January 2005. PDF.
- Switched probabilistic input/output automata. ICTAC 2004, Guiyang, China, 22-24 September, 2004. Talk: PDF. Handout: PDF.
- Some CPO results for simple probabilistic automata. VOSS
semi-annual meeting, Bonn, Germany, 12-13 November 2003. gzipped PostScript.
- Concise graphs and functional bisimulations. CMCIM 2003, a
satellite workshop of CONCUR 2003, Marseille, France, September
2003. PDF.
Teaching:
Links for my coauthors:
- Counterexample to pasting lemma for the case in which control actions are hidden from trace distributions, October 2004.
- Bundle transition and (bi)simulation examples: page 1, page 2, November 2004.
- Oblivious transfer (very high level descriptions), November 2004.
- Notes on new simulation, December 2004.
- OT picture: merged Adversary and Receiver, December 2004.
- OT PIOA code, December 2004.
Personal:
"Love, Honor and Obey" obliges me to mention Jesse Hughes. Please be assured that Jesse does not resemble in any way the image you are about to see.
Last modified: Thu Sep 14 11:55:14 MEST 2006