Yi Lu

The University of New South Wales

other persons with the same name:

• Yi Lu - TU Delft, The Netherlands
• Yi Lu - Institute of Software, Chinese Academy of Sciences
• Yi Lu

	2012
6		Yi Lu, John Potter, Chenyi Zhang, Jingling Xue: A Type and Effect System for Determinism in Multithreaded Programs. ESOP 2012: 518-538
	2009
5		Yi Lu, John Potter, Jingling Xue: Ownership Downgrading for Ownership Types. APLAS 2009: 144-160
	2007
4		Yi Lu, John Potter, Jingling Xue: Validity Invariants and Effects. ECOOP 2007: 202-226
	2006
3		Yi Lu, John Potter: On Ownership and Accessibility. ECOOP 2006: 99-123
2		Yi Lu, John Potter: Protecting representation with effect encapsulation. POPL 2006: 359-371
	2005
1		Yi Lu, John Potter: A Type System for Reachability and Acyclicity. ECOOP 2005: 479-503

Coauthor Index

1	John Potter	[1] [2] [3] [4] [5] [6]
2	Jingling Xue	[4] [5] [6]
3	Chenyi Zhang	[6]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page