Zheng Li

Coordinates

Postal:	PPS	Office:	6C10, 175 rue du Chevaleret, 75013 PARIS
	Université Paris7 – Denis Diderot	Tel(O):	+33 (1) 44 27 86 56
	Case 7014	URL:	http://www.pps.jussieu.fr/~li
	75251 PARIS Cedex 05	Email:	li at pps.jussieu.fr

Theories of programming language in general
High-level parallel programming languages and systems, in particular parallel functional programming
Patterns and skeletons for parallel and distributed computing
Formalization and transformation of structured parallel computation
Algebraic and logical methods in mathematics of program construction

Zheng Li. Fully extensible skeleton system. Thesis, Université Paris VII, in preparation.
Roberto Di Cosmo, Zheng Li, and Susanna Pelagatti. A calculus for parallel computations over multidimensional dense arrays. Computer Languages, Systems and Structures, 33(3–4): 82–110, October–December 2007
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, and Pierre Weis. Skeletal parallel programming with OCamlP3L 2.0. In Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), July 2005. A journal version has been accepted by Parallel Processing Letters.
François Clément, Roberto Di Cosmo, Zheng Li, Vincent Martin, Arnaud Vodicka, and Pierre Weis. Parallel programming with the OcamlP3l system, applications to numerical code coupling. Technical Report 5131, INRIA, Mar 2004.
Zheng Li. Efficient implementation of map skeleton for the OcamlP3l system. DEA Mémoire, Université Paris VII, Sep 2003.

OcamlP3l: a skeleton-based parallel programming system written in, and for, OCaml
coThreads: a concurrent/parallel programming library for OCaml with multiple engines
Enhtop: patch for an enhanced OCaml toplevel
Vprint: a runtime value printer module for OCaml
Weaktbl: a weak hash table library for OCaml
SDFlow: a high-level combinatorial dataflow programming library for OCaml
SECD: a toy implementation of Landin’s SECD machine in OCaml
pa_scope: OCaml syntax extension for opening modules in current scope
pa_use: OCaml syntax extension simulating F#’s “use” binding syntax
pa_cexp: OCaml syntax extension backporting F#’s computation expression
pa_trybind: OCaml syntax extension for handling exceptions in scope of bindings
STMlib: a user-space STM library for OCaml threads

This document was translated from L^AT_EX by H^EV^EA.