By author

Matched on the name as written, which is not the same as a person: two people share a name and one person is spelled three ways. Each name leads to what was published under it.

Names with more than one work here. 13918 more appear once each — search the bibliography for a name to find those.

Peter Sewell 37 Randal E. Bryant 31 Hans-Dieter A. Hiep 30 Frank S. de Boer 29 Jinting Bian 28 Gerwin Klein 27 E. M. Clarke 23 Edmund M. Clarke 23 ICAO, 22 Amir Pnueli 20 Jean-Max Dutertre 20 Lars Birkedal 20 Stijn de Gouw 20 A. Pnueli 19 Alain J. Martin 19 Peter G. Neumann 19 T. Gräupl 19 Matthias Függer 18 N. Mäurer 18 Thomas Nowak 18 C. A. R. Hoare 17 Mike Gordon 17 Peter W. O'Hearn 17 Simon W. Moore 17 Anja Feldmann 16 Jennifer Rexford 16 M. Junger 16 RTCA, 16 Robert N. M. Watson 16 Stefan Mangard 16 Arm Limited 15 Cristiano Calcagno 15 J. E. Rooda 15 Jonathan Woodruff 15 Massimo Bartoletti 15 Susmit Sarkar 15 Sébastien Bardin 15 Karine Heydemann 14 Marie-Laure Potet 14 Zohar Manna 14 Alexandre Joannou 13 Brooks Davis 13 David L. Dill 13 Frank Piessens 13 Gernot Heiser 13 John Rushby 13 Marieke Huisman 13 Michael Roe 13 Randy Bush 13 Roberto Zunino 13 Daniel Gruss 12 David A. Patterson 12 Georgios Smaragdakis 12 Hongseok Yang 12 Luc Maranget 12 Magnus O. Myreen 12 Martin Fabian 12 Moshe Y. Vardi 12 Rajit Manohar 12 Robin Milner 12 A. Abhishta 11 Alan Bundy 11 Christopher Pulte 11 D. Borrione 11 David Chisnall 11 E. Deelman 11 Jade Alglave 11 Kenneth L. McMillan 11 Neil Immerman 11 Palantir Technologies 11 Scott Owens 11 Steve Uhlig 11 Walter Murray Wonham 11 Armin Biere 10 Axel Legay 10 Christopher W. Fletcher 10 Clark Barrett 10 David Basin 10 Dominique Devriese 10 Ethan Katz-Bassett 10 J Strother Moore 10 J. M. van de Mortel-Fronczak 10 John C. Reynolds 10 John Wickerson 10 Laurent Mounier 10 M, 10 Oded Maler 10 Oliver Gasser 10 R. E. Bryant 10 Ryan Kastner 10 Thomas Bourgeat 10 Thomas Gräupl 10 Tim Berners-Lee 10 Warren A. Hunt 10 Yuval Yarom 10 Alasdair Armstrong 9 Alberto Dainotti 9 Bernadette Charron-Bost 9 C. Schmitt 9 Caroline Trippel 9 Dominik Stoffel 9 E. Perrins 9 J. D. Morison 9 Jan Tijmen Udding 9 Jean-Baptiste Rigaud 9 Katell Morin-Allory 9 Luca Benini 9 Margaret Martonosi 9 Mathieu Jan 9 Michael Schwarz 9 Nils Mäurer 9 Paolo Ienne 9 Reiner Hähnle 9 Robert P. Kurshan 9 Sharad Malik 9 T. Meurs 9 Ulrich Schmid 9 Viktor Vafeiadis 9 W. M. Wonham 9 Wolfgang Kunz 9 Alberto Peruzzo 8 Alessandro Cimatti 8 Arvind 8 Assia Tria 8 Bart Jacobs 8 Ben Laurie 8 Carl-Johan H. Seger 8 Christoph Lenzen 8 Christophe Deleuze 8 Damien Couroussé 8 Daniel Genkin 8 David E. Long 8 Erik S. Perrins 8 Fahim ur Rahman 8 G. D. Plotkin 8 Hubert Garavel 8 June Andronick 8 Krzysztof R. Apt 8 Lana Josipović 8 Leslie Lamport 8 M. J. C. Gordon 8 Matthew Luckie 8 Michael Norrish 8 Mohammad Rahmani Fadiheh 8 Moritz Lipp 8 N. McKeown 8 O. Grumberg 8 O. Maler 8 Peter Müller 8 R. Kumar 8 R. Malik 8 Rafal Kolanski 8 S. Kotusev 8 Steven J. Murdoch 8 Stéphane Demri 8 Thomas A. Henzinger 8 Tom Melham 8 Vincent Beroulle 8 Visvesh Sathe 8 ARINC, 7 Aarti Gupta 7 Adam Chlipala 7 Ahmad-Reza Sadeghi 7 Alexander Richardson 7 Anthony C. J. Fox 7 Avra Cohn 7 Brian Campbell 7 C. Jacobi 7 CCSDS, 7 D. Kröning 7 Daniel Kroening 7 Dino Distefano 7 Edsger W. Dijkstra 7 Ernst-Rüdiger Olderog 7 Erven Rohou 7 Gilles Barthe 7 Giuseppe Di Battista 7 Glynn Winskel 7 Helmut Graeb 7 J. Postel 7 J. Rexford 7 Jean-Jacques Quisquater 7 Jo C. Ebergen 7 John Baldwin 7 Jonathan Anderson 7 Jordi Cortadella 7 K. Rustan M. Leino 7 KC Claffy 7 Laurence Pierre 7 M. A. Reniers 7 M. Horowitz 7 Mian Zhang 7 Michael Waidner 7 Natarajan Shankar 7 Patrice Godefroid 7 Philipp Richter 7 R. Leveugle 7 R. P. Kurshan 7 Robert Beverly 7 Rolf Drechsler 7 Stacey Son 7 Stavros Tripakis 7 Subhasish Mitra 7 Susana Ortega Cisneros 7 Thomas Given-Wilson 7 Walter Willinger 7 Wei-Ngan Chin 7 Wolfgang J. Paul 7 Y. Zhou 7 et al 7 A. Cartwright 6 A. Iosup 6 A. R. Newton 6 A. Theodore Markettos 6 A. Waterman 6 Adam Morrison 6 Adrian Perrig 6 Alastair Reid 6 Amine Dehbaoui 6 Amir Moradi 6 Amogh Dhamdhere 6 Anantha P. Chandrakasan 6 Andrew Reynolds 6 Andrew Wright 6 Artem Starostin 6 Arvind Arvind 6 Ben Simner 6 Bilgiday Yuce 6 Brice Colombier 6 Bruno Robisson 6 C. Zhang 6 Cristel Pelsser 6 Daniel Lustig 6 David Cock 6 Donika Mirdita 6 E. Allen Emerson 6 E. Cartwright 6 E. V. Whiting 6 Emmanuelle Encrenaz 6 Eyad Alkassar 6 Georg Carle 6 Gianluigi Zavattaro 6 H. Eveking 6 Harvey Tuch 6 Hongce Zhang 6 Hongyan Xia 6 Ingrid Verbauwhede 6 International Organization for Standardization 6 J. C. R. Licklider 6 James Brotherston 6 Jan H. van Schuppen 6 Jean Pichon-Pharabod 6 Jeannette M. Wing 6 Jeffrey J. Joyce 6 Joanna M. van de Mortel-Fronczak 6 John L. Hennessy 6 Justin Halberda 6 Jörn-Marc Schmidt 6 Kourosh Gharachorloo 6 Kyndylan Nienhuis 6 Lionel Rivière 6 M. A. Goorden 6 M. Fabian 6 M. Heinrich 6 M. Rice 6 M. Sheeran 6 Mandayam K. Srivas 6 Mark B. Josephs 6 Matt Kaufmann 6 Matthias Wählisch 6 Maurice H. ter Beek 6 Mengjia Yan 6 Michel A. Reniers 6 N. Shankar 6 NIST, 6 Nancy G. Leveson 6 Nikolaos Chatzis 6 Nisrine Jafri 6 Olivier Potin 6 Orna Grümberg 6 Patrick Schaumont 6 Philippe Maurine 6 Phillipa Gill 6 Pierre Wolper 6 Pramod Subramanyan 6 R. Hinden 6 R. Kastner 6 Radu Iosif 6 Raghul Saravanan 6 Ranjit Jhala 6 Robert Harper 6 Robert M. Norton 6 Robert Norton 6 Roberto di Lallo 6 Ronghui Gu 6 S. D. Johnson 6 S. Dehaene 6 S. Ortega-Cisneros 6 Sol Swords 6 Sylvain Guilley 6 Sébastien Michelland 6 Tiziana Cimoli 6 Toby Murray 6 V. S. Sathe 6 Vasileios Giotsas 6 W. J. Cullyer 6 W. J. Fokkink 6 Wei Hu 6 X. Zhang 6 Y. Liu 6 Yatin A. Manerkar 6 Zhong Shao 6 A, 5 A. Pretschner 5 A. Vahdat 5 Alessandro Barenghi 5 Alessandro Fantechi 5 Alix Trieu 5 Anoop Gupta 5 Armaiti Ardeshiricham 5 Azalea Raad 5 Ben Moszkowski 5 Beng-Hong Lim 5 Benjamin C. Pierce 5 Benjamin Grégoire 5 Bernhard Beckert 5 Brian Randell 5 Callum Bannister 5 Cesare Tinelli 5 Charles E. Leiserson 5 Cheng Wang 5 Chris Hawblitzel 5 Christian Jacobi 5 Christoph Dietzel 5 Christopher Batten 5 D. A. Patterson 5 D. B. Cornish 5 D. C. Burr 5 D. Epema 5 D. Kroening 5 D. Walker 5 Dana Scott 5 David C. Burr 5 David Gries 5 David Kohlbrenner 5 David W. Matolak 5 Debdeep Mukhopadhyay 5 Deian Stefan 5 Dirk Leinenbach 5 Dmitry Burlyaev 5 E. M. Brannon 5 Elizabeth M. Brannon 5 Ewa Deelman 5 F. K. Hanna 5 F. U. Rahman 5 G. J. Milne 5 Giorgio Di Natale 5 Guillaume Plassan 5 Hans Langmaack 5 Helmut Veith 5 Hovav Shacham 5 IEEE 5 ISO/IEC, 5 Ignacio Castro 5 International Organization for Standardization. 5 J. C. M. Baeten 5 J. Lee 5 J. W. de Bakker 5 Jan Reineke 5 Jared Davis 5 Jeehoon Kang 5 Jessica F. Cantlon 5 Jessy Clédière 5 Johannes Kinder 5 John Teifel 5 Josep Torrellas 5 Joseph Y. Halpern 5 Josh Berdine 5 K G W Goossens 5 K. Asanović 5 K. R. Apt 5 Karem A. Sakallah 5 Kathryn E. Gray 5 Kayvan Memarian 5 Kees van Berkel 5 Kevin Elphinstone 5 Khilan Gudka 5 Klaus Havelund 5 L. Wang 5 M. Asavoae 5 M. G. Hill 5 M. Kaufmann 5 M. Leeser 5 M. Schnell 5 Makoto Tatsuta 5 Marc Renaudin 5 Marcio Juliato 5 Marco Guarnieri 5 Mark A. Hillebrand 5 Mark D. Aagaard 5 Marko Lončar 5 Martijn A. Goorden 5 Mary Sheeran 5 Mathias Payer 5 Matt Calder 5 Md. Obaidul Hossen 5 Michael A. Henning 5 Michael Bailey 5 Michael Schapira 5 Michael Tunstall 5 Mihail Asavoae 5 Mooly Sagiv 5 N. Daeche 5 N. E. Peeling 5 Nathaniel Wesley Filardo 5 National Security Agency 5 Neil Daeche 5 Nick Feamster 5 Nirav Dave 5 Osman Hasan 5 Oussama Oulkaid 5 P, 5 P. J. Slater 5 Pascal Fradet 5 Patrick Cousot 5 Peter Rugg 5 Philip Derrin 5 Pierpaolo Degano 5 R. Alur 5 R. Austein 5 R. K. Brayton 5 R. Sun 5 Rajeev Alur 5 Richard Bubel 5 Robert K. Brayton 5 Robert N.M. Watson 5 Robi Malik 5 Roderick Bloem 5 Romain Fontugne 5 Ronald L. Rivest 5 Ruoyu Sun 5 S. Jha 5 S. Shenker 5 S. T. Piantadosi 5 S. Vasudevan 5 Saeed Uz Zaman Khan 5 Sai Manoj Pudukotai Dinakarrao 5 Sam Owre 5 Sandrine Blazy 5 Sanjit A. Seshia 5 Sarita V. Adve 5 Shaked Flur 5 Shilpi Goel 5 Simon Tollec 5 Srinivas Devadas 5 Steven M. Burns 5 T. Ewert 5 T. Li 5 Tamara Rezk 5 Thomas Prescher 5 Thomas Sewell 5 Timothy Sherwood 5 Tobias Nipkow 5 W. Scott Bartky 5 Wolfgang Ahrendt 5 Y. Lee 5 Y. Rekhter 5 Yakir Vizel 5 Yann Herklotz 5 Yinqian Zhang 5 Z. Manna 5 Zakir Durumeric 5 A. Bundy 4 A. Mishchenko 4 A. Singh 4 A. Smaill 4 A. Testolin 4 Abeba Birhane 4 Abhik Roychoudhury 4 Adam J. Chlipala 4 Adi Shamir 4 Aina Niemetz 4 Albert Cohen 4 Alberto Griggio 4 Aleksandar Nanevski 4 Alessio Ferrari 4 Alex Yakovlev 4 Alexandra Tsyban 4 Alexandru Iosup 4 Alonzo Church 4 Andrea Guerrieri 4 Andreas Lööw 4 Andrew S. Tanenbaum 4 Arnd Hartmanns 4 Aïna Linn Georges 4 B. Lin 4 Barbara Liskov 4 Bengt Lennartson 4 Benjamin Binder 4 Bernhard Steffen 4 Boris Köpf 4 Bradley Huffaker 4 Bruno Ferres 4 Bryan Parno 4 C. B. Jones 4 C. Barrett 4 C. Berg 4 C. R. Gallistel 4 CAIDA, 4 Calvin Deutschbein 4 Charles H. Bennett 4 Chen Chen 4 Christine Paulin-Mohring 4 Christoph Haase 4 Chung-Kil Hur 4 Claude E. Shannon 4 Computer General Electronic Design 4 Constantine Dovrolis 4 Corinna Schmitt 4 Cristian Cadar 4 Cynthia Sturton 4 D. Basin 4 D. E. Long 4 D. E. Muller 4 D. Harel 4 D. Leinenbach 4 D. Lustig 4 D. Meyer 4 D. Nickovic 4 D. S. Scott 4 D. W. Matolak 4 D. Wentzlaff 4 D.L. Dill 4 Damien Hardy 4 Dan Craigen 4 Daniel J. Sorin 4 Daniel Petrisko 4 Dave Levin 4 David A. Wood 4 David Harel 4 David Wentzlaff 4 Davide Basile 4 Davide Rossi 4 Dennis M. Ritchie 4 Dennis Murphy 4 Dennis Sylvester 4 Derek R. Dreyer 4 Dhammika Elkaduwe 4 Dominique Borrione 4 E, 4 E. Tews 4 Edmund Clarke 4 Emile Aben 4 Emily M. Bender 4 Eugenio Moggi 4 Francesco Lenzini 4 Francesco Zappa Nardelli 4 Frederic T. Chong 4 G. Anobile 4 G. Edward Suh 4 G. Huston 4 G. Juve 4 G. Mehta 4 G. Musgrave 4 Gabriele Lospoto 4 Gary T. Leavens 4 Gerald J. Popek 4 Gerardo Pelosi 4 Gianpiero Cabodi 4 Google, 4 Gordon D. Plotkin 4 Grigore Roşu 4 Guillaume Bouffard 4 Guillaume Hiet 4 H. Barringer 4 H. De Man 4 H. Wang 4 H. Yang 4 Haya Schulmann 4 Haya Shulman 4 Howard Barringer 4 I. Martinovic 4 IEEE, 4 Ian Stark 4 Ihab Alshaer 4 J, 4 J. A. Brzozowski 4 J. Bachrach 4 J. Balkind 4 J. E. R. Cury 4 J. G. Daugman 4 J. Halberda 4 J. Harrison 4 J. Hennessy 4 J. Kim 4 J. Liu 4 J. Reineke 4 J. S. Moore 4 J. Wu 4 Jack B. Dennis 4 Jacobus E. Rooda 4 James R. Larus 4 James W. Tschanz 4 Jan Komenda 4 Jan Richter-Brockmann 4 Jean-Pierre Seifert 4 Jean‐Luc Danger 4 Jeffrey D. Ullman 4 Jeremy L O’brien 4 Jeremy L. O’Brien 4 Jerry R. Burch 4 Jessica Clarke 4 Jeyavijayan Rajendran 4 Jiyong Yu 4 Jo Van Bulck 4 Joel Emer 4 John Harrison 4 John Herbert 4 John Reynolds 4 Jonathan Balkind 4 Jonathan M. Smith 4 Joonwon Choi 4 Joseph Sifakis 4 Julien Bringer 4 K. L. McMillan 4 K. Morin-Allory 4 K. Åkesson 4 Kaveh Razavi 4 Keith Hanna 4 Knut Åkesson 4 Koushik Sen 4 L. Benini 4 L. Claesen 4 L. Connolly 4 L. Feigenson 4 L. Lamport 4 L. Poutievski 4 Lau Skorstengaard 4 Laurent Vanbever 4 Lilian Bossuet 4 Lisa Feigenson 4 Louis Dureuil 4 Luca Breveglieri 4 Luca P. Carloni 4 Luca Padovani 4 Luciano Lavagno 4 M. C. Browne 4 M. Casado 4 M. Gordon 4 M. Lepinski 4 M. Liu 4 M. Martonosi 4 M. P. Fourman 4 M. Strohmeier 4 Mads Dam 4 Mahmudul Faisal Al Ameen 4 Marcelo Bagnulo 4 Marco Canini 4 Marco Roveri 4 Marco Torchiano 4 Marie-Lise Flottes 4 Mario Gleirscher 4 Marius Pasca 4 Mark Batty 4 Mark G. Thompson 4 Mark Horowitz 4 Mark R. Greenstreet 4 Martin Davis 4 Martı́n Abadi 4 Massimo Candela 4 Massimo Rimondini 4 Mathias Preiner 4 Matthew J. Parkinson 4 Matthew Naylor 4 Matthias Függer 4 Matthieu Moy 4 Md Shafayat Hossain 4 Michael Bedford Taylor 4 Michael Mendler 4 Michael P. Fourman 4 Michael Zwerger 4 Mike Hamburg 4 Mirko Lobino 4 Miron Livny 4 N. Foster 4 N. Schneckenburger 4 Nahid Farhady Ghalaty 4 Nancy A. Lynch 4 Nick McKeown 4 Nicole Perlroth 4 Nikolaj Bjørner 4 Nikolaï Kosmatov 4 Nikos Gorogiannis 4 Olaf Maathuis 4 Orit Halpern 4 Orna Grumberg 4 P. Day 4 P. Madhusudan 4 P. Roche 4 Paolo Maistri 4 Pascal Hitzler 4 Pascal Nasahl 4 Pascal Raymond 4 Pascal Sasdrich 4 Paul Gao 4 Paul Kocher 4 Per Brinch Hansen 4 Peter J. Denning 4 Peter W. O’Hearn 4 Philippa Gardner 4 Phillip J. Restle 4 Prabhat Mishra 4 Q. D. M. Khosru 4 Q. Li 4 Qiang Xu 4 Qinhan Tan 4 Quang Loc Le 4 Quazi D. M. Khosru 4 R. Bush 4 R. Drechsler 4 R. Milner 4 R. V. Clarke 4 R. Zaman 4 Radu Mateescu 4 Rahul Kande 4 Ralf Jung 4 Ramana Kumar 4 Ramayya Kumar 4 Riccardo Paccagnella 4 Richard A. Kemmerer 4 Richard Grisenthwaite 4 Rifat Zaman 4 Robin David 4 Ross Tate 4 Rutger Leukfeldt 4 S. A. Seshia 4 S. Banescu 4 S. Beyer 4 S. Jain 4 S. Kent 4 S. Kurnia 4 S. Owre 4 S. T. Hedetniemi 4 S. Yovine 4 S. Zhang 4 Saddek Bensalem 4 Sahar Mohajerani 4 Samuel Coward 4 Satnam Singh 4 Saul A. Kripke 4 Sergio Yovine 4 Sharon Goldberg 4 Stanislas Dehaene 4 Stefano Tonetta 4 Stephen T. Hedetniemi 4 Stephen W. Keckler 4 Steve Zdancewic 4 Steven P. Miller 4 Steven T. Piantadosi 4 Stop LAPD Spying Coalition 4 Stéphane Lafortune 4 Sui Huang 4 Sunjay Cauligi 4 Synopsys, 4 Tevfik Bultan 4 Theo Drane 4 Thomas Bauereiss 4 Thomas C Schmidt 4 Thomas F. Melham 4 Thomas Korak 4 Thomas Reps 4 Tim E. Güneysu 4 Tjark Weber 4 Toby Walsh 4 Tom Ridge 4 V. Lenders 4 Vasileios Kotronis 4 Vern Paxson 4 Victor Vianu 4 Victoria Stavridou 4 Viktor Kuncak 4 W. Hu 4 W. J. Paul 4 W. P. de Roever 4 W. Paul 4 Wendelin Serwe 4 Werner Haas 4 William R. Bevier 4 Xavier Leroy 4 Xi Wang 4 Y. Wang 4 Y. Yarom 4 Y. Zhao 4 Yunshan Zhu 4 Ziyang Lu 4 Étienne Lozes 4 3rd Generation Partnership Project (3GPP) 3 A. Agarwal 3 A. Ali-Eldin 3 A. Cimatti 3 A. Gupta 3 A. Hutchings 3 A. L. Fisher 3 A. Nowatzyk 3 A. Paskevich 3 A. Rabinovich 3 A. Sangiovanni-Vincentelli 3 A. Stephen Morse 3 A. Wang 3 Aaron R. Bradley 3 Aein Rezaei Shahmirzadi 3 Ahmed Irfan 3 Ajay Joshi 3 Akram Youssry 3 Alain Girault 3 Albert John Camilleri 3 Alberto Politi 3 Alex Kondratyev 3 Alexander J. Summers 3 Alexander Szameit 3 Alexandre Sarafianos 3 Alexey Ilyushkin 3 Alistair King 3 Alok Singh 3 Alvin R. Lebeck 3 Amelia Acker 3 Amin Timany 3 Amreesh Phokeer 3 Anant Agarwal 3 Anders Fogh 3 Andra Lutu 3 Andreas Kurth 3 Andreas Nieder 3 Andres Erbsen 3 Andrew B. Kahng 3 Andrew Boyton 3 Andrew C. Myers 3 Andrew Iliadis 3 Andrew W. Appel 3 Andrew W. Moore 3 André Rossi 3 Ang Li 3 Anindya Banerjee 3 Anna Cartwright 3 Anna Slobodova 3 Anne Sjerp Troelstra 3 Anthony Laing 3 Arpit Gupta 3 Arthur Berger 3 Arthur D. Friedman 3 Arvind Krishnamurthy 3 Athanasios Papadimitriou 3 Aurojit Panda 3 B. Becker 3 B. Bose 3 B. Haindl 3 B. Lennartson 3 B. Monahan 3 B. Payne 3 B. Russell 3 B. Silver 3 B. Steffen 3 Bandhav Veluri 3 Belgacem Ben Hédia 3 Ben Hardekopf 3 Ben Haylock 3 Benjamin Weiß 3 Bertrand Meyer 3 Bjorn De Sutter 3 Boris Desiatov 3 Boutheina Chetali 3 Bruce Schneier 3 Butler W. Lampson 3 Byron Cook 3 C. Batten 3 C. Carmichael 3 C. Celio 3 C. Eisner 3 C. Feltus 3 C. H. Pygott 3 C. Rihacek 3 C. Schlesinger 3 C. Sturton 3 C. Wang 3 C.-J.H. Seger 3 C.H. Pygott 3 Calton Pu 3 Capers Jones 3 Cataldo Basile 3 Cecilia Testart 3 Chao Yan 3 Charles E. Molnar 3 Chong Hee Kim 3 Chris Bizon 3 Chris Hall 3 Chris Sparrow 3 Christel Baier 3 Christian Berthet 3 Christian Reimer 3 Christine Rochange 3 Christof Löding 3 Christof Paar 3 Christoph Baumann 3 Clifford Wolf 3 Costin Raiciu 3 County of Los Angeles 3 Cristina Serban 3 Cunxi Yu 3 Cyril Roscian 3 D. A. Wood 3 D. A. van Beek 3 D. Barner 3 D. Blaauw 3 D. Burger 3 D. C. Hyde 3 D. Craigen 3 D. Fisman 3 D. G. Feitelson 3 D. Galmiche 3 D. Gruss 3 D. Johnson 3 D. McCoy 3 D. O. Pederson 3 D. Ofelt 3 D. Park 3 D. Pilaud 3 D. Song 3 D. W. J. Stringer-Calvert 3 D. Xu 3 D. Zhang 3 D.A. Wood 3 Dai Cheol Jung 3 Damiano Zuccalà 3 Dan Boneh 3 Daniel Ansari 3 Danilo Vendraminetto 3 Danny McPherson 3 David A. Basin 3 David A. Huffman 3 David Aldous 3 David Costanzo 3 David D. Clark 3 David Hausheer 3 David J. Pym 3 David M. Brooks 3 David M. Russinoff 3 David Monniaux 3 David Naccache 3 David P. Reed 3 David R. Cok 3 David T. Blaauw 3 David Walker 3 Deepak Kapur 3 Deepak Narayan Gadde 3 Dejan Ničković 3 Delphine Demange 3 Denny Vrandečić 3 Derek Dreyer 3 Dexter C. Kozen 3 Dick H. J. Epema 3 Didier Galmiche 3 Dina Medhat 3 Directorate-General for Research and Innovation (European Commission) 3 Dirk Eisenbiegler 3 Dirk Englund 3 Dominic P. Mulligan 3 Dominic Rizzo 3 Dominique Larchey-Wendling 3 Duncan Long 3 E. Cerny 3 E. Clarke 3 E. Elmroth 3 E. Lozes 3 E. Moggi 3 E. S. Spelke 3 E.I. Baungarten-Leon 3 Ece Güran Schmidt 3 Edmund M. Clarke Jr. 3 Elena Petrova 3 Emilio Isaac Baungarten-Leon 3 Emilio Tuosto 3 Erik Brunvand 3 Etienne Boespflug 3 Eugene Asarin 3 F. B. Schneider 3 F. F. H. Reijnen 3 F. van Harmelen 3 F.K. Hanna 3 Fabrizio Montesi 3 Falk Schellenberg 3 Farhad Arbab 3 Fernanda Lima Kastensmidt 3 Flavien Solt 3 Florian Brandner 3 Francesco Regazzoni 3 Franco Mazzanti 3 Franz A. Fuchs 3 Franziska Lichtblau 3 François Dupressoir 3 Fred B. Schneider 3 G. Birtwistle 3 G. Farrell 3 G. Heiser 3 G. Holzmann 3 G. Jones 3 G. Plassan 3 G. Rosu 3 G. Varghese 3 Gabriel Radanne 3 Gavin Lowe 3 Gene M. Amdahl 3 Geoff Barrett 3 Georg Sigl 3 Gianni Antichi 3 Giovanni Anobile 3 Gordon E. Moore 3 Graham Gough 3 Graziano Pravadelli 3 Greg Morrisett 3 Gu-Yeon Wei 3 Guido Bertoni 3 Gurmeet Singh 3 Gérard Berry 3 H, 3 H. F. Li 3 H. Flordal 3 H. J. Touati 3 H. Liu 3 H. Wu 3 Hamed Nemati 3 Hans Eveking 3 Hans-Dieter Hiep 3 Herbert Bos 3 Herman Geuvers 3 Hira Taqdees Syeda 3 Hugo Flordal 3 I. Ahmad 3 Ilia Polian 3 Ivan Lanese 3 Ivan Martinović 3 J. A. Goguen 3 J. B. Tenenbaum 3 J. F. Ziegler 3 J. Grossklags 3 J. H. van Schuppen 3 J. Havlicek 3 J. Juan-Chico 3 J. Kershaw 3 J. Kuskin 3 J. Lapalme 3 J. M. Rushby 3 J. M. Smith 3 J. Ma 3 J. Markovski 3 J. Ong 3 J. R. Burch 3 J. R. Nurse 3 J. Rivera 3 J. Sifakis 3 J. Strother Moore 3 J. Tordsson 3 J. V. Guttag 3 J. V. Tucker 3 J. Zhou 3 J.D. Morison 3 J.E. Rooda 3 JTC1/SC22/WG14 3 Jacobus W. de Bakker 3 Jacques-Henri Jourdan 3 James Bornholt 3 Jan Friso Groote 3 Jan Smans 3 Jan van Dijk 3 Jann Horn 3 Jean Dunbar 3 Jean-Christophe Filliâtre 3 Jean-François Raskin 3 Jean-Louis Lanet 3 Jean-Luc Danger 3 Jesse Conrad Newcomb 3 Jianwei Wang 3 Jianzhou Zhao 3 Jim Woodcock 3 Johan Karlsson 3 Johan Laurent 3 Johan van Benthem 3 Johannes Bund 3 Johannes Hostert 3 John C. Mitchell 3 John N. Tsitsiklis 3 John Shalf 3 John W. O'Leary 3 Jon Howell 3 Jonathan C. F. Matthews 3 Jonathan P. Bowen 3 Jonathan Peter Bowen 3 Jonathan Rose 3 Jonny L. Saunders 3 Joost-Pieter Katoen 3 Jorge Rivera 3 José E.R. Cury 3 Joël Ouaknine 3 Jules Villard 3 Julien Lange 3 Julien Schmaltz 3 Jurriaan Rot 3 K. A. Bowman 3 K. Asanović 3 K. Cai 3 K. J. Ray Liu 3 K. Vahi 3 Kai Cai 3 Karamarie Fecho 3 Karthik Pattabiraman 3 Kenjiro Cho 3 Kevin J. Elphinstone 3 Kezhi Li 3 Khwaja Zubair Sediqi 3 Kim G. Larsen 3 Klaus v. Gleissenthall 3 Koen Claessen 3 Konrad Kieling 3 Koushik Chakraborty 3 Krste Asanović 3 L. Feng 3 L. Guillaume-Sage 3 L. Swartjes 3 Laure Gonnord 3 Laurent Chuat 3 Lawrence C. Paulson 3 Lennart M. Reimann 3 Leon Henkin 3 Lesly-Ann Daniel 3 Li-C. Wang 3 Li-Guo Wang 3 Lixia Zhang 3 Lucas Davi 3 Lucas Deutschmann 3 Ludovic Henrio 3 Lukas Sekanina 3 M. A. Breuer 3 M. A. Henning 3 M. Aagaard 3 M. B. Josephs 3 M. Browne 3 M. Caffrey 3 M. D. Hill 3 M. Felson 3 M. Frans Kaashoek 3 M. Hill 3 M. Jan 3 M. K. Srivas 3 M. Lang 3 M. Lipp 3 M. Marx 3 M. O. Hossen 3 M. Parkin 3 M. Parkinson 3 M. Payer 3 M. Pellauer 3 M. S. Hossain 3 M. Schwarz 3 M. Valencia 3 M. Wenzel 3 M. Yan 3 M. Zhang 3 M. Zhu 3 M. Zorzi 3 M.G. Hill 3 Makarius Wenzel 3 Manuel Egele 3 Marc Bruyere 3 Marc Lankhorst 3 Marco Chiesa 3 Marco Patrignani 3 Marianne Junger 3 Marios C. Papaefthymiou 3 Mark Allman 3 Mark D. Hill 3 Mark Hofmann 3 Mark Oskin 3 Marko Lončar 3 Marko van Eekelen 3 Markus Legner 3 Markus Wenzel 3 Marly Roncken 3 Martin C. Rinard 3 Martin Campbell-Kelly 3 Martin Strohmeier 3 Masahiro Fujita 3 Matthew Parkinson 3 Matthew Roughan 3 Matthias Daum 3 Matthieu Lemerre 3 Mattias Ulbrich 3 Mattijs Jonker 3 Max Hering de Queiroz 3 Max Kanovich 3 Maxime Puys 3 Maximilian Neuner 3 Mehdi Saligane 3 Melissa E. Libertus 3 Menouer Boubekeur 3 Michael David Rice 3 Michael Hutter 3 Michael J. C. Gordon 3 Michael Kishinevsky 3 Michael Pellauer 3 Michael Schnell 3 Michael Wirthlin 3 Michalis Kokologiannakis 3 Michel Dumontier 3 Miguel A. Bellido-Manganell 3 Mihaela Sighireanu 3 Mihail Asăvoae 3 Mihir Bellare 3 Min Li 3 Miriam E. Leeser 3 Mitchell Wand 3 Mohamadreza Rostami 3 Mohit Tiwari 3 Monica S. Lam 3 Morgan Deters 3 Moti Medina 3 Muralidaran Vijayaraghavan 3 N. Halbwachs 3 NIST 3 Nadi Sarrar 3 National Institute of Standards 3 Nicolas Gisin 3 Nicolas Moro 3 Nicolas Schneckenburger 3 Nidhal Selmane 3 Niek Timmers 3 Niklaus Wirth 3 Nikos Nikoleris 3 Nils Klarlund 3 Noah Torp-Smith 3 Nobuko Yoshida 3 Nomi L. Harris 3 Norbert Schirmer 3 Olaf Maennel 3 Onur Mutlu 3 Open Networking Foundation 3 Ora Lassila 3 Ori Lahav 3 P. A. Subrahmanyam 3 P. Cousot 3 P. Hartel 3 P. Maistri 3 P. Maurine 3 P. Prinetto 3 P. S. Miner 3 P. Smith 3 P. Subramanyan 3 P. Taylor 3 P. W. O'Hearn 3 P. Zhang 3 Panagiotis Manolios 3 Paolo Camurati 3 Paolo Falcarin 3 Patrick R. Schaumont 3 Patrick Sattler 3 Paul Baran 3 Paul Caspi 3 Paul Curzon 3 Pavlos Sermpezis 3 Pei-Hsin Ho 3 Peter Gammie 3 Peter Gorm Larsen 3 Peter H. Schmitt 3 Philipp Jeitner 3 Philippa Anne Gardner 3 Philippe Candelier 3 Pierre Wilke 3 Pierre-Alain Fouque 3 Prabal Basu 3 Quentin Jacquemart 3 Quentin Meunier 3 R. Avizienis 3 R. Dilnutt 3 R. Gelman 3 R. Housley 3 R. Manohar 3 R. R. H. Schiffelers 3 R. Sakellariou 3 R. Saleh 3 R. Simoni 3 R. Su 3 R.W. Brodersen 3 Rade Stanojevic 3 Radhia Cousot 3 Raffaele Sommese 3 Rainer Leupers 3 Rajkumar Buyya 3 Rance Cleaveland 3 Ravi Sethi 3 Reinhard Wilhelm 3 Richard Bornat 3 Robbert Krebbers 3 Robert A. Jacobs 3 Robert Najvirt 3 Robert S. Boyer 3 Robert W. Floyd 3 Roger M. Needham 3 Roland van Rijswijk-Deij 3 Rolf Landauer 3 Ross Anderson 3 Rémi Brochenin 3 S. Bose 3 S. Deering 3 S. Demri 3 S. F. Lourenco 3 S. Finn 3 S. Gerhart 3 S. Jiang 3 S. Lafortune 3 S. McCamant 3 S. Mohajerani 3 S. Ordas 3 S. Schmid 3 S. U. Z. Khan 3 S. Wang 3 Sachin S. Sapatnekar 3 Sadullah Canakci 3 Saharon Shelah 3 Samuel Hitz 3 Samuel J. Cheyette 3 Samuel Naffziger 3 Samuel Pagliarini 3 Sandip Ray 3 Sandra Scott-Hayward 3 Sanghamitra Roy 3 Sara Bartolucci 3 Sayak Ray 3 Scott Davidson 3 Scott Shenker 3 Sebastian Bogan 3 Sergei P. Skorobogatov 3 Sergio E. Baranzini 3 Sergio Mover 3 Shaker Sarwary 3 Sharat Israni 3 Shaz Qadeer 3 Shikai Guo 3 Shivam Bhasin 3 Shobha Vasudevan 3 Simon Egbert 3 Simon Finn 3 Simon Winwood 3 Sofiène Tahar 3 Somesh Jha 3 Sridhar Srinivasan 3 Stefan Blom 3 Stefan Kowalewski 3 Stefan Schmid 3 Stefan Sokołowski 3 Stefania Gnesi 3 Stephen A. Cook 3 Stephen A. Edwards 3 Stephen Brookes 3 Stephen Hedetniemi 3 Steve G. A. van de Weijer 3 Susan E. Carey 3 Susan Owicki 3 Swarup Bhunia 3 T. A. Henzinger 3 T. Austin 3 T. Bourgeat 3 T. Guggemos 3 T. L. Thorp 3 T. Lynch 3 T. Melham 3 T. Ralston 3 T. Sherwood 3 T.A. Henzinger 3 Taejoong Chung 3 Tara Ghasempouri 3 Terry Rudolph 3 Thanh‐Ha Le 3 Thao Dang 3 The Biomedical Data Translator Consortium 3 The Open Group. 3 The White House 3 Thomas Arthur Leck Sewell 3 Thomas Braibant 3 Thomas Dullien 3 Thomas Frederick Melham 3 Thomas H. Cormen 3 Thomas Krenc 3 Thomas Van Strydonck 3 Thorsten Holz 3 Tim Grant 3 Timm Böttger 3 Timothy C Ralph 3 Todd Arnold 3 Todd Austin 3 Todd M. Austin 3 Tom Meurs 3 Tomáš Masopust 3 Tony Law 3 U. Mengali 3 US Department of Defense 3 Ursula Martin 3 V. Fuller 3 V. Stavridou 3 Vaughn Betz 3 Victor B. F. Gomes 3 Vijay Ganesh 3 Vikram Adve 3 Vilhelm Sjöberg 3 Vincent Lenders 3 Vojtech Mrazek 3 W. Han 3 W. Kellerer 3 W.F. Clocksin 3 Wan J. Fokkink 3 Wei Ji Ma 3 Wenchao Li 3 Will Deacon 3 William D. Young 3 William Pugh 3 X. Guo 3 X. Li 3 Xenofontas Dimitropoulos 3 Xudong Zhao 3 Xupeng Li 3 Y. A. Manerkar 3 Y. H. Lee 3 Y. Jin 3 Y. Kesten 3 Y. Kim 3 Y. Lu 3 Y. Makris 3 Y. Ou 3 Y. Zhang 3 Yang Yang 3 Yier Jin 3 Yiorgos Makris 3 Yirng-An Chen 3 Yoav Lahini 3 Yong Kiam Tan 3 Yoonsik Cheon 3 Yuheng Yang 3 Yunsup Lee 3 Z. Li 3 Z. Wu 3 Zachary Tatlock 3 Zhen Zhang 3 Zhilin Wu 3 Ítalo Cunha 3 A. Athalye 2 A. Avižienis 2 A. Becker 2 A. Biere 2 A. Bouajjani 2 A. C. Laity 2 A. Canis 2 A. Caulfield 2 A. Chandrakasan 2 A. Chen 2 A. Chervenak 2 A. Danese 2 A. Deas 2 A. Doupé 2 A. Ermedahl 2 A. Ginesi 2 A. Giua 2 A. Gordon 2 A. Hall 2 A. I. Mal'cev 2 A. Ireland 2 A. Izraelevitz 2 A. Jain 2 A. Joshi 2 A. Laszka 2 A. Lavrov 2 A. Li 2 A. Lyaletski 2 A. M. Turing 2 A. Meyer 2 A. Miné 2 A. Moradi 2 A. Morrison 2 A. Nieder 2 A. Ning 2 A. Noroozian 2 A. Oest 2 A. P. Chandrakasan 2 A. Pirovano 2 A. Prasad Sistla 2 A. R. Hoehn 2 A. Roy 2 A. Rybalchenko 2 A. Salz 2 A. Sivaraman 2 A. Starr 2 A. Stevens 2 A. Stratakos 2 A. T. Abdel-Hamid 2 A. Virazel 2 A. Winman 2 A. Zaks 2 A.B. Kahng 2 A.M. Pitts 2 ANSI/ESDA/JEDEC, 2 ARM, 2 Aakash Tyagi 2 Aaron Grenat 2 Abraham Althonayan 2 Abraham Silberschatz 2 Accellera, 2 Ad M. G. Peeters 2 Adam Rogalewicz 2 Adi Teman 2 Adrian Sampson 2 Adwait Godbole 2 Aeroflex Gaisler 2 Ahmad‐Reza Sadeghi 2 Ahmed H. Anwar 2 Akram El-Korashy 2 Al Davis 2 Alain J Martin 2 Alain Yuji Takabayashi 2 Alan Jay Smith 2 Alan Migdall 2 Alan Mishchenko 2 Alan Mycroft 2 Alan Smaill 2 Alan Turing 2 Alan Williams 2 Alastair F. Donaldson 2 Albert Camilleri 2 Albert R. Meyer 2 Albert Spruyt 2 Alberto Luigi Sangiovanni-Vincentelli 2 Alessandro Giua 2 Alessandro Mariotti 2 Alessio Mansutti 2 Alex Olshevsky 2 Alexander Kößler 2 Alexander Kößler 2 Alexander Rabinovich 2 Alexander Taubin 2 Alexandra Dmitrienko 2 Alexandre Berzati 2 Alexandre Menu 2 Alexandre Yakovlev 2 Aleš Bizjak 2 Alfred Koelbl 2 Alfred Tarski 2 Alfred V. Aho 2 Alfredo Mazzinghi 2 Algirdas Avizienis 2 Ali AlSabeh 2 Ali Hammoud 2 Ali Jadbabaie 2 Ali Sezgin 2 Ali W Elshaari 2 Alice A. McRae 2 Alice McRae 2 Alina Andronache 2 Alison Lawlor Russell 2 Allison Randal 2 Alwen Tiu 2 Aman Kumar 2 Amirhassan Shams-Ansari 2 Amit Sheth 2 Amogh D. Dhamdhere 2 Amr Elshazly 2 Anders Kock 2 Andrea Asperti 2 Andrea Lattuada 2 Andrea Micheli 2 Andreas G. Nowatzyk 2 Andreas Herzig 2 Andreas Osiander 2 Andreas Reuter 2 Andreas Roth 2 Andreas Steininger 2 Andrej Dudenhefner 2 Andres Meza 2 Andrew Baumann 2 Andrew Elder 2 Andrew Ferraiuolo 2 Andrew Ireland 2 Andrew Lines 2 Andrew Waterman 2 Andrzej Salwicki 2 André DeHon 2 Ang Chen 2 Angela Rizk-Jackson 2 Angelina McMillan-Major 2 Anirban Mahanti 2 Annabelle McIver 2 Anne Bouillard 2 Anne Helmond 2 Anthony Fox 2 Anthony Hall 2 Anthony Zgheib 2 Antoine Bérut 2 Antoine Gicquel 2 Anton Zeilinger 2 Antonia Azzini 2 Antonio Cerone 2 Antti Valmari 2 Anuj Dawar 2 Arend Rensink 2 Arie Gurfinkel 2 Ariel Liu 2 Arkadeb Ghosal 2 Armaël Guéneau 2 Armin Krishnan 2 Arne Leinse 2 Artem Khyzha 2 Arthur Azevedo de Amorim 2 Arthur Charguéraud 2 Artyom Petrosyan 2 Arun K. Somani 2 Arvind, 2 Ashraf Salem 2 Asianometry 2 Athanasios P. Kakarountas 2 Avesta Sasan 2 Aviral Shrivastava 2 Aymane Bouzafour 2 B. A. Brady 2 B. A. Carre 2 B. B. Hedia 2 B. C. Brock 2 B. Dupont 2 B. E. Stephens 2 B. Falsafi 2 B. Gras 2 B. Jobstmann 2 B. Kasikci 2 B. Kim 2 B. Kitchenham 2 B. Lisper 2 B. Liu 2 B. Nikolic 2 B. P. Abbott 2 B. Pfaff 2 B. Q. Monahan 2 B. Randell 2 B. Tian 2 B. Wardman 2 B. Xu 2 B.A. Trakhtenbrot 2 Babak Falsafi 2 Baptiste Rozière 2 Barbara Jobstmann 2 Bart Coppens 2 Bart Preneel 2 Bastian Schlich 2 Beichuan Zhang 2 Ben Buchanan 2 Benedikt Gierlichs 2 Benedikt Schmidt 2 Benjamin Farinier 2 Benjamin J. Knox 2 Benjamin Lewis 2 Benjamin Viale 2 Benoît Valiron 2 Benton Highsmith Calhoun 2 Berk Sunar 2 Bernard Blackham 2 Bernhard Möller 2 Bernhard Rieder 2 Bertille Fourestie 2 Bhaskar Bose 2 Bhuvan Urgaonkar 2 Bishop C Brock 2 Bishop C. Brock 2 Bo Zhai 2 Bo-Yuan Huang 2 Bodo Selmke 2 Bor-Yuh Evan Chang 2 Boris Yakobowski 2 Borivoje Nikolić 2 Brandon Schlinker 2 Brian D. O. Anderson 2 Brian Johannesmeyer 2 Brian Monahan 2 Brian Ritchie 2 Brian W. Kernighan 2 Bruce J. Walker 2 Bruno A. Olshausen 2 Bruno Allard 2 Bruno Rouzeyre 2 Bud Mishra 2 Burkhart Wolff 2 Butler Lampson 2 C. Berthet 2 C. Cascone 2 C. Daws 2 C. Deutschbein 2 C. Domas 2 C. Enea 2 C. Ferdinand 2 C. Gebotys 2 C. Gentsch 2 C. H. Kim 2 C. Hu 2 C. Huang 2 C. Kaliszyk 2 C. Kim 2 C. Liu 2 C. Lutz 2 C. Maurice 2 C. Paar 2 C. Pilato 2 C. Song 2 C. Tian 2 C. Trippel 2 C. Wolf 2 C. Wu 2 C.-J. Seger 2 C.A.R. Hoare 2 C.T. Chiu 2 Cade Metz 2 Carl Lagoze 2 Carl Pixley 2 Carl Sechen 2 Carl T. Bergstrom 2 Carlos Delgado Kloos 2 Carlos Errando-Herranz 2 Carlos V. Rozas 2 Carmelo Loiacono 2 Carroll Morgan 2 Carsten Fuhs 2 Carsten Langrock 2 Carsten Sinz 2 Cas J. F. Cremers 2 Cass R. Sunstein 2 Catherine Gebotys 2 Catherine H. Gebotys 2 Cezar-Constantin Andrici 2 Cezary Kaliszyk 2 Chandan Karfa 2 Chandrakana Nandi 2 Changyuan Yu 2 Chao Cai 2 Chao Zhang 2 Charles Randy Gallistel 2 Charles Reis 2 Chiara Ghinami 2 Chiraag Juvekar 2 Chonghao Zhai 2 Chris Lattner 2 Chris Mungall 2 Christian Blumenröhr 2 Christian Fuchs 2 Christin Thea Wathne 2 Christof Fetzer 2 Christoph Heller 2 Christoph Matheja 2 Christopher Fletcher 2 Christopher Strachey 2 Christos Kozyrakis 2 Chun Lan Zhao 2 Chunhua Liao 2 Claudio Guidi 2 Claudio Mucci 2 Claudio Sacerdoti Coen 2 Clemens Grabmayer 2 Cliff B. Jones 2 Clifford Stein 2 Clyde Ruby 2 Clément Gaine 2 Clémentine Maurice 2 Cogan Shimizu 2 Colin Petrie 2 Colin Stirling 2 Conor Black 2 Corey Lewis 2 Cory Doctorow 2 Craig Disselkoen 2 Cristiano Giuffrida 2 Cédric Fournet 2 Cătălin Hriţcu 2 D Borrione 2 D, 2 D. A. B. Miller 2 D. A. v. Beek 2 D. Ansari 2 D. Bansal 2 D. Budgen 2 D. Burr 2 D. Chaiken 2 D. Cooper 2 D. Cyrluk 2 D. Drusinsky 2 D. Ernst 2 D. Evtyushkin 2 D. Farinacci 2 D. Firestone 2 D. Gabbay 2 D. Giri 2 D. Gries 2 D. Huang 2 D. J. Bernstein 2 D. K. Probst 2 D. Kim 2 D. Kozen 2 D. L. Dill 2 D. Larchey-Wendling 2 D. Lee 2 D. M. Russinoff 2 D. Maimon 2 D. Matolak 2 D. Mazières 2 D. McPherson 2 D. Moghimi 2 D. Mu 2 D. Nakahira 2 D. Pal 2 D. Peled 2 D. S. Wall 2 D. Shutin 2 D. Sylvester 2 D. Talayco 2 D. Verkest 2 D. Wall 2 D. Wu 2 D.A. van Beek 2 Damien Zufferey 2 Dan Alexandrescu 2 Daniel C. Hyde 2 Daniel Gerbeth 2 Daniel Howden 2 Daniel Larsson 2 Daniel M. Mielke 2 Daniel Matichuk 2 Daniel Moghimi 2 Daniel Weise 2 Daniel Woods 2 Daniel Öhlinger 2 Danny Cohen 2 Dara Bahri 2 Darren D. Cofer 2 David A. Maltz 2 David A. Naumann 2 David Adrian 2 David Bol 2 David Branning 2 David Brumley 2 David C. Gompert 2 David Chaiken 2 David Clark 2 David Cohen 2 David D. Wentzloff 2 David Dittrich 2 David E. Muller 2 David E. Sanger 2 David Fang 2 David Feil-Seifer 2 David G. Messerschmitt 2 David Hochfelder 2 David Huang 2 David Hély 2 David Lorge Parnas 2 David Melcher 2 David Oswald 2 David Samyde 2 David Swasey 2 David Tarditi 2 David von Oheimb 2 Davide Giri 2 Dawon Kahng 2 Dawson Engler 2 Dean Allemang 2 Deepak D’Souza 2 Deepak Garg 2 Dejan Kostić 2 Demetrios N Christodoulides 2 Denis Flandre 2 Derek C. Oppen 2 Derek Williams 2 Dhruv Mehrotra 2 Di Zhu 2 Didier Dubois 2 Diego Figueira 2 Dirk Koch 2 Dirk Van Dalen 2 Domenico Cotroneo 2 Dominik Germek 2 Dominik Kirst 2 Donald E. Knuth 2 Dongsu Han 2 Dongsuk Jeon 2 Doron Peled 2 Doug Burger 2 Douglas Maughan 2 Dov M. Gabbay 2 Dragoș Dumitrescu 2 Driss Aboulkassimi 2 Dror G. Feitelson 2 Duncan G. Copeland 2 Duncan J. Watts 2 Duško Karaklajić 2 Dénes Szűcs 2 E. A. Emerson 2 E. Alkassar 2 E. Asarin 2 E. C. Milner 2 E. Chen 2 E. Cohen 2 E. Goettelmann 2 E. Grandry 2 E. Haas 2 E. Hosseini 2 E. Johnson 2 E. K. Vogel 2 E. M. Mayger 2 E. Marin 2 E. Mayger 2 E. Niemi 2 E. Nunes 2 E. R. Leukfeldt 2 E. Rescorla 2 E. Spelke 2 E. Zhai 2 E.M. Clarke 2 E.P. Stabler 2 E.V. Whiting 2 EASA, 2 EOSC Executive Board 2 EUROCONTROL, 2 Eder L. Fernandes 2 Edmund M Clarke 2 Edmund Melson Clarke 2 Edward A. Lee 2 Edward Cartwright 2 Edward J. McCluskey 2 Edward J. Schwartz 2 Edward Tomasz Napierala 2 Edwin J. Scheibner 2 Ehsan Hosseini 2 Eileen Tannenbaum 2 Elad Alon 2 Eleonora Franchi Scarselli 2 Elmar Habermalz 2 Elsevier, 2 Emil Dumitrescu 2 Emina Torlak 2 Eran Tromer 2 Eric Horvitz 2 Eric Johnston 2 Eric Osterweil 2 Eric Rosen 2 Eric Wustrow 2 Erich Grädel 2 Erik A. Mathiesen 2 Erik Elmroth 2 Erik Poll 2 Ernesto Van der Sar 2 Ernie Cohen 2 Ernst Biersack 2 Europol, 2 Eva Constantaras 2 Eva Lagunas 2 Everett M. Rogers 2 F. Brandner 2 F. Corno 2 F. DiCesare 2 F. Ferrandi 2 F. G. Hoffman 2 F. Gao 2 F. H. Sumner 2 F. Lin 2 F. Lisboa Malaquias 2 F. Miró-Llinares 2 F. Piessens 2 F. Ruffy 2 F. Sandoval‐Ibarra 2 F. Somenzi 2 F. T. Chong 2 F. Wiedijk 2 F. Wolter 2 F. Zaruba 2 F. ur Rahman 2 FAA, 2 Fabian Schuiki 2 Fabio Somenzi 2 Fabio Zanasi 2 Fabián E. Bustamante 2 Farimah Farahmandi 2 Farnam Jahanian 2 Faron Moller 2 Farzam Gilani 2 Fei Gao 2 Fei Xie 2 Felix A. Wolf 2 Felix Cuadrado 2 Filippo Menczer 2 Florent Miller 2 Florent Ouchet 2 Florian Lonsing 2 Florian Merz 2 Florian Pebay-Peyroula 2 Florian Streibelt 2 Florian Zaruba 2 Florian Zuleger 2 Francesco Restuccia 2 Francesco Savarese 2 Francisco J. Cantu 2 Franco Barbanera 2 Frank K. Gürkaynak 2 Frank Li 2 François-Xavier Standaert 2 Fraser Brown 2 Fred D. Davis 2 Frederick P. Brooks Jr. 2 Freek Wiedijk 2 Frédéric Recoules 2 Frédérick Douzet 2 Fu Song 2 Fulvio Risso 2 G. A. Alvarez 2 G. Ahn 2 G. Alonso 2 G. Aybay 2 G. Bruce Berriman 2 G. Chirkov 2 G. Cicchini 2 G. Doering 2 G. Dreo-Rodosek 2 G. Gough 2 G. Huet 2 G. Kane 2 G. M. Cicchini 2 G. M. Kelly 2 G. Michaelson 2 G. Michele Pinna 2 G. Mott 2 G. Pravadelli 2 G. Singh 2 G. Tziantzioulis 2 G. Zaza 2 Gabriel Geiger 2 Ganesh Lalitha Gopalakrishnan 2 Gareth Howells 2 Gary Lindstrom 2 Gary Soeller 2 Gaurav Kumar Singh 2 Gautam Akiwate 2 Gavin R. Price 2 Geoff Huston 2 Geoffrey M. Brown 2 Georg Merzdovnik 2 Georg Struth 2 George C. Necula 2 George H. Mealy 2 George J. Milne 2 George Milne 2 George Varghese 2 Georges Gonthier 2 Gerard J Holzmann 2 Gerard J. Holzmann 2 German Pinedo-Diaz 2 Gerrit A. Blaauw 2 Ghaith Tarawneh 2 Gian-Luigi Ferrari 2 Gianluca Boselli 2 Gianmarco Ottavi 2 Gideon Juve 2 Gideon Mohr 2 Gil Neiger 2 Gilles Brassard 2 Gilles Gasiot 2 Gilles Kahn 2 Gilles Muller 2 Giovanni Bernardi 2 Giovanni De Micheli 2 Giuseppe Bianchi 2 Giuseppe Castagna 2 Glenn G. Ko 2 Glenn Merlet 2 Gottlob Frege 2 Graeme Barnes 2 Graham Priest 2 Grant Garrett-Grossman 2 Grażyna Mirkowska 2 Gregory Conti 2 Grenville Armitage 2 Grigory Chirkov 2 Guangrong Qin 2 Guangyu Hu 2 Guido Vetere 2 Guido van Rossum 2 Guillaume Girol 2 Guoqiang Wang 2 Guoxing Chen 2 Guram Bezhanishvili 2 Gustavo Glusman 2 Gustavo Petri 2 Guy Even 2 Gwen Salaün 2 Gérard Huet 2 H. Arabnejad 2 H. Balakrishnan 2 H. Bos 2 H. Busch 2 H. Garavel 2 H. Geuvers 2 H. H. Liu 2 H. Harkous 2 H. Hojjat 2 H. Janicke 2 H. Kim 2 H. Krawczyk 2 H. Langmaack 2 H. Lee 2 H. Li 2 H. Rueß 2 H. Shulman 2 H. Tews 2 H. Tschofenig 2 H. Veith 2 H. Wilson 2 H. Yu 2 H. Zhang 2 H. Zhu 2 Habib Mostafaei 2 Hamed Sattari 2 Hamid Arabnejad 2 Hamid Mahmoodi 2 Hanh-Phuc Le 2 Hanno Wupper 2 Hans Schneider 2 Hans Winderix 2 Hans-Jörg Peter 2 Hansa Mohanty 2 Hao Chen 2 Harris E. Michail 2 Harry D. Foster 2 Hashem Dehghanniri 2 Haskell B. Curry 2 He Jiang 2 Heather Quinn 2 Henan Zhao 2 Hendrik Tews 2 Henrich Lauko 2 Henrik Reif Andersen 2 Henry Birge-Lee 2 Henry M. Levy 2 Hervé Borrion 2 Hervé Chabanne 2 Hesham Almatary 2 Hoang M. Le 2 Honghan Wu 2 Hongli Yang 2 Houman Homayoun 2 Htet Aung 2 Hubert C. Kennedy 2 Hugo Andrade 2 Hugo Cable 2 Hugo Krawczyk 2 Hugo Zbinden 2 Hugues Cassé 2 Hugues Thiebeauld 2 Huimin Li 2 Hun-Seok Kim 2 Hunt Allcott 2 Huu Hai Nguyen 2 Huygens Optics 2 Hyung‐Jin Lee 2 I. Gupta 2 I. Kraan 2 IBM, 2 ISO, 2 Iain D. Couzin 2 Iakov Dalinger 2 Ian A. Young 2 Ilya Sergey 2 Inderpreet-Singh Dhingra 2 Intel Corporation 2 Intel, 2 Irina Calciu 2 Israel Koren 2 Italo Cunha 2 J A Goguen 2 J D Morison 2 J. A. Hoerni 2 J. A. Rodríguez-Velázquez 2 J. A. Zachman 2 J. Alex Halderman 2 J. Arkko 2 J. Bardeen 2 J. Baxter 2 J. Bi 2 J. Brotherston 2 J. Burton 2 J. C. Kao 2 J. C. Reynolds 2 J. Cable 2 J. D. Garside 2 J. D. Ullman 2 J. E. Dunbar 2 J. F. Cantlon 2 J. Feret 2 J. Gao 2 J. H. Hattingh 2 J. H. McKinna 2 J. Hauser 2 J. Heinlein 2 J. Hill 2 J. J. Horning 2 J. J. Wallace 2 J. Jensen 2 J. K. Oberg 2 J. Kljaich 2 J. Koenig 2 J. Kubiatowicz 2 J. L. McClelland 2 J. Laub 2 J. Lauritsen 2 J. Li 2 J. M. Sigarreta 2 J. MacColl 2 J. McCarthy 2 J. Ming 2 J. Misra 2 J. N. Oliveira 2 J. Nabrzyski 2 J. Ouaknine 2 J. P. Bowen 2 J. P. Queille 2 J. Park 2 J. Pettit 2 J. R. Goodman 2 J. R. Larus 2 J. Rose 2 J. Ross 2 J. S. Nye 2 J. Sawada 2 J. Stavi 2 J. Sullivan 2 J. Torrellas 2 J. Tu 2 J. Van Bulck 2 J. Wang 2 J. Wing 2 J. Worrell 2 J. Xu 2 J. Zhang 2 J. Zhao 2 J. Zheng 2 J. Zuckerman 2 J. van Dijk 2 J.-C. Brignone 2 J.A. Bergstra 2 J.G. Thistle 2 J.J. Raygoza-Panduro 2 J.M. Sigarreta 2 J.V. Guttag 2 J.W. O'Leary 2 Jaakko Hintikka 2 Jack S. Kilby 2 Jacob A. Abraham 2 Jacques-Louis Lions 2 Jae-sun Seo 2 Jakob Feldtkeller 2 Jakub Breier 2 Jakub Czyz 2 James C. Corbett 2 James Edwards 2 James H. Fetzer 2 James H. Morris 2 James L. McKenney 2 James Lapalme 2 James Laudon 2 James V. Stone 2 Jan A. Bergstra 2 Jan Dörrenbächer 2 Jan L. A. van de Snepscheut 2 Jan Mrázek 2 Jan Tobias Mühlberg 2 Jan von Plato 2 Janusz Brzozowski 2 Jason K. Oberg 2 Jason Nieh 2 Jean Arlat 2 Jean-Christophe Plantin 2 Jean-Claude Laprie 2 Jean-Marc Daveau 2 Jean-Pierre Talpin 2 Jean-Yves Girard 2 Jean-Yves Marion 2 Jean‐Louis Lanet 2 Jean‐Pierre Seifert 2 Jeff Z. Pan 2 Jeremy L O’Brien 2 Jerome H. Saltzer 2 Jerome Lescot 2 Jia He 2 Jia Wang 2 Jiahui Xu 2 Jianwei Zhang 2 Jianyi Cheng 2 Jiaqi Yin 2 Jiarong Xing 2 Jiaying Zhu 2 Jie Lin 2 Jieung Kim 2 Jin-Hee Cho 2 Jo Ebergen 2 Joachim Parrow 2 Joao Afonso 2 Joel S. Emer 2 Joep Kessels 2 Johannes Mueller 2 Johannes Müller 2 John Backus 2 John David Kubiatowicz 2 John E. Bowers 2 John E. McNamara 2 John Good 2 John Havlicek 2 John LeRoy Hennessy 2 John McCarthy 2 John O'Leary 2 John P. Burgess 2 John P. Hayes 2 John Regehr 2 John V. Tucker 2 Jon French 2 Jonathan Douglas 2 Jonathan Protzenko 2 Jonathan S. Shapiro 2 Jonathan Stavi 2 Jonathan Stempel 2 Jonathan Walpole 2 Joonkoo Park 2 Jorge Crichigno 2 Jorge G. Barbosa 2 Jose Monteiro 2 Jose Rodrigo Sanchez Vicarte 2 Josef Widder 2 Josep Balasch 2 Joseph A. Goguen 2 Joseph Gravellier 2 Joseph R. Kiniry 2 Joseph Tassarotti 2 Joseph Yehuda Halpern 2 Josselin Feist 2 Josyula R. Rao 2 José Meseguer 2 José van Dijck 2 Jouko Vaananen 2 Jouko Väänänen 2 Jr, 2 Juan A. Navarro Pérez 2 Juan M. R. Parrondo 2 Juan Sequeda 2 Juang-Ying Chueh 2 Jueming Bao 2 Julia Lawall 2 Julien Iguchi-Cartigny 2 Julien M. Hendrickx 2 Julien Proy 2 Jun Mao 2 Jun Sawada 2 Jun Sun 2 Jun Zhang 2 Junko Takahashi 2 Justin-Casimir Braun 2 Józef Wozniak 2 Jürgen Maier 2 K. Asanovic 2 K. Eshraghian 2 K. Etessami 2 K. Falkner 2 K. Gharachorloo 2 K. Johnson 2 K. Keutzer 2 K. Kompella 2 K. Levchenko 2 K. McMillan 2 K. Nagaraj 2 K. Pease 2 K. Rath 2 K. Ray-Liu 2 K. Razavi 2 K. Rudie 2 K. Schmidt 2 K. Schneider 2 K. Sen 2 K. Sriram 2 K. Verchinine 2 K. Wang 2 K. Wittebrood 2 K. Xu 2 Kai Engelhardt 2 Kaiyuan Zhang 2 Kang G. Shin 2 Karan Vahi 2 Karen Wynn 2 Karim Tobich 2 Karthik Soman 2 Karthikeyan Sankaralingam 2 Kashyap Thimmaraju 2 Kasper Grotle Rasmussen 2 Kasper Svendsen 2 Kathleen Fisher 2 Kaushik Ravindran 2 Kavé Salamatian 2 Kecheng Hao 2 Keijo Heljanko 2 Keith A. Bartlett 2 Ken Thompson 2 Kenneth L. Hacker 2 Kenneth L. Shepard 2 Kenneth Waltz 2 Kent Shefchek 2 Khaled Kirah 2 Kimia Zamiri Azar 2 Kristin Barber 2 Kristin Yvonne Rozier 2 Krzysztof Gierlowski 2 Kshitij Bansal 2 Kuansan Wang 2 Kunle Olukotun 2 Kurt Gödel 2 Kurt Keutzer 2 L. Allodi 2 L. C. Paulson 2 L. Cardelli 2 L. E. Cohen 2 L. F. P. Etman 2 L. Hedrich 2 L. Hella 2 L. Hu 2 L. J. Hornbeck 2 L. Kleinrock 2 L. M. Trick 2 L. Maingault 2 L. Montoya 2 L. Nieuwenhuis 2 L. P. Carloni 2 L. Peterson 2 L. Rossen 2 L. Segoufin 2 L. Szekeres 2 L. Vegoda 2 L. Versluis 2 L. Vicisano 2 LEO Policy Working Group 2 Lambert G. L. T. Meertens 2 Larry Peterson 2 Lars Hedrich 2 Lars J. Svensson 2 Lars Prehn 2 Lars Rossen 2 Lauren Sanders 2 Laurent Sauvage 2 Lawrence C Paulson 2 Lawrence G. Roberts 2 Lawrence Paulson 2 Lawrence S. Moss 2 Leandro Bertholdo 2 Lei Feng 2 Leila Delshadtehrani 2 Lejla Batina 2 Lennart Weingarten 2 Leonard Adolphs 2 Leonard Kleinrock 2 Leonardo de Moura 2 Lin Cheng 2 Lixin Gao 2 Lorenzo Chelini 2 Louis Goubin 2 Louis Pétiniaud 2 Louise Amoore 2 Luc Segoufin 2 Luca Cardelli 2 Luca Cittadini 2 Lucas Kello 2 Ludovic Claudepierre 2 Luis Entrena 2 Lukas Auer 2 Luke Nelson 2 M. A. Hillebrand 2 M. A. Maarof 2 M. Bohr 2 M. Boogaard 2 M. Budiu 2 M. C. Papaefthymiou 2 M. C. W. Geilen 2 M. Chaudhuri 2 M. Cornea-Hasegan 2 M. Cotton 2 M. Cruyff 2 M. D. Krohn 2 M. E. Libertus 2 M. Eling 2 M. F. Kaashoek 2 M. Fiorito 2 M. Francis 2 M. G. Hinchey 2 M. Ghobadi 2 M. Gries 2 M. Guizani 2 M. H. de Queiroz 2 M. He 2 M. Hennessy 2 M. Hoffmann 2 M. Hohmuth 2 M. Hopkins 2 M. Humphrey 2 M. J. Bellido 2 M. J. Bellido-Díaz 2 M. J. Gans 2 M. Jarschel 2 M. Juliato 2 M. Kebaili 2 M. Kishinevsky 2 M. Konow 2 M. Lindskog 2 M. Lisart 2 M. Litterick 2 M. Longley 2 M. M. Atalla 2 M. Malawski 2 M. McLoone 2 M. Nicolaidis 2 M. Orenes-Vera 2 M. Pister 2 M. Rahman 2 M. Rem 2 M. Riepen 2 M. Rivera-Acosta 2 M. Rosenblum 2 M. S. B. Mahmoud 2 M. Sagiv 2 M. Schäfer 2 M. Sighireanu 2 M. Smith 2 M. Srivas 2 M. Su 2 M. T. Arashloo 2 M. Tiwari 2 M. Townsley 2 M. Turner 2 M. V. Eeten 2 M. Vardi 2 M. Waidner 2 M. Wang 2 M. Wilhelm 2 M. Xu 2 M. Y. Vardi 2 M. Yoeli 2 M. de Rijke 2 M.D. Aagaard 2 M.D. Hill 2 M.J.C. Gordon 2 MARIUS A. PAŞCA 2 Maarten de Rijke 2 Madeline B. Deutsch 2 Mads Tofte 2 Maik Ender 2 Mallikarjun Rao Nakkala 2 Manfred Broy 2 Manos Kapritsos 2 Manuel Silva 2 Manuela Piazza 2 Marc Dacier 2 Marc F. Witteman 2 Marc Jankowski 2 Marc Lacruche 2 Marc Schlickling 2 Marcel Winandy 2 Marcello M. Bonsangue 2 Marcelo Teixeira 2 Marco Autili 2 Marco Carbone 2 Marco Donato 2 Marco Palena 2 Marcus Völp 2 Maria Apostolaki 2 Maria Christofi 2 Maria Elena Miletto Petrazzini 2 Maria Grazia Buscemi 2 Mariangiola Dezani-Ciancaglini 2 Mariano Ceccato 2 Marijn J. H. Heule 2 Mario Bravetti 2 Marjan Sirjani 2 Mark A Reynolds 2 Mark A. Heinrich 2 Mark Bickford 2 Mark G Thompson 2 Mark Greenstreet 2 Mark H. Liffiton 2 Mark Handley 2 Mark Hillebrand 2 Mark R. Tuttle 2 Mark Seaborn 2 Mark Wyse 2 Mark van de Sanden 2 Markus Pister 2 Marno van der Maas 2 Martin Clochard 2 Martin Giese 2 Martin Hentschel 2 Martin Kreuzer 2 Martin M. Fejer 2 Martin Rinard 2 Martin Weiglhofer 2 Martin Zeiner 2 Martyn Thomas 2 Martín Abadi 2 Mathieu Dumont 2 Matthew Brush 2 Matthew Butterick 2 Matthew Fernandez 2 Matthew Gentzkow 2 Matthew Hennessy 2 Matthew Hicks 2 Matthew Hogan 2 Matthias Weber 2 Matthieu Baty 2 Maurice Clint 2 Maurice Vincent Wilkes 2 Max Ehammer 2 McKenzie Wark 2 Mehdi Khosravian 2 Melvin Fitting 2 Mendel Rosenblum 2 Mengjie Yu 2 Mengxia Tao 2 Mercedes Gimeno-Segovia 2 Mertcan Temel 2 Michael A. Allen 2 Michael D. Ernst 2 Michael Felux 2 Michael Hicks 2 Michael J. Fischer 2 Michael Katelman 2 Michael O. Rabin 2 Michael P Fourman 2 Michael R. Clarkson 2 Michael S. Paterson 2 Michael Schaffner 2 Michael Schroeder 2 Michael Tautschnig 2 Michael Taylor 2 Michael W. Whalen 2 Michal Krelina 2 Michał Hoeft 2 Michele Dorigatti 2 Michiel P. Lotter 2 Mick Francis 2 Mihir Pant 2 Mike Papadakis 2 Mikołaj Bojańczyk 2 Milo M. K. Martin 2 Milo M.K. Martin 2 Ming Cao 2 Ming Gu 2 Mingoo Seok 2 Mitchell A. Thornton 2 Mnacho Echenim 2 Mogens Nielsen 2 Mohammad Reza Heidari Iman 2 Mohammad Zubair Ahmad 2 Monica Scannapieco 2 Moslem Didehban 2 Moyang Wang 2 Mu Zhu 2 Muhammad Khurram Khan 2 Muhammad M. Khellah 2 Munindar P. Singh 2 Munraj Vadera 2 Murray H. Woods 2 N E Peeling 2 N, 2 N. Abramson 2 N. Bjørner 2 N. G. de Bruijn 2 N. K. DeWind 2 N. Larrieu 2 N. Markey 2 N. Mayer 2 N. Piterman 2 N. Torp-Smith 2 N. Zeldovich 2 Nadav Amit 2 Nadesh Ramanathan 2 Nadia Polikarpova 2 Nadiya Kostyuk 2 Naeem Abbasi 2 Naga Durga Prasad Avirneni 2 Nahmsuk Oh 2 Nancy Leveson 2 Naofumi Homma 2 Naomi Nickerson 2 Nasser A. Kurd 2 Nate Foster 2 National Institutes of Health 2 National Science Foundation 2 Neelakantan R. Krishnaswami 2 Neil C. Thompson 2 Nicholas Botzer 2 Nicholas Mosier 2 Nicholas Nethercote 2 Nicholas Weaver 2 Nick Sullivan 2 Nickolai Zeldovich 2 Nicolas Marti 2 Nicolas Peltier 2 Nicolas Sklavos 2 Niels Quack 2 Niklas Vogel 2 Nikolai Tillmann 2 Nikos Vasilakis 2 Nilotpola Sarma 2 Nils Wistoff 2 Nir Piterman 2 Niranjan Hasabnis 2 Nissim Francez 2 Noam Shazeer 2 Nobuyuki Matsuda 2 Norbert Wiener 2 Norman P. Jouppi 2 O. Weisse 2 Oded Goldreich 2 Oded Padon 2 Odysseas Koufopavlou 2 Ofer Strichman 2 Office of Management and Budget 2 Oleksandr Zinenko 2 Oleksii Oleksenko 2 Oliver Schwarz 2 Olivier Bonaventure 2 Olivier Thonnard 2 Onur Aciicmez 2 Onur Guzey 2 Orna Lichtenstein 2 P. Blackburn 2 P. Brereton 2 P. Caspi 2 P. Cavalloro 2 P. E. Lauer 2 P. Eronen 2 P. G. M. van der Heijden 2 P. Godefroid 2 P. Graham 2 P. Hanrahan 2 P. Ienne 2 P. J. Landin 2 P. Lee 2 P. Mishra 2 P. Pan 2 P. Pessl 2 P. Restle 2 P. Rouse 2 P. Ruiz-de Clavijo 2 P. Schwabe 2 P. Swierczynski 2 P. T. Wilkinson 2 P. W. Anderson 2 P. Wang 2 P. Wolper 2 P. Zave 2 Pablo Rauzy 2 Pamela Zave 2 Pandu Nayak 2 Pankaj Rohatgi 2 Paolo Ceravolo 2 Paolo Di Giamberardino 2 Paolo Enrico Camurati 2 Paolo Mantovani 2 Paolo Pasini 2 Paolo Tonella 2 Paolo Zuliani 2 Paris C. Kanellakis 2 Pascal Cuoq 2 Patrick Birchall 2 Patrick Wang 2 Paul Ammann 2 Paul Bogdan 2 Paul C. Kocher 2 Paul C. van Oorschot 2 Paul E. Ceruzzi 2 Paul Francis 2 Paul Le Guernic 2 Paul M. Nakasone 2 Paul N. Whatmough 2 Paul Scheffler 2 Paul Taylor 2 Paulo Alexandre Regis 2 Paulo Oliva 2 Payam Rabiei 2 Peitian Pan 2 Per Stenström 2 Persi W. Diaconis 2 Peter A. Beerel 2 Peter Höfner 2 Peter Jamieson 2 Peter Lee 2 Peter Müller 2 Peter O'Hearn 2 Peter Shadbolt 2 Petros Gigis 2 Ph. Schnoebelen 2 Philip Branch 2 Philip P. Shirvani 2 Philipp Jovanovic 2 Philippe Cudré-Mauroux 2 Philippe Gendrier 2 Philippe Loubet-Moundi 2 Philippe Owezarski 2 Philippe Roche 2 Philippe de Choudens 2 Phillip J Windley 2 Pierre Edinger 2 Pierre Francois 2 Pierre-Alain Moëllic 2 Pierre-Antoine Vervier 2 Pierre-Yves Péneau 2 Pierre-Yves Strub 2 Pierre‐Yves Schobbens 2 Pirmin Vogel 2 Poras T. Balsara 2 Pradyumna Shome 2 Prashanth Chandran 2 Prashanth Mohan 2 Praveen Mosalikanti 2 Prem R. Menon 2 Q. Liao 2 Q. Shi 2 Q. Zhu 2 Qian Ge 2 Qian Wang 2 R Sekar 2 R, 2 R. A. G. Seely 2 R. Abbott 2 R. Balasubramonian 2 R. Barnes 2 R. Bloem 2 R. Brayton 2 R. Brewer 2 R. Böhme 2 R. C. Laskar 2 R. Chandra 2 R. Cousot 2 R. E. Kahn 2 R. Evans 2 R. Fink 2 R. G. Dutta 2 R. Ginosar 2 R. Harper 2 R. Hoheisel 2 R. J. M. Theunissen 2 R. L. Constable 2 R. Lai 2 R. Leukfeldt 2 R. M. Burstall 2 R. M. Schneider 2 R. M. Tomasulo 2 R. Maynard 2 R. Morales 2 R. Navarro 2 R. Pries 2 R. Prodan 2 R. S. Boyer 2 R. Sahita 2 R. Sampson 2 R. Schediwy 2 R. Smith 2 R. Soulé 2 R. W. Butler 2 R. Wang 2 R. Wilhelm 2 R. Zhang 2 R.B. Hughes 2 R.B. Jones 2 R.W.S. Hale 2 Radu Teodorescu 2 Rafael Ferreira da Silva 2 Rainer Hegselmann 2 Rajdeep Mukherjee 2 Rajesh Kumar 2 Rajiv Kumar Ranjan 2 Ralf Hund 2 Ralph Hertwig 2 Ralph Holz 2 Ralph L. London 2 Ramakrishna Padmanabhan 2 Ramesh Karri 2 Rami Gökhan Kıcı 2 Ramin Hojati 2 Randal E Bryant 2 Raphael Rubin 2 Rastislav Bodík 2 Ratul Mahajan 2 Ravikanth Pappu 2 Ravinder Rachala 2 Ray Iskander 2 Raymond Laflamme 2 Raúl E. Monti 2 Renaissance Computing Institute (RENCI) 2 Renaud Clavel 2 Reynald Affeldt 2 Rhishikesh Limaye 2 Ricardo Bianchini 2 Ricardo Reis 2 Richard A DeMillo 2 Richard Bonichon 2 Richard Bramante 2 Richard Bruskiewich 2 Richard H. Van Atta 2 Richard J Lipton 2 Richard J. Boulton 2 Richard J. Feiertag 2 Richard J. Lipton 2 Richard L. Rudell 2 Richard M. Karp 2 Richard R. Sharp 2 Richard Smith 2 Richard Soref 2 Ricky W. Butler 2 Rijkswaterstaat, 2 Rinkle Jain 2 Rizos Sakellariou 2 Rob Arthan 2 Rob Kitchin 2 Robert B. Jones 2 Robert Bogdan Staszewski 2 Robert Chesney 2 Robert J. Chapman 2 Robert Jervis 2 Robert L. Constable 2 Robert M. Gray 2 Robert M. Hinden 2 Robert N. Noyce 2 Robert P. Goldberg 2 Robert Pollack 2 Robert Primas 2 Robert S. Fabry 2 Robert W. Harper 2 Robert W. Shirey 2 Robert Wrembel 2 Roberto Arrighi 2 Roberto Cavada 2 Roberto Di Pietro 2 Roberto Gorrieri 2 Roberto Guanciale 2 Roberto Natella 2 Roberto Sebastiani 2 Robin Piedeleu 2 Robin Sharp 2 Rochel Gelman 2 Rod Chapman 2 Rohit Parikh 2 Ronald Dreslinski 2 Ronald Fagin 2 Ronald V. Clarke 2 Ronald van den Berg 2 Rong Su 2 Roope Kaivola 2 Ross J. Anderson 2 Rudolf L. van Renesse 2 Russell Impagliazzo 2 Ruzica Piskac 2 Rémi Tucoulou 2 S, 2 S. B. Furber 2 S. Bharathi 2 S. Borkar 2 S. Curzel 2 S. F. Smith 2 S. Ferrigno 2 S. Goel 2 S. Graf 2 S. Gribble 2 S. H. Unger 2 S. Harting 2 S. Huang 2 S. J. Garland 2 S. K. Muduli 2 S. K. Reinhardt 2 S. Kang 2 S. Kasarapu 2 S. Khan 2 S. Kim 2 S. Kounev 2 S. Lau 2 S. Lee 2 S. Lu 2 S. M. Mueller 2 S. M. Müller 2 S. Malik 2 S. Mandal 2 S. Mangard 2 S. Miremadi 2 S. Mukherjee 2 S. P. Miller 2 S. Sarwary 2 S. Scott-Hayward 2 S. Sezer 2 S. Shukla 2 S. Srinivasan 2 S. Tahar 2 S. Tait 2 S. Tajalizadehkhoob 2 S. Thesing 2 S. Tripakis 2 S. Turner 2 S. Zheng 2 S.-Y. Wu 2 S.K. Reinhardt 2 S.L. Gerhart 2 S.P. Miller 2 SESAR JU 2 Sabre Kais 2 Sae Kyu Lee 2 Sai Manoj P D 2 Sajed Miremadi 2 Sally A. McKee 2 Sam Ainsworth 2 Sam Biddle 2 Saman P. Amarasinghe 2 Samik Basu 2 Samin S. Ishtiaq 2 Samira Ait Bensaid 2 Samuel Gruetter 2 Samuel Kounev 2 Sandeep K. Shukla 2 Sandra M. Hedetniemi 2 Sangeetha Abdu Jyothi 2 Sanjay Pant 2 Santosh Nagarakatte 2 Sarah Brayne 2 Sarah Lamdan 2 Sarven Capadisli 2 Sasan Fathpour 2 Savio Sciancalepore 2 Schahram Dustdar 2 Scott F. Smith 2 Scott Hauck 2 Scott Iekel-Johnson 2 Sebastian Ertel 2 Sebastian Zander 2 Sebastiano Miano 2 Serge Abiteboul 2 Sergei Skorobogatov 2 Sergeĭ Sergeev 2 Sergio Baranzini 2 Sergio Rajsbaum 2 Seymour J. Deitchman 2 Shahram Rasoolzadeh 2 Shamik Sengupta 2 Shaolin Xie 2 Shaza Zeitouni 2 Shekhar Y. Borkar 2 Shengchao Qin 2 Shih-Wei Li 2 Shinya Takamaeda-Yamazaki 2 Shreyas Srinivas 2 Shuvendu K. Lahiri 2 Sidney G. Reed 2 Silviu Chiricescu 2 Simha Sethumadhavan 2 Simon Moore 2 Simon Pontié 2 Sizhuo Zhang 2 Soline Ducousso 2 Son Tuan Vu 2 Sonia Belaïd 2 Soonho Kong 2 Sophie Billy 2 Sophie van der Zee 2 Sorin Lerner 2 Souheib Baarir 2 Sreeranga P. Rajan 2 Srinivasa Shashank Nuthakki 2 Sripathi Muralitharan 2 Stefan J. Galler 2 Stefan Katzenbeisser 2 Stefan Nikolić 2 Stefan Nolte 2 Stefan Savage 2 Stella F. Lourenco 2 Stella Lau 2 Stephan De Castro 2 Stephan Falke 2 Stephan Lewandowsky 2 Stephan Tobies 2 Stephen Cole Kleene 2 Stephen T. Kim 2 Stephen Wiesner 2 Steve Beattie 2 Steve Lacy 2 Steven C. Chan 2 Steven D. Eppinger 2 Steven K. Reinhardt 2 Steven M. Nowick 2 Stéphanie Anceau 2 Sudheendra Hangal 2 Sun-ha Hong 2 Suresh Rajgopal 2 Sushant Dinesh 2 Sven Beyer 2 Svetla Nikova 2 Sylvain Boulmé 2 Symeon Chatzinotas 2 T, 2 T. Anderson 2 T. C. Hales 2 T. Fahringer 2 T. Filkorn 2 T. Gebuis 2 T. H. J. Joustra 2 T. Huffmire 2 T. J. Holt 2 T. Jost 2 T. K. Lee 2 T. Kam 2 T. Kilburn 2 T. Koponen 2 T. Kropf 2 T. Lamdan 2 T. Nelson 2 T. Nguyen 2 T. Nipkow 2 T. P. Thornberry 2 T. W. Haynes 2 T. Wei 2 T. Wilschut 2 T. Xanthopoulos 2 T. Yu 2 T. Zhang 2 T.F. Melham 2 Taesoo Kim 2 Taha Albakour 2 Takafumi Aoki 2 Takahiro Sagawa 2 Tam-Anh Chu 2 Tao Li 2 Tao Xie 2 Taolue Chen 2 Tarik Nahhal 2 Technology, 2 Ted Ralston 2 Teresa W. Haynes 2 Terrence Kelly 2 Terry Stroup 2 Th. Schwentick 2 Thanassis Avgerinos 2 Thierno Barry 2 Thierry Turletti 2 Thomas A. Lang 2 Thomas Benz 2 Thomas C. Schmidt 2 Thomas Carle 2 Thomas Chamelot 2 Thomas D. Burd 2 Thomas Dinsdale-Young 2 Thomas F. Knight Jr 2 Thomas J. Chaney 2 Thomas King 2 Thomas Noll 2 Thomas Ordas 2 Thomas Rid 2 Thomas Scialom 2 Thomas Trouchkine 2 Thomas Unterluggauer 2 Thomas Wies 2 Tianxiang Dai 2 Tim Güneysu 2 Tim Weninger 2 Timnit Gebru 2 Timos Antonopoulos 2 Timothy K. Tsai 2 Timothy Kam 2 Timothy M. Jones 2 Timothy Trippel 2 Ting-Pien Fang 2 Tiziana Catarci 2 Tiziana Margaria 2 Tobias Fiebig 2 Todd Tannenbaum 2 Tom Anderson 2 Tom In der Rieden 2 Tomas Hlavacek 2 Tomáš Vojnar 2 Torsten Hoefler 2 Trevor Mudge 2 Trevor Pering 2 Tri M. Nguyen 2 Tuan Ta 2 Tulika Mitra 2 Tutu Ajayi 2 Tyler Sorensen 2 U. Schmid 2 Udit Dhawan 2 Ugo de’Liguoro 2 Ulf Schlichtmann 2 Ulrich Krause 2 Uri D. Zarfaty 2 Utsav Banerjee 2 V Stavridou 2 V. Betz 2 V. De 2 V. Goranko 2 V. Izard 2 V. Jeyakumar 2 V. Lombart 2 V. Sathe 2 V. Sekar 2 Val Zwiller 2 Vasilis Galis 2 Venkata Rajesh Pamula 2 Venkatesh Akella 2 Victor Lomné 2 Vincent D. Blondel 2 Vinton G. Cerf 2 Virgile Prévosto 2 Vladimir Herdt 2 Vlado Dančík 2 Vytautas Astrauskas 2 W. C. Carter 2 W. Gevers 2 W. H. Brattain 2 W. Shockley 2 W. Tu 2 W. Wang 2 W.J. Cullyer 2 Wai Wong 2 Walter Guttmann 2 Wan Fokkink 2 Warren A Hunt 2 Warren A. Hunt, Jr. 2 Wei He 2 Wei Li 2 Wei Wang 2 Wei Zhang 2 Weifan Jiang 2 Wenhao Wang 2 Willem Visser 2 William Brinkmeyer 2 William Swartz 2 Wim Bogaerts 2 Wolfgang Tittel 2 Wolfram Schulte 2 Wytse Oortwijn 2 X. Liu 2 X. Qiu 2 X. Rival 2 X. Tang 2 X. Wang 2 X. Wu 2 X. Zhao 2 X. Zou 2 Xavier Rival 2 Xianfeng Li 2 Xiangpeng Zhao 2 Xiao Ma 2 Xiaochen Li 2 Xiaofeng Zhou 2 Xiaojiong Chen 2 Xiaokang Qiu 2 Xiaoqi Zhou 2 Xiaowei Shen 2 Xiaoyu Song 2 Xin Gao 2 Xuan Thuy Ngo 2 Xuan-Nam Nguyen 2 Xun Li 2 Xuxian Jiang 2 Y. Gao 2 Y. Li 2 Y. Nir 2 Y. S. Meng 2 Y. Tai 2 Y. Xiao 2 Y. Xu 2 Y. Yang 2 Y. Zeng 2 Y. Zhu 2 Y.-A. Chen 2 Yan Lü 2 Yan Peng 2 Yang Liu 2 Yang Song 2 Yangdi Lyu 2 Yanghui Ou 2 Yannick Teglia 2 Yao Hsiao 2 Yaosheng Fu 2 Yaron Silberberg 2 Yasmine Abu-Haeyeh 2 Yassine Lakhnech 2 Yatin Hoskote 2 Yi Tay 2 Yi Zhang 2 Yifan Ding 2 Yingchen Wang 2 Yogesh K. Ramadass 2 Yossi Gilad 2 Yossi Malka 2 Yossi Matias 2 Youjung Shin 2 Yu-Wei Fan 2 Yuan Lu 2 Yuan Yu 2 Yuchen Wang 2 Yulin Chi 2 Yuval Shavitt 2 Yves Lafont 2 Z. Chen 2 Z. Huang 2 Z. Luo 2 Z. Shao 2 Z. Xi 2 Z. Xu 2 Z. Zhao 2 Zachary S. Bischof 2 Zaher S. Andraus 2 Zakaria Najm 2 Zdenek Vasicek 2 Zelin Wan 2 Zhan Song 2 Zhang, G.-Q. 2 Zhendong Su 2 Zhihao Xu 2 Zhiru Zhang 2 Zhé Hóu 2 Zixuan Hu 2 Zongyan Qiu 2 Zurab Khasidashvili 2 danah boyd 2 route 2 Ştefan Ciobâcă 2 Ștefan Andrei 2