Publications

Programmable Concurrency in a Pure and Lazy Language
by Peng Li.
Ph.D. Dissertation, August 2008.
Lightweight Concurrency Primitives for GHC
by Peng Li, Simon Marlow, Simon Peyton Jones and Andrew Tolmach.
In Proceedings of the ACM SIGPLAN Haskell Workshop, September 2007.
Combining Events and Threads for Scalable Network Services --
implementation and evaluation of monadic, application-level concurrency primitives
by Peng Li and Steve Zdancewic.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2007.
Encoding Information Flow in Haskell
by Peng Li and Steve Zdancewic.
In Proceedings of the 19th IEEE CSF Workshop, July 2006.
Practical Information-flow Control in Web-based Information Systems
by Peng Li and Steve Zdancewic.
In Proceedings of the 18th IEEE CSF Workshop, June 2005.
Downgrading Policies and Relaxed Noninterference
by Peng Li and Steve Zdancewic.
In Proceedings of the 32nd ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL), pages 158-170, January 2005.
Advanced Control Flow in Java Card Programming
by Peng Li and Steve Zdancewic.
In Proceedings of the ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pages 165-174, June 2004.
Information Integrity Policies
by Peng Li, Yun Mao and Steve Zdancewic.
In Proceedings of the FAST Workshop, September 2003.

Copyright Notice

The papers and documents contained in this website are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.