ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search TOPLAS
enter search term and/or author name

Reviewers List


Full Name Year
Bruno Blanchet 2015
Bor-Yuh Evan Chang 2015
Perry Cheng 2015
Philippe Clauss 2015
Yanlei Diao 2015
Derek Dreyer 2015
Alexander Knapp 2015
Kensuke Kojima 2015
Damiano Mazza 2015
Andrew Miller 2015
Andrew Myers 2015
Santosh Nagarakatte 2015
Mayur Naik 2015
Yannis Smaragdakis 2015
Eran Yahav 2015
Tomofumi Yuki 2015
Umut Acar 2014
Vikram Adve 2014
Torben Amtoft 2014
Torben Amtoft 2014
Andrew Appel 2014
David August 2014
Thomas Austin 2014
Roberto bagnara 2014
David Bailey 2014
Gogul Balakrishnan 2014
Gogul Balakrishnan 2014
Stephanie Balzer 2014
Gilles Barthe 2014
Karthikeyan Bhargavan 2014
Steve Blackburn 2014
Steve Blackburn 2014
Bruno Blanchet 2014
Eric Bodden 2014
Rastislav Bodik 2014
Hans-Juergen Boehm 2014
Hans-Juergen Boehm 2014
Uday Bondhugula 2014
Uday Bondhugula 2014
Kim Bruce 2014
David Brumley 2014
Julien Brunel 2014
Michael Burke 2014
Cristian Cadar 2014
Juan Calallero 2014
Avik Chaudhuri 2014
Haibo Chen 2014
Nathan Chong 2014
Stephen Chong 2014
Ravi Chugh 2014
David Clarke 2014
Philippe Clauss 2014
Karl Crary 2014
Charlie Curtsinger 2014
Ben Delaware 2014
Giorgio Delzanno 2014
Werner Dietl 2014
Christos Dimoulas 2014
Thomas Dinsdale-Young 2014
Mike Dodds 2014
Michael Emmi 2014
Erik Ernst 2014
Paul Feautrier 2014
Paul Feautrier 2014
Maatthias Felleisen 2014
Xinyu Feng 2014
Jerome Feret 2014
Stephen Freund 2014
Stephen Freund 2014
Stephen Freund 2014
Zolt�n F�l�p 2014
Pierre Ganty 2014
Ronald Garcia 2014
Simon Gay 2014
Gilles Geeraerts 2014
Dominik Gessenharter 2014
Ganesh Gopalakrishnan 2014
Benjamin Gr�goire 2014
Samuel Guyer 2014
Samuel Guyer 2014
Kevin Hamlen 2014
Kevin Hamlen 2014
Chris Hawblitzel 2014
Chris Hawblitzel 2014
Maurice Herlihy 2014
Peter Hines 2014
Jeff Huang 2014
Bart Jacobs 2014
Richard Jones 2014
Johannes Kinder 2014
Paul Klint 2014
Alexander Knapp 2014
Kensuke Kojima 2014
Bogdan Korel 2014
Bogdan Korel 2014
Shriram Krishnamurthi 2014
Milind Kulkarni 2014
Patrick Lam 2014
Michel Leconte 2014
Hongjin Liang 2014
Jay Ligatti 2014
Ralph Loader 2014
Andreas Lochbihler 2014
Shan Lu 2014
Jose Magalhaes 2014
Giulio Manzonetto 2014
Mark Marron 2014
Paul McKenney 2014
John Mellor-Crummey 2014
Matt Might 2014
Matt Might 2014
Andrew Miller 2014
Antoine Min� 2014
Antoine Min� 2014
Nick Mitchell 2014
Mohammad Reza Mousavi 2014
Santosh Nagarakatte 2014
Santosh Nagarakatte 2014
Mangala Gowri Nanda 2014
Mangala Gowri Nanda 2014
Nicola Nicolici 2014
James Noble 2014
Pablo Nogueira 2014
Michael Norrish 2014
Michael Norrish 2014
Nate Nystrom 2014
Bruno Oliveira 2014
Scott Owens 2014
Stott Parker 2014
Stott Parker 2014
Matthew Parkinson 2014
David Pearce 2014
Francois Pessaux 2014
Simon Peyton-Jones 2014
Louis-Noel Pouchet 2014
Louis-Noel Pouchet 2014
Louis-Noel Pouchet 2014
Nicholas Pouillard 2014
Nicholas Pouillard 2014
Willard Rafnsson 2014
Ganesan Ramalingam 2014
Arun Raman 2014
Aseem Rastogi 2014
Sriram Sankaranarayanan 2014
Susmit Sarkar 2014
Luigi Sauro 2014
Helmut Seidl 2014
Ilya Sergey 2014
Natarajan Shankar 2014
Jun Shirako 2014
Jun Shirako 2014
Yannis Smaragdakis 2014
Armando Solar-Lezama 2014
Bernhard Steffen 2014
Serdar Tasiran 2014
Serdar Tasiran 2014
Ross Tate 2014
Omer Tripp 2014
James Tuck 2014
Martin Vechev 2014
Arnaud Venet 2014
Mirko Viroli 2014
Jerome Vouillon 2014
Dimitrios Vytiniotis 2014
Dimitrios Vytiniotis 2014
David Walker 2014
Westley Weimer 2014
Anton Wijs 2014
Dave Wonnacott 2014
Guoqing Xu 2014
Eran Yahav 2014
Jing Yang 2014
Tomofumi Yuki 2014
Parosh Abdulla 2013
Umut Acar 2013
Umut Acar 2013
Torben Amtoft 2013
Davide Ancona 2013
Andrew Appel 2013
Aslan Askarov 2013
David August 2013
David August 2013
Roberto bagnara 2013
Rajkishore Barik 2013
Michael Barnett 2013
Dan Barowy 2013
Lennart Beringer 2013
Arpad Beszedes 2013
Gianfranco Bilardi 2013
Arnar Birgisson 2013
Steve Blackburn 2013
Hans-Juergen Boehm 2013
John Boyland 2013
Julien Brunel 2013
Zoran Budimlic 2013
Zoran Budimlic 2013
Cristian Cadar 2013
Dhruva Chakrabarti 2013
Bor-Yuh (Evan) Change 2013
Swarat Chaudhuri 2013
Haibo Chen 2013
Nathan Chong 2013
Stephen Chong 2013
Stephen Chong 2013
Ravi Chugh 2013
Michael Clarkson 2013
Silvia Crafa 2013
Sebastian Danicic 2013
Sebastian Danicic 2013
Frank de boer 2013
Giorgio Delzanno 2013
Giorgio Delzanno 2013
Joe Devietti 2013
Thomas Dillig 2013
Mike Dodds 2013
Julian Dolby 2013
Julian Dolby 2013
Matthew Dwyer 2013
Stephen Edwards 2013
Michael Emmi 2013
Nate Foster 2013
Stephen Freund 2013
Stephen Freund 2013
Pierre Ganty 2013
Pierre Ganty 2013
Gilles Geeraerts 2013
Gilles Geeraerts 2013
Ganesh Gopalakrishnan 2013
Robert Grimm 2013
Richard Grisenthwaite 2013
Samuel Guyer 2013
Sebastian Hack 2013
Sebastian Hack 2013
Jurriaan Hage 2013
Matthew Hague 2013
Nicolas Halbwachs 2013
William Halfond 2013
Christian Hammer 2013
Christian Hammer 2013
Ben Hardekopf 2013
Ben Hardekopf 2013
Ben Hardekopf 2013
Mark Harman 2013
Michael Hicks 2013
Martin Hofmann 2013
Nigel Horspool 2013
Suresh Jagannathan 2013
Somesh Jha 2013
Christian Kaestner 2013
Paul Klint 2013
Shriram Krishnamurthi 2013
Viktor Kuncak 2013
Ahmad Lashgar 2013
Ahmad Lashgar 2013
Michel Leconte 2013
Sorin Lerner 2013
Sorin Lerner 2013
Ben Lerner 2013
Ondrej Lhotak 2013
Ondrej Lhotak 2013
Hongjin Liang 2013
Andreas Lochbihler 2013
P. Madhusudan 2013
Yitzhak Mandelbaum 2013
Heiko Mantel 2013
Mark Marron 2013
Scott McPeak 2013
Michael Mendler 2013
Roland Meyer 2013
Roland Meyer 2013
Matt Might 2013
Antoine Min� 2013
Stefan Monnier 2013
Bochang Moon 2013
Eliot Moss 2013
Aniello Murano 2013
Paul Navratil 2013
Ryan Newton 2013
Nicola Nicolici 2013
Nate Nystrom 2013
Rei Odaira 2013
Carsten Otto 2013
Carsten Otto 2013
Olaf Owe 2013
Matthew Parkinson 2013
Matthew Parkinson 2013
Terence Parr 2013
Erez Petrank 2013
Antoniu Pop 2013
Xiaokang Qiu 2013
Xiaokang Qiu 2013
Mike Rainey 2013
Mike Rainey 2013
Norman Ramsey 2013
Venkatesh-Prasad Ranganath 2013
Jean-Francois Raskin 2013
james riely 2013
james riely 2013
Hongbo Rong 2013
Grigore Rosu 2013
Amr Sabry 2013
Sriram Sankaranarayanan 2013
Luigi Sauro 2013
Alina Sb�rlea 2013
Alina Sb�rlea 2013
Stephan Schiffel 2013
eric schkufza 2013
Stefan Schwoon 2013
Stefan Schwoon 2013
Michael Scott 2013
Helmut Seidl 2013
Manuel Serrano 2013
Jaroslav Sevcik 2013
Jaroslav Sevcik 2013
Zhong Shao 2013
Jeremy Siek 2013
Yannis Smaragdakis 2013
Yannis Smaragdakis 2013
Armando Solar-Lezama 2013
Michelle Strout 2013
Nikhil Swamy 2013
Serdar Tasiran 2013
Zachary Tatlock 2013
Zachary Tatlock 2013
Ewan Tempero 2013
Frank Tip 2013
Aaron Turon 2013
Aaron Turon 2013
Viktor Vafeiadis 2013
Mandana Vaziri 2013
Martin Vechev 2013
Arnaud Venet 2013
Jan Vitek 2013
Jan Vitek 2013
Dimitrios Vytiniotis 2013
Edwin Westbrook 2013
Reinhard Wilhelm 2013
Y Yang 2013
Y Yang 2013
Jaeheon Yi 2013
Nobuko Yoshida 2013
Francesco Zappa Nardelli 2013
Steve Zdancewic 2013
Steve Zdancewic 2013
Charles Zhang 2013
E.Z. Zhang 2013
E.Z. Zhang 2013
Benjamin Zorn 2013
Jonathan Aldrich 2012
Margarita Amor 2012
Davide Ancona 2012
Gogul Balakrishnan 2012
Marcello Balduccini 2012
Lennart Beringer 2012
Arpad Beszedes 2012
Hans-Juergen Boehm 2012
John Boyland 2012
Glenn Bruns 2012
Dai Bui 2012
Sebastian Burckhardt 2012
John Cavazos 2012
Rohit Chadha 2012
Rohit Chadha 2012
Dhruva Chakrabarti 2012
Manuel Chakravarty 2012
Bor-Yuh (Evan) Change 2012
Barbara Chapman 2012
Swarat Chaudhuri 2012
Hong Yi Chen 2012
James Cheney 2012
Stephen Chong 2012
Craig Citro 2012
Derrick Coetzee 2012
Jim Cordy 2012
Charlie Curtsinger 2012
Matthew Dwyer 2012
Erik Ernst 2012
Erik Ernst 2012
Patrick Eugster 2012
Stephan Falke 2012
Stephen Fink 2012
Matteo Frigo 2012
Matteo Frigo 2012
Marco Gaboardi 2012
Jacques Garrigue 2012
Thomas Gawlitza 2012
Samir Genaim 2012
Prodromos Gerakios 2012
Dan Ghica 2012
Eugene Goldberg 2012
Alexey Gotsman 2012
Robert Grimm 2012
Robert Grimm 2012
Jan Friso Groote 2012
Rajiv Gupta 2012
Samuel Guyer 2012
Matthew Hague 2012
Ben Hardekopf 2012
Ben Hardekopf 2012
Tim Harris 2012
Chris Hawblitzel 2012
Kim Hazelwood 2012
Jochen Hoenicke 2012
Naohiko Hoshino 2012
C?t?lin Hri?cu 2012
Bart Jacobs 2012
Richard Jones 2012
Pallavi Joshi 2012
Christian Kaestner 2012
Vineet Kahlon 2012
Johannes Kinder 2012
Naoki Kobayashi 2012
Eric Koskinen 2012
Laura Kovacs 2012
Dieter Kranzlm�ller 2012
Viktor Kuncak 2012
Barbara K�nig 2012
Shuvendu Lahiri 2012
Slawomir Lasota 2012
I-Ting Lee 2012
I-Ting Lee 2012
Sorin Lerner 2012
Ondrej Lhotak 2012
Ondrej Lhotak 2012
Ondrej Lhotak 2012
Ondrej Lhotak 2012
Alexander Linden 2012
Ben Lippmeier 2012
Ian Mackie 2012
P. Madhusudan 2012
sela Mador-Haim 2012
Yitzhak Mandelbaum 2012
Yitzhak Mandelbaum 2012
Roman Manevich 2012
Nicolas Markey 2012
John Mellor-Crummey 2012
Jan Midtgaard 2012
Antoine Min� 2012
Stefan Monnier 2012
Benoit Montagu 2012
Bochang Moon 2012
Eliot Moss 2012
Andrew Myers 2012
Peter M�ller 2012
Markus M�ller-Olm 2012
Santosh Nagarakatte 2012
Aleksandar Nanevski 2012
Ryan Newton 2012
Ryan Newton 2012
Dejan Nickovic 2012
Eugenio Omodeo 2012
Carsten Otto 2012
Joel Ouaknine 2012
Scott Owens 2012
Prakash Panangaden 2012
Erez Petrank 2012
David Pichardie 2012
Frank Piessens 2012
Enrico Pontelli 2012
Sylvie Putot 2012
Xiaokang Qiu 2012
Sriram Rajamani 2012
John Regehr 2012
William Robertson 2012
Alejandro Russo 2012
David Sands 2012
Arnaud Sangnier 2012
Sriram Sankaranarayanan 2012
David Schmidt 2012
Elizabeth Scott 2012
Xipeng Shen 2012
Jun Shirako 2012
Jeremy Siek 2012
Axel Simon 2012
Prasad Sistla 2012
Jan Smans 2012
Yannis Smaragdakis 2012
Armando Solar-Lezama 2012
Manu Sridharan 2012
Tharpe Strickland 2012
Michelle Strout 2012
Aaron Stump 2012
Zhendong Su 2012
Philippe Suter 2012
Nikhil Swamy 2012
Nikhil Swamy 2012
Nikhil Swamy 2012
Carolyn Talcott 2012
Ross Tate 2012
Ewan Tempero 2012
Peter Thiemann 2012
Helen Treharne 2012
Stavros Tripakis 2012
Michael Tschantz 2012
Nikos Tzevekelos 2012
Eric Van Wyk 2012
Eric Van Wyk 2012
Mandana Vaziri 2012
Martin Vechev 2012
Jurgen Vinju 2012
Dimitrios Vytiniotis 2012
Mitchell Wand 2012
yin wang 2012
Felix Wolf 2012
Hongwei Xi 2012
Wei Xu 2012
Charles Zhang 2012
Charles Zhang 2012
Yuan Zhang 2012
Neng-Fa Zhou 2012
Yuanyuan Zhou 2012
Florian Zuleger 2012
Lucia Acciai 2011
Amal Ahmed 2011
Amal Ahmed 2011
Jonathan Aldrich 2011
Jade Alglave 2011
Ilkay Altintas 2011
Thomas Ball 2011
Michael Bond 2011
Manfred Broy 2011
Sebastian Burckhardt 2011
Marco Carbone 2011
Rohit Chadha 2011
Bor-Yuh Evan Chang 2011
Barbara Chapman 2011
Swarat Chaudhuri 2011
Adam Chlipala 2011
Adam Chlipala 2011
Stephen Chong 2011
Albert Cohen 2011
Jim Cordy 2011
Maria Couceiro 2011
Mariangiola Dezani-Ciancaglini 2011
Chen Ding 2011
Laurent Doyen 2011
Sophia Drossopoulou 2011
Matthew Dwyer 2011
Robert Findler 2011
Robert Findler 2011
Stephen Fink 2011
Pierre Flener 2011
Stephen Freund 2011
John Gallagher 2011
Jacques Garrigue 2011
Simon Gay 2011
Samir Genaim 2011
Denis Gopan 2011
Alexey Gotsman 2011
Ben Hardekopf 2011
Matthew Hertz 2011
Michael Hicks 2011
Sebastian Hunt 2011
Ranjit Jhala 2011
Barbara Jobstmann 2011
Richard Jones 2011
Rajeev Joshi 2011
Mahmut Kandemir 2011
Tom Kelsey 2011
Garrin Kimmell 2011
Naoki Kobayashi 2011
E. Kohler 2011
Boris Kopf 2011
Eric Koskinen 2011
Nupur Kothari 2011
Christos Kotselidis 2011
Laura Kovacs 2011
Dieter Kranzlm�ller 2011
Daniel Kroening 2011
Orna Kupferman 2011
Gary T. Leavens 2011
Gary T. Leavens 2011
Sorin Lerner 2011
Ondrej Lhotak 2011
Juncao Li 2011
Xiaoming Li 2011
Jay Ligatti 2011
Jay Ligatti 2011
Francesco Logozzo 2011
Boon Thau Loo 2011
Geoffrey Mainland 2011
Pasquale Malacaria 2011
Peter Marwedel 2011
Todd Millstein 2011
Benoit Montagu 2011
Eliot Moss 2011
Eliot Moss 2011
Anders M�ller 2011
Peter M�ller 2011
David Naumann 2011
Gene Novark 2011
Nate Nystrom 2011
Johan Ostlund 2011
Scott Owens 2011
Prakash Panangaden 2011
Prakash Panangaden 2011
Matthew Parkinson 2011
Matthew Parkinson 2011
Matthew Parkinson 2011
Erez Petrank 2011
Robert Preissl 2011
Christian Probst 2011
Riccardo Pucella 2011
Hridesh Rajan 2011
Lawrence Rauchwerger 2011
Grigore Rosu 2011
Oliver Ruething 2011
P. (Saday) Sadayappan 2011
David Sands 2011
Arnaud Sangnier 2011
Sriram Sankaranarayanan 2011
Stefan Schwoon 2011
Michael Scott 2011
Zhong Shao 2011
Nir Shavit 2011
Tatiana Shpeisman 2011
Yannis Smaragdakis 2011
Mike Spear 2011
Manu Sridharan 2011
Aaron Stump 2011
Ketil St�len 2011
Ben Titzer 2011
Martin Vechev 2011
Martin Vechev 2011
Hugo Vieira 2011
Janis Voigtlaender 2011
David Walker 2011
Mitchell Wand 2011
Thomas Wies 2011
Felix Wolf 2011
Fei Xie 2011
Kenneth ZADECK 2011
Antonia Zhai 2011
Yuan Zhang 2011
Florian Zuleger 2011
Erika Abraham 2010
Lucia Acciai 2010
Ali-Reza Adl-Tabatabai 2010
Vikram Adve 2010
Amal Ahmed 2010
Jonathan Aldrich 2010
Jonathan Aldrich 2010
Erik Altman 2010
Jose Amaral 2010
David August 2010
eduard ayguade 2010
Anindya Banerjee 2010
denis barthou 2010
Josh Berdine 2010
Josh Berdine 2010
Andrew Black 2010
Steve Blackburn 2010
Rastislav Bodik 2010
Sylvie Boldo 2010
Egon Borger 2010
John Boyland 2010
Martin Bravenboer 2010
Manfred Broy 2010
Sebastian Burckhardt 2010
Michael Burke 2010
Miguel Castro 2010
Swarat Chaudhuri 2010
Shigeru Chiba 2010
Abhinav Das 2010
Ewa Deelman 2010
James Dehnert 2010
Laurent Doyen 2010
Derek Dreyer 2010
Matthew Dwyer 2010
Azadeh Farzan 2010
Paul Feautrier 2010
Paul Feautrier 2010
Jean-Christophe Filli�tre 2010
Stephen Fink 2010
Cormac Flanagan 2010
Matthew Flatt 2010
Jeffrey Foster 2010
Stefan Freudenberger 2010
Simon Gay 2010
Antoine Girard 2010
Denis Gopan 2010
Christian Grothoff 2010
Mary Hall 2010
Richard Hank 2010
Ben Hardekopf 2010
Ben Hardekopf 2010
Ben Hardekopf 2010
Ludovic Henrio 2010
Christoph Herrmann 2010
Martin Hirzel 2010
James Hook 2010
Atsushi Igarashi 2010
Bertrand Jeannet 2010
Alan Jeffrey 2010
Ranjit Jhala 2010
Limin Jia 2010
Barbara Jobstmann 2010
Cliff Jones 2010
Richard Jones 2010
Mahmut Kandemir 2010
Andrew Kennedy 2010
Nathan Keynes 2010
Chris Kirkham 2010
Vasileios Koutavas 2010
Shuvendu Lahiri 2010
Akash Lal 2010
Akash Lal 2010
Doug Lea 2010
Gary T. Leavens 2010
James Leifer 2010
Zhiyuan Li 2010
Jay Ligatti 2010
Yanhong Liu 2010
Yanhong Liu 2010
Yanhong Liu 2010
David Liu 2010
Howard Lovatt 2010
John Curtis Lusth 2010
Matteo Maffei 2010
Donna Malayeri 2010
Wim Martens 2010
Todd Millstein 2010
Antoine Min� 2010
Antoine Min� 2010
Antoine Min� 2010
Eliot Moss 2010
Kalyan Muthukumar 2010
Peter M�ller 2010
Peter M�ller 2010
Mayur Naik 2010
Mayur Naik 2010
Mayur Naik 2010
Juan Antonio Navarro P�rez 2010
Donald Nguyen 2010
Bruno Oliveira 2010
Ronald Olsson 2010
Joel Ouaknine 2010
Yunheung Paek 2010
Yunheung Paek 2010
Prakash Panangaden 2010
Sungwoo Park 2010
Matthew Parkinson 2010
Matthew Parkinson 2010
David Pearce 2010
David Pearce 2010
Jorge A. Perez 2010
Erik Poll 2010
Alex Potanin 2010
Sanjay Rajopadhye 2010
Lawrence Rauchwerger 2010
Alasdair Rawsthorne 2010
Matti Rintala 2010
Paolo Romano 2010
Hongbo Rong 2010
Philipp Ruemmer 2010
Oliver Ruething 2010
Colin Runciman 2010
Andrey Rybalchenko 2010
Andrei Sabelfeld 2010
P. (Saday) Sadayappan 2010
Sriram Sankaranarayanan 2010
Sriram Sankaranarayanan 2010
Sriram Sankaranarayanan 2010
Carlo Sartiani 2010
Manfred Schmidt-Schau� 2010
Stefan Schwoon 2010
Jeremy Siek 2010
Saurabh Sinha 2010
Gregor Snelting 2010
Gregor Snelting 2010
Armando Solar-Lezama 2010
Friedrich Steimann 2010
Friedrich Steimann 2010
Aaron Stump 2010
Ketil St�len 2010
Gang Tan 2010
Michiaki Tatsubori 2010
Jens Teubner 2010
Frank Tip 2010
Martin Vechev 2010
Hugo Vieira 2010
Dinghao Wu 2010
Eran Yahav 2010
Eran Yahav 2010
Hongseok Yang 2010
Kwangkeun Yi 2010
Kwangkeun Yi 2010
Kenneth ZADECK 2010
Andreas Zeller 2010
Umut Acar 2009
Ali-Reza Adl-Tabatabai 2009
Jonathan Aldrich 2009
Jonathan Aldrich 2009
Jonathan Aldrich 2009
Jonathan Aldrich 2009
Andrew Appel 2009
Konstantine Arkoudas 2009
Rajeev Barua 2009
Amir Ben-Amram 2009
Amir Ben-Amram 2009
Gianfranco Bilardi 2009
Dave Binkley 2009
Andrew Black 2009
Chandrasekhar Boyapati 2009
John Boyland 2009
Zoran Budimlic 2009
Luis Caires 2009
Cristiano Calcagno 2009
Cristiano Calcagno 2009
Calin Cascaval 2009
Sagar Chaki 2009
Marsha Chechik 2009
Adam Chlipala 2009
Byron Cook 2009
Ron Cytron 2009
Frederic Dabrowski 2009
Jack Davidson 2009
Brian Demsky 2009
Jo�o Dias 2009
Chen Ding 2009
Derek Dreyer 2009
Francois Fages 2009
Matthew Flatt 2009
Matthew Flatt 2009
Giorgio Ghelli 2009
Paola Giannini 2009
Paola Giannini 2009
Alexey Gotsman 2009
Thomas Gross 2009
Sumit Gulwani 2009
Rajiv Gupta 2009
Samuel Guyer 2009
Mary Hall 2009
Christian Hammer 2009
Ben Hardekopf 2009
Matthew Hertz 2009
Daniel Hirschkoff 2009
Daniel Hirschkoff 2009
Zhenjiang Hu 2009
Michael Huth 2009
Michael Isard 2009
Suresh Jagannathan 2009
Suresh Jagannathan 2009
Somesh Jha 2009
Ranjit Jhala 2009
Ranjit Jhala 2009
Vineet Kahlon 2009
Mahmut Kandemir 2009
Mahmut Kandemir 2009
Mahmut Kandemir 2009
Andy King 2009
Christoph Kirsch 2009
Jens Knoop 2009
Jens Knoop 2009
Vasileios Koutavas 2009
Christos Kozyrakis 2009
Christos Kozyrakis 2009
Andreas Krall 2009
Jens Krinke 2009
Jens Krinke 2009
Shriram Krishnamurthi 2009
Shriram Krishnamurthi 2009
Viktor Kuncak 2009
Akash Lal 2009
Sorin Lerner 2009
Sorin Lerner 2009
Xavier Leroy 2009
Zhiyuan Li 2009
Shih-Wei Liao 2009
Yanhong Liu 2009
David Liu 2009
Victor Luchangco 2009
Ewing Lusk 2009
Kenneth MacKenzie 2009
Scott Mahlke 2009
Scott Mahlke 2009
Peter Marwedel 2009
Celso Mendes 2009
Samuel Midkiff 2009
Samuel Midkiff 2009
Todd Millstein 2009
Yannick Moy 2009
Andrew Myers 2009
Anders M�ller 2009
Peter M�ller 2009
Srijith Nair 2009
David Naumann 2009
Jorge Navas 2009
Nicholas Nethercote 2009
Nicholas Nethercote 2009
Oscar Nierstrasz 2009
Krzysztof Palacz 2009
Jens Palsberg 2009
Matthew Parkinson 2009
Corina Pasareanu 2009
David Pearce 2009
Keshav Pingali 2009
shlomit pinter 2009
Polyvios Pratikakis 2009
Kleanthis Psarris 2009
German Puebla 2009
German Puebla 2009
Zvonimir Rakamaric 2009
Venkatesh-Prasad Ranganath 2009
John Reppy 2009
Tamara Rezk 2009
james riely 2009
Juergen Rilling 2009
Arch Robison 2009
Colin Runciman 2009
Andrey Rybalchenko 2009
Andrey Rybalchenko 2009
Andrey Rybalchenko 2009
Andrey Rybalchenko 2009
P. (Saday) Sadayappan 2009
Alexandru Salcianu 2009
Davide Sangiorgi 2009
Davide Sangiorgi 2009
dan scales 2009
Manfred Schmidt-Schau� 2009
Alan Schmitt 2009
Steve Schneider 2009
Steve Schneider 2009
Tom Schrijvers 2009
Tom Schrijvers 2009
Tom Schrijvers 2009
David Sehr 2009
Helmut Seidl 2009
Sharon Shoham 2009
Axel Simon 2009
Prasad Sistla 2009
Christian Skalka 2009
Yannis Smaragdakis 2009
Yannis Smaragdakis 2009
Gregor Snelting 2009
Fausto Spoto 2009
VC Sreedhar 2009
Friedrich Steimann 2009
Aaron Stump 2009
Zehra Sura 2009
Tadao Takaoka 2009
Tachio Terauchi 2009
Peter Thiemann 2009
Eli Tilevich 2009
Ben Titzer 2009
Helen Treharne 2009
Viktor Vafeiadis 2009
Viktor Vafeiadis 2009
Pedro Vasconcelos 2009
Jan Vitek 2009
Jan Vitek 2009
Yevgen Voronenko 2009
Yevgen Voronenko 2009
Zhenlin Wang 2009
Geoffrey Washburn 2009
Christian Wimmer 2009
Hongwei Xi 2009
Hongwei Xi 2009
Cliff Young 2009
Cliff Young 2009
Francesco Zappa Nardelli 2009
Youtao Zhang 2009
Xiangyu Zhang 2009
Youtao Zhang 2009
Yoav Zibin 2009
Benjamin Zorn 2009
Benjamin Zorn 2009
Slim Abdennadher 2008
Umut Acar 2008
Lucia Acciai 2008
Amal Ahmed 2008
Jonathan Aldrich 2008
Andrew Appel 2008
Jonathan R Bachrach 2008
Godmar Back 2008
Amir M Ben-Amram 2008
Karthikeyan Bhargavan 2008
Gianfranco Bilardi 2008
Steve Blackburn 2008
Chiara Bodei 2008
Rastislav Bodik 2008
Richard Bornat 2008
Chandrasekhar Boyapati 2008
Martin Bravenboer 2008
Preston Briggs 2008
Tevfik Bultan 2008
Luis Caires 2008
Cristiano Calcagno 2008
Sagar Chaki 2008
Craig Chambers 2008
Juan Chen 2008
Sigmund Cherem 2008
Shigeru Chiba 2008
Olaf Chitil 2008
Cristina Cifuentes 2008
Dario Colazzo 2008
Byron Cook 2008
Klaud Drager 2008
Evelyn Duesterwald 2008
Mootaz Elnozahy 2008
Manuel Fahndrich 2008
Robert Bruce Findler 2008
Cormac Flanagan 2008
Matthew Fluet 2008
Jeffrey Foster 2008
Basilio Fraguela 2008
Stephen Freund 2008
David Gay 2008
Giorgio Ghell 2008
Sukumar Ghosh 2008
Neal Glew 2008
Dieter Gollman 2008
Martin Golumbic 2008
Andy Gordon 2008
Sergei Gorlatch 2008
Alexey Gotsman 2008
Roger Grimm 2008
Dan Grossman 2008
Rajiv Gupta 2008
Joshua Guttman 2008
Samuel Guyer 2008
Peter Hawkins 2008
Michael Hicks 2008
Thomas Hildebrandt 2008
Martin Hirzel 2008
Martin Hoffman 2008
Kohei Honda 2008
Shan Shan Huang 2008
Hans Huttel 2008
Ranjit Jhala 2008
Ralph Johnson 2008
Sara Kalvala 2008
Aditya Kanade 2008
Mahmut Kandemir 2008
Andrew Kennedy 2008
Jens Knoop 2008
Ralf Kusters 2008
Shuvendu Lahiri 2008
Jim Larus 2008
Christopher League 2008
Sylvain Lebresne 2008
Gyungho Lee 2008
Sorin Lerner 2008
Xavier Leroy 2008
Ondrej Lhotak 2008
Ben Liblit 2008
Yanhong Annie Liu 2008
Kenneth MacKenzie 2008
Louis Mandel 2008
Sebastian Maneth 2008
Darko Marinov 2008
Wim Martens 2008
Hidehiko Masuhara 2008
Hernin Melgratti 2008
Samuel Midkiff 2008
Anders Moller 2008
Eric Monfroy 2008
Peter Muller 2008
Andrew Myers 2008
Mayur Naik 2008
Aleksandar Nanevski 2008
David Naumann 2008
Nicholas Nethercote 2008
David Notkin 2008
Nate Nystrom 2008
Krzysztof Ostrowski 2008
Matthew Parkinson 2008
Reinhard Pichler 2008
Andrew Pitts 2008
James Plank 2008
Andreas Podelski 2008
Arnd Poetzsch-Heffter 2008
Christin W Probst 2008
German Puebla 2008
Shaz Qadeer 2008
Frabrice Rastello 2008
Jakob Rehof 2008
Didier Remy 2008
James Riely 2008
Juergen Rilling 2008
Arch Robison 2008
Christoffer Rosenki Nielsen 2008
Andrey Rybalchenko 2008
Kostis Sagonas 2008
Jesus Sanchez 2008
Davide Sangiorgi 2008
Carlo Sartiani 2008
Markus Schordan 2008
Wolfram Schulte 2008
David Sehr 2008
Helmut Seidl 2008
Koushik Sen 2008
Mark Shields 2008
Jeffrey Mark Siskind 2008
Fausto Spoto 2008
Collin Stirling 2008
Paul Stodghill 2008
Peter Stuckey 2008
Aaron Stump 2008
Alexander Supalov 2008
Nikhil Swamy 2008
Carolyn Talcott 2008
Gang Tan 2008
Jens Teubner 2008
Boon Thau Loo 2008
Peter Thiemann 2008
Mads Tofte 2008
Linda Torczon 2008
Richard J Trefler 2008
Vassilios Tzerpos 2008
Robert Van Engelen 2008
Stijn Vansummeren 2008
Carlos A Varela 2008
Pedro Vasconcelos 2008
Razvan Voicu 2008
Yevgen Voronenko 2008
David P Walker 2008
Toby Walsh 2008
Grant Weddell 2008
Ou Wei 2008
Westley Weimer 2008
Josef Widder 2008
Emmet Witchel 2008
Eran Yahav 2008
Hongseok Yang 2008
Jun Yang 2008
Pen-Chung Yew 2008
Jia-Huai You 2008
Dachuan Yu 2008
Francesco Zappa Nardelli 2008
Youtao Zhang 2008
Yuanlin Zhang 2008
Neng-Fa Zhou 2008
Slim Abdennadher 2007
Umut Acar 2007
Sergej Alekseev 2007
Glenn Ammons 2007
Torben Amtoft 2007
Andrew Appel 2007
David August 2007
Jonathan R Bachrach 2007
Gabriela Barrantes 2007
Amir M Ben-Amram 2007
Nick Benton 2007
Gianfranco Bilardi 2007
Matthias Blume 2007
Michele Bugliesi 2007
Michael Butler 2007
Cristian Cadar 2007
Nicholas Carriero 2007
Luis Ceze 2007
Craig Chambers 2007
Tong Chen 2007
Juan Chen 2007
Perry Cheng 2007
Olaf Chitil 2007
Cristina Cifuentes 2007
Michael Codish 2007
Norman Cohen 2007
Albert Cohen 2007
Charles Consel 2007
Byron Cook 2007
Veronique Cortier 2007
Antonio Cunei 2007
Olivier Danvy 2007
Wolfgang De Meuter 2007
Saumya K Debray 2007
David Detlefs 2007
Beniamino Di Martino 2007
Joao Dias 2007
Amer Diwan 2007
Julian Dolby 2007
Evelyn Duesterwald 2007
Marlon Dumas 2007
Rudolf Eigenmann 2007
Jerome Feret 2007
John Field 2007
Samuel Figueroa 2007
Kathleen Fisher 2007
Cormac Flanagan 2007
Chien-Liang Fok 2007
Jeffrey Foster 2007
Basilio Fraguela 2007
Stephen Freund 2007
Etienne Gagnon 2007
Guang Gao 2007
Jacques Garrigue 2007
Roberto Giacobazzi 2007
Yossi Gil 2007
Christopher Gill 2007
Stephen Gilmore 2007
Neal Glew 2007
Carsten Goerg 2007
Ken Goldman 2007
Jean Goubault-Larrecq 2007
Mohamed Gouda 2007
Dan Grossman 2007
Joshua Guttman 2007
Samuel Guyer 2007
Sebastian Hack 2007
Hwansoo Han 2007
James Harland 2007
Mark Harman 2007
Bill Harrison 2007
Alan Hartman 2007
Roger Henriksson 2007
Michael Hicks 2007
Michael Hind 2007
Jochen Hoenicke 2007
Zhenjiang Hu 2007
Anca Ivan 2007
Suresh Jagannathan 2007
Alan Jeffrey 2007
ahThomas Jensen 2007
Mahmut Kandemir 2007
Stefan Katzenbeisser 2007
Andrew Kennedy 2007
Christoph Kessler 2007
Uday Khedker 2007
Siau-Cheng Khoo 2007
Andreas Krall 2007
Christopher Kruegel 2007
Viktor Kuncak 2007
Marta Kwiatkowska 2007
Jim Larus 2007
Sorin Lerner 2007
Xavier Leroy 2007
Philip A Levis 2007
Donglin Liang 2007
Sergio Maffeis 2007
Geoffrey Mainland 2007
Mila Majster-Cederbaum 2007
Darko Marinov 2007
Thomas Marlowe 2007
Andrew McCreight 2007
Sean McDirmid 2007
Vijay Menon 2007
Todd Millstein 2007
Eric Monfroy 2007
Luc Moreau 2007
Eliot Moss 2007
Ben Moszkowski 2007
Andrew Myers 2007
Gopalan Nadathur 2007
Aleksandar Nanevski 2007
Mehmet A Orgun Emir Pasalic 2007
Fernando Pereira 2007
Erez Petrank 2007
Reinhard Pichler 2007
Henrik Pilegaard 2007
Christin W Probst 2007
Riccardo Pucella 2007
Bill Pugh 2007
David P. Grove Rajiv Gupta 2007
Ganesan Ramalingam 2007
Antoine Reilles 2007
Martin P Robillard 2007
Anne Rogers 2007
Christoffer Rosenki Nielsen 2007
Francesca Rossi 2007
Atanas Rountev 2007
Dan Roy 2007
Radu Rugina 2007
Andrey Rybalchenko 2007
Barbara G Ryder 2007
Andrei Sabelfeld 2007
Amr Sabry 2007
Jesus Sanchez 2007
David Sands 2007
Vijay Saraswat 2007
Ali Sazegari 2007
Markus Schordan 2007
Ryan Sciampacone 2007
Venkata Seshu Ku Kurapati 2007
Peter Sestoft 2007
Henny Simpa 2007
Saurabh Sinha 2007
Yannis Smaragdakis 2007
VC Sreedhar 2007
Manu Sridharan 2007
Paul Stodghill 2007
Scott Stoller 2007
Michelle Strout 2007
Peter Stuckey 2007
Aaron Stump 2007
Martin Sulzmann 2007
Gang Tan 2007
Boon Thau Loo 2007
Peter Thiemann 2007
Linda Torczon 2007
Sid-Ahmed-Ali Touati 2007
Jean-Baptiste Tristan Peng Tu 2007
Robert Van Engelen 2007
Amit Vasudevan 2007
Eric Verbeek 2007
Joost Visser 2007
Razvan Voicu 2007
Jeffrey Von Ronne 2007
David P Walker 2007
Toby Walsh 2007
Martin Ward 2007
Westley Weimer 2007
Edwin Westbrook 2007
Thomas Wies 2007
Gregory Wilson 2007
Peng Wu 2007
Eran Yahav 2007
Heng Yin 2007
Greta Yorsh 2007
Dachuan Yu 2007
Francesco Zappa Nardelli 2007
Yuanlin Zhang 2007
Min Zhao 2007
Jianwen Zhu 2007
Umut Acar 2006
Glenn Ammons 2006
Torben Amtoft 2006
Matthew Arnold 2006
David August 2006
Jonathan Bachrach 2006
Gabriela Barrantes 2006
Nick Benton 2006
Aart Bik 2006
Steve Blackburn 2006
Matthias Blume 2006
Richard Bord 2006
Chandrasekhar Boyapati 2006
Forrest Brewer 2006
Cristina Cfuentes 2006
Jong-Deok Choi 2006
Norman Cohen 2006
Charles Consel 2006
William Cook 2006
Antonio Cunei 2006
Olivier Danvy 2006
Joseph Darcy 2006
Saumya Debray 2006
Beniamini Di Martino 2006
Amer Diwan 2006
Julian Dolby 2006
Gabriel Dor Reis 2006
Derek Dreyer 2006
Evelyn Duesterwald 2006
Dominic Duggan 2006
Christopher Dutchyn 2006
Alexandre Eichenberger 2006
Susan Eisenbach 2006
Manuel Fahndrich 2006
Jerome Feret 2006
John Field 2006
Samuel Figuera 2006
Cormac Flanagan 2006
Basilio Fraguela 2006
Stephen Freund 2006
Etienne Gagnon 2006
John Gallagher 2006
Jacques Garrigue 2006
Sukumar Ghosh 2006
Roberto Giacobazzi 2006
Stephen Gilmore 2006
Ken Goldman 2006
Mohamed Gouda 2006
Dan Grossman 2006
David P. Grove 2006
Samuel Guyer 2006
Sebastian Hack 2006
Hwansoo Han 2006
Chris Hankin 2006
James Harland 2006
Mark Harman 2006
Bill Harrison 2006
Alan Hartman 2006
Michael Hicks 2006
Nigel Horspool 2006
David Kaeli 2006
Christoph Kessler 2006
Siau-Cheng Khoo 2006
Andreas Krall 2006
Arvind Krishnaswamy 2006
Christopher Kruegel 2006
Venkata Seshu Kumar Kurapati 2006
Jim Larus 2006
Donglin Liang 2006
Benjamin Livshits 2006
Igor Markov 2006
Thomas Marlowe 2006
Seda Memik 2006
Ana Milanova 2006
Todd Millstein 2006
Eliot Moss 2006
Gopalan Nadathur 2006
Mayur Naik 2006
Aleksandar Nanevski 2006
David Naumann 2006
Michael Norrish 2006
Stott Parker 2006
Fernando Pereira 2006
Bill Pugh 2006
Mukund Raghavachari 2006
J. Ramanujam 2006
Anne Rogers 2006
Radu Rugina 2006
Andrey Rybalchenko 2006
Amr Sabry 2006
Jesus Sanchez 2006
Vijay Saraswat 2006
Ali Sazegari 2006
David Schmidt 2006
Alan Schmitt 2006
David Sehr 2006
Peter Sestoft 2006
Vc Sreedhar 2006
Mark Stephenson 2006
Scott Stoller 2006
Peter Stuckey 2006
Martin Sulzmann 2006
Gang Tan 2006
Peter Thiemann 2006
Mithuna Thottethodi 2006
Sid-Ahmed-Ali Touati 2006
Robert Van Engelen 2006
Eelco Visser 2006
Razvan Voicu 2006
Christoph Von Praun 2006
Chenxi Wang 2006
Martin Ward 2006
Heike Wehrheim 2006
Westley Weimer 2006
Josef Widder 2006
Clay Williams 2006
Gregory Wilson 2006
Peng Wu 2006
Dachuan Yu 2006
Karen Zee 2006
Min Zhao 2006
Tian Zhao 2006
Jianwen Zhu 2006
 
All ACM Journals | See Full Journal Index