Yufei Cai, M. Phil.

Yufei Cai
Universität Tübingen
WSI - Programmiersprachen
Sand 13
72076 Tübingen
Germany

Telephone: +49 - (0) 70 71 - 29 - 70 516
Telefax: +49 - (0) 70 71 - 29 - 50 82
E-Mail: yufei.cai(at)uni-tuebingen.de
Office: B211
Office hours: by appointment

Finished Thesis Topics

April 13

Bidirectional Grammar Transformation

These are grammar transformations useful in compiler construction (Compilerbau): conversion to Chomsky normal form, left factoring, left recursion elimination. Standard textbooks describe how these transformations work on the production rules of grammars. However, a real compiler works on syntax trees. For each of these transformations between grammars, there exist forward and backward transformations between syntax trees of the grammars. To use grammar transformations in practice, we need the syntax tree transformations.

News

January 20

Presentation at POPL symposium

Yufei Cai
AlumniYufei Cai presents the paper System F_ω with Equirecursive Types for Datatype-generic Programming at the Symposium on Principles of Programming Languages in St. Petersburg, Florida. The paper is joint work with Paolo Giarrusso
AlumniPaolo Giarrusso and Klaus Ostermann
HeadKlaus Ostermann.

November 13

Preprint for POPL paper online

The preprint for our paper on equirecursive types in System Fω, with title “System Fω with Equirecursive Types for Datatype-generic Programming”, is now available online.

October 5

Paper accepted at POPL

Our paper on equirecursive types in System Fω, with title “System Fω with Equirecursive Types for Datatype-generic Programming”, has been accepted for presentation at the annual Symposium on Principles of Programming Languages.

January 22

Talk at Paris Diderot about functors

Yufei Cai
AlumniYufei Cai gives an informal talk about the ongoing first-class functors project at PPS Lab, University Paris Diderot.

October 1

Move to Tübingen

Prof. Klaus Ostermann
HeadKlaus Ostermann and part of his group move to Tübingen University, where Prof. Ostermann now holds the chair of programming languages and software technology.