Program Committee APLAS Research Papers

Timos Antonopoulos

Yale University

United States

Sandrine Blazy

Univ Rennes- IRISA

France

Yu-Fang Chen

Academia Sinica

Taiwan

Silvia Crafa

University of Padova

Italy

Vijay D'Silva

Google

Jens Dietrich

Victoria University of Wellington

New Zealand

Rayna Dimitrova

University of Leicester, UK

Julian Dolby

IBM Research

United States

Jeremy Gibbons

Department of Computer Science, University of Oxford

United Kingdom

Matthew Hague

Royal Holloway, University of London

United Kingdom

Philipp Haller

KTH Royal Institute of Technology

Germany

Ichiro Hasuo

National Institute of Informatics, Japan

Japan

Aquinas Hobor

National University of Singapore, Singapore

Singapore

Ohad Kammar

University of Edinburgh

United Kingdom

Johannes Kinder

Bundeswehr University Munich

Germany

Ekaterina Komendantskaya

Heriot-Watt University, UK

Laura Kovacs

Vienna University of Technology (TU Wien)

Austria

Quang Loc Le

Teesside University

United Kingdom

Martin Lester

University of Reading

United Kingdom

Hongjin Liang

Nanjing University, China

China

Anthony Widjaja Lin

Technische Universität Kaiserslautern

Germany

Roland Meyer

TU Braunschweig

Germany

Alexandra Silva

University College London

United Kingdom

Makoto Tatsuta

National Institute of Informatics

Tachio Terauchi

Waseda University

Peter Thiemann

University of Freiburg, Germany

Germany

Alwen Tiu

Australian National University, Australia

Australia

Takeshi Tsukada

University of Tokyo, Japan

Japan

Hiroshi Unno

University of Tsukuba

Japan

Tomáš Vojnar

Brno University of Technology

Czechia

Lijun Zhang

Institute of Software, Chinese Academy of Sciences

China

Damien Zufferey

MPI-SWS

Florian Zuleger

TU Vienna

Austria