Ling Cheung's Home Page

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.

2003
• Concise Graphs and Functional Bisimulations, with Jesse Hughes.
  Proceedings CMCIM 2003. gzipped PostScript. Abstract.

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:

I am an assistent in the course Beweren en Bewijzen, voorjaar 2005. Some of my materials are available here.

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.