zhensong's library

AArzén   Abbeel   Abdallah   Acha   Adams   Afshari   Agesen   Agha   Agrawal   Ahn   Al   Alenljung   Alessandro   Alrabghi   Alur   Ambrosino   Anandarajah   And   Andersen   Anderson   Aoyama   Apiwattanapong   Ard Berry Georges Gonthier   Arora   Arumugam   Arzen   Aslam   Astrom   Auner   Avritzer   Azevedo   Azimi   Bajcsy   Bakken   Balakrishnan   Balasubramanian   Balbastre   Ball   Bandte   Bapat   Barbarossa   Barham   Barriault   Bartal   Bayen   Bayliss   Behrmann   Beker   Bekey   Bennett   Bergamo   Berry   Bertocchi   Beutel   Beyer   Bharathidasan   Bibyk   Bidstrup   Biere   Billmann   Booth   Borderies   Bormann   Bornard   Borojevic   Boroyevich   Bortoff   Bose   Bounimova   Boussinot   Bowyer   Bozzano   Brat   Broch   Brooks   Browne   Bruce   Brusatori   Bryant   Bucchiarone   Buehner   Burch   Burgos   Burnett   Buschmann   Butler   Butler-Purry   Byers   Cadilhac   Caffery   Callaghan   Campos   Canet   Cao   Cape   Cargille   Carignan   Cartes   Casavola   Cavallo   Celanovic   Cervin   Cetintemel   Chadwick   Chan   Chao   Charles Eastma   Chen   Cheng   Cheung   Chiang   Chiswick   Chockler   Choi   Chorpening   Chow   Cichos   Cifaldi   Cimatti   Clapan   Clarke   Cleary   Cm   Coates   Cofer   Coffin   Cokkinides   Collins   Colomb   Cook   Corbett   Correal   Correia   Corresponding   Couffin   Crespo   Crow   Cucej   Culler   D'Silva   Dasarathy   David   De Smet   Dellarocas   Demaille   Demirbas   Deng   Deshmukh   Desrochers   Deutsch   DiCesare   Dill   Dionysiou   Doerry   Dougal   Dragovic   Drusinky   Dubrovsky   Duflot   Dutta   Dwork   Dwyer   Eastman   Edwards   Eker   Emerson   Emery   Emmerich   Enders   Engstrom   Evans   Faber   Fadale   Fair   Fang   Faure   Fechner   Feng   Ferguson   Filkorn   Firby   Fiske   Flinders   Fontana   Forghieri   Foster   Francis   Franklin   Franks   Fraser   Frehse   Freisleben   Frey   Fribourg   Frick   Fruth   Fuess   Gadgil   Gadh   Galdi   Gamma   Gangloff   Gao   Gardner   Garmhausen   Garone   Gay   Georgescu   Gerhart   Ghang le   Ghodoussi   Ghosal   Giani   Giannakopoulou   Gilbert   Gill   Gilsinn   Ginhoux   Giunchiglia   Gjermundrod   Glazberg   Gleich   Gluck   Gnesi   Gokhale   Goldberg   Goldman   Goldsmith   Gonthier   Gouda   Gov   Govindan   Graham   Gray   Grocholsky   Grumberg   Gu   Guan   Guibas   Gummadi   Guo   Gupta   Haberland   Haddad   Hadim   Hagiya   Ham   Hamza-Lup   Han   Hand   Hanna   Haralampidis   Harker   Harris   Harrold   Hart   Hatcliff   Haugstetter   Hauser   Havelund   Hebner   Heggen   Heinzl   Hellerstein   Helm   Henning   Henriksson   Henzinger   Herault   Herman   High Confidence Software and Systems Coordinating Group   Highfill   Hingorani   Hittle   Ho   Hodgson   Hollingsworth   Holt   Holzmann   Hong   Hooper   Hordeski   Horowitz   House   Hu   Huang   Hudas   Hwang   Hylands   Hérault   Ioannou   Ioannou And Jing Sun   Isermann   Isler   Itzkowitz   Ivers   Iyengar   Jackson   Jangmin   Jeannette   Jensen   Jeong   Jetcheva   Jha   Jhala   Jochem   Johansson   Johnson   Jones   Juan   Jung   Kaashoek   Kaiser   Kamala   Kanaan   Kapinski   Kaplan   Karavanic   Karbowski   Karen   Karl-Heinz   Kazibwe   Kennedy   Kim   Kirsch   Klau   Klein   Knuth   Kollmann   Komareji   Kondek   Kotz   Krishna   Krishnakuma4   Kroeker   Kroening   Krogh   Kuhns   Kulathumani   Kulkarni   Kunchithapadam   Kurshan   Kwiatkowska   Kwiatowska   Kwon   Kyperountas   Lai   Lalo   Laltte   Lamport   Langtangen   Lapsley   Larsen   Larson   Larus   Lassaigne   Latella   Laubach   Lee   Leeser   Leitner   Lemaitre   Lennartson   Leonard   Lerda   Lesage   Leue   Levin   Levis   Levy   Lewis   Li   Liang   Lichtenberg   Lieberman   Lim   Lin   Lincoln   Liston   Litz   Liu   Lluesma   Logan   Lohse   Loveday   Low   Lowry   Lu   Lucarelli   Lugmaier   Luse   Lynch   Ma   Machado   Madden   Madni   Madrigal   Magniette   Mahnke   Maile   Majumdar   Maka   Makarenko   Maley   Maltz   Marescaux   Mark Nixon And Terrence Blevins And Wilhelm Wojsznis   Marshall   Martonosi   Mary   Masone   Massink   Mast   Mathes   Mauricio   Mazzini   McConnell   McCubbin   McMillan   Mcconnell   Mcgarvey   Mcgrath   Mckeon   Mcmillin   Messika   Meyer   Meyers   Microsoft   Miller   Millin   Min   Mitchell   Mittal   Miyashita   Mohamed   Monti   Moon   Moore   Morari   Morejon   Moreland   Morris   Mougharbel   Moulin   Mounier   Mowry   Muccini   Mukherjee   Murphy   Musliner   Müller   Nachman   Nagpal   Nah   Naik   Nair   Nath   Nayak   Nelson   Nenarokomov   Nepal   Nesterenko   Neuendorffer   Neugebauer   Neves   Nevistic   Newaz   Newhall   Newport   Ng   Nguyen   Nicollin   Niculescu   Niehaus   Nielsen   Nikolov   Niu   Norman   Nudehi   O'Dwyer   Oishi   Ondrusek   Onoue   Orni   Orso   Ortiz   Oyama   Padmanabhan   Panaitescu   Pandya   Papadimitriou   Papini   Park   Parker   Parle   Pasareanu   Pasternack   Patashnik   Patel   Pavlovic   Payer   Pearson   Peled   Pelliccione   Penix   Petriu   Peyronnet   Ph   Phaiboon   Phokharatkul   Picaronny   Pierini   Piff   Pinger   Pinto   Planinsic   Platzer   Polastre   Ponci   Poolla   Porras   Porter   Potamitis   Potthast   Powers   Prabhu   Pratt   Primbs   Pruggler   Psounis   Pujolle   Quan   Rafael Sack   Raghavendra   Rajamani   Rajan   Ramamurthy   Rangwala   Rao   Rasmussen   Ray   Raz   Reekie   Reich   Reichl   Richard   Riederer   Ripoll   Robby   Robertson   Rosado   Rossi   Roussel   Ruah   Rus   Russell   SGI   Sacks   Salem Hadim And Nader Mohamed   Salsbury   Samn   Samper   Sandberg   Sane   Sangiovanni Vincentelli   Santos   Sarkar   Sastry   Savkin   Schaal   Scheidt   Scherer   Schmidt   Schneider   Schumann   Scott   Scutari   Seah   Sebastianis   Sendaula   Senouci   Sharpe   Sharygina   Shenker   Sheu   Shi   Shin   Shing   Sifakis   Silva   Singh   Sinopoli   Sivalingam   Skafidas   Skou   Smith   Smolinski   So   Sobczyk   Soler   Solodovnik   Song   Sousa   Spinellis   Srivastav   Srivastava   Staderini   Stephens   Stockmeyer   Stoianov   Stoidner   Stoustrup   Stumm   Sukhatme   Sun   Supervised By Bruce Mcmillin   Sutter   Svendsen   Sventek   Szewczyk   Tabuada   Tai   Takahashi   Tambe   Tan   Tang   Tas   Taubner   Tauritz   Tavakoli   Taweesup   Taylor   Teeter   Teicholz   Terbeek   Terzis   Tewari   Thiele   Thrun   Tilbury   Tixeuil   Toi   Tokmouline   Tomlin   Tomsovic   Treado   Tremoulis   Trifonov   Tseng   Tu   Tucker   Turabian   Turner   Tuzhilin   Umamaheswari   Underwood   Upadhyaya   Ustuner   Vaccaro   Valacca   Veith   Venet   Venkatasubramanian   Venkatraman   Venzl   Veríssimo   Vestal   Viken   Villacci   Villafiorita   Virk   VirtualLogix Inc.   Visser   Viégas   Vlissides   Vora   Wachal   Wagner   Wang   Warfield   Warkentin   Wattenberg   Weber   Wei   Weiskircher   Weissenbacher   Welsh   Wendi   Werner-Allen   Weyuker   Whyte   Williams   Willis   Wing   Wisniewski   Wissing   Wolf   Woo   Woodside   Wu   Yamauchi   Yan   Yi   Yick   Yonezawa   You   Young   Yovine   Yuan   Zagha   Zarpas   Zhang   Zhao   Zheng   Zhou   Zhu   Zic   Zitser   Znaidi   Zorzi   Zoubek   de Mathelin   de Simone   di Bisceglie   Ao