pedagand's library

Abadi   Abbott   Abrahamson   Ac   Acar   Aceto   Adabala   Adve   Adya   Agterkamp   Aguilera   Aho   Aiken   Aitken   Akkary   Albrecht   Alexopoulos   Ali Reza Adl Tabatabai   Allavena   Allen-Williams   Alonso   Altenkirch   Altman   Alur   Alvisi   Ammar   Anderson   Andreoli   Annamalai   Annapureddy   Appavoo   Arora   Asanovic   Asmussen   Asperti   Atkey   Audebaud   Augustsson   Auslander   Avigad   Avots   Awodey   Axelsson   Aydt   Azagury   Azero   Bérard   Baars   Back   Backhouse   Backus   Bacon   Badros   Baer   Bagrak   Baker   Bala   Balakrishnan   Ball   Banâtre   Banachowski   Banerjee   Banerjia   Banga   Banâtre   Banătre   Barbour   Barcellos   Barendregt   Barham   Baron   Barr   Barthe   Barzilay   Basrai   Baumann   Bawden   Beatty   Becker   Benson   Bensoussan   Benton   Berger   Berghofer   Berndl   Bernstein   Berry   Bershad   Bhagwan   Bharadwaj   Bhat   Bhattacharjee   Bhirud   Biagioni   Bierhoff   Bird   Birman   Birrell   Bishop   Bisson   Bjesse   Black   Blazy   Blelloch   Blott   Boggs   Bollobas   Bolosky   Bonald   Bonichon   Bortnikov   Bouajjani   Boudol   Bounimova   Bourke   Bouyer   Bove   Bradski   Brady   Brandt   Braud   Breslau   Brewer   Briceno   Brown   Broy   Bryant   Budiu   Buneman   Burns   Burrows   Burton   Butrico   Byers   Cachopo   Callaghan   Cao   Carbin   Carette   Carlsson   Carns   Casey   Caspi   Castellani   Castro   Cates   Cesario   Chadha   Chakravarty   Chandra   Chapin   Chapman   Chase   Chaudhuri   Chawla   Chelf   Chen   Cheng   Cherenson   Cheriton   Chevalier   Chien   Chin   Chlipala   Chong   Chou   Chu   Chuang   Chung-Chieh   Cinar   Clément   Claessen   Clark   Clement   Clingen   Cock   Cohen   Cola\cco   Comon   Condie   Condit   Consel   Cook   Cooper   Coquand   Corbett   Corner   Cortes   Costa   Costello   Coupet-Grimal   Courant   Courtney   Cousot   Coutant   Crandall   Crary   Criswell   Crole   Crowcroft   Culler   Cunningham   Da Silva   Dahlin   Daley   Dalton   Damas   Dang   Daniel   Danielsson   Danvy   Dargaye   Daswani   Davis   De Vries   Dean   Dehon   Delahaye   Delaval   Deline   Demers   Denneulin   Denning   Derrin   Despeyroux   Devadas   Devine   Dhurjati   Di Pierro   Dias   Diatchki   Dice   Diekert   Diestel   Dietzfelbinger   Dill   Discolo   Diwan   Dolev   Doligez   Donnelly   Douceur   Douglis   Dragovic   Draves   Dreizin   Driscoll   Druschel   Drushel   Duba   Duda   Duesterwald   Duller   Dunfield   Dunlap   Duponcheel   Dybjer   Dyckhoff   Eaton   Ebcioglu   Eber   Efstathopoulos   Eggers   Elkaduwe   Elkins   Elliott   Elphinstone   Emer   Engler   Ennals   Ernst   Ertl   Esparza   Estrin   Eugster   Evers   F&\#228;hndrich   Factor   Fahndrich   Fairbairns   Fan   Feitelson   Felber   Felleisen   Fetterly   Fetzer   Figueiredo   Filinski   Filliâtre   Findler   Fineberg   Finne   Fischer   Fisher   Fiuczynski   Flanagan   Flatt   Flaxman   Flinn   Fluet   Focht   Fokker   Fokkinga   Ford   Fortes   Foster   Fournet   Fradet   Francis   Franklin   Fraser   Freedman   Freund   Frey   Friedman   Frieze   Fähndrich   GÉRARD HUE   Gabriel   Gagnon   Gallaire   Ganesh   Ganger   Ganguly   Gani   Garcia-Molina   Garland   Gastin   Gauthier   Gavidia   Gay   Geels   Gerhart   Gerlach   Geuvers   Ghani   Ghemawat   Ghosh   Ghuloum   Gibbons   Gibson   Gil   Girard   Girault   Gkantsidis   Glew   Glushko   Glynn   Gobioff   Godefroid   Goguen   Goldberg   Goldszmidt   Gonthier   Goodenough   Goodman   Gordon   Goyal   Graham   Gregg   Gribble   Grimal   Grimaldi   Grimmett   Grossglauser   Grossman   Grundy   Gschwind   Guerraoui   Gummadi   Guo   Gupta   Gurevich   Guttag   Habouzit   Hackett   Hadzilacos   Haeberlen   Halbwachs   Hallem   Hallgren   Halstead   Hamilton   Hamon   Hancock   Hand   Handley   Hankin   Hardy   Harper   Harren   Harrington   Harris   Harrison   Hartman   Hauswirth   Hawblitzel   Hayden   Hedetniemi   Heerink   Heiser   Heldal   Hellerstein   Hellman   Henderson   Hendren   Henis   Henriques   Herlihy   Herman   Hermenier   Hersch   Hertz   Herzog   Hess   Hibler   Hickey   Hinze   Ho   Hoare   Hodson   Hoflehner   Holst   Hoogendijk   Hopcroft   Howden   Howell   Hsu   Huang   Huard   Huck   Hudak   Hughes   Hunt   Hupfeld   Hutton   Hyden   Ingalls   Irwin   Isaacs   Isard   Jacobs   Jacobson   Jakubiec   Jansen   Jansson   Jard   Jaskelioff   Jayadev   Jayaraman   Jeron   Jeuring   Jhala   John   Johnson   Johnsson   Jon   Jonathan   Jones   Joseph   Joshi   Jurski   Jéron   Kaashoek   Kahn   Kaminsky   Kar   Karger   Karp   Katabi   Katz   Keahey   Keidar   Keller   Kelly   Kelton   Kempe   Kennedy   Kermarrec   Khuller   Kiczales   Kieburtz   Kieffer   Killian   Kim   King   Kiselyov   Klein   Kleinberg   Kliot   Knies   Knuth   Ko   Kohler   Kolbeck   Kolesnikov   Kommareddy   Konrath   Koopman   Kostadinov   Kostic   Kostic   Kougiouris   Kozen   Kozyrakis   Kranz   Kreitz   Krichen   Krieger   Krohn   Krsul   Kubiatowicz   Kuchen   Kumar   Kuncak   Kurose   Kuwanoe   Kuz   Läufer   Lèbre   Lafont   Lahiri   Lam   Lamping   Lamport   Lampson   Landau   Lane   Langendoen   Laroussinie   Larrabee   Larus   Lassen   Lauer   Launchbury   Lawvere   Lazowska   Le Métayer   Le Mètayer   Le Metayer   Le Métayer   Le Métayer   Leblanc   Lebre   Lechtchinsky   Lee   Lefessant   Leifer   Leijen   Lengrand   Lenharth   Lepreau   Leroy   Leshchinskiy   Leslie   Leung   Levi   Levin   Levis   Levy   Lhoták   Li   Liang   Libkin   Lichtenberg   Liedtke   Liestman   Lim   Lin   Lindblad   Linger   Liu   Livshits   Lloyd   Lo   Loch   Locher   Loingtier   Lombard   Longo   Loo   Loogen   Lopes   Loriant   Lottiaux   Lovejoy   Luby   Lucco   Luchangco   Lumsdaine   Luo   Luth   Lynch   Lämmel   Löh   Mérillon   Ma   Maeda   Mahajan   Mainland   Maler   Malo   Maniatis   Mansilha   Maranget   Marché   Marian   Markatos   Marlet   Marlow   Marsh   Marti   Martin   Martin Erwi   Martin-Löf   Mason   Massalin   Massoulie   Mathieu   Matsunaga   Mattern   Matthews   Mazières   McBride   McKinna   Mcadam   Mcauley   Mcbride   Mccloskey   Mcgachey   Mcgarvey   Mcgrath   Mckinna   Mcpeak   Meertens   Meijer   Menaud   Mendhekar   Menezes   Menon   Mergen   Merritt   Merz   Metcalfe   Meth   Milanova   Milner   Misra   Mitchell   Mitzenmacher   Mockapetris   Moggi   Mogul   Mohr   Moir   Moor   Moran   Morazán   Morin   Morris   Morrisett   Mosberger   Moss   Mu   Mulder   Muller   Muthitacharoen   Muthukumar   Mycroft   Myers   Mytkowicz   Müller   Nakayama   Nandi   Naor   Napper   Nardelli   Naylor   Necula   Needham   Neefe   Nelson   Nethercote   Neugebauer   Newman   Ngan   Nguyen   Nielsen   Nielson   Nightingale   Nilsson   Nipkow   Nitzberg   Noble   Nordstrom   Norell   Notkin   Odersky   Oechslin   Okasaki   Oliveira   Ondrusek   Or-Bach   Oram   Osamu   Ostrand   Ostrowski   Oury   Ousterhout   Owens   Padioleau   Padmanabhan   Pai   Palmgren   Pang   Pardyak   Pareto   Park   Partridge   Patel   Paterson   Patterson   Pattinson   Paulin-Mohring   Pašalić   Penmetsa   Perelman   Perino   Peskine   Peter   Peterson   Petersson   Petit   Petters   Peyton Jones   Peyton-Jones   Pfannenstiel   Pfeffer   Pfenning   Phanishayee   Phillips   Picconi   Pierce   Pinckney   Pinto   Plasmeijer   Pleszkun   Pnueli   Pogosyants   Pollack   Popek   Pottier   Pouzet   Power   Pratt   Presotto   Prince   Proebsting   Pu   Pucella   Qadeer   Qian   Qiu   Réveillère   Radenac   Radoslavov   Raghuraman   Rahul   Rajamani   Rajan   Ramakrishnan   Ramsey   Ranger   Rao   Rapps   Rashid   Ratnasamy   Rau   Raynal   Redell   Reed   Rege   Regis-Gianas   Reid   Rellermeyer   Remy   Reppy   Reus   Rexford   Reynolds   Rhea   Ridge   Riegel   Rinard   Rinetzky   Ringenburg   Ritchie   Ritosilva   Rivest   Roberts   Rodeh   Rodriguez   Rohrs   Romer   Roscoe   Rose   Roselli   Rosenblum   Rosenburg   Rosenfeld   Ross   Rountev   Rowstron   Roy   Runciman   Russell   Russo   Rusu   Rutenbar   Ruth   Rutten   Ryder   Ryzhyk   Régis-Gianas   Sabry   Saks   Saltzer   Samuels   Sands   Sansom   Saraiva   Sarkar   Sathaye   Satran   Savage   Schanuel   Schapbach   Schenker   Scherer   Schiper   Schlansker   Schmeiser   Schmid   Schmidt   Schneider   Schroeder   Schupke   Schwan   Scott   Sechen   Seefried   Serjantov   Seshan   Seward   Sewell   Shah   Shalev   Shamir   Shan   Shapiro   Sharangpani   Shavit   Shaw   Sheard   Sheeran   Shenker   Shi   Shieh   Shields   Shivers   Shoup   Shpeisman   Shraer   Siegel   Silberschatz   Sima   Simeon   Simon   Singerman   Singh   Sirer   Sirivianos   Slivkins   Smith   Snir   Snoeren   Sotomayor   Sowa   Sozeau   Spiwack   Sridhar   Srikant   Stamm   Steen   Stender   Stephenson   Steve Kollmansberge   Steven   Stewart   Stoevring   Stoica   Stoodley   Stratford   Strecker   Strniša   Suciu   Sugerman   Suh   Sulzmann   Sung   Sweeney   Swierstra   Swift   Symons   Søgaard-Andersen   Taha   Tan   Tannen   Tasiran   Tati   Tavory   Taylor   Teller   Teodosiu   Thakur   Theimer   Thiemann   Thompson   Tirumalai   Tolmach   Toueg   Tov   Traversat   Tretmans   Trifonov   Tripakis   Tristan   Tsugawa   Tuch   Tullmann   Tullsen   Turner   Tuttle   Twigg   Uhlig   Umanee   Unkel   Useni   Ustuner   Uustalu   Uutsalu   Vafeiadis   Vahdat   Valentin   Vandebogart   Vandekieft   Varghese   Varoquaux   Veeraraghavan   Veldhuizen   Vene   Venkitachalam   Verwoerd   Viera   Vin   Vitale   Vochteloo   Voelker   Voigtländer   Voulgaris   Vytiniotis   Wadler   Wahbe   Waldron   Walker   Wallach   Walsh   Walter   Wan   Wand   Wang   Wansbrough   Warfield   Washburn   Waterland   Wattenhofer   Wawrzynek   Wehr   Weimer   Weirich   Welch   Wells   Welsh   Werner   Wetherall   Weyuker   Whaley   Whitaker   Wickizer   Wiener   Wiklicky   Wilde   Wilkes   William   Williams   Williamson   Wilson   Winskel   Wise   Wisniewski   Witchel   Wolman   Wolper   Wong   Wright   Wuu   Xenidis   Xi   Xie   Xu   Yang   Yannakakis   Yeager   Yerushalmi   Yi   Yu   Zaharoglou   Zahir   Zaleski   Zarfaty   Zdancewic   Zee   Zeldovich   Zhang   Zhao   Zhou   Zhu   Zhuang   Ziegler   Zinovieva   Zobel   Zou   Zwaenepoel   de Moor   van Eekelen   van Oosten   van Renesse   van Steen   von Wright