This page maintains a list of authors who publish their papers on POPL, based on the resources provided by DBLP.
Last modification: 2015-06-02 14:44:06
| ALL Years | #. of papers | Last 10 Years | #. of papers | Last 5 Years | #. of papers |
| Benjamin C. Pierce | 20 |
Derek Dreyer | 9 |
Zachary Kincaid | 6 |
| Robert Harper | 17 |
Benjamin C. Pierce | 7 |
Derek Dreyer | 6 |
| John C. Mitchell | 15 |
Sumit Gulwani | 7 |
Nikhil Swamy | 5 |
| Xavier Leroy | 15 |
Stephanie Weirich | 7 |
Simon L. Peyton Jones | 5 |
| Matthias Felleisen | 15 |
David Walker | 7 |
Azadeh Farzan | 5 |
| Martín Abadi | 14 |
Cédric Fournet | 7 |
Cédric Fournet | 5 |
| Thomas W. Reps | 13 |
Simon L. Peyton Jones | 6 |
Lars Birkedal | 5 |
| Simon L. Peyton Jones | 13 |
Cristiano Calcagno | 6 |
Pierre-Yves Strub | 5 |
| Amir Pnueli | 13 |
Lars Birkedal | 6 |
Benjamin Livshits | 5 |
| Mitchell Wand | 13 |
Swarat Chaudhuri | 6 |
Suresh Jagannathan | 4 |
| Luca Cardelli | 12 |
Xavier Leroy | 6 |
Viktor Vafeiadis | 4 |
| Cédric Fournet | 12 |
Viktor Vafeiadis | 6 |
Thomas A. Henzinger | 4 |
| Jeffrey D. Ullman | 11 |
Zachary Kincaid | 6 |
Mike Dodds | 4 |
| Philip Wadler | 11 |
Matthew J. Parkinson | 6 |
Benjamin C. Pierce | 4 |
| Derek Dreyer | 11 |
Andreas Podelski | 6 |
Hongseok Yang | 4 |
| Patrick Cousot | 11 |
Nikhil Swamy | 5 |
Nick Benton | 4 |
| Sumit Gulwani | 10 |
Thomas A. Henzinger | 5 |
Martin Hofmann | 4 |
| David Walker | 10 |
Matthias Felleisen | 5 |
Margus Veanes | 4 |
| Andrew D. Gordon | 10 |
Hongseok Yang | 5 |
Dimitrios Vytiniotis | 4 |
| Paul Hudak | 10 |
Martin Hofmann | 5 |
Stephanie Weirich | 4 |
| Albert R. Meyer | 10 |
Benjamin Livshits | 5 |
Alex Aiken | 3 |
| Radhia Cousot | 9 |
Robert Bruce Findler | 5 |
Gilles Barthe | 3 |
| Cormac Flanagan | 9 |
Azadeh Farzan | 5 |
Radhia Cousot | 3 |
| Andrew W. Appel | 9 |
Shaz Qadeer | 5 |
Frank Piessens | 3 |
| Alan J. Demers | 9 |
Andrey Rybalchenko | 5 |
Michael Emmi | 3 |
| Cristiano Calcagno | 9 |
Pierre-Yves Strub | 5 |
Philippa Gardner | 3 |
| Vaughan R. Pratt | 9 |
Peter Sewell | 5 |
Robert Bruce Findler | 3 |
| Barry K. Rosen | 9 |
Alex Aiken | 4 |
Kim Nguyen | 3 |
| Andreas Podelski | 9 |
Gilles Barthe | 4 |
Nate Foster | 3 |
| Thomas A. Henzinger | 8 |
Suresh Jagannathan | 4 |
Xavier Leroy | 3 |
| Lars Birkedal | 8 |
Philippa Gardner | 4 |
Cormac Flanagan | 3 |
| Neil D. Jones | 8 |
Francesco Zappa Nardelli | 4 |
Loris D'Antoni | 3 |
| Martin Odersky | 8 |
Robert Harper | 4 |
Juan Chen | 3 |
| Peter Sewell | 8 |
Juan Chen | 4 |
Mark Batty | 3 |
| Martin C. Rinard | 8 |
Byron Cook | 4 |
Chung-Kil Hur | 3 |
| Martin Hofmann | 8 |
Giuseppe Castagna | 4 |
Tahina Ramananandro | 3 |
| Mark N. Wegman | 8 |
Scott Owens | 4 |
Matthias Felleisen | 3 |
| Stephanie Weirich | 8 |
Michael Hicks | 4 |
Brigitte Pientka | 3 |
| Peter W. O'Hearn | 8 |
Ranjit Jhala | 4 |
Adam Chlipala | 3 |
| Karl Crary | 8 |
Peter W. O'Hearn | 4 |
Giuseppe Castagna | 3 |
| Matthew J. Parkinson | 8 |
Amal Ahmed | 4 |
Patrick Cousot | 3 |
| Alexander Aiken | 8 |
Alexey Gotsman | 4 |
Scott Owens | 3 |
| Suresh Jagannathan | 7 |
Neelakantan R. Krishnaswami | 4 |
Ahmed Bouajjani | 3 |
| Shmuel Sagiv | 7 |
Aditya V. Nori | 4 |
Mooly Sagiv | 3 |
| Jeanne Ferrante | 7 |
Michael Emmi | 4 |
Robert Atkey | 3 |
| Ravi Sethi | 7 |
Cormac Flanagan | 4 |
Aseem Rastogi | 3 |
| Shaz Qadeer | 7 |
Mike Dodds | 4 |
Francesco Logozzo | 3 |
| Giuseppe Castagna | 7 |
Rupak Majumdar | 4 |
Andreas Podelski | 3 |
| Alfred V. Aho | 7 |
Brigitte Pientka | 4 |
David Molnar | 3 |
| Hans-Juergen Boehm | 7 |
Adam Chlipala | 4 |
Peter Sewell | 3 |
| Ken Kennedy | 7 |
Nick Benton | 4 |
Swarat Chaudhuri | 3 |
| Joseph Y. Halpern | 7 |
Ahmed Bouajjani | 4 |
Neelakantan R. Krishnaswami | 3 |
| Zohar Manna | 7 |
Mooly Sagiv | 4 |
Arjun Radhakrishna | 3 |
| Naoki Kobayashi | 7 |
Margus Veanes | 4 |
David Pichardie | 3 |
| John C. Reynolds | 6 |
Dimitrios Vytiniotis | 4 |
Aditya V. Nori | 2 |
| Robert Cartwright | 6 |
Shuvendu K. Lahiri | 4 |
Leopold Haller | 2 |
| Hongseok Yang | 6 |
Norman Ramsey | 3 |
Andrew Kennedy | 2 |
| Susan Horwitz | 6 |
Michael Norrish | 3 |
Ashutosh Gupta | 2 |
| Swarat Chaudhuri | 6 |
Radhia Cousot | 3 |
Zhiwu Xu | 2 |
| Gordon D. Plotkin | 6 |
Ashutosh Gupta | 3 |
Benjamin Delaware | 2 |
| Craig Chambers | 6 |
Martin T. Vechev | 3 |
Jules Villard | 2 |
| Viktor Vafeiadis | 6 |
Andrew C. Myers | 3 |
David Walker | 2 |
| Zachary Kincaid | 6 |
Rajeev Alur | 3 |
Martin T. Vechev | 2 |
| David Sands | 6 |
Vilhelm Sjöberg | 3 |
Roberto Giacobazzi | 2 |
| Rupak Majumdar | 6 |
Patricia Johann | 3 |
C.-H. Luke Ong | 2 |
| Ahmed Bouajjani | 6 |
Magnus O. Myreen | 3 |
Gennaro Parlato | 2 |
| Edmund M. Clarke | 6 |
Andrew M. Pitts | 3 |
Uday S. Reddy | 2 |
| Saumya K. Debray | 6 |
Mayur Naik | 3 |
Christos Dimoulas | 2 |
| E. Allen Emerson | 6 |
Bor-Yuh Evan Chang | 3 |
Avik Chaudhuri | 2 |
| F. Kenneth Zadeck | 6 |
Aleksandar Nanevski | 3 |
Martin C. Rinard | 2 |
| Flemming Nielson | 6 |
Nobuko Yoshida | 3 |
Rajeev Alur | 2 |
| George C. Necula | 6 |
Viktor Kuncak | 3 |
Vijay D'Silva | 2 |
| Nissim Francez | 6 |
Robert Atkey | 3 |
Christoph M. Kirsch | 2 |
| Nobuko Yoshida | 6 |
Georg Neis | 3 |
Gavin M. Bierman | 2 |
| Ranjit Jhala | 6 |
Aseem Rastogi | 3 |
Claudio V. Russo | 2 |
| Richard J. Lipton | 6 |
Francesco Logozzo | 3 |
Ali Sinan Köksal | 2 |
| Andrey Rybalchenko | 6 |
James Brotherston | 3 |
Vilhelm Sjöberg | 2 |
| Jens Palsberg | 6 |
David Molnar | 3 |
Jan Hoffmann | 2 |
| Susan L. Graham | 6 |
Matthew Might | 3 |
Francesco Zappa Nardelli | 2 |
| Alex Aiken | 5 |
Ross Tate | 3 |
Luís Caires | 2 |
| Gilles Barthe | 5 |
Frank Piessens | 3 |
Damien Pous | 2 |
| Norman Ramsey | 5 |
Kim Nguyen | 3 |
Louis-Noël Pouchet | 2 |
| Rastislav Bodík | 5 |
Nate Foster | 3 |
Neil Immerman | 2 |
| Philippa Gardner | 5 |
Gavin M. Bierman | 3 |
Albert Cohen | 2 |
| Roberto Giacobazzi | 5 |
Loris D'Antoni | 3 |
Jad Hamza | 2 |
| Andrew C. Myers | 5 |
Albert Cohen | 3 |
Grigore Rosu | 2 |
| Monica S. Lam | 5 |
Santiago Zanella Béguelin | 3 |
Patricia Johann | 2 |
| Juan Chen | 5 |
Mark Batty | 3 |
Robert Harper | 2 |
| Jakob Rehof | 5 |
David Sands | 3 |
Santiago Zanella Béguelin | 2 |
| Sriram K. Rajamani | 5 |
Chung-Kil Hur | 3 |
Pavol Cerný | 2 |
| Frank Pfenning | 5 |
Zhong Shao | 3 |
Sungwoo Park | 2 |
| James E. Donahue | 5 |
Tahina Ramananandro | 3 |
Davide Sangiorgi | 2 |
| Barbara G. Ryder | 5 |
Yitzhak Mandelbaum | 3 |
Krishnendu Chatterjee | 2 |
| Tim Teitelbaum | 5 |
Susmit Sarkar | 3 |
Zhong Shao | 2 |
| Benjamin Livshits | 5 |
Patrick Cousot | 3 |
Johannes Borgström | 2 |
| Charles N. Fischer | 5 |
Andrew D. Gordon | 3 |
Ondrej Lhoták | 2 |
| Jon G. Riecke | 5 |
Andrew W. Appel | 3 |
Andrey Rybalchenko | 2 |
| Gavin M. Bierman | 5 |
Jeffrey S. Foster | 3 |
Thore Graepel | 2 |
| Davide Sangiorgi | 5 |
Rachid Guerraoui | 3 |
Jens Palsberg | 2 |
| Zhong Shao | 5 |
Naoki Kobayashi | 3 |
Aaron Turon | 2 |
| J. Gregory Morrisett | 5 |
Kathleen Fisher | 3 |
Mayur Naik | 2 |
| Stephen C. Johnson | 5 |
Marco Gaboardi | 3 |
Matko Botincan | 2 |
| Nick Benton | 5 |
Gabriel Dos Reis | 3 |
Bor-Yuh Evan Chang | 2 |
| Hanne Riis Nielson | 5 |
P. Madhusudan | 3 |
Susmit Sarkar | 2 |
| Nikhil Swamy | 5 |
Arjun Radhakrishna | 3 |
Dexter Kozen | 2 |
| Rajeev Alur | 5 |
David Pichardie | 3 |
Andrew Cave | 2 |
| Daniel Leivant | 5 |
Patrice Godefroid | 2 |
Ori Lahav | 2 |
| Didier Rémy | 5 |
Greta Yorsh | 2 |
Delphine Demange | 2 |
| John Launchbury | 5 |
Xavier Rival | 2 |
Francesco Ranzato | 2 |
| Robert Bruce Findler | 5 |
Dan Grossman | 2 |
Ugo Dal Lago | 2 |
| John H. Reif | 5 |
Xinyu Feng | 2 |
Andrew D. Gordon | 2 |
| Azadeh Farzan | 5 |
Rastislav Bodík | 2 |
Aleksandar Nanevski | 2 |
| Pierre-Yves Strub | 5 |
Kunle Olukotun | 2 |
Corneliu Popeea | 2 |
| Andrea Asperti | 5 |
Leopold Haller | 2 |
Michael Hicks | 2 |
| Robert Paige | 5 |
Jeffrey Mark Siskind | 2 |
Nobuko Yoshida | 2 |
| Patrice Godefroid | 4 |
Karthikeyan Bhargavan | 2 |
Michele Pagani | 2 |
| Ehud Y. Shapiro | 4 |
Andrew Kennedy | 2 |
Armando Solar-Lezama | 2 |
| Karthikeyan Bhargavan | 4 |
Jules Villard | 2 |
Viktor Kuncak | 2 |
| Amelia C. Fong | 4 |
Jan Vitek | 2 |
Georg Neis | 2 |
| Harry G. Mairson | 4 |
Roberto Giacobazzi | 2 |
Andreas Pavlogiannis | 2 |
| Francesco Zappa Nardelli | 4 |
Uday S. Reddy | 2 |
J. Ramanujam | 2 |
| Nevin Heintze | 4 |
Christos Dimoulas | 2 |
Thibaut Balabonski | 2 |
| Byron Cook | 4 |
Avik Chaudhuri | 2 |
Matthew J. Parkinson | 2 |
| Scott Owens | 4 |
Martin C. Rinard | 2 |
Aaron Joseph Turon | 2 |
| Viktor Kuncak | 4 |
Jan Hoffmann | 2 |
Michael D. Adams | 2 |
| Jerome Vouillon | 4 |
Luís Caires | 2 |
Steven J. Ramsay | 2 |
| Georges Gonthier | 4 |
Jean-Baptiste Tristan | 2 |
Yannis Smaragdakis | 2 |
| I. V. Ramakrishnan | 4 |
Grigore Rosu | 2 |
Marco Gaboardi | 2 |
| Mark Shields | 4 |
Philippe Suter | 2 |
Gabriel Dos Reis | 2 |
| Trevor Jim | 4 |
Pavol Cerný | 2 |
Vincent Laporte | 2 |
| Irene Greif | 4 |
Sungwoo Park | 2 |
P. Sadayappan | 2 |
| Gregory F. Johnson | 4 |
Mila Dalla Preda | 2 |
Justin Hsu | 2 |
| Neelakantan R. Krishnaswami | 4 |
Jeremy G. Siek | 2 |
Daniel Kroening | 2 |
| Reinhard Wilhelm | 4 |
Aquinas Hobor | 2 |
Xiaokang Qiu | 2 |
| Guy E. Blelloch | 4 |
Sriram K. Rajamani | 2 |
P. Madhusudan | 2 |
| Zhendong Su | 4 |
Michael Greenberg | 2 |
Sergio Maffeis | 2 |
| Mike Dodds | 4 |
Thomas Wies | 2 |
Nikos Tzevelekos | 2 |
| Daniel P. Friedman | 4 |
Didier Rémy | 2 |
Constantin Enea | 2 |
| Barbara Liskov | 4 |
Richard Bornat | 2 |
Amal Ahmed | 2 |
| Alan Schmitt | 4 |
Aarti Gupta | 2 |
Steve Zdancewic | 2 |
| Norihisa Suzuki | 4 |
Johannes Borgström | 2 |
Alexey Gotsman | 2 |
| John Field | 4 |
Philip Wadler | 2 |
Bart Jacobs | 2 |
| Mooly Sagiv | 4 |
Thore Graepel | 2 |
Filippo Bonchi | 2 |
| Dimitrios Vytiniotis | 4 |
Tatiana Shpeisman | 2 |
Sam Staton | 2 |
| Ron Cytron | 4 |
Eran Yahav | 2 |
Jacob Thamsborg | 2 |
| Shuvendu K. Lahiri | 4 |
Bill McCloskey | 2 |
Daniel Wagner | 2 |
| Leslie Lamport | 4 |
Aaron Turon | 2 |
Deokhwan Kim | 1 |
| P. Madhusudan | 4 |
Hiroshi Unno | 2 |
Scott Kilpatrick | 1 |
| Andrew Kennedy | 4 |
Matko Botincan | 2 |
Mukund Raghothaman | 1 |
| Derek C. Oppen | 4 |
Andrew Cave | 2 |
Richard Mayr | 1 |
| Michael A. Harrison | 4 |
Josh Berdine | 2 |
Jaeheon Yi | 1 |
| Mads Tofte | 4 |
Francesco Ranzato | 2 |
Xavier Rival | 1 |
| Fritz Henglein | 4 |
Corneliu Popeea | 2 |
Martin Erwig | 1 |
| Patricia Johann | 4 |
Koen Claessen | 2 |
Richard W. Vuduc | 1 |
| Christopher W. Fraser | 4 |
Dan R. Ghica | 2 |
Nikolaj Bjørner | 1 |
| Samuel N. Kamin | 4 |
Oege de Moor | 2 |
Ravi Chugh | 1 |
| Mayur Naik | 4 |
Pierre Ganty | 2 |
Santiago Cuellar | 1 |
| David B. MacQueen | 4 |
Nils Anders Danielsson | 2 |
João Dias | 1 |
| Prateek Mishra | 4 |
Anindya Banerjee | 2 |
Norman Ramsey | 1 |
| Edward L. Wimmers | 4 |
François Pottier | 2 |
Ghila Castelnuovo | 1 |
| Michael Hicks | 4 |
Thibaut Balabonski | 2 |
Nima Honarmand | 1 |
| Vijay A. Saraswat | 4 |
Aaron Joseph Turon | 2 |
Gordon D. Plotkin | 1 |
| Anindya Banerjee | 4 |
Barak A. Pearlmutter | 2 |
Makoto Tatsuta | 1 |
| François Pottier | 4 |
Michael D. Adams | 2 |
Xinyu Feng | 1 |
| Amal Ahmed | 4 |
Steven J. Ramsay | 2 |
Rastislav Bodík | 1 |
| Alexey Gotsman | 4 |
Yannis Smaragdakis | 2 |
Patrick Maxim Rondon | 1 |
| Aditya V. Nori | 4 |
Sam Tobin-Hochstadt | 2 |
Akash Lal | 1 |
| Robin Milner | 4 |
Vincent Laporte | 2 |
Matt Brown | 1 |
| Michael Emmi | 4 |
Justin Hsu | 2 |
Vesal Vojdani | 1 |
| Umut A. Acar | 4 |
Daniel Kroening | 2 |
Samir Genaim | 1 |
| Steven S. Muchnick | 4 |
Xiaokang Qiu | 2 |
Kunle Olukotun | 1 |
| Albert Cohen | 4 |
Sergio Maffeis | 2 |
Pierre-Malo Deniélou | 1 |
| Kohei Honda | 4 |
Mitchell Wand | 2 |
Tiark Rompf | 1 |
| Peter Thiemann | 4 |
Randy Pollack | 2 |
Roman Manevich | 1 |
| Brigitte Pientka | 4 |
Constantin Enea | 2 |
Arvind K. Sujeeth | 1 |
| Adam Chlipala | 4 |
Sriram Sankaranarayanan | 2 |
Michele Alberti | 1 |
| Andrzej Filinski | 4 |
Martín Abadi | 2 |
Ross Tate | 1 |
| Dexter Kozen | 4 |
Bart Jacobs | 2 |
Nathan Collins | 1 |
| Olivier Danvy | 4 |
Sam Staton | 2 |
André DeHon | 1 |
| Sorin Lerner | 4 |
Kapil Vaswani | 2 |
Rasmus Ibsen-Jensen | 1 |
| David N. Turner | 4 |
Noam Zeilberger | 2 |
Michael Norrish | 1 |
| Margus Veanes | 4 |
Jeremy Gibbons | 2 |
Thomas H. Austin | 1 |
| Prakash Panangaden | 4 |
Janis Voigtländer | 2 |
Ronald Garcia | 1 |
| G. Ramalingam | 4 |
João Dias | 2 |
Karthikeyan Bhargavan | 1 |
| Amr Sabry | 4 |
Gordon D. Plotkin | 2 |
Udi Boker | 1 |
| Michael Norrish | 3 |
Patrick Maxim Rondon | 2 |
Dimiter Milushev | 1 |
| Martin T. Vechev | 3 |
Satish Chandra | 2 |
Alastair F. Donaldson | 1 |
| Uday S. Reddy | 3 |
Ronald Garcia | 2 |
Prithviraj Banerjee | 1 |
| Neal Glew | 3 |
Zhiwu Xu | 2 |
Christine Tasson | 1 |
| A. J. Kfoury | 3 |
Benjamin Delaware | 2 |
Mingsheng Ying | 1 |
| Vilhelm Sjöberg | 3 |
William R. Cook | 2 |
Rajeev Goré | 1 |
| Pavol Cerný | 3 |
C.-H. Luke Ong | 2 |
Jan Vitek | 1 |
| Atsushi Igarashi | 3 |
Roberto Lublinerman | 2 |
Laure Thompson | 1 |
| Sungwoo Park | 3 |
Gennaro Parlato | 2 |
Guy E. Blelloch | 1 |
| Richard Bornat | 3 |
Chen Ding | 2 |
Robert Bocchino | 1 |
| Andrew M. Pitts | 3 |
Umut A. Acar | 2 |
Daniele Filaretti | 1 |
| Damien Doligez | 3 |
Karl Crary | 2 |
Andrew C. Myers | 1 |
| Dan R. Ghica | 3 |
Zhendong Su | 2 |
Earl T. Barr | 1 |
| Frank Tip | 3 |
Vijay D'Silva | 2 |
Jasmin Fisher | 1 |
| Susan S. Owicki | 3 |
Christoph M. Kirsch | 2 |
Nishant Sinha | 1 |
| Oege de Moor | 3 |
Hagit Attiya | 2 |
Aleksandr Karbyshev | 1 |
| Simon J. Gay | 3 |
Claudio V. Russo | 2 |
Venmugil Elango | 1 |
| Rajiv Gupta | 3 |
Ali Sinan Köksal | 2 |
Martin D. Schwarz | 1 |
| Robert Atkey | 3 |
Nils Gesbert | 2 |
Rahul Sharma | 1 |
| Aseem Rastogi | 3 |
Tachio Terauchi | 2 |
Casey Klein | 1 |
| Georg Neis | 3 |
Andreas Rossberg | 2 |
Sergueï Lenglet | 1 |
| Carl Hewitt | 3 |
Damien Pous | 2 |
Arthur Azevedo de Amorim | 1 |
| Carl A. Gunter | 3 |
Louis-Noël Pouchet | 2 |
Fabrizio Montesi | 1 |
| Michele Bugliesi | 3 |
Neil Immerman | 2 |
Karl Crary | 1 |
| Francesco Logozzo | 3 |
Trishul M. Chilimbi | 2 |
Zhendong Su | 1 |
| François Rouaix | 3 |
Jad Hamza | 2 |
Bertrand Meyer | 1 |
| James Brotherston | 3 |
Luca Padovani | 2 |
Haozhong Zhang | 1 |
| David Molnar | 3 |
Davide Sangiorgi | 2 |
Jonathan A. Kelner | 1 |
| Matthew Might | 3 |
Dino Distefano | 2 |
Sharon Shoham | 1 |
| William Pugh | 3 |
Krishnendu Chatterjee | 2 |
Dan Rosén | 1 |
| Michael I. Schwartzbach | 3 |
Kwangkeun Yi | 2 |
Jesse A. Tov | 1 |
| Janis Voigtländer | 3 |
Arthur Charguéraud | 2 |
Alexander G. Gray | 1 |
| Orna Grumberg | 3 |
Ondrej Lhoták | 2 |
Klaus Aehlig | 1 |
| Ross Tate | 3 |
Alan Schmitt | 2 |
Tony Hoare | 1 |
| William R. Cook | 3 |
Jens Palsberg | 2 |
Stephen Brookes | 1 |
| Nate Foster | 3 |
Dexter Kozen | 2 |
Matthew Milano | 1 |
| Helmut Seidl | 3 |
Erez Petrank | 2 |
Roshan P. James | 1 |
| William C. Rounds | 3 |
Ori Lahav | 2 |
Catalin Hritcu | 1 |
| Santiago Zanella Béguelin | 3 |
Delphine Demange | 2 |
Jay Ligatti | 1 |
| Gérard Boudol | 3 |
Ugo Dal Lago | 2 |
Jonathan Katz | 1 |
| Chung-Kil Hur | 3 |
Ruy Ley-Wild | 2 |
Petr Kuznetsov | 1 |
| Tahina Ramananandro | 3 |
Marco Carbone | 2 |
Panagiotis Vekris | 1 |
| John L. Hennessy | 3 |
Michael Stepp | 2 |
Hong Mei | 1 |
| Susmit Sarkar | 3 |
Sorin Lerner | 2 |
Michael J. Sullivan | 1 |
| Atsushi Ohori | 3 |
Michele Pagani | 2 |
Basil Hosmer | 1 |
| Erez Petrank | 3 |
Armando Solar-Lezama | 2 |
Ashish Agarwal | 1 |
| Clark D. Thomborson | 3 |
Saurabh Srivastava | 2 |
Tarun Prabhu | 1 |
| Jeffrey S. Foster | 3 |
Neil Ghani | 2 |
Gareth Smith | 1 |
| Michael Rodeh | 3 |
Kristian Støvring | 2 |
Mikolaj Bojanczyk | 1 |
| John H. Williams | 3 |
Andreas Pavlogiannis | 2 |
Matteo Cimini | 1 |
| Richard A. DeMillo | 3 |
J. Ramanujam | 2 |
Sarita V. Adve | 1 |
| Marco Gaboardi | 3 |
Tom Ridge | 2 |
Andreas Haas | 1 |
| Peter Lee | 3 |
P. Sadayappan | 2 |
Guillaume Claret | 1 |
| Harry B. Hunt III | 3 |
Paul-André Melliès | 2 |
Véronique Benzaken | 1 |
| Todd A. Proebsting | 3 |
Sebastian Burckhardt | 2 |
Fabrice Rastello | 1 |
| Paul-André Melliès | 3 |
Benjamin Grégoire | 2 |
Zvonimir Rakamaric | 1 |
| Nicolas Halbwachs | 3 |
Eric Koskinen | 2 |
Yewen Pu | 1 |
| Javier Esparza | 3 |
Nikos Tzevelekos | 2 |
Ranald Clouston | 1 |
| Arjun Radhakrishna | 3 |
Kathryn S. McKinley | 2 |
Hagit Attiya | 1 |
| Xavier Rival | 3 |
Hugo Herbelin | 2 |
Yaron Velner | 1 |
| Ashutosh Gupta | 3 |
Steve Zdancewic | 2 |
Helmut Seidl | 1 |
| Jean-Jacques Lévy | 3 |
Filippo Bonchi | 2 |
Kristina Sojakova | 1 |
| Yasuhiko Minamide | 3 |
Jacob Thamsborg | 2 |
Kwok-Chiang Andrew Chung | 1 |
| Stephen Weeks | 3 |
Amr Sabry | 2 |
Steffen Lösch | 1 |
| Robert M. Graham | 3 |
Daniel Wagner | 2 |
Fritz Henglein | 1 |
| Magnus O. Myreen | 3 |
Jianzhou Zhao | 2 |
Julien Cretin | 1 |
| Bard Bloom | 3 |
Michael Smith | 1 |
Federico Olmedo | 1 |
| Radha Jagadeesan | 3 |
Deokhwan Kim | 1 |
Lijun Zhang | 1 |
| Eran Yahav | 3 |
Scott Kilpatrick | 1 |
John C. Reynolds | 1 |
| Joxan Jaffar | 3 |
Aaron Kimball | 1 |
Danfeng Zhang | 1 |
| Bor-Yuh Evan Chang | 3 |
Mukund Raghothaman | 1 |
Robert S. Schreiber | 1 |
| Aleksandar Nanevski | 3 |
Richard Mayr | 1 |
João Costa Seco | 1 |
| Maurice Herlihy | 3 |
Keith Wansbrough | 1 |
Gareth David Smith | 1 |
| Marvin H. Solomon | 3 |
Martin Erwig | 1 |
Tachio Terauchi | 1 |
| Jacob T. Schwartz | 3 |
Santiago Cuellar | 1 |
Tjark Weber | 1 |
| Sriram Sankaranarayanan | 3 |
Ghila Castelnuovo | 1 |
Anna Bendersky | 1 |
| Satish Chandra | 3 |
Nima Honarmand | 1 |
Elaine Shi | 1 |
| Frank Piessens | 3 |
Andrew Lumsdaine | 1 |
Parosh Aziz Abdulla | 1 |
| C.-H. Luke Ong | 3 |
Daniel S. Dantas | 1 |
Cristiano Calcagno | 1 |
| Kim Nguyen | 3 |
Leaf Petersen | 1 |
Lingming Zhang | 1 |
| Joseph Gil | 3 |
Akash Lal | 1 |
Xiongnan (Newman) Wu | 1 |
| Loris D'Antoni | 3 |
Matt Brown | 1 |
Bruno C. d. S. Oliveira | 1 |
| Trishul M. Chilimbi | 3 |
Samir Genaim | 1 |
Annette Bieniusa | 1 |
| Mark Batty | 3 |
Vesal Vojdani | 1 |
Fei He | 1 |
| Kwangkeun Yi | 3 |
Tiark Rompf | 1 |
Jeongbong Seo | 1 |
| James H. Morris Jr. | 3 |
Huu Hai Nguyen | 1 |
Pramod G. Joisha | 1 |
| Yitzhak Mandelbaum | 3 |
André DeHon | 1 |
Robbert Krebbers | 1 |
| Bernard Lang | 3 |
Rasmus Ibsen-Jensen | 1 |
Marsha Chechik | 1 |
| David S. Wise | 3 |
Krishna K. Mehra | 1 |
Alwen Tiu | 1 |
| William Landi | 3 |
Marc Duranton | 1 |
Milo M. K. Martin | 1 |
| Thomas Ball | 3 |
Andrew McCreight | 1 |
Stephen Chang | 1 |
| Keshav Pingali | 3 |
Polyvios Pratikakis | 1 |
Shaz Qadeer | 1 |
| Rachid Guerraoui | 3 |
Mingsheng Ying | 1 |
Philippe Suter | 1 |
| Matthew Hennessy | 3 |
Rajeev Goré | 1 |
Eduardo Bonelli | 1 |
| Kathleen Fisher | 3 |
Hamed Seiied Alavi | 1 |
Luca Padovani | 1 |
| Mark P. Jones | 3 |
Brian Meeker | 1 |
Simon Marlow | 1 |
| Gabriel Dos Reis | 3 |
Laure Thompson | 1 |
Alexandra Silva | 1 |
| David Harel | 3 |
Robert Bocchino | 1 |
Hao Tang | 1 |
| Steve Zdancewic | 3 |
Franjo Ivancic | 1 |
Jean Yang | 1 |
| David Pichardie | 3 |
Jasmin Fisher | 1 |
Atsushi Igarashi | 1 |
| Greta Yorsh | 2 |
Nishant Sinha | 1 |
Danny Hendler | 1 |
| Laurie J. Hendren | 2 |
Yasuhiko Minamide | 1 |
Cole Schlesinger | 1 |
| Kim B. Bruce | 2 |
Aleksandr Karbyshev | 1 |
Maged M. Michael | 1 |
| Leopold Haller | 2 |
Norman Danner | 1 |
Magnus O. Myreen | 1 |
| Jeffrey Mark Siskind | 2 |
John H. Reppy | 1 |
Nishant Totla | 1 |
| Elena Zucca | 2 |
Noam Rinetzky | 1 |
Mila Dalla Preda | 1 |
| Jan Vitek | 2 |
Chengliang Zhang | 1 |
Paul Blain Levy | 1 |
| Jules Villard | 2 |
Venmugil Elango | 1 |
Domagoj Babic | 1 |
| Manish Gupta | 2 |
DeLesley S. Hutchins | 1 |
Jeremy G. Siek | 1 |
| Joachim Niehren | 2 |
Periklis Akritidis | 1 |
Laurent Braud | 1 |
| Micha Sharir | 2 |
Rahul Sharma | 1 |
Kuat Yessenov | 1 |
| Dachuan Yu | 2 |
Sruthi Bandhakavi | 1 |
Nicolas Wu | 1 |
| Alain Deutsch | 2 |
Casey Klein | 1 |
Wonyeol Lee | 1 |
| Avik Chaudhuri | 2 |
Arthur Azevedo de Amorim | 1 |
David Sands | 1 |
| Chris Hankin | 2 |
Bertrand Meyer | 1 |
Aquinas Hobor | 1 |
| Maurizio Gabbrielli | 2 |
Alexander G. Gray | 1 |
Peter Thiemann | 1 |
| Sarita V. Adve | 2 |
Tony Hoare | 1 |
Sriram K. Rajamani | 1 |
| David K. Gifford | 2 |
Stephen Brookes | 1 |
Michael Greenberg | 1 |
| Timothy J. Hickey | 2 |
Matthew Milano | 1 |
Thomas Wies | 1 |
| Jan Hoffmann | 2 |
Dachuan Yu | 1 |
Didier Rémy | 1 |
| Jan Prins | 2 |
Ming Kawaguchi | 1 |
Manohar Jonnalagedda | 1 |
| Jack W. Davidson | 2 |
Monica S. Lam | 1 |
Emilio Jesús Gallego Arias | 1 |
| Jean-Baptiste Tristan | 2 |
Chris Hawblitzel | 1 |
Fabio Massacci | 1 |
| Rachid Echahed | 2 |
Neal Glew | 1 |
Peter Schrammel | 1 |
| Philippe Suter | 2 |
Jonathan Katz | 1 |
Barbara Petit | 1 |
| José Meseguer | 2 |
Xin Zheng | 1 |
Kasper Svendsen | 1 |
| Gang Chen | 2 |
Hong Mei | 1 |
Bernhard Reus | 1 |
| Mila Dalla Preda | 2 |
Gilles Muller | 1 |
Carolyn Jane Anderson | 1 |
| Jeremy G. Siek | 2 |
Søren B. Lassen | 1 |
Saswat Anand | 1 |
| Patrik Jansson | 2 |
Mikolaj Bojanczyk | 1 |
Andreas Krause | 1 |
| Stephen N. Zilles | 2 |
Sarita V. Adve | 1 |
Beniamino Accattoli | 1 |
| Brian K. Reid | 2 |
Andreas Haas | 1 |
Thomas Dillig | 1 |
| William L. Scherlis | 2 |
Guillaume Claret | 1 |
Caitlin Sadowski | 1 |
| Tatiana Shpeisman | 2 |
Matthew Fluet | 1 |
Ronghui Gu | 1 |
| Mark Lillibridge | 2 |
Véronique Benzaken | 1 |
Kwangkeun Yi | 1 |
| Raghu Ramakrishnan | 2 |
Ranald Clouston | 1 |
Bengt Jonsson | 1 |
| Masato Takeichi | 2 |
Kristina Sojakova | 1 |
Xiaowei Gao | 1 |
| Aaron Turon | 2 |
Kwok-Chiang Andrew Chung | 1 |
Arthur Charguéraud | 1 |
| Zena M. Ariola | 2 |
Christos Kozyrakis | 1 |
Philip Wadler | 1 |
| Matko Botincan | 2 |
Fritz Henglein | 1 |
Boris Köpf | 1 |
| Ramesh Viswanathan | 2 |
Scott Greenwald | 1 |
Zeyuan Allen Zhu | 1 |
| Bernard P. Serpette | 2 |
Julien Cretin | 1 |
Veselin Raychev | 1 |
| Rodney Farrow | 2 |
Lijun Zhang | 1 |
Jaroslav Sevcík | 1 |
| Josh Berdine | 2 |
Cristina David | 1 |
Eva Darulova | 1 |
| Thomas P. Murtagh | 2 |
Yin Wang | 1 |
Hamid Ebadi | 1 |
| Manuel M. T. Chakravarty | 2 |
John C. Reynolds | 1 |
Rob Harrison | 1 |
| Paul C. Attie | 2 |
Danfeng Zhang | 1 |
Tatiana Shpeisman | 1 |
| Francesco Ranzato | 2 |
Johan Nordlander | 1 |
Gordon Stewart | 1 |
| Ali-Reza Adl-Tabatabai | 2 |
Yingqi Xiao | 1 |
Byron Cook | 1 |
| Arun Lakhotia | 2 |
Gareth David Smith | 1 |
Shu-Chun Weng | 1 |
| Eugenio Moggi | 2 |
Julian Tibble | 1 |
Luísa Lourenço | 1 |
| Michael J. O'Donnell | 2 |
Tjark Weber | 1 |
Alan Schmitt | 1 |
| Nils Anders Danielsson | 2 |
Elaine Shi | 1 |
Chucky Ellison | 1 |
| Markus Müller-Olm | 2 |
Parosh Aziz Abdulla | 1 |
Ralf Hinze | 1 |
| John V. Guttag | 2 |
Matthias Blume | 1 |
Donald Ray | 1 |
| Greg Nelson | 2 |
Lingming Zhang | 1 |
Ana Sokolova | 1 |
| Bjarne Steensgaard | 2 |
Xiongnan (Newman) Wu | 1 |
Tewodros A. Beyene | 1 |
| Barak A. Pearlmutter | 2 |
Annette Bieniusa | 1 |
Omer Tripp | 1 |
| Michael D. Adams | 2 |
Kiminori Matsuzaki | 1 |
Jeroen Ketema | 1 |
| Steven J. Ramsay | 2 |
Robbert Krebbers | 1 |
Chao Wang | 1 |
| Sam Tobin-Hochstadt | 2 |
Mandana Vaziri | 1 |
David Swasey | 1 |
| Zhenjiang Hu | 2 |
Stephen Magill | 1 |
Andrew M. Pitts | 1 |
| David Gries | 2 |
Milo M. K. Martin | 1 |
Slawomir Lasota | 1 |
| Vincent Laporte | 2 |
Stephen Chang | 1 |
John Clements | 1 |
| Hongwei Xi | 2 |
Eduardo Bonelli | 1 |
Luis María Ferrer Fioriti | 1 |
| Adrienne Critcher | 2 |
Scott A. Mahlke | 1 |
Jérôme Leroux | 1 |
| Justin Hsu | 2 |
Jean Yang | 1 |
Isabella Mastroeni | 1 |
| Willem P. de Roever | 2 |
Tal Lev-Ami | 1 |
Fabio Zanasi | 1 |
| David Bernstein | 2 |
Atsushi Igarashi | 1 |
Robin P. Neatherway | 1 |
| Jia-Huai You | 2 |
Cole Schlesinger | 1 |
Hiroshi Unno | 1 |
| Tobias Nipkow | 2 |
Yih-Kuen Tsay | 1 |
Todd Mytkowicz | 1 |
| Jiazhen Cai | 2 |
Maged M. Michael | 1 |
Arjun Narayan | 1 |
| David R. Hanson | 2 |
Michael Isard | 1 |
Hyeonseung Im | 1 |
| Sergio Maffeis | 2 |
Nishant Totla | 1 |
Jonas Braband Jensen | 1 |
| Eljas Soisalon-Soininen | 2 |
Domagoj Babic | 1 |
Jérôme Siméon | 1 |
| Randy Pollack | 2 |
Kuat Yessenov | 1 |
Clément Pit-Claudel | 1 |
| David Gay | 2 |
Wonyeol Lee | 1 |
Andreas Haeberlen | 1 |
| Kapil Vaswani | 2 |
Patrik Jansson | 1 |
Bartek Klin | 1 |
| Noam Zeilberger | 2 |
Shengchao Qin | 1 |
Mihhail Aizatulin | 1 |
| Jeremy Gibbons | 2 |
Julian Dolby | 1 |
Devin Coughlin | 1 |
| Michael Hanus | 2 |
António Ravara | 1 |
Pietro Abate | 1 |
| Geoffrey Smith | 2 |
Barbara Petit | 1 |
Ichiro Hasuo | 1 |
| Uwe F. Pleban | 2 |
Kasper Svendsen | 1 |
Sumit Gulwani | 1 |
| Marcelo P. Fiore | 2 |
Bernhard Reus | 1 |
Erez Petrank | 1 |
| R. C. Sekar | 2 |
Hayo Thielecke | 1 |
Alex I. Smith | 1 |
| Gérard Berry | 2 |
John Hughes | 1 |
Christopher Monsanto | 1 |
| Chen Ding | 2 |
Andreas Krause | 1 |
John Guiver | 1 |
| Kim Marriott | 2 |
Beniamino Accattoli | 1 |
Jacques-Henri Jourdan | 1 |
| Brian Cantwell Smith | 2 |
Caitlin Sadowski | 1 |
Thomas Dinsdale-Young | 1 |
| David Scott Warren | 2 |
Xiaowei Gao | 1 |
Ruy Ley-Wild | 1 |
| Vijay D'Silva | 2 |
Boris Köpf | 1 |
Marco Carbone | 1 |
| Greg Morrisett | 2 |
Stavros Tripakis | 1 |
Matthew Flatt | 1 |
| Pierre Lescanne | 2 |
Zeyuan Allen Zhu | 1 |
Wontae Choi | 1 |
| Morten Heine Sørensen | 2 |
Gabriele Keller | 1 |
Ohad Kammar | 1 |
| Jonathan Young | 2 |
Eva Darulova | 1 |
Laura Kovács | 1 |
| Jad Hamza | 2 |
Rob Harrison | 1 |
Riccardo Pucella | 1 |
| Roger Hoover | 2 |
SaiDeep Tetali | 1 |
Bing Xie | 1 |
| Brian Hackett | 2 |
Shu-Chun Weng | 1 |
Yi Li | 1 |
| Dino Distefano | 2 |
Luísa Lourenço | 1 |
Denis Bogdanas | 1 |
| Krishnendu Chatterjee | 2 |
Avraham Shinnar | 1 |
Peter Lammich | 1 |
| Bengt Jonsson | 2 |
Zachary Tatlock | 1 |
Koen Claessen | 1 |
| Mahmut T. Kandemir | 2 |
Ralf Hinze | 1 |
Dan R. Ghica | 1 |
| Mary Lou Soffa | 2 |
Donald Ray | 1 |
Stephan van Staden | 1 |
| David Monniaux | 2 |
David Dalrymple | 1 |
Daiva Naudziuniene | 1 |
| Jérôme Siméon | 2 |
Ana Sokolova | 1 |
Francisco Ferreira | 1 |
| Manuel Fähndrich | 2 |
Omer Tripp | 1 |
Kayvan Memarian | 1 |
| Don Syme | 2 |
David Swasey | 1 |
Samik Basu | 1 |
| Bruno Blanchet | 2 |
Slawomir Lasota | 1 |
Parthasarathy Madhusudan | 1 |
| Guang R. Gao | 2 |
Luis María Ferrer Fioriti | 1 |
Andrew W. Appel | 1 |
| Brian R. Murphy | 2 |
Jérôme Leroux | 1 |
Jacob Evans | 1 |
| Michael Wolfe | 2 |
Isabella Mastroeni | 1 |
Andreas Abel | 1 |
| Bowen Alpern | 2 |
Masato Takeichi | 1 |
Nicolas Vasilache | 1 |
| Delphine Demange | 2 |
Manuel Costa | 1 |
Lorenzo Clemente | 1 |
| Ugo Dal Lago | 2 |
Robin P. Neatherway | 1 |
Bertrand Jeannet | 1 |
| Marco Carbone | 2 |
Todd Mytkowicz | 1 |
Jon Rafkind | 1 |
| Susan L. Gerhart | 2 |
Yann Régis-Gianas | 1 |
Bow-Yaw Wang | 1 |
| Julia L. Lawall | 2 |
Marina Polishchuk | 1 |
Gerardo Schneider | 1 |
| Michele Pagani | 2 |
Olin Shivers | 1 |
Arun Lakhotia | 1 |
| Thomas P. Jensen | 2 |
Clément Pit-Claudel | 1 |
Dhruva R. Chakrabarti | 1 |
| Eijiro Sumii | 2 |
Xin Qi | 1 |
Sandrine Blazy | 1 |
| Matthias Neubauer | 2 |
Andreas Haeberlen | 1 |
Jeffrey S. Foster | 1 |
| Joe D. Warren | 2 |
Daan Leijen | 1 |
HyoukJoong Lee | 1 |
| P. A. Subrahmanyam | 2 |
Vasco Thudichum Vasconcelos | 1 |
Pierre Ganty | 1 |
| Eugene W. Stark | 2 |
Vineet Kahlon | 1 |
Lasse Nielsen | 1 |
| Tim Sheard | 2 |
Mihhail Aizatulin | 1 |
Carl Eastlund | 1 |
| Eric Koskinen | 2 |
Devin Coughlin | 1 |
Dimitrios Prountzos | 1 |
| Kathryn S. McKinley | 2 |
Julien Brunel | 1 |
Jason Gross | 1 |
| Keith D. Cooper | 2 |
Bjarne Stroustrup | 1 |
Mary W. Hall | 1 |
| Daniel M. Yellin | 2 |
Ichiro Hasuo | 1 |
Hans-Juergen Boehm | 1 |
| Williams Ludwell Harrison III | 2 |
Damien Doligez | 1 |
Saurabh Srivastava | 1 |
| Rakesh Ghiya | 2 |
Miguel Castro | 1 |
Anindya Banerjee | 1 |
| Filippo Bonchi | 2 |
Manuel M. T. Chakravarty | 1 |
Aaron Roth | 1 |
| Jong-Deok Choi | 2 |
Christopher Monsanto | 1 |
Thanh Vo | 1 |
| Daniel Wagner | 2 |
Jacques-Henri Jourdan | 1 |
François Pottier | 1 |
| Keith Wansbrough | 2 |
Ajay Chander | 1 |
Markus Müller-Olm | 1 |
| Dan Grossman | 2 |
James S. Royer | 1 |
Jay A. McCarthy | 1 |
| Pierre Wolper | 2 |
Claire Pagetti | 1 |
Percy Liang | 1 |
| Leaf Petersen | 2 |
Peter A. Jonsson | 1 |
Neil Ghani | 1 |
| Xinyu Feng | 2 |
Matthew Flatt | 1 |
Pieter Hooimeijer | 1 |
| Kunle Olukotun | 2 |
Ohad Kammar | 1 |
Thorsten Tarrach | 1 |
| David Grove | 2 |
Peter Lammich | 1 |
Robert A. Cochran | 1 |
| Guy L. Steele Jr. | 2 |
Igor Serikov | 1 |
Kazunori Tobisawa | 1 |
| Yuh-Jzer Joung | 2 |
Frank Tip | 1 |
Martin Bravenboer | 1 |
| James R. Larus | 2 |
Mary F. Fernández | 1 |
Ramakrishna Upadrasta | 1 |
| Catuscia Palamidessi | 2 |
Moshe Y. Vardi | 1 |
Jonghyun Park | 1 |
| David Gelernter | 2 |
Francisco Ferreira | 1 |
Fan Long | 1 |
| Noam Rinetzky | 2 |
Ali-Reza Adl-Tabatabai | 1 |
Stelios Sidiroglou-Douskos | 1 |
| Pierre Weis | 2 |
Andreas Abel | 1 |
Anton Setzer | 1 |
| Christos Dimoulas | 2 |
Nicolas Vasilache | 1 |
Kristian Støvring | 1 |
| Harry R. Lewis | 2 |
Christian Lindig | 1 |
Yuan Feng | 1 |
| Larry Carter | 2 |
Simon J. Gay | 1 |
Delia Kesner | 1 |
| Luís Caires | 2 |
Arun Lakhotia | 1 |
Ranjit Jhala | 1 |
| Grigore Rosu | 2 |
Dhruva R. Chakrabarti | 1 |
Stefano Dissegna | 1 |
| Aquinas Hobor | 2 |
Jean-Phillipe Martin | 1 |
Isil Dillig | 1 |
| Michael Greenberg | 2 |
HyoukJoong Lee | 1 |
Ali Sezgin | 1 |
| Thomas Wies | 2 |
Dimitrios Prountzos | 1 |
David Thibodeau | 1 |
| Thomas J. Marlowe | 2 |
Gerwin Klein | 1 |
Chris Casinghino | 1 |
| Eugene W. Myers | 2 |
Hans-Juergen Boehm | 1 |
Cédric Bastoul | 1 |
| Hayo Thielecke | 2 |
Thanh Vo | 1 |
Minh Ngo | 1 |
| John Hughes | 2 |
Markus Müller-Olm | 1 |
Filip Sieczkowski | 1 |
| Aarti Gupta | 2 |
Jérôme Vouillon | 1 |
Shreyas Ramalingam | 1 |
| Johannes Borgström | 2 |
Jerome Vouillon | 1 |
Andrei Voronkov | 1 |
| Gabriele Keller | 2 |
Pieter Hooimeijer | 1 |
Jan Schwinghammer | 1 |
| Thore Graepel | 2 |
Thorsten Tarrach | 1 |
Shu-yu Guo | 1 |
| Ralf Hinze | 2 |
Robert A. Cochran | 1 |
Arjun Guha | 1 |
| Isabella Mastroeni | 2 |
Ramakrishna Upadrasta | 1 |
Keshav Pingali | 1 |
| Bill McCloskey | 2 |
Jonghyun Park | 1 |
Pawel Sobocinski | 1 |
| Hiroshi Unno | 2 |
Jonathan Shaw | 1 |
Runyao Duan | 1 |
| Christian S. Collberg | 2 |
Wei-Ngan Chin | 1 |
Pierre Pradic | 1 |
| Davide Ancona | 2 |
Stelios Sidiroglou-Douskos | 1 |
Tevfik Bultan | 1 |
| Scott Johnson | 2 |
Yuan Feng | 1 |
Andrew Tolmach | 1 |
| Andrew Cave | 2 |
Delia Kesner | 1 |
Rachid Guerraoui | 1 |
| Pierre-Louis Curien | 2 |
Stefano Dissegna | 1 |
Prakash Panangaden | 1 |
| Matthew Flatt | 2 |
David Thibodeau | 1 |
Emilio Tuosto | 1 |
| Corneliu Popeea | 2 |
Cédric Bastoul | 1 |
Hannes Payer | 1 |
| Koen Claessen | 2 |
Chris Casinghino | 1 |
Vu Le | 1 |
| Moshe Y. Vardi | 2 |
Minh Ngo | 1 |
Martin Odersky | 1 |
| Matthew M. Geller | 2 |
Filip Sieczkowski | 1 |
James Brotherston | 1 |
| Dennis M. Volpano | 2 |
Jan Schwinghammer | 1 |
Martin Bodin | 1 |
| Erik Meijer | 2 |
Pawel Sobocinski | 1 |
Ming Fu | 1 |
| James Riely | 2 |
Mohamed Faouzi Atig | 1 |
Shuvendu K. Lahiri | 1 |
| Ashok K. Chandra | 2 |
Pierre Pradic | 1 |
Naoki Kobayashi | 1 |
| Martin Mikelsons | 2 |
Tevfik Bultan | 1 |
Osbert Bastani | 1 |
| Pierre Ganty | 2 |
Johan Östlund | 1 |
Saurabh Joshi | 1 |
| Scott A. Smolka | 2 |
Xipeng Shen | 1 |
Martin Clochard | 1 |
| Wei-Ngan Chin | 2 |
Michele Bugliesi | 1 |
Sooraj Bhat | 1 |
| Fred B. Schneider | 2 |
Martin Odersky | 1 |
Oded Padon | 1 |
| Thibaut Balabonski | 2 |
Ming Fu | 1 |
Stavros Aronis | 1 |
| Aaron Joseph Turon | 2 |
Maurice Herlihy | 1 |
Alexis Goyet | 1 |
| David Tarditi | 2 |
Osbert Bastani | 1 |
Ramana Kumar | 1 |
| Yannis Smaragdakis | 2 |
Martin Clochard | 1 |
Stephen Chong | 1 |
| Robert D. Tennent | 2 |
Sooraj Bhat | 1 |
Lennart Beringer | 1 |
| Steven M. German | 2 |
Lennart Beringer | 1 |
Ganesan Ramalingam | 1 |
| Steffen Jost | 2 |
Ganesan Ramalingam | 1 |
Sam Tobin-Hochstadt | 1 |
| Thomas R. Gross | 2 |
Eric A. Brewer | 1 |
Roopsha Samanta | 1 |
| Daniel Kroening | 2 |
Richard A. Eisenberg | 1 |
Nada Amin | 1 |
| Xiaokang Qiu | 2 |
Trevor Jim | 1 |
Jong-hoon (David) An | 1 |
| Nachum Dershowitz | 2 |
Chloë W. Schulze | 1 |
Baris Aktemur | 1 |
| Constantin Enea | 2 |
Zhenjiang Hu | 1 |
Richard A. Eisenberg | 1 |
| Hassan Aït-Kaci | 2 |
Pierre-Évariste Dagand | 1 |
Pierre-Évariste Dagand | 1 |
| Christoph M. Hoffmann | 2 |
Carlos Lombardi | 1 |
Vikram S. Adve | 1 |
| Bart Jacobs | 2 |
Neil Ongkingco | 1 |
Carlos Lombardi | 1 |
| Krzysztof R. Apt | 2 |
Aziem Chawdhary | 1 |
Santosh Nagarakatte | 1 |
| Sam Staton | 2 |
Lu Zhang | 1 |
Hiroyoshi Sekine | 1 |
| Radu Rugina | 2 |
Sylvain Lebresne | 1 |
Sasa Misailovic | 1 |
| João Dias | 2 |
Meriem Ouederni | 1 |
Stephen Heumann | 1 |
| Roberto Di Cosmo | 2 |
Alexandre Z. Caldeira | 1 |
Jérémie Koenig | 1 |
| Ben Liblit | 2 |
Katherine F. Moore | 1 |
Matthew Might | 1 |
| Patrick Maxim Rondon | 2 |
Peter Selinger | 1 |
Thomas Ehrhard | 1 |
| Michael Codish | 2 |
Steffen Jost | 1 |
Xiaoyin Wang | 1 |
| Robert Muth | 2 |
Kevin Bierhoff | 1 |
Peter W. O'Hearn | 1 |
| Ronald Garcia | 2 |
Christopher D. Richards | 1 |
Lu Zhang | 1 |
| Jesper Jørgensen | 2 |
Niklas Broberg | 1 |
Meriem Ouederni | 1 |
| Ron Y. Pinter | 2 |
Nir Piterman | 1 |
Ryan R. Newton | 1 |
| Zhiwu Xu | 2 |
Pieter Agten | 1 |
Prateesh Goyal | 1 |
| Benjamin Delaware | 2 |
Alexandre Pilkiewicz | 1 |
Peter Selinger | 1 |
| Roberto Lublinerman | 2 |
Ralf Jung | 1 |
Matthew MacLaurin | 1 |
| Gennaro Parlato | 2 |
Nicholas Tung | 1 |
Julien Lange | 1 |
| Mahadevan Ganapathi | 2 |
Andrew Miller | 1 |
Adam Welc | 1 |
| Christoph M. Kirsch | 2 |
Gérard Huet | 1 |
Kevin Bierhoff | 1 |
| Hagit Attiya | 2 |
Tom Schrijvers | 1 |
Nir Piterman | 1 |
| Claudio V. Russo | 2 |
Peeter Laud | 1 |
Pieter Agten | 1 |
| Ali Sinan Köksal | 2 |
Feihui Li | 1 |
Paul-André Melliès | 1 |
| Nils Gesbert | 2 |
Kohei Suenaga | 1 |
Benoît Valiron | 1 |
| Tachio Terauchi | 2 |
Artem Gleyzer | 1 |
Ralf Jung | 1 |
| Andreas Rossberg | 2 |
Nicolas Rolland | 1 |
Andrew Miller | 1 |
| Damien Pous | 2 |
Aws Albarghouthi | 1 |
Gérard Huet | 1 |
| Louis-Noël Pouchet | 2 |
Daniel R. Licata | 1 |
Robert L. Bocchino Jr. | 1 |
| Neil Immerman | 2 |
Lei Zhao | 1 |
Tom Schrijvers | 1 |
| Christian Queinnec | 2 |
Andrei Stefanescu | 1 |
Nathan Chong | 1 |
| Daniel Le Métayer | 2 |
David Gay | 1 |
Sebastian Burckhardt | 1 |
| Luca Padovani | 2 |
Uday Bondhugula | 1 |
Konstantinos F. Sagonas | 1 |
| Simon Marlow | 2 |
Gautam Gupta | 1 |
Kohei Suenaga | 1 |
| Giorgio Levi | 2 |
J. Gregory Malecha | 1 |
Lindsey Kuper | 1 |
| Pierre Jouvelot | 2 |
Taro Sekiyama | 1 |
Yu Guo | 1 |
| Arthur Charguéraud | 2 |
Soham Chakraborty | 1 |
Nicolas Rolland | 1 |
| Takuya Katayama | 2 |
Ashish Tiwari | 1 |
Mitchell Wand | 1 |
| Mary S. Van Deusen | 2 |
Jonathan Aldrich | 1 |
Andrzej S. Murawski | 1 |
| Ondrej Lhoták | 2 |
Shachar Itzhaky | 1 |
Ilya Sergey | 1 |
| Thomas G. Szymanski | 2 |
Mirco Dotta | 1 |
Aws Albarghouthi | 1 |
| William E. Weihl | 2 |
Vivek Nigam | 1 |
Daniel R. Licata | 1 |
| Haruo Hosoya | 2 |
Ralf Lämmel | 1 |
Amir M. Ben-Amram | 1 |
| Ori Lahav | 2 |
Andrew Birrell | 1 |
Benjamin Grégoire | 1 |
| Ruy Ley-Wild | 2 |
Yuki Nishida | 1 |
Lei Zhao | 1 |
| Michael Stepp | 2 |
Tim Harris | 1 |
Eric Koskinen | 1 |
| Somesh Jha | 2 |
William R. Harris | 1 |
Randy Pollack | 1 |
| Armando Solar-Lezama | 2 |
Krystof Hoder | 1 |
Jean-Baptiste Jeannin | 1 |
| Saurabh Srivastava | 2 |
Shaon Barman | 1 |
Andrei Stefanescu | 1 |
| Charles Consel | 2 |
Jaeheon Yi | 1 |
Uday Bondhugula | 1 |
| Larry Landweber | 2 |
Nayeem Islam | 1 |
Antonis Stampoulis | 1 |
| Neil Ghani | 2 |
Richard W. Vuduc | 1 |
Kathryn S. McKinley | 1 |
| Kristian Støvring | 2 |
Nikolaj Bjørner | 1 |
Shin-ya Katsumata | 1 |
| Andreas Pavlogiannis | 2 |
Ben Hardekopf | 1 |
Hugo Herbelin | 1 |
| J. Ramanujam | 2 |
Ravi Chugh | 1 |
Sriram Sankaranarayanan | 1 |
| Yoav Zibin | 2 |
Radu Rugina | 1 |
Taro Sekiyama | 1 |
| Sandip K. Biswas | 2 |
Simona Ronchi Della Rocca | 1 |
Soham Chakraborty | 1 |
| Tom Ridge | 2 |
Christine Eisenbeis | 1 |
Jonathan Aldrich | 1 |
| J. Nathan Foster | 2 |
Makoto Tatsuta | 1 |
Vojin Jovanovic | 1 |
| P. Sadayappan | 2 |
Ben Liblit | 1 |
Sheng Chen | 1 |
| William F. Ogden | 2 |
Florence Plateau | 1 |
Javier Esparza | 1 |
| Sebastian Burckhardt | 2 |
Reuben Olinsky | 1 |
Kevin J. Brown | 1 |
| Pascal Fradet | 2 |
Steve Bishop | 1 |
Arie Gurfinkel | 1 |
| Vineet Gupta | 2 |
Pierre-Malo Deniélou | 1 |
Shachar Itzhaky | 1 |
| Konstantinos F. Sagonas | 2 |
Harvey Tuch | 1 |
Karl Naden | 1 |
| Amir M. Ben-Amram | 2 |
Roman Manevich | 1 |
Vivek Nigam | 1 |
| Benjamin Grégoire | 2 |
Matthew Fairbairn | 1 |
Hongjin Liang | 1 |
| Nikos Tzevelekos | 2 |
Arvind K. Sujeeth | 1 |
Kapil Vaswani | 1 |
| Iulian Neamtiu | 2 |
Michele Alberti | 1 |
Noam Zeilberger | 1 |
| Hugo Herbelin | 2 |
Nathan Collins | 1 |
Yuki Nishida | 1 |
| Jean-Pierre Jouannaud | 2 |
Thomas H. Austin | 1 |
Holger Hermanns | 1 |
| Uri Zarfaty | 2 |
Udi Boker | 1 |
Jeremy Gibbons | 1 |
| Jacob Thamsborg | 2 |
Brian E. Aydemir | 1 |
Phillip Heidegger | 1 |
| Jianzhou Zhao | 2 |
Dimiter Milushev | 1 |
Marek Zawirski | 1 |
| Michael Smith | 1 |
Alastair F. Donaldson | 1 |
Zhe Hou | 1 |
| Deokhwan Kim | 1 |
Prithviraj Banerjee | 1 |
Robin Morisset | 1 |
| Scott Kilpatrick | 1 |
Christine Tasson | 1 |
Krystof Hoder | 1 |
| Mukund Raghothaman | 1 |
Neil Gershenfeld | 1 |
Amr Sabry | 1 |
| Ganesh Sittampalam | 1 |
Guy E. Blelloch | 1 |
Jianzhou Zhao | 1 |
| Arthur C. Fleck | 1 |
Vijay Menon | 1 |
| |
| Carrie Porterfield | 1 |
Daniele Filaretti | 1 |
| |
| Jonathan Stavi | 1 |
Earl T. Barr | 1 |
| |
| Ghila Castelnuovo | 1 |
Philippe Meunier | 1 |
| |
| Harold Ossher | 1 |
Martin D. Schwarz | 1 |
| |
| Daniel S. Dantas | 1 |
Max Schäfer | 1 |
| |
| Andrew Lumsdaine | 1 |
Sergueï Lenglet | 1 |
| |
| Mark W. Bailey | 1 |
Yutao Zhong | 1 |
| |
| Siddhartha Chatterjee | 1 |
Fabrizio Montesi | 1 |
| |
| Akash Lal | 1 |
Haozhong Zhang | 1 |
| |
| Matt Brown | 1 |
Jonathan A. Kelner | 1 |
| |
| Vesal Vojdani | 1 |
Sharon Shoham | 1 |
| |
| Wilf R. LaLonde | 1 |
Dan Rosén | 1 |
| |
| Henryk Jan Komorowski | 1 |
Jesse A. Tov | 1 |
| |
| J. B. Wells | 1 |
Conor McBride | 1 |
| |
| Tiark Rompf | 1 |
Klaus Aehlig | 1 |
| |
| Kristen Nygaard | 1 |
Casey Rodarmor | 1 |
| |
| Claude Kirchner | 1 |
Roshan P. James | 1 |
| |
| Mary R. Thompson | 1 |
Michiaki Tatsubori | 1 |
| |
| André DeHon | 1 |
Catalin Hritcu | 1 |
| |
| Rasmus Ibsen-Jensen | 1 |
Jay Ligatti | 1 |
| |
| Denis Barthou | 1 |
Tayfun Elmas | 1 |
| |
| Rohit Parikh | 1 |
Petr Kuznetsov | 1 |
| |
| Andrew McCreight | 1 |
Panagiotis Vekris | 1 |
| |
| Patrick Hicks | 1 |
Michael J. Sullivan | 1 |
| |
| Amer Diwan | 1 |
Basil Hosmer | 1 |
| |
| Michael A. Jenkins | 1 |
Ashish Agarwal | 1 |
| |
| Dennis Shasha | 1 |
Tarun Prabhu | 1 |
| |
| Glenn Skinner | 1 |
Gareth Smith | 1 |
| |
| Ramkrishna Chatterjee | 1 |
Pasquale Malacaria | 1 |
| |
| Polyvios Pratikakis | 1 |
Matteo Cimini | 1 |
| |
| Gennaro Monteleone | 1 |
Tamara Rezk | 1 |
| |
| Cristina Ruggieri | 1 |
Zvonimir Rakamaric | 1 |
| |
| Paul Steckler | 1 |
Fabrice Rastello | 1 |
| |
| Matthew S. Hecht | 1 |
Yewen Pu | 1 |
| |
| Dov M. Gabbay | 1 |
Yaron Velner | 1 |
| |
| Walid Taha | 1 |
Helmut Seidl | 1 |
| |
| Craig Damon | 1 |
René Rydhof Hansen | 1 |
| |
| Roger F. Crew | 1 |
Michal Kapalka | 1 |
| |
| Rajeev Goré | 1 |
Manjunath Kudlur | 1 |
| |
| Phillip M. Yelland | 1 |
Steffen Lösch | 1 |
| |
| Scott McPeak | 1 |
Federico Olmedo | 1 |
| |
| Laure Thompson | 1 |
Vasileios Koutavas | 1 |
| |
| Brian Meeker | 1 |
Jean-Yves Marion | 1 |
| |
| Robert Bocchino | 1 |
Terence Kelly | 1 |
| |
| Oscar Waddell | 1 |
Craig Chambers | 1 |
| |
| Norman H. Cohen | 1 |
Tobias Wrigstad | 1 |
| |
| Franjo Ivancic | 1 |
Robert S. Schreiber | 1 |
| |
| Aleksandr Karbyshev | 1 |
Greg Morrisett | 1 |
| |
| Mandayam K. Srivas | 1 |
João Costa Seco | 1 |
| |
| Catherine Dubois | 1 |
Naoshi Tabuchi | 1 |
| |
| Norman Danner | 1 |
Anna Bendersky | 1 |
| |
| Shlomit S. Pinter | 1 |
Kailiang Chen | 1 |
| |
| John H. Reppy | 1 |
Guangyu Chen | 1 |
| |
| Richard J. Waldinger | 1 |
Christopher Unkel | 1 |
| |
| DeLesley S. Hutchins | 1 |
Ryan Wisnesky | 1 |
| |
| Michael D. Ernst | 1 |
Bruno C. d. S. Oliveira | 1 |
| |
| P. Mager | 1 |
Forrest Green | 1 |
| |
| Periklis Akritidis | 1 |
Fei He | 1 |
| |
| Dhananjay M. Dhamdhere | 1 |
Jeongbong Seo | 1 |
| |
| Casey Klein | 1 |
Pramod G. Joisha | 1 |
| |
| Haim Gaifman | 1 |
Robert Dockins | 1 |
| |
| Shmuel Katz | 1 |
Marsha Chechik | 1 |
| |
| Ralf Treinen | 1 |
Daniel K. Lee | 1 |
| |
| Douglas Stott Parker Jr. | 1 |
Alwen Tiu | 1 |
| |
| Alexander G. Gray | 1 |
Elnar Hajiyev | 1 |
| |
| Matthew Milano | 1 |
Simon Marlow | 1 |
| |
| Gregory R. Andrews | 1 |
Madanlal Musuvathi | 1 |
| |
| Chris Hawblitzel | 1 |
Alexandra Silva | 1 |
| |
| Jonathan Katz | 1 |
Kohei Honda | 1 |
| |
| Horatiu Cirstea | 1 |
Hao Tang | 1 |
| |
| David B. Loveman | 1 |
Danny Hendler | 1 |
| |
| James B. Saxe | 1 |
Jeremy Condit | 1 |
| |
| Alan Borning | 1 |
Seth Gilbert | 1 |
| |
| Steven Skiena | 1 |
Paul Blain Levy | 1 |
| |
| Richard Kelsey | 1 |
Laurent Braud | 1 |
| |
| Paul J. Voda | 1 |
Brian Hackett | 1 |
| |
| Guillaume Claret | 1 |
Gérard Boudol | 1 |
| |
| Véronique Benzaken | 1 |
Nicolas Wu | 1 |
| |
| Dan Rabin | 1 |
Peter Thiemann | 1 |
| |
| Philip J. Hatcher | 1 |
Akimasa Morihata | 1 |
| |
| Carlos A. Varela | 1 |
Manohar Jonnalagedda | 1 |
| |
| Alan Bawden | 1 |
Emilio Jesús Gallego Arias | 1 |
| |
| José M. Piquer | 1 |
Fabio Massacci | 1 |
| |
| Raymie Stata | 1 |
Peter Schrammel | 1 |
| |
| Kristina Sojakova | 1 |
Zhaozhong Ni | 1 |
| |
| Peter E. Lauer | 1 |
Carolyn Jane Anderson | 1 |
| |
| John McCarthy | 1 |
Saswat Anand | 1 |
| |
| Todd Matson | 1 |
Thomas Dillig | 1 |
| |
| Neel Madhav | 1 |
Pavel Avgustinov | 1 |
| |
| Richard Statman | 1 |
Ronghui Gu | 1 |
| |
| Thomas W. Christopher | 1 |
Bengt Jonsson | 1 |
| |
| Cristina David | 1 |
Mahmut T. Kandemir | 1 |
| |
| Yin Wang | 1 |
Veselin Raychev | 1 |
| |
| Danfeng Zhang | 1 |
Jaroslav Sevcík | 1 |
| |
| Johan Nordlander | 1 |
Hamid Ebadi | 1 |
| |
| Wonhong Nam | 1 |
Gordon Stewart | 1 |
| |
| Yingqi Xiao | 1 |
Chucky Ellison | 1 |
| |
| Gareth David Smith | 1 |
Aaron Bohannon | 1 |
| |
| Julian Tibble | 1 |
Peter White | 1 |
| |
| Wilson C. Hsieh | 1 |
Tewodros A. Beyene | 1 |
| |
| Joseph A. Goguen | 1 |
Jeroen Ketema | 1 |
| |
| Elaine Shi | 1 |
Chao Wang | 1 |
| |
| Karel Culík | 1 |
Marc Pouzet | 1 |
| |
| R. S. Sundaresh | 1 |
John Potter | 1 |
| |
| Amy W. Lim | 1 |
John Clements | 1 |
| |
| Paul R. Kosinki | 1 |
Fabio Zanasi | 1 |
| |
| Karl N. Levitt | 1 |
David Monniaux | 1 |
| |
| Kiminori Matsuzaki | 1 |
Stéphane Lafortune | 1 |
| |
| Mandana Vaziri | 1 |
Arjun Narayan | 1 |
| |
| Stephen Magill | 1 |
Jonas Braband Jensen | 1 |
| |
| Flavio Lerda | 1 |
Hyeonseung Im | 1 |
| |
| Scott Shenker | 1 |
Jérôme Siméon | 1 |
| |
| Eduardo Bonelli | 1 |
Jochen Hoenicke | 1 |
| |
| Richard F. Rashid | 1 |
Calvin Lin | 1 |
| |
| Sriraman Tallam | 1 |
Andrzej Filinski | 1 |
| |
| Jean Yang | 1 |
Atsushi Ohori | 1 |
| |
| Yih-Kuen Tsay | 1 |
Bartek Klin | 1 |
| |
| Maged M. Michael | 1 |
Mads Dam | 1 |
| |
| David A. Kranz | 1 |
Pietro Abate | 1 |
| |
| John Hatcliff | 1 |
Brian R. Murphy | 1 |
| |
| Vivek Sarkar | 1 |
Sebastian Hunt | 1 |
| |
| Rivi Sherman | 1 |
Sanjay V. Rajopadhye | 1 |
| |
| Domagoj Babic | 1 |
Alex I. Smith | 1 |
| |
| Kuat Yessenov | 1 |
John Guiver | 1 |
| |
| Perry Cheng | 1 |
Silvia Ghilezan | 1 |
| |
| Michael B. Greenwald | 1 |
Thomas Dinsdale-Young | 1 |
| |
| Vincent Simonet | 1 |
Yi Lu | 1 |
| |
| Yiannis N. Moschovakis | 1 |
Ru-Gang Xu | 1 |
| |
| G. Ruggiu | 1 |
Wontae Choi | 1 |
| |
| Robert Schreiber | 1 |
Laura Kovács | 1 |
| |
| Shengchao Qin | 1 |
Riccardo Pucella | 1 |
| |
| Paul Rovner | 1 |
Bing Xie | 1 |
| |
| Julian Dolby | 1 |
Yi Li | 1 |
| |
| Shree Prakash Rahul | 1 |
Denis Bogdanas | 1 |
| |
| Chua-Huang Huang | 1 |
Stephan van Staden | 1 |
| |
| António Ravara | 1 |
Daiva Naudziuniene | 1 |
| |
| Andrea Schaerf | 1 |
Kayvan Memarian | 1 |
| |
| Kasper Svendsen | 1 |
Samik Basu | 1 |
| |
| Roberto M. Amadio | 1 |
Julia L. Lawall | 1 |
| |
| L. Peter Deutsch | 1 |
Youfeng Wu | 1 |
| |
| Qi Ning | 1 |
Parthasarathy Madhusudan | 1 |
| |
| Caitlin Sadowski | 1 |
Erik Ernst | 1 |
| |
| Richard Cobbe | 1 |
Jacob Evans | 1 |
| |
| Xiaowei Gao | 1 |
Feng Zhou | 1 |
| |
| Boris Köpf | 1 |
Lorenzo Clemente | 1 |
| |
| William H. Harrison | 1 |
Ara Knaian | 1 |
| |
| Reino Kurki-Suonio | 1 |
Bertrand Jeannet | 1 |
| |
| Zeyuan Allen Zhu | 1 |
Jon Rafkind | 1 |
| |
| Sigbjorn Finne | 1 |
Gerardo Schneider | 1 |
| |
| Eva Darulova | 1 |
Bow-Yaw Wang | 1 |
| |
| David von Oheimb | 1 |
Sandrine Blazy | 1 |
| |
| Rob Harrison | 1 |
Somesh Jha | 1 |
| |
| SaiDeep Tetali | 1 |
Kenny Qili Zhu | 1 |
| |
| Luísa Lourenço | 1 |
Akihiko Tozawa | 1 |
| |
| Shu-Chun Weng | 1 |
Jacob Matthews | 1 |
| |
| Chih-Ping Chen | 1 |
Maria Jump | 1 |
| |
| Henny Sipma | 1 |
Lasse Nielsen | 1 |
| |
| Alon Kleinman | 1 |
Carl Eastlund | 1 |
| |
| Avraham Shinnar | 1 |
Jason Gross | 1 |
| |
| Donald Ray | 1 |
Mary W. Hall | 1 |
| |
| David Dalrymple | 1 |
Andrea Asperti | 1 |
| |
| Michal Grabowski | 1 |
Aaron Roth | 1 |
| |
| Daniel Pilaud | 1 |
Jay A. McCarthy | 1 |
| |
| Andrew K. Wright | 1 |
Percy Liang | 1 |
| |
| Luis María Ferrer Fioriti | 1 |
Nebojsa Jojic | 1 |
| |
| Rebecca Parsons Selke | 1 |
Kazunori Tobisawa | 1 |
| |
| Manuel Costa | 1 |
Martin Bravenboer | 1 |
| |
| Jacques Garrigue | 1 |
Fan Long | 1 |
| |
| Mark C. Baker | 1 |
Anton Setzer | 1 |
| |
| Yann Régis-Gianas | 1 |
Kevin Hammond | 1 |
| |
| E. Harry | 1 |
Matthias Heizmann | 1 |
| |
| Marina Polishchuk | 1 |
Joel Galenson | 1 |
| |
| Bratin Saha | 1 |
Jed Liu | 1 |
| |
| David R. Chase | 1 |
Isil Dillig | 1 |
| |
| Olin Shivers | 1 |
Ali Sezgin | 1 |
| |
| Clément Pit-Claudel | 1 |
Shreyas Ramalingam | 1 |
| |
| Daan Leijen | 1 |
Andrei Voronkov | 1 |
| |
| F. Lockwood Morris | 1 |
Shu-yu Guo | 1 |
| |
| Ferruccio Damiani | 1 |
Arjun Guha | 1 |
| |
| Christine Paulin-Mohring | 1 |
Keshav Pingali | 1 |
| |
| Mihhail Aizatulin | 1 |
Runyao Duan | 1 |
| |
| Julien Brunel | 1 |
Andrew Tolmach | 1 |
| |
| William I. Grosky | 1 |
Prakash Panangaden | 1 |
| |
| Sergiu Hart | 1 |
Emilio Tuosto | 1 |
| |
| Daniel H. H. Ingalls | 1 |
Benoît Montagu | 1 |
| |
| Ryan Stansifer | 1 |
Marius Nita | 1 |
| |
| Hiralal Agrawal | 1 |
Hannes Payer | 1 |
| |
| Ajay Chander | 1 |
Serdar Tasiran | 1 |
| |
| James S. Royer | 1 |
Erik D. Demaine | 1 |
| |
| Peter A. Jonsson | 1 |
Vu Le | 1 |
| |
| Roberto Gorrieri | 1 |
Martin Bodin | 1 |
| |
| Rob Gerth | 1 |
Peter Schmidt-Nielsen | 1 |
| |
| Alexandru Salcianu | 1 |
Saurabh Joshi | 1 |
| |
| Mary F. Fernández | 1 |
Oded Padon | 1 |
| |
| Francisco Ferreira | 1 |
Stavros Aronis | 1 |
| |
| Daniel C. Wang | 1 |
Jeffrey S. Fischer | 1 |
| |
| L. Howard Holley | 1 |
Jade Alglave | 1 |
| |
| Andreas Abel | 1 |
Alexis Goyet | 1 |
| |
| François Irigoin | 1 |
Ramana Kumar | 1 |
| |
| Christian Lindig | 1 |
Stephen Chong | 1 |
| |
| Francesca Levi | 1 |
Gustavo Petri | 1 |
| |
| Peter Bishop | 1 |
Roopsha Samanta | 1 |
| |
| S. B. Quiring | 1 |
Nada Amin | 1 |
| |
| Jean-Phillipe Martin | 1 |
Jong-hoon (David) An | 1 |
| |
| HyoukJoong Lee | 1 |
Baris Aktemur | 1 |
| |
| Westley Weimer | 1 |
Limin Jia | 1 |
| |
| Shaunak Pawagi | 1 |
Mitsunori Ogihara | 1 |
| |
| David J. Kuck | 1 |
Tamiya Onodera | 1 |
| |
| Igor Siveroni | 1 |
Vikram S. Adve | 1 |
| |
| Michael J. C. Gordon | 1 |
Santosh Nagarakatte | 1 |
| |
| Jacobo Valdes | 1 |
Hiroyoshi Sekine | 1 |
| |
| Pieter Hooimeijer | 1 |
Sasa Misailovic | 1 |
| |
| Thorsten Tarrach | 1 |
Stephen Heumann | 1 |
| |
| Agostino Cortesi | 1 |
Saumya K. Debray | 1 |
| |
| John Lamping | 1 |
Jérémie Koenig | 1 |
| |
| Micah Beck | 1 |
Peter Lee | 1 |
| |
| Ramakrishna Upadrasta | 1 |
J. Nathan Foster | 1 |
| |
| Jonghyun Park | 1 |
Thomas Ehrhard | 1 |
| |
| R. Ramesh | 1 |
Xiaoyin Wang | 1 |
| |
| Michael B. Jones | 1 |
Ryan R. Newton | 1 |
| |
| Jonathan Shaw | 1 |
Prateesh Goyal | 1 |
| |
| John Tang Boyland | 1 |
Marco Giunti | 1 |
| |
| Stelios Sidiroglou-Douskos | 1 |
Matthew MacLaurin | 1 |
| |
| Alfred L. Brown | 1 |
Julien Lange | 1 |
| |
| Erik Crank | 1 |
Adam Welc | 1 |
| |
| Paul W. Abrahams | 1 |
Christian Szegedy | 1 |
| |
| Yuan Feng | 1 |
Doug Kimelman | 1 |
| |
| Delia Kesner | 1 |
Benoît Valiron | 1 |
| |
| Stefano Dissegna | 1 |
Mihai Christodorescu | 1 |
| |
| Chris Casinghino | 1 |
Robert L. Bocchino Jr. | 1 |
| |
| John Banning | 1 |
Nathan Chong | 1 |
| |
| Minh Ngo | 1 |
Nathan Grasso Bronson | 1 |
| |
| Filip Sieczkowski | 1 |
Konstantinos F. Sagonas | 1 |
| |
| Ruurd Kuiper | 1 |
Dana N. Xu | 1 |
| |
| Adrienne G. Bloss | 1 |
Lindsey Kuper | 1 |
| |
| Mohamed Faouzi Atig | 1 |
Yu Guo | 1 |
| |
| Xipeng Shen | 1 |
Gary Wassermann | 1 |
| |
| Sigurd Meldal | 1 |
Andrzej S. Murawski | 1 |
| |
| Aart Middeldorp | 1 |
Ilya Sergey | 1 |
| |
| Nikolaos Papaspyrou | 1 |
Klaus Ostermann | 1 |
| |
| Margaret Montenyohl | 1 |
Amir M. Ben-Amram | 1 |
| |
| Sooraj Bhat | 1 |
Jean-Baptiste Jeannin | 1 |
| |
| Bud Mishra | 1 |
Ben Wiedermann | 1 |
| |
| Kenneth L. McMillan | 1 |
Ming-Hsien Tsai | 1 |
| |
| Healfdene Goguen | 1 |
Iulian Neamtiu | 1 |
| |
| Lennart Beringer | 1 |
Hans-Wolfgang Loidl | 1 |
| |
| Eric A. Brewer | 1 |
Antonis Stampoulis | 1 |
| |
| Van Nguyen | 1 |
Shin-ya Katsumata | 1 |
| |
| Carlos Lombardi | 1 |
Torben Amtoft | 1 |
| |
| Steven M. Kurlander | 1 |
Mathieu Verbaere | 1 |
| |
| Paul Klint | 1 |
Thomas Braibant | 1 |
| |
| Anne Neirynck | 1 |
Vojin Jovanovic | 1 |
| |
| James R. Low | 1 |
Sheng Chen | 1 |
| |
| Sylvain Lebresne | 1 |
Javier Esparza | 1 |
| |
| Erik Sandewall | 1 |
Kevin J. Brown | 1 |
| |
| Kevin Bierhoff | 1 |
G. Ramalingam | 1 |
| |
| Niklas Broberg | 1 |
Arie Gurfinkel | 1 |
| |
| Christopher D. Richards | 1 |
Isao Sasano | 1 |
| |
| Nir Piterman | 1 |
Karl Naden | 1 |
| |
| William Baxter | 1 |
Uri Zarfaty | 1 |
| |
| Mordechai Ben-Ari | 1 |
Hongjin Liang | 1 |
| |
| Pieter Agten | 1 |
Ik-Soon Kim | 1 |
| |
| Matthai Philipose | 1 |
Damien Sereni | 1 |
| |
| Zvi Galil | 1 |
Holger Hermanns | 1 |
| |
| Alexandre Pilkiewicz | 1 |
Phillip Heidegger | 1 |
| |
| Robert M. Keller | 1 |
Marek Zawirski | 1 |
| |
| Glenn Ammons | 1 |
Zhe Hou | 1 |
| |
| Koenraad De Bosschere | 1 |
Robin Morisset | 1 |
| |
| Andrew Miller | 1 |
Mark R. Shinwell | 1 |
| |
| John Plevyak | 1 |
| |
| |
| Scott K. Warren | 1 |
| |
| |
| Nicholas Tung | 1 |
| |
| |
| Tom Schrijvers | 1 |
| |
| |
| Seppo Sippu | 1 |
| |
| |
| Kang Yueh | 1 |
| |
| |
| Peeter Laud | 1 |
| |
| |
| Kohei Suenaga | 1 |
| |
| |
| Artem Gleyzer | 1 |
| |
| |
| Luigi Liquori | 1 |
| |
| |
| Jeremy Manson | 1 |
| |
| |
| Orna Lichtenstein | 1 |
| |
| |
| J. Eliot B. Moss | 1 |
| |
| |
| Uday Bondhugula | 1 |
| |
| |
| Jean-Marc Talbot | 1 |
| |
| |
| John R. Allen | 1 |
| |
| |
| Pedro C. Diniz | 1 |
| |
| |
| Douglas K. Wyatt | 1 |
| |
| |
| J. Ramanathan | 1 |
| |
| |
| Gautam Gupta | 1 |
| |
| |
| Ashish Tiwari | 1 |
| |
| |
| Satish R. Thatte | 1 |
| |
| |
| Johan Agat | 1 |
| |
| |
| Richard B. Kieburtz | 1 |
| |
| |
| Shachar Itzhaky | 1 |
| |
| |
| Samson Abramsky | 1 |
| |
| |
| Xingbin Zhang | 1 |
| |
| |
| Joseph L. Zachary | 1 |
| |
| |
| Vivek Nigam | 1 |
| |
| |
| Ralf Lämmel | 1 |
| |
| |
| Val Tannen | 1 |
| |
| |
| H. Raymond Strong | 1 |
| |
| |
| Dirk Grunwald | 1 |
| |
| |
| Andrew Birrell | 1 |
| |
| |
| Daniel Jackson | 1 |
| |
| |
| Yuki Nishida | 1 |
| |
| |
| Gary L. Peterson | 1 |
| |
| |
| David C. Luckham | 1 |
| |
| |
| Ramesh Subrahmanyam | 1 |
| |
| |
| Raghavan Komondoor | 1 |
| |
| |
| Krystof Hoder | 1 |
| |
| |
| Naftaly H. Minsky | 1 |
| |
| |
| Shaon Barman | 1 |
| |
| |
| James Keeton-Williams | 1 |
| |
| |
| Jaeheon Yi | 1 |
| |
| |
| Richard W. Vuduc | 1 |
| |
| |
| Christine Eisenbeis | 1 |
| |
| |
| Dan Sahlin | 1 |
| |
| |
| Florence Plateau | 1 |
| |
| |
| Shaula Yemini | 1 |
| |
| |
| Mark Sherman | 1 |
| |
| |
| John R. Wright | 1 |
| |
| |
| Eric E. Schmidt | 1 |
| |
| |
| Roman Manevich | 1 |
| |
| |
| Matthew Fairbairn | 1 |
| |
| |
| Nathan Collins | 1 |
| |
| |
| P. Geoffrey Lowney | 1 |
| |
| |
| Thomas H. Austin | 1 |
| |
| |
| C. R. Ramakrishnan | 1 |
| |
| |
| Nils Klarlund | 1 |
| |
| |
| Marina C. Chen | 1 |
| |
| |
| Richard C. Waters | 1 |
| |
| |
| Surya Mantha | 1 |
| |
| |
| Daniele Filaretti | 1 |
| |
| |
| Earl T. Barr | 1 |
| |
| |
| Ralph-Johan Back | 1 |
| |
| |
| Martin D. Schwarz | 1 |
| |
| |
| Cyril N. Alberga | 1 |
| |
| |
| Sergueï Lenglet | 1 |
| |
| |
| Yutao Zhong | 1 |
| |
| |
| Fabrizio Montesi | 1 |
| |
| |
| Lawrence Snyder | 1 |
| |
| |
| Deepak Kapur | 1 |
| |
| |
| Jonathan A. Kelner | 1 |
| |
| |
| Lawrence Feigen | 1 |
| |
| |
| Haozhong Zhang | 1 |
| |
| |
| Sharon Shoham | 1 |
| |
| |
| Dan Rosén | 1 |
| |
| |
| Klaus Aehlig | 1 |
| |
| |
| Roshan P. James | 1 |
| |
| |
| Michiaki Tatsubori | 1 |
| |
| |
| Daniel G. Bobrow | 1 |
| |
| |
| Mark B. Reinhold | 1 |
| |
| |
| Catalin Hritcu | 1 |
| |
| |
| Tayfun Elmas | 1 |
| |
| |
| Stephen R. Bourne | 1 |
| |
| |
| Jean-Pierre Talpin | 1 |
| |
| |
| Petr Kuznetsov | 1 |
| |
| |
| Heikki Mannila | 1 |
| |
| |
| Chiyan Chen | 1 |
| |
| |
| Michael J. Sullivan | 1 |
| |
| |
| Basil Hosmer | 1 |
| |
| |
| Ashish Agarwal | 1 |
| |
| |
| Tarun Prabhu | 1 |
| |
| |
| Baudouin Le Charlier | 1 |
| |
| |
| Matteo Cimini | 1 |
| |
| |
| Paolo Coppola | 1 |
| |
| |
| Yutaka Hoshino | 1 |
| |
| |
| Shai Rubin | 1 |
| |
| |
| Denis Dancanet | 1 |
| |
| |
| Zvonimir Rakamaric | 1 |
| |
| |
| Fabrice Rastello | 1 |
| |
| |
| Yewen Pu | 1 |
| |
| |
| Andrew P. Tolmach | 1 |
| |
| |
| Yaron Velner | 1 |
| |
| |
| Eric Villemonte de la Clergerie | 1 |
| |
| |
| Evelyn Duesterwald | 1 |
| |
| |
| Vasileios Koutavas | 1 |
| |
| |
| Federico Olmedo | 1 |
| |
| |
| M. Frans Kaashoek | 1 |
| |
| |
| Charles A. Stewart | 1 |
| |
| |
| Robert E. Shostak | 1 |
| |
| |
| Terence Kelly | 1 |
| |
| |
| Robert S. Schreiber | 1 |
| |
| |
| João Costa Seco | 1 |
| |
| |
| Witold Charatonik | 1 |
| |
| |
| Vugranam C. Sreedhar | 1 |
| |
| |
| Asis Unyapoth | 1 |
| |
| |
| Marco A. Casanova | 1 |
| |
| |
| Peter J. Downey | 1 |
| |
| |
| Peter J. Stuckey | 1 |
| |
| |
| Harini Srinivasan | 1 |
| |
| |
| Amokrane Saïbi | 1 |
| |
| |
| Kim Guldstrand Larsen | 1 |
| |
| |
| Naoshi Tabuchi | 1 |
| |
| |
| Kokichi Futatsugi | 1 |
| |
| |
| Deborah S. Coutant | 1 |
| |
| |
| Guangyu Chen | 1 |
| |
| |
| S. Ramesh | 1 |
| |
| |
| Mary Mace | 1 |
| |
| |
| Ryan Wisnesky | 1 |
| |
| |
| Jeffrey M. Jaffe | 1 |
| |
| |
| Patrick C. Fischer | 1 |
| |
| |
| Grégoire Sutre | 1 |
| |
| |
| Fei He | 1 |
| |
| |
| Pramod G. Joisha | 1 |
| |
| |
| Jeffrey M. Barth | 1 |
| |
| |
| Steven Lucco | 1 |
| |
| |
| Robert Dockins | 1 |
| |
| |
| Marsha Chechik | 1 |
| |
| |
| Robert Casazza | 1 |
| |
| |
| Daniel K. Lee | 1 |
| |
| |
| Christian Mossin | 1 |
| |
| |
| Jean-Bernard Stefani | 1 |
| |
| |
| Patrick M. Sansom | 1 |
| |
| |
| Hao Tang | 1 |
| |
| |
| Dror E. Maydan | 1 |
| |
| |
| Thomas London | 1 |
| |
| |
| Sebastian Thrun | 1 |
| |
| |
| Jeremy Condit | 1 |
| |
| |
| David Lesens | 1 |
| |
| |
| Paul Blain Levy | 1 |
| |
| |
| Bhaskaram Prabhala | 1 |
| |
| |
| Stephen Blott | 1 |
| |
| |
| Laurent Braud | 1 |
| |
| |
| Venkatesan T. Chakaravarthy | 1 |
| |
| |
| Brad Calder | 1 |
| |
| |
| Sophie Renault | 1 |
| |
| |
| Nicolas Wu | 1 |
| |
| |
| Konstantin Läufer | 1 |
| |
| |
| Jukka Paakki | 1 |
| |
| |
| Manohar Jonnalagedda | 1 |
| |
| |
| Emilio Jesús Gallego Arias | 1 |
| |
| |
| Peter Schrammel | 1 |
| |
| |
| Katherine A. Yelick | 1 |
| |
| |
| M. V. S. Ramanath | 1 |
| |
| |
| Arnold L. Rosenberg | 1 |
| |
| |
| Roy H. Campbell | 1 |
| |
| |
| Bruce F. Duba | 1 |
| |
| |
| Veselin Raychev | 1 |
| |
| |
| Hamid Ebadi | 1 |
| |
| |
| Rance Cleaveland | 1 |
| |
| |
| Ludovic Henrio | 1 |
| |
| |
| Zhenyu Qian | 1 |
| |
| |
| Jeroen Ketema | 1 |
| |
| |
| Marc Pouzet | 1 |
| |
| |
| David R. Musser | 1 |
| |
| |
| Luc Bougé | 1 |
| |
| |
| Leonidas Fegaras | 1 |
| |
| |
| Annalisa Bossi | 1 |
| |
| |
| Fabio Zanasi | 1 |
| |
| |
| Silvano Dal-Zilio | 1 |
| |
| |
| Stéphane Lafortune | 1 |
| |
| |
| Minoru Terada | 1 |
| |
| |
| Jonas Braband Jensen | 1 |
| |
| |
| Hyeonseung Im | 1 |
| |
| |
| Calvin Lin | 1 |
| |
| |
| Dinesh Katiyar | 1 |
| |
| |
| QingMing Ma | 1 |
| |
| |
| Peter Naur | 1 |
| |
| |
| Ray Ford | 1 |
| |
| |
| Mario Schkolnick | 1 |
| |
| |
| Bartek Klin | 1 |
| |
| |
| Leonidas J. Guibas | 1 |
| |
| |
| Tayssir Touili | 1 |
| |
| |
| Chandra M. R. Kintala | 1 |
| |
| |
| Michael W. Condry | 1 |
| |
| |
| Satish Thatté | 1 |
| |
| |
| Mads Dam | 1 |
| |
| |
| Pietro Abate | 1 |
| |
| |
| Ugo Montanari | 1 |
| |
| |
| Frederick G. Sayward | 1 |
| |
| |
| Patricia C. Goldberg | 1 |
| |
| |
| Vadim Maslov | 1 |
| |
| |
| Stephan Merz | 1 |
| |
| |
| Louis Nolin | 1 |
| |
| |
| Alex I. Smith | 1 |
| |
| |
| Janos Simon | 1 |
| |
| |
| Rajagopal Nagarajan | 1 |
| |
| |
| Christopher P. Wadsworth | 1 |
| |
| |
| Silvia Ghilezan | 1 |
| |
| |
| Thomas Dinsdale-Young | 1 |
| |
| |
| Aravind K. Joshi | 1 |
| |
| |
| Yi Lu | 1 |
| |
| |
| Ru-Gang Xu | 1 |
| |
| |
| Christopher T. Haynes | 1 |
| |
| |
| Laura Kovács | 1 |
| |
| |
| Bing Xie | 1 |
| |
| |
| Riccardo Pucella | 1 |
| |
| |
| Yi Li | 1 |
| |
| |
| Jeffrey Considine | 1 |
| |
| |
| Manuel V. Hermenegildo | 1 |
| |
| |
| Daiva Naudziuniene | 1 |
| |
| |
| Kazuhiko Kato | 1 |
| |
| |
| Youfeng Wu | 1 |
| |
| |
| Janet A. Walz | 1 |
| |
| |
| Jacob Evans | 1 |
| |
| |
| Bertrand Jeannet | 1 |
| |
| |
| Robert Hood | 1 |
| |
| |
| Lorenzo Clemente | 1 |
| |
| |
| Ralph E. Griswold | 1 |
| |
| |
| P. Surko | 1 |
| |
| |
| Christian Lengauer | 1 |
| |
| |
| Gerardo Schneider | 1 |
| |
| |
| Sandrine Blazy | 1 |
| |
| |
| Kenny Qili Zhu | 1 |
| |
| |
| Akihiko Tozawa | 1 |
| |
| |
| Jacob Matthews | 1 |
| |
| |
| Maria Jump | 1 |
| |
| |
| Kemal Ebcioglu | 1 |
| |
| |
| Jeffrey Bonar | 1 |
| |
| |
| Edith Schonberg | 1 |
| |
| |
| François Noël | 1 |
| |
| |
| Tim Fernando | 1 |
| |
| |
| Aaron Roth | 1 |
| |
| |
| Jean H. Gallier | 1 |
| |
| |
| Patrick O'Keefe | 1 |
| |
| |
| Sadun Anik | 1 |
| |
| |
| Martin Bravenboer | 1 |
| |
| |
| Nebojsa Jojic | 1 |
| |
| |
| Barbara B. Simons | 1 |
| |
| |
| Hisashi Sasaki | 1 |
| |
| |
| Kevin Hammond | 1 |
| |
| |
| Matthias Heizmann | 1 |
| |
| |
| Joel Galenson | 1 |
| |
| |
| John White | 1 |
| |
| |
| Isil Dillig | 1 |
| |
| |
| Vivek Nirkhe | 1 |
| |
| |
| Arjun Guha | 1 |
| |
| |
| Shu-yu Guo | 1 |
| |
| |
| Runyao Duan | 1 |
| |
| |
| Cornelis Huizing | 1 |
| |
| |
| Tsung-Min Kuo | 1 |
| |
| |
| Andrew A. Chien | 1 |
| |
| |
| Charles G. Nelson | 1 |
| |
| |
| James R. Russell | 1 |
| |
| |
| Raymond Turner | 1 |
| |
| |
| E. Gansner | 1 |
| |
| |
| Benoît Montagu | 1 |
| |
| |
| Sergio Antoy | 1 |
| |
| |
| Marius Nita | 1 |
| |
| |
| Alon Lavie | 1 |
| |
| |
| Peter Habermehl | 1 |
| |
| |
| Erik D. Demaine | 1 |
| |
| |
| Vu Le | 1 |
| |
| |
| Martin Bodin | 1 |
| |
| |
| Richard Steiger | 1 |
| |
| |
| Roni Rosner | 1 |
| |
| |
| Stavros Aronis | 1 |
| |
| |
| Jade Alglave | 1 |
| |
| |
| Vincent Balat | 1 |
| |
| |
| Alexis Goyet | 1 |
| |
| |
| Ramana Kumar | 1 |
| |
| |
| Christoph Zenger | 1 |
| |
| |
| Gustavo Petri | 1 |
| |
| |
| Jong-hoon (David) An | 1 |
| |
| |
| Baris Aktemur | 1 |
| |
| |
| Mitsunori Ogihara | 1 |
| |
| |
| John P. Fitch | 1 |
| |
| |
| Tamiya Onodera | 1 |
| |
| |
| Vikram S. Adve | 1 |
| |
| |
| Santosh Nagarakatte | 1 |
| |
| |
| Hiroyoshi Sekine | 1 |
| |
| |
| Andrea Maggiolo-Schettini | 1 |
| |
| |
| Peter J. McCann | 1 |
| |
| |
| Todd B. Knoblock | 1 |
| |
| |
| Luís Damas | 1 |
| |
| |
| Peter Harry Eidorff | 1 |
| |
| |
| Jérémie Koenig | 1 |
| |
| |
| Bruce P. Lester | 1 |
| |
| |
| Thomas Ehrhard | 1 |
| |
| |
| Chin Soon Lee | 1 |
| |
| |
| Rajesh Bordawekar | 1 |
| |
| |
| Matthew MacLaurin | 1 |
| |
| |
| Adam Welc | 1 |
| |
| |
| Ben Wegbreit | 1 |
| |
| |
| Yefim Shuf | 1 |
| |
| |
| Sowmitri Swamy | 1 |
| |
| |
| Christian Prehofer | 1 |
| |
| |
| Razvan Voicu | 1 |
| |
| |
| Jerald S. Schwarz | 1 |
| |
| |
| Mihai Christodorescu | 1 |
| |
| |
| R. Kent Dybvig | 1 |
| |
| |
| Nathan Chong | 1 |
| |
| |
| Lambert G. L. T. Meertens | 1 |
| |
| |
| Dana N. Xu | 1 |
| |
| |
| Yu Guo | 1 |
| |
| |
| Gary Wassermann | 1 |
| |
| |
| Eugene E. Kohlbecker | 1 |
| |
| |
| Karin Högstedt | 1 |
| |
| |
| Ilya Sergey | 1 |
| |
| |
| Klaus Ostermann | 1 |
| |
| |
| Jean-Baptiste Jeannin | 1 |
| |
| |
| Ben Wiedermann | 1 |
| |
| |
| Hans-Wolfgang Loidl | 1 |
| |
| |
| Maria J. García de la Banda | 1 |
| |
| |
| Shin-ya Katsumata | 1 |
| |
| |
| Brent Hailpern | 1 |
| |
| |
| Torben Amtoft | 1 |
| |
| |
| Stan Jefferson | 1 |
| |
| |
| David Klappholz | 1 |
| |
| |
| Vojin Jovanovic | 1 |
| |
| |
| Robert Seliger | 1 |
| |
| |
| Arie Gurfinkel | 1 |
| |
| |
| A. Prasad Sistla | 1 |
| |
| |
| Peter S. Canning | 1 |
| |
| |
| Stéphane Kaplan | 1 |
| |
| |
| Wolfgang Henhapl | 1 |
| |
| |
| Karl Naden | 1 |
| |
| |
| Thomas J. Pennello | 1 |
| |
| |
| Martin C. Henson | 1 |
| |
| |
| Hongjin Liang | 1 |
| |
| |
| M. Anton Ertl | 1 |
| |
| |
| Detlef Wotschke | 1 |
| |
| |
| O. Edelstein | 1 |
| |
| |
| Damien Sereni | 1 |
| |
| |
| Uday P. Khedker | 1 |
| |
| |
| Holger Hermanns | 1 |
| |
| |
| Maurizio Proietti | 1 |
| |
| |
| Robin Morisset | 1 |
| |
| |
| Philip A. Bernstein | 1 |
| |
| |
| Jeffrey R. Lewis | 1 |
| |
| |
| Aaron Kimball | 1 |
| |
| |
| Richard Mayr | 1 |
| |
| |
| Roberto Bruni | 1 |
| |
| |
| Martin Erwig | 1 |
| |
| |
| Santiago Cuellar | 1 |
| |
| |
| Chin-Laung Lei | 1 |
| |
| |
| Nima Honarmand | 1 |
| |
| |
| Maria-Virginia Aponte | 1 |
| |
| |
| Samual Bates | 1 |
| |
| |
| Martin D. Carroll | 1 |
| |
| |
| Ulrik Jørring | 1 |
| |
| |
| Samir Genaim | 1 |
| |
| |
| Tom Sadler | 1 |
| |
| |
| Huu Hai Nguyen | 1 |
| |
| |
| K. Gopinath | 1 |
| |
| |
| Krishna K. Mehra | 1 |
| |
| |
| Marc Duranton | 1 |
| |
| |
| Lori L. Pollock | 1 |
| |
| |
| Mingsheng Ying | 1 |
| |
| |
| Hamed Seiied Alavi | 1 |
| |
| |
| Jasmin Fisher | 1 |
| |
| |
| Nishant Sinha | 1 |
| |
| |
| Steven P. Rhodes | 1 |
| |
| |
| Birger Møller-Pedersen | 1 |
| |
| |
| Scott D. Stoller | 1 |
| |
| |
| Steven Dawson | 1 |
| |
| |
| Chengliang Zhang | 1 |
| |
| |
| Venmugil Elango | 1 |
| |
| |
| Malcolm C. Newey | 1 |
| |
| |
| Rahul Sharma | 1 |
| |
| |
| Richard Johnson | 1 |
| |
| |
| Kedar S. Namjoshi | 1 |
| |
| |
| Ofer Strichman | 1 |
| |
| |
| Sruthi Bandhakavi | 1 |
| |
| |
| Arthur Azevedo de Amorim | 1 |
| |
| |
| David E. Long | 1 |
| |
| |
| Bertrand Meyer | 1 |
| |
| |
| Dror Rawitz | 1 |
| |
| |
| Sheng Liang | 1 |
| |
| |
| Tony Hoare | 1 |
| |
| |
| Stephen Brookes | 1 |
| |
| |
| D. M. Symes | 1 |
| |
| |
| Ming Kawaguchi | 1 |
| |
| |
| Avi Pfeffer | 1 |
| |
| |
| Xin Zheng | 1 |
| |
| |
| Hong Mei | 1 |
| |
| |
| Simone Martini | 1 |
| |
| |
| Elena Marchiori | 1 |
| |
| |
| Gilles Muller | 1 |
| |
| |
| Søren B. Lassen | 1 |
| |
| |
| Jonathan Rees | 1 |
| |
| |
| John E. Savage | 1 |
| |
| |
| William Retert | 1 |
| |
| |
| Mikolaj Bojanczyk | 1 |
| |
| |
| Andreas Haas | 1 |
| |
| |
| Matthew Fluet | 1 |
| |
| |
| Ranald Clouston | 1 |
| |
| |
| Matthew Weippert | 1 |
| |
| |
| Charles J. Prenner | 1 |
| |
| |
| Butler W. Lampson | 1 |
| |
| |
| Kwok-Chiang Andrew Chung | 1 |
| |
| |
| Christos Kozyrakis | 1 |
| |
| |
| Scott Greenwald | 1 |
| |
| |
| Julien Cretin | 1 |
| |
| |
| Lijun Zhang | 1 |
| |
| |
| Sophia Drossopoulou | 1 |
| |
| |
| Bryan Ford | 1 |
| |
| |
| Shang-Hua Teng | 1 |
| |
| |
| Yves Lafont | 1 |
| |
| |
| Thomas Colcombet | 1 |
| |
| |
| Jerrold Leichter | 1 |
| |
| |
| Andy Lowry | 1 |
| |
| |
| Paul Stodghill | 1 |
| |
| |
| Tjark Weber | 1 |
| |
| |
| W. Ewald | 1 |
| |
| |
| Robert P. Nix | 1 |
| |
| |
| Parosh Aziz Abdulla | 1 |
| |
| |
| Matthias Blume | 1 |
| |
| |
| Douglas Low | 1 |
| |
| |
| Lingming Zhang | 1 |
| |
| |
| L. Morris | 1 |
| |
| |
| Xiongnan (Newman) Wu | 1 |
| |
| |
| Liuba Shrira | 1 |
| |
| |
| Annette Bieniusa | 1 |
| |
| |
| Robbert Krebbers | 1 |
| |
| |
| Edmond Schonberg | 1 |
| |
| |
| Julian A. Padget | 1 |
| |
| |
| Milo M. K. Martin | 1 |
| |
| |
| Stephen Chang | 1 |
| |
| |
| Scott A. Mahlke | 1 |
| |
| |
| David A. Naumann | 1 |
| |
| |
| William W. Wadge | 1 |
| |
| |
| Tal Lev-Ami | 1 |
| |
| |
| George Loegel | 1 |
| |
| |
| Cole Schlesinger | 1 |
| |
| |
| Michael Isard | 1 |
| |
| |
| Nishant Totla | 1 |
| |
| |
| Ken C. Liu | 1 |
| |
| |
| Joseph R. Horgan | 1 |
| |
| |
| Todd D. Millstein | 1 |
| |
| |
| Allan M. Schiffman | 1 |
| |
| |
| Robert Sedgewick | 1 |
| |
| |
| William D. Clinger | 1 |
| |
| |
| Jennifer Widom | 1 |
| |
| |
| Wonyeol Lee | 1 |
| |
| |
| David Gudeman | 1 |
| |
| |
| Robert Giegerich | 1 |
| |
| |
| Yael Moscowitz | 1 |
| |
| |
| John Maraist | 1 |
| |
| |
| Steven D. Johnson | 1 |
| |
| |
| Nadji Gauthier | 1 |
| |
| |
| Jaswinder Pal Singh | 1 |
| |
| |
| D. R. Milton | 1 |
| |
| |
| Bruce Leasure | 1 |
| |
| |
| Stephen A. Cook | 1 |
| |
| |
| Barbara Petit | 1 |
| |
| |
| Bernhard Reus | 1 |
| |
| |
| Dawson R. Engler | 1 |
| |
| |
| Sagar Chaki | 1 |
| |
| |
| Andreas Krause | 1 |
| |
| |
| Timothy C. Winkler | 1 |
| |
| |
| Beniamino Accattoli | 1 |
| |
| |
| Andrzej Tarlecki | 1 |
| |
| |
| Randy Allen | 1 |
| |
| |
| Richard M. Cohen | 1 |
| |
| |
| Stavros Tripakis | 1 |
| |
| |
| Paul Caspi | 1 |
| |
| |
| Michael J. Foster | 1 |
| |
| |
| Janice E. Cuny | 1 |
| |
| |
| Robert L. Constable | 1 |
| |
| |
| Dianne E. Britton | 1 |
| |
| |
| Charles Farnum | 1 |
| |
| |
| R. Steven Glanville | 1 |
| |
| |
| Pawel Urzyczyn | 1 |
| |
| |
| Zachary Tatlock | 1 |
| |
| |
| Ana Sokolova | 1 |
| |
| |
| Denis Gopan | 1 |
| |
| |
| Omer Tripp | 1 |
| |
| |
| R. K. Shyamasundar | 1 |
| |
| |
| David Swasey | 1 |
| |
| |
| Donald Sannella | 1 |
| |
| |
| Slawomir Lasota | 1 |
| |
| |
| Jérôme Leroux | 1 |
| |
| |
| Michael G. Burke | 1 |
| |
| |
| Robin P. Neatherway | 1 |
| |
| |
| Todd Mytkowicz | 1 |
| |
| |
| Reinhold Franck | 1 |
| |
| |
| Frances E. Allen | 1 |
| |
| |
| David F. Bacon | 1 |
| |
| |
| Gian Luigi Ferrari | 1 |
| |
| |
| Xin Qi | 1 |
| |
| |
| Andreas Haeberlen | 1 |
| |
| |
| Ovidiu Gheorghioiu | 1 |
| |
| |
| Vasco Thudichum Vasconcelos | 1 |
| |
| |
| Vineet Kahlon | 1 |
| |
| |
| Oliver Rüthing | 1 |
| |
| |
| François Bourdoncle | 1 |
| |
| |
| Glenn F. Stewart | 1 |
| |
| |
| Marc Shapiro | 1 |
| |
| |
| Martin Gasbichler | 1 |
| |
| |
| Michael W. Hicks | 1 |
| |
| |
| Devin Coughlin | 1 |
| |
| |
| Bjarne Stroustrup | 1 |
| |
| |
| Ichiro Hasuo | 1 |
| |
| |
| James J. Horning | 1 |
| |
| |
| Alberto Pettorossi | 1 |
| |
| |
| Brenda S. Baker | 1 |
| |
| |
| Miguel Castro | 1 |
| |
| |
| Daniel Weise | 1 |
| |
| |
| Patrick Lam | 1 |
| |
| |
| Sten Andler | 1 |
| |
| |
| Kannan Govindarajan | 1 |
| |
| |
| Christopher Monsanto | 1 |
| |
| |
| Peter Wegner | 1 |
| |
| |
| Jacques-Henri Jourdan | 1 |
| |
| |
| V. T. Rajan | 1 |
| |
| |
| Claire Pagetti | 1 |
| |
| |
| Ohad Kammar | 1 |
| |
| |
| Bharat Jayaraman | 1 |
| |
| |
| Yichen Xie | 1 |
| |
| |
| Elliot Soloway | 1 |
| |
| |
| Peter Lammich | 1 |
| |
| |
| Igor Serikov | 1 |
| |
| |
| Hanan Samet | 1 |
| |
| |
| Stanley Lee | 1 |
| |
| |
| John Hannan | 1 |
| |
| |
| Timothy A. Budd | 1 |
| |
| |
| Nicolas Vasilache | 1 |
| |
| |
| Chandrasekhar Boyapati | 1 |
| |
| |
| David Callahan | 1 |
| |
| |
| Dhruva R. Chakrabarti | 1 |
| |
| |
| David E. Culler | 1 |
| |
| |
| Samin S. Ishtiaq | 1 |
| |
| |
| Luc Maranget | 1 |
| |
| |
| Dimitrios Prountzos | 1 |
| |
| |
| Gerwin Klein | 1 |
| |
| |
| Thanh Vo | 1 |
| |
| |
| Eric C. Cooper | 1 |
| |
| |
| Ole Høgh Jensen | 1 |
| |
| |
| Joseph A. Bank | 1 |
| |
| |
| Jérôme Vouillon | 1 |
| |
| |
| Stephen D. Brookes | 1 |
| |
| |
| Richard A. Holmes | 1 |
| |
| |
| Gary Lindstrom | 1 |
| |
| |
| Robert A. Cochran | 1 |
| |
| |
| Joseph Bates | 1 |
| |
| |
| Mayan Moudgill | 1 |
| |
| |
| Daniel Ingalls | 1 |
| |
| |
| Denis Caromel | 1 |
| |
| |
| Alice E. Fischer | 1 |
| |
| |
| George T. Ligler | 1 |
| |
| |
| David Thibodeau | 1 |
| |
| |
| Cédric Bastoul | 1 |
| |
| |
| Peng Li | 1 |
| |
| |
| Jean-Francois Collard | 1 |
| |
| |
| John C. Cherniavsky | 1 |
| |
| |
| Nicholas Pippenger | 1 |
| |
| |
| Jan Schwinghammer | 1 |
| |
| |
| Pawel Sobocinski | 1 |
| |
| |
| Peter Henderson | 1 |
| |
| |
| Pierre Pradic | 1 |
| |
| |
| Tevfik Bultan | 1 |
| |
| |
| Johan Östlund | 1 |
| |
| |
| Saman P. Amarasinghe | 1 |
| |
| |
| Jean-Louis Lassez | 1 |
| |
| |
| Klaus E. Schauser | 1 |
| |
| |
| Lars Pareto | 1 |
| |
| |
| Ming Fu | 1 |
| |
| |
| Jean-Claude Raoult | 1 |
| |
| |
| M. Drew Moshier | 1 |
| |
| |
| Robert Muller | 1 |
| |
| |
| Osbert Bastani | 1 |
| |
| |
| Martin Clochard | 1 |
| |
| |
| Roger Nasr | 1 |
| |
| |
| Ganesan Ramalingam | 1 |
| |
| |
| Richard A. Eisenberg | 1 |
| |
| |
| Chloë W. Schulze | 1 |
| |
| |
| Pierre-Évariste Dagand | 1 |
| |
| |
| Susumu Nishimura | 1 |
| |
| |
| Erik Ruf | 1 |
| |
| |
| Neil Ongkingco | 1 |
| |
| |
| Rémi Triolet | 1 |
| |
| |
| Aziem Chawdhary | 1 |
| |
| |
| Seth Copen Goldstein | 1 |
| |
| |
| Christina Pavlopoulou | 1 |
| |
| |
| Lu Zhang | 1 |
| |
| |
| Abraham Silberschatz | 1 |
| |
| |
| Meriem Ouederni | 1 |
| |
| |
| Alexandre Z. Caldeira | 1 |
| |
| |
| John B. Goodenough | 1 |
| |
| |
| Katherine F. Moore | 1 |
| |
| |
| Peter Selinger | 1 |
| |
| |
| Ralf Jung | 1 |
| |
| |
| Gérard Huet | 1 |
| |
| |
| Paris C. Kanellakis | 1 |
| |
| |
| Mick J. Jordan | 1 |
| |
| |
| Marc A. Kaplan | 1 |
| |
| |
| Feihui Li | 1 |
| |
| |
| Nicolas Rolland | 1 |
| |
| |
| Arne Skou | 1 |
| |
| |
| Eduardo Pelegrí-Llopart | 1 |
| |
| |
| Aws Albarghouthi | 1 |
| |
| |
| Robert H. Kuhn | 1 |
| |
| |
| Daniel R. Licata | 1 |
| |
| |
| Lal George | 1 |
| |
| |
| Lei Zhao | 1 |
| |
| |
| Phillip D. Summers | 1 |
| |
| |
| Andrei Stefanescu | 1 |
| |
| |
| Saharon Shelah | 1 |
| |
| |
| Amy P. Felty | 1 |
| |
| |
| Larry G. Jones | 1 |
| |
| |
| Cordelia V. Hall | 1 |
| |
| |
| Taro Sekiyama | 1 |
| |
| |
| J. Gregory Malecha | 1 |
| |
| |
| Paul G. Spirakis | 1 |
| |
| |
| Soham Chakraborty | 1 |
| |
| |
| Robert G. Bandes | 1 |
| |
| |
| Jonathan Aldrich | 1 |
| |
| |
| Duangkaew Sawamiphakdi | 1 |
| |
| |
| Frederick C. Druseikis | 1 |
| |
| |
| Gareth Stoyle | 1 |
| |
| |
| Jerzy Tiuryn | 1 |
| |
| |
| Stephen N. Freund | 1 |
| |
| |
| Mirco Dotta | 1 |
| |
| |
| Greg DeFouw | 1 |
| |
| |
| Anders Sandholm | 1 |
| |
| |
| Lauren Smith | 1 |
| |
| |
| Terrance Swift | 1 |
| |
| |
| Dorai Sitaram | 1 |
| |
| |
| Tim Harris | 1 |
| |
| |
| Daniel J. Rosenkrantz | 1 |
| |
| |
| Martin Ruckert | 1 |
| |
| |
| Henry R. Bauer III | 1 |
| |
| |
| Krishna V. Palem | 1 |
| |
| |
| William R. Harris | 1 |
| |
| |
| David Sandberg | 1 |
| |
| |
| Peter Hitchcock | 1 |
| |
| |
| Nayeem Islam | 1 |
| |
| |
| Nikolaj Bjørner | 1 |
| |
| |
| Ben Hardekopf | 1 |
| |
| |
| Ravi Chugh | 1 |
| |
| |
| Simona Ronchi Della Rocca | 1 |
| |
| |
| Roberto Barbuti | 1 |
| |
| |
| Stephen Todd | 1 |
| |
| |
| John B. Kam | 1 |
| |
| |
| Makoto Tatsuta | 1 |
| |
| |
| Thomas W. Doeppner Jr. | 1 |
| |
| |
| Paul R. Carini | 1 |
| |
| |
| Michael O. Rabin | 1 |
| |
| |
| Frank J. Oles | 1 |
| |
| |
| Reuben Olinsky | 1 |
| |
| |
| Pierre-Malo Deniélou | 1 |
| |
| |
| Xing Xue | 1 |
| |
| |
| Steve Bishop | 1 |
| |
| |
| Harvey Tuch | 1 |
| |
| |
| Barry Hayes | 1 |
| |
| |
| William E. Riddle | 1 |
| |
| |
| Arvind K. Sujeeth | 1 |
| |
| |
| Michele Alberti | 1 |
| |
| |
| David J. King | 1 |
| |
| |
| Scott A. Watterson | 1 |
| |
| |
| Udi Boker | 1 |
| |
| |
| Patrick Lincoln | 1 |
| |
| |
| Brian E. Aydemir | 1 |
| |
| |
| Dimiter Milushev | 1 |
| |
| |
| Alastair F. Donaldson | 1 |
| |
| |
| Prithviraj Banerjee | 1 |
| |
| |
| Christine Tasson | 1 |
| |
| |
| Sorin Istrail | 1 |
| |
| |
| Neil Gershenfeld | 1 |
| |
| |
| Alain Frisch | 1 |
| |
| |
| Kari-Jouko Räihä | 1 |
| |
| |
| Vijay Menon | 1 |
| |
| |
| Maria Chiara Meo | 1 |
| |
| |
| W. E. Gull | 1 |
| |
| |
| Walter L. Hill | 1 |
| |
| |
| Philippe Meunier | 1 |
| |
| |
| Terrence C. Miller | 1 |
| |
| |
| Leon S. Levy | 1 |
| |
| |
| Max Schäfer | 1 |
| |
| |
| Jeannette M. Wing | 1 |
| |
| |
| John R. Gilbert | 1 |
| |
| |
| Joost N. Kok | 1 |
| |
| |
| Jesse A. Tov | 1 |
| |
| |
| Conor McBride | 1 |
| |
| |
| Jörg Bauer | 1 |
| |
| |
| Thomas S. Anantharaman | 1 |
| |
| |
| Bernhard Steffen | 1 |
| |
| |
| David Lacey | 1 |
| |
| |
| Rina S. Cohen | 1 |
| |
| |
| Casey Rodarmor | 1 |
| |
| |
| Soo-Mook Moon | 1 |
| |
| |
| Robert S. Boyer | 1 |
| |
| |
| Magnus Vejlstrup | 1 |
| |
| |
| Jay Ligatti | 1 |
| |
| |
| Fahimeh Jalili | 1 |
| |
| |
| Daniel R. Edelson | 1 |
| |
| |
| Massimo Merro | 1 |
| |
| |
| Panagiotis Vekris | 1 |
| |
| |
| Gareth Smith | 1 |
| |
| |
| John W. Backus | 1 |
| |
| |
| Pasquale Malacaria | 1 |
| |
| |
| Tamara Rezk | 1 |
| |
| |
| Rita Altucher | 1 |
| |
| |
| René Rydhof Hansen | 1 |
| |
| |
| Michal Kapalka | 1 |
| |
| |
| Manjunath Kudlur | 1 |
| |
| |
| Dave Schmidt | 1 |
| |
| |
| Steffen Lösch | 1 |
| |
| |
| Jean-Yves Marion | 1 |
| |
| |
| Henning Niss | 1 |
| |
| |
| Tobias Wrigstad | 1 |
| |
| |
| Marianne Baudinet | 1 |
| |
| |
| Valery Trifonov | 1 |
| |
| |
| Jean-Jacques Thiel | 1 |
| |
| |
| David A. Padua | 1 |
| |
| |
| Daniel Yankelevich | 1 |
| |
| |
| Lucy Gilbert | 1 |
| |
| |
| Joshua Dunfield | 1 |
| |
| |
| John Nagle | 1 |
| |
| |
| Daniel J. Lehmann | 1 |
| |
| |
| Anna Bendersky | 1 |
| |
| |
| Pierre America | 1 |
| |
| |
| Don Milos | 1 |
| |
| |
| Kailiang Chen | 1 |
| |
| |
| Christopher Unkel | 1 |
| |
| |
| Bruno C. d. S. Oliveira | 1 |
| |
| |
| Anton Nijholt | 1 |
| |
| |
| Forrest Green | 1 |
| |
| |
| David Beech | 1 |
| |
| |
| Jeongbong Seo | 1 |
| |
| |
| Robert O'Callahn | 1 |
| |
| |
| Gloria J. Lambert | 1 |
| |
| |
| Edward A. Ashcroft | 1 |
| |
| |
| Alwen Tiu | 1 |
| |
| |
| Elnar Hajiyev | 1 |
| |
| |
| Eric C. R. Hehner | 1 |
| |
| |
| Madanlal Musuvathi | 1 |
| |
| |
| Alexandra Silva | 1 |
| |
| |
| J. Strother Moore | 1 |
| |
| |
| Danny Hendler | 1 |
| |
| |
| Seth Gilbert | 1 |
| |
| |
| Yanhong A. Liu | 1 |
| |
| |
| Johan Jeuring | 1 |
| |
| |
| Benton L. Leong | 1 |
| |
| |
| Mary Zosel | 1 |
| |
| |
| Michael Theobald | 1 |
| |
| |
| Robert Scheifler | 1 |
| |
| |
| James Hook | 1 |
| |
| |
| Justin O. Graver | 1 |
| |
| |
| Gary A. Kildall | 1 |
| |
| |
| Gregory R. Ruth | 1 |
| |
| |
| Akimasa Morihata | 1 |
| |
| |
| Fabio Massacci | 1 |
| |
| |
| David W. Mizell | 1 |
| |
| |
| Nicholas Carriero | 1 |
| |
| |
| Zhaozhong Ni | 1 |
| |
| |
| Carolyn Jane Anderson | 1 |
| |
| |
| Saswat Anand | 1 |
| |
| |
| Thomas Dillig | 1 |
| |
| |
| Pavel Avgustinov | 1 |
| |
| |
| Ronghui Gu | 1 |
| |
| |
| Carla Marceau | 1 |
| |
| |
| Jyh-Herng Chow | 1 |
| |
| |
| Oliver Sharp | 1 |
| |
| |
| Jaroslav Sevcík | 1 |
| |
| |
| Gordon Stewart | 1 |
| |
| |
| Chucky Ellison | 1 |
| |
| |
| Aaron Bohannon | 1 |
| |
| |
| Peter White | 1 |
| |
| |
| Patrick A. V. Hall | 1 |
| |
| |
| My Hoang | 1 |
| |
| |
| Tewodros A. Beyene | 1 |
| |
| |
| Chao Wang | 1 |
| |
| |
| John Potter | 1 |
| |
| |
| John Clements | 1 |
| |
| |
| Noah Torp-Smith | 1 |
| |
| |
| Bent Bruun Kristensen | 1 |
| |
| |
| Kathleen Knobe | 1 |
| |
| |
| Dave Berry | 1 |
| |
| |
| Timothy Griffin | 1 |
| |
| |
| Mark Weiser | 1 |
| |
| |
| Aleksy Schubert | 1 |
| |
| |
| Arjun Narayan | 1 |
| |
| |
| Peter Mataga | 1 |
| |
| |
| Jochen Hoenicke | 1 |
| |
| |
| D. J. Moore | 1 |
| |
| |
| Gregory T. Sullivan | 1 |
| |
| |
| Walter F. Tichy | 1 |
| |
| |
| Susan J. Eggers | 1 |
| |
| |
| Shinn-Der Lee | 1 |
| |
| |
| Howard Barringer | 1 |
| |
| |
| Sebastian Hunt | 1 |
| |
| |
| Anders Haraldsson | 1 |
| |
| |
| Kiyoshi Ishihata | 1 |
| |
| |
| Sanjay V. Rajopadhye | 1 |
| |
| |
| Geoffrey L. Burn | 1 |
| |
| |
| Tim Priesnitz | 1 |
| |
| |
| John Guiver | 1 |
| |
| |
| Jonathan T. Moore | 1 |
| |
| |
| Clayton H. Lewis | 1 |
| |
| |
| T. K. Lakshman | 1 |
| |
| |
| Wontae Choi | 1 |
| |
| |
| Kurt Sieber | 1 |
| |
| |
| Denis Bogdanas | 1 |
| |
| |
| Stephan van Staden | 1 |
| |
| |
| Kayvan Memarian | 1 |
| |
| |
| Jai Srinivasan | 1 |
| |
| |
| Robert E. Strom | 1 |
| |
| |
| Samik Basu | 1 |
| |
| |
| Parthasarathy Madhusudan | 1 |
| |
| |
| Erik Ernst | 1 |
| |
| |
| Pascal Van Hentenryck | 1 |
| |
| |
| Radu Grosu | 1 |
| |
| |
| Michael Florentin Nielsen | 1 |
| |
| |
| Feng Zhou | 1 |
| |
| |
| Ara Knaian | 1 |
| |
| |
| Jon Rafkind | 1 |
| |
| |
| Michael E. Wolf | 1 |
| |
| |
| Bow-Yaw Wang | 1 |
| |
| |
| Stephen J. Garland | 1 |
| |
| |
| Russell R. Atkinson | 1 |
| |
| |
| Eric Schmidt | 1 |
| |
| |
| Carl Eastlund | 1 |
| |
| |
| Lasse Nielsen | 1 |
| |
| |
| Matthias Zenger | 1 |
| |
| |
| Hernán C. Melgratti | 1 |
| |
| |
| Jason Gross | 1 |
| |
| |
| Mary W. Hall | 1 |
| |
| |
| Gareth D. Rees | 1 |
| |
| |
| Jay A. McCarthy | 1 |
| |
| |
| Christopher A. Stone | 1 |
| |
| |
| Percy Liang | 1 |
| |
| |
| Kazunori Tobisawa | 1 |
| |
| |
| J. Michael Ashley | 1 |
| |
| |
| Fan Long | 1 |
| |
| |
| Anton Setzer | 1 |
| |
| |
| Frank DeRemer | 1 |
| |
| |
| Christopher Colby | 1 |
| |
| |
| Michael J. Fischer | 1 |
| |
| |
| Jens Knoop | 1 |
| |
| |
| Carl Christian Frederiksen | 1 |
| |
| |
| Jed Liu | 1 |
| |
| |
| Denis Lugiez | 1 |
| |
| |
| Lawrence C. Paulson | 1 |
| |
| |
| Ali Sezgin | 1 |
| |
| |
| David R. Cheriton | 1 |
| |
| |
| François Pessaux | 1 |
| |
| |
| Alan Mycroft | 1 |
| |
| |
| Shreyas Ramalingam | 1 |
| |
| |
| Andrei Voronkov | 1 |
| |
| |
| Ian Mackie | 1 |
| |
| |
| Zhe Yang | 1 |
| |
| |
| Andrew Tolmach | 1 |
| |
| |
| Bill Harrison | 1 |
| |
| |
| Charles Meyssonnier | 1 |
| |
| |
| C. J. Shubra | 1 |
| |
| |
| Mehdi Jazayeri | 1 |
| |
| |
| Emilio Tuosto | 1 |
| |
| |
| Ken Friis Larsen | 1 |
| |
| |
| Pascal Raymond | 1 |
| |
| |
| Serdar Tasiran | 1 |
| |
| |
| Hannes Payer | 1 |
| |
| |
| Linda Zucconi | 1 |
| |
| |
| Eric Van Wyk | 1 |
| |
| |
| Peter Schmidt-Nielsen | 1 |
| |
| |
| Wolfgang Polak | 1 |
| |
| |
| Saurabh Joshi | 1 |
| |
| |
| Rowan Davies | 1 |
| |
| |
| Gregor Snelting | 1 |
| |
| |
| Erika Rice | 1 |
| |
| |
| Oded Padon | 1 |
| |
| |
| Jeffrey S. Fischer | 1 |
| |
| |
| Stephen Chong | 1 |
| |
| |
| Roopsha Samanta | 1 |
| |
| |
| Nada Amin | 1 |
| |
| |
| Limin Jia | 1 |
| |
| |
| Dominic Duggan | 1 |
| |
| |
| Stephen Heumann | 1 |
| |
| |
| Sasa Misailovic | 1 |
| |
| |
| John M. Lucassen | 1 |
| |
| |
| David A. Schmidt | 1 |
| |
| |
| Xiaoyin Wang | 1 |
| |
| |
| John M. Vlissides | 1 |
| |
| |
| Ryan R. Newton | 1 |
| |
| |
| Prateesh Goyal | 1 |
| |
| |
| Marco Giunti | 1 |
| |
| |
| Shriram Krishnamurthi | 1 |
| |
| |
| Julien Lange | 1 |
| |
| |
| Bent Thomsen | 1 |
| |
| |
| Yoo C. Chung | 1 |
| |
| |
| Dean Rubine | 1 |
| |
| |
| Hélène Kirchner | 1 |
| |
| |
| Christian Szegedy | 1 |
| |
| |
| Doug Kimelman | 1 |
| |
| |
| Benoît Valiron | 1 |
| |
| |
| Karl J. Ottenstein | 1 |
| |
| |
| Philip Mathews | 1 |
| |
| |
| Bill Kalsow | 1 |
| |
| |
| Robert L. Bocchino Jr. | 1 |
| |
| |
| Patricia P. Griffiths | 1 |
| |
| |
| Nathan Grasso Bronson | 1 |
| |
| |
| Lindsey Kuper | 1 |
| |
| |
| Andrzej S. Murawski | 1 |
| |
| |
| George B. Leeman Jr. | 1 |
| |
| |
| Richard P. Reitman | 1 |
| |
| |
| Robert Endre Tarjan | 1 |
| |
| |
| David W. Wall | 1 |
| |
| |
| Donald I. Good | 1 |
| |
| |
| Peter D. Mosses | 1 |
| |
| |
| Sergei G. Vorobyov | 1 |
| |
| |
| Ming-Hsien Tsai | 1 |
| |
| |
| Antonis Stampoulis | 1 |
| |
| |
| G. Berry | 1 |
| |
| |
| John Boyland | 1 |
| |
| |
| Andrew Moran | 1 |
| |
| |
| Jan J. M. M. Rutten | 1 |
| |
| |
| Boris A. Trakhtenbrot | 1 |
| |
| |
| Alan J. Perlis | 1 |
| |
| |
| Mathieu Verbaere | 1 |
| |
| |
| Thomas Braibant | 1 |
| |
| |
| Michael P. Plezbert | 1 |
| |
| |
| Frank S. de Boer | 1 |
| |
| |
| Sheng Chen | 1 |
| |
| |
| Kevin J. Brown | 1 |
| |
| |
| Isao Sasano | 1 |
| |
| |
| Ralph E. Johnson | 1 |
| |
| |
| Michael Sperber | 1 |
| |
| |
| Sampath Kannan | 1 |
| |
| |
| John Plaice | 1 |
| |
| |
| Paul R. Kosinski | 1 |
| |
| |
| Ik-Soon Kim | 1 |
| |
| |
| Ole Lehrmann Madsen | 1 |
| |
| |
| Jaco de Bakker | 1 |
| |
| |
| Phillip Heidegger | 1 |
| |
| |
| Ellis S. Cohen | 1 |
| |
| |
| Marek Zawirski | 1 |
| |
| |
| Zhe Hou | 1 |
| |
| |
| John Greiner | 1 |
| |
| |
| Mark R. Shinwell | 1 |
| |
| |