AAA AAB AAC AAE AAO AAS AAT ABA ABC ABCL ABG ABI ABL ABM ABO ABP ABPb ABS ABT AC ACB ACC ACD ACI ACL ACO ACOOL ACP ACS ADE ADH ADI ADL ADL's ADP ADR ADT AEC AES AFA AFE AFF AG AGC AGD AGF AGG AGM AGQ AGS AGs AHD AHT AI AIA AIB AIC AIH AIP AIX AJC ALBA ALD ALM ALN ALU ALto AMC AMD AMM AMO AMR AMT AMs ANC ANCb ANDF ANL ANS AOD AOI AOL AOO AOP AOS AOT AOV AP APA APC APD API APL APN APO APP APS AR ARA ARD ARI ARL ARO ARP ARPA ARS ASA ASAP ASB ASC ASE ASF ASI ASM ASPLOS ASTs ASU ASW ATM ATP ATT AUJ AV AVP AVR AW AWI AWJ AWT AWZ AXP AZ Aachen Aacute Aalborg Aamod Aarhus Aart Abadi Abbadi Abbas Abbott Abdollahzadeh Abdul Abdullah Abelson Abhijit Abidine Abotec Abrahams Abramsky Abteiling Abud Abutridy Acad Acharya Acknowledgement Acknowledgements ActorSpace Adamczyk Adaptors Adele Adl Adrian Adve Ael Aerts Aesthetics Affine Agarwal Agerbo Agesen Agha Agora Agostino Agrawal Ahmad Ahmed Aho Ahsan Aino Ajay Ajei Akarsu Akihiko Akikazu Akinori Akira Akker Akmal Akman Aksit Alagi Alagic Alain Alastair Alblas Albrecht AlbrechtSchmid Albrechts Albright Aleksy Ales Alexandre Alexandros Alexandru Alexey Alfred Alfredsen Ali Alida Allard Alloc Allyn Alok Aloke Alon Alpern Alpert AlphaAXP Alphonse Alpuente Altman Altucher Amadio Amagb Amagbegnon Amarasinghe Ambriola Ambuj Amdahl Ameiss Amer Ames Amiel Amin Amir Amiram Amiri Amit Amitabh Ammarguellat Ammons Amnon Amokrane Amorim Amr Amtoft Amza Analyses Anand Anant Anastasio Ancona Ancourt Anders Andersson Andr Andrea Andreas Andrei Andrej Andreoli Andrzej Angele Angeles Angelos Anhui Anik Anil Anindya Anjaneyulu AnnoDomini Anoop Anquetil Anshus Anssi Antero Antipolis Anton Antonio Antoy Antti Anurag Anwar Apertos Aponte Apostolos Appel Appl Applets Appls Arai Archabbey Argade Aridor Arie Ariola Arity Arjan Armando Arne Arno Aron Arora Arro Artificielle Artim Artois Arun Arvin Arvind Asai Asami Ascq Ashutosh Aske Asokan Asperti Assaf Assoc Astudillo Atanas Athanasios Athanasiu Atshushi Atsushi Attali Attanasio Attie Atwood Aubry Audrey Auer Auguston Augustsson Auslander Autom Automata Autonoma Avdi Avdicausevic Avdo Avenarius Avinash Aviv Axford Axiomatization Aycock Aza Azagury AzanonEsteire Azer Azero B BAF BAI BAP BBL BCA BCO BCPL BCS BDD BDF BDS BDU BEC BEP BF BFC BFO BFP BFS BGB BGC BGU BHP BI BIA BIC BIE BIF BII BIL BIM BIP BIR BIS BIV BIW BLA BLAS BLD BLE BM BMA BMP BNC BNF BNS BNT BO BOD BOL BOS BOV BP BPA BPA's BPD BPF BPO BPP BPP's BPS BPT BQU BR BRC BRD BRF BRH BRHa BRHb BRI BRIa BRIb BRM BRN BRO BRP BRR BRS BRTa BRTb BRU BRV BRW BSE BSI BSM BSO BSP BTA BTC BTD BTH BTI BTR BTS BURS BW BWT BZE BaLinda Babak Babb Backus Backus's Bader Badii Baer Baetjer Bagof Bagrodia Bak Bakewell Bakkers Bal Bala Balaram Balasubramaniam Balasubramanian Balasundaram Balfour Ballance Balzer Banda Banerjee Banerjee's Banga Bantchev Baowen Baquero Barak Baratloo Barbar Barbuti Bardou Barklund Barnes Barnett Barrena Barroso Bart Barthou Bartley Barton Barua Basem Basili Batenburg Batory Baudouin Bayanihan Beaty Beaulieu Beaverton Becker Behaviour Beijing Bellcore Bellec Bellegarde Belliveau Belo Benaissa Beng Benitez Benno Beno Benoit Benyahia Berard Bergamo Bergin Bergmann Bergmans Bergmnn Bergner Bergstein Berhard Berkum Berman Bernado Bernardo Bernd Bernecky Bernhard Bernsen Bernt Bershad Berson Bertino Bertot Beshers Besnard Bestavros Bevan Bevemyr Bevers Bhandarkar Bharat Bhavani Bhoedjang Bianchini BibNet BibTeX Bich Bie Bielak Bielefeld Bielikov Bielikova BigTypes Biggerstaff Bik Bilardi Bilas Bilow Bindu Bing Birger Birkedal Birkh Bisimilarity Biswas Bitan Bizarro Bj Bjarne Bjarte Bjesse Bjorn Blacksburg Blakey Blanchet Blay Blelloch Blieberger Blume Blumofe BlurFit Blythe Bobrow Bod Bodik Boehm Boer Bogda Bogle Boinot Boisvert Bok Bokowski Boleslaw Bollmann Bolosky Bonar Bonfatti Booch Bool Bordawekar Boris Borland Borning Borovikov Bosch Bosschere Bossi Bothe Botting Bouajjani Boudillet Boudol Boulanger Bouraqadi Bourdoncle Boute Boutel Bowden Bowlden Boyko Boyland Boyles Bracha Bracle Bradfield Bradlee Brajkovich Brakefield Braunschweig Braux Brazell Breakpoint Breg Brent Brest Bret Briarcliff Bridgeford Brien Brighton Brigitte Brinch Brisbane Brodnik Broek Brookes Broustaut Bruccoleri Bruegge Bruggeman Bruner Brunswick Brussel Bruun Buchi Budimac Bugfind Bugliesi Bugnion Buhr Buja Bulman Burgett Burke Burkhard Burshteyn Burson Burstall Buschmann Bwolen Byeong Byeongseob Bytecode Bytecodes Byung C CA CAA CAC CACL CACM CACMA CACa CACb CAG CAGs CAJ CAS CB CBA CBC CBD CBI CBN CBP CBS CBW CC CCB CCC CCCa CCCb CCCc CCCd CCCe CCD CCE CCG CCH CCI CCJ CCK CCL CCM CCO CCP CCR CCS CCSa CCSb CCT CCU CCa CCb CCd CD CDA CDB CDE CDF CDG CDI CDIs CDL CDM CDP CDQ CDR CDS CDSP CDV CE CEA CEC CED CEF CEG CEH CEM CEP CEV CEW CF CFA CFD CFF CFG CFM CFP CFR CFS CG CGC CGG CGI CGP CGR CGS CH CHA CHAM CHC CHF CHH CHI CHOCS CHS CHaRTS CIC CICO CICS CIH CIL CIO CIP CIR CISC CIU CJC CKF CKI CKS CL CLA CLC CLD CLH CLIB CLM CLOS CLP CLR CLS CLU CLU's CLZ CM CMA CMC CME CMI CML CMM CMO CMP CMR CMS CMU CMV CNA CNC COC CODEN COE COI COL COMFY COMP COOLs COR CORBA COmmunication CP CPAa CPAb CPB CPC CPCb CPE CPEXEI CPG CPI CPJ CPL CPM CPO CPOa CPOb CPP CPPa CPPb CPPc CPR CPRb CPS CR CRB CRC CREC CRI CRJ CRL CRM CRN CRO CRP CRR CRS CS CSA CSB CSC CSD CSE CSG CSH CSI CSL CSM CSMv CSN CSO CSP CSR CSS CST CSU CT CTA CTB CTC CTD CTI CTJ CTL CTN CTS CTT CType CVL CVS CWV CWZ Cabasino Cabrera Caching Cadei Caen Caffrey Cagan Cahill Cai Calendrical Callahn Callee Callegarin Calliss Callsen Caltech Calvin Cameron Caml Campbell Campenhout Campos Cao Cardelli Cardelli's Carey Cargill Cargille Carine Caringal Carini Carlisle Carlos Carole Caromel Caron Carpentieri Carrasco Carre Carrera Carroll Carsten Cartwright Cary Casais Casazza Casean Caseau Cashman Casimir Caslunan Caspi Cass Casselman Cassels Castagna Castellote Cate Catenable Catsagna Cattaneo Cattell Catuscia Cazzola Celine Cellang Centere Centre Centric Cezary Chaiken Chaitin Chaitin's Chakrabarti Chalmers Chamond Champeaux Chan Chander Chandra Chandramohan Chandrashekar Chandrashekhar Chandy Chao ChaosMON Chare Charlier Chatterjee Chau Chaudhri Checkpointing Cheney Cheng Chengdu Cheow Cheriton Cherri Chesnay Chesson Chet Chi Chiao Chiba Chidamber Chien Chih Chilimbi Ching Chitil Chitnis Chiu Chiueh Choi Choo Choudhary Choun Christey Christiansen Christina Christman Christophe Chu Chua Chuang Chun Chung Ciancarini Cicekli Cichelli Cierniak Cigas Cilk Cindy Cisneros Civello Claessen Clayton Cleal Cleaveland Clergerie Clinger Cmelik Co Coad Cocchi Cockburn Coco Codenie Codish Coelho Coffey Cogen Cogswell Cohn Cointe Colbrook Colburn Colella Colette Colin Coll Collberg Collin Collins Colmerauer Colnet Colson Combinations Combinator Combinatorics Combinators Combinatory Commun Comp Compendex Complutense Componential Composable Comput Computersprachen Computersyst Computo Conal Concordia Cong Conjura Consel Constantine Constantinos ConstraintLisp Consummating Conte Contraint Contravariance ControlShell Conway Coolsaet Copen Coplien Copperman Coppola Coprocessing Corinna Corinne Cormac Cormack Cornelius Cornero Cornils Cornu Cortesi Corvallis Cosmo Costa Coucaud Cousot Covariant Cowan Cowie Cox Coyle Crabtree Crary Craske Crispin Crist Cristian Cristiana Cristobal Critchlow Crogono Crole Crovella Crummey Cruz Cucchiarelli Cueva Culwin Cummins Cunis Cuny Cupertino Curcio Curien Curtis Customizable Cuty Cuyt Cytron Czajkowski Czeck D D'Hondt D'Souza DAA DAF DAGs DAI DAL DARP DAS DAT DB DBG DBMS DBMSs DBMs DBP DBQ DC DCB DCC DCD DCE DCG DCI DCL DCM DCR DCT DCU DCV DDA DDAG DDC DDD DDG DDI DDO DDR DDS DECmpp DECstation DEM DER DFA DFE DFF DFG DFU DGC DGO DGS DGU DI DIC DIH DII DIKU DIL DIO DIT DJ DJB DLA DLL DLO DLP DLR DMA DMB DMD DME DMF DMG DMPP DMPPs DMT DNL DNR DOACROSS DOC DOI DOO DPA DPC DPD DPE DPO DPP DPR DPS DQT DRE DRG DROL DS DSA DSB DSC DSE DSH DSI DSL DSM DSMs DSO DSP DSPs DSS DSU DTC DTD DTE DTM DTP DTS DVC DVF Daan Dachuan Dagstuhl Dahl Dai Damas Damian Damianakis Damien Damodaran Damon Dana Dancanet Danelutto Danforth Danicic Daniela Danvy Darin Dario Darko Darlington Darlington's Darmstadt Darnell Darrel Darryl Darsten Daryl Das Dataflow Davide Davie Davison Dawes De DeBosschere DeBry DeFouw DeMich DeNatale DePauw DeRyke DeWitt Deallocation Debaere Debasish Debray Debuggable Deeljman Def Defusing Dehbonei Dekeyser Dekker Delcambre Delinearization Delrieux Demaine Demers Demichiel Demiris Demmers Demoen Demu Demurjian Denis Denton Deok Deoptimization Deprit Der Derek Dery Desainte Deshpande DesignFest Detlef Detlefs Dev Devabhaktuni Devadas Devika Devine Dewan Dha Dhamdhere Dhananjay Di DiMeo Dianxiang Dickman Dicky Dictyostelium Didier Dietmar Dietz Dileep Dilley Dimitri Dimock Dinesh Diniz Dinning Diomidis Dipartimento Dipayan Dir Direccion Dirk Ditzel Div Divyakant Diwan Djamil Dmitry DoD Dober Dobler Docy Dodani Dodgson Doi Dolby Doligez Domajnko Dominators Dominique Donal Dongarra Dongming Donnelly Dony Dor Dorai Dornan Dorothea Dotzel DrScheme Drashansky Draves Drechsler Driesen Drissel Dror Drossopoulou Druschel Duba Dubnicki Dubois Ducasse Ducournau Duesterwald Duggan Duimovich Dulli Dumke Durand Durin Duris Durst Dury Dussart Dutoit Dwarkadas DyALog DyC Dyadkin Dybvig Dyn Dynabook Dynascope Dz E EA EAB EAC EAD EAI EAJ EAL EAM EAN EAO EAPLS EAS EASb EBC EBP EBS EBU ECA ECB ECC ECD ECF ECM ECN ECOOP ECP ECS EDA EDB EDD EDDb EDI EDM EDPa EDPb EDT EDU EEA EED EEP EEV EEZ EF EFA EFD EFG EFI EFM EFO EFP EFS EGC EHA EHL EHM EHO EHP EHS EHV EI EIF EIH EIJ EIP EIR EIS EJJ EJN EKO EKS EL ELB ELC ELD ELFS ELO ELS EM EMC EMCb EMD EME EMF EMH EMI EML EMP EMS EMW ENA ENF ENM ENN ENS ENV EOD EOH EOO EOP EOS EOSHIFT EOW EP EPC EPM EPR EPV EQL ER ERC ERS ERT ES ESC ESD ESE ESF ESG ESI ESM ESO ESP ESR ESS EST ESTEREL ETAPS ETD ETH ETI ETL ETM ETO EUA EUC EUO EUP EV EVI EWP EYO Ebcio Ebcioglu Eby Echahed Eckart Eckert Ecklund Eckstein Ecole Edalat Edelson Edicates Edler Edouard Eduardo Eekelen Eelco Eero Egan Eggenschwiler Eggers Ehmety Ehrad Ehud Eichenberger Eicken Eide Eidorff Eiffel Eifrig Eigenmann Eijiro Eindhoven Eisenbach Ejiogu El Electr Elena Eleni Elettronica Eliens Elisa Ellie Elliot Elmstr Elmstrom Elsman Elsworth Emami Emanuele Embley Emeryville Emilia Encino Eng Engblom Engebretsen Engel Engler Englobing Enis Ennals Enno Enrique Enschede Ephemerons Equational Er Erez Erhard Erick Ericsson Eriksson Erin Erkan Erlang Erlangen Erlanger Erlich Erlichson Erol Ersan Ertl Erwig Escola Espinosa Espinosa's Esra Esteire Eswar Etalle Ethernet Etienne Eugen Eugenio EuroForth Eustace Evan Everitt Evers Evert Ewa Expansional Explorative Exploratorium ExtensibLe F FA FAC FAF FAS FAW FAX FBD FBE FCD FCE FCG FCN FCP FCR FCS FCT FDC FDE FDI FDO FDP FDR FEC FERI FES FF FFF FFI FFJ FFO FFR FFS FFT FFTs FGA FGC FGCS FGM FGP FH FHM FHN FIC FIH FIP FIQ FJM FJO FL FLA FLAVERS FLB FLD FLO FLP FLexible FMA FMD FME FMF FMM FMO FMS FNC FNP FOO FORMAC FORML FORmula FOT FOW FP FPA FPB FPD FPF FPG FPI FPK FPL FPM FPO FPP FPS FPT FR FRA FRD FRF FRG FRI FRL FRM FRP FRS FRT FSA FSA's FSC FSD FSF FSI FSN FSP FSR FTA FTG FTI FTL FTO FTP FTS FUM FUP FVO FWB FWE FWEB Fabian Fabien Fabio Fabre Fabrice Fac Fachbereich Fagan Faggian Fahndrich Fahringer Fairbairn Fakultat Falanga Falaschi Falsafi Fancong Fantechi Farnum Farooq Farrow Fasel Faure Fausto Fay Fayad Featherwieght Feautrier Feautrier's Feeley Fegaras Fei Feigen Feiner Feitelson Felber Feldhousen Feldman Felipe Felleisen Felten Feng Ferenczi Fergus Fernandez Ferrante Ferrari Ferreira Ferri Ferriere Fessant Fickert Ficl Fil Filani Filesystem Filho Filinski Filip Filippo Findler Finne Fintain Fintan Fiona Fiorentini Fips Firesmith Firth Fiterman Fixpoints Flandres Flatt Flavio Flemming Flores Fondamentale Fong Fool's Forman Fornarino Fornax Forrest Forslund Forstall Forths Fortran FortranD Fournet Fr Fractal Fradet Francez Francine Francioni Franklyn Frans Franti Frantisek Fredericks Fredrik Frei Freiling Freitag Frenger Frens Freudenberger Freudenthal Freund Freyssinet Fri Fridtjof Frigo Frisbie Fritzson Frob Fu Fudgets Fujitsu Functorial FunnelWeb Fuqing Furio Furtado Furuichi Futamura Fx G GA GAC GAR GAU GC GCA GCC GCD GCG GCL GCM GCODE GCP GCR GCU GCW GCs GDD GDF GDG GDL GDO GDP GEV GFG GFI GFM GG GGB GGC GGG GGU GI GIGa GIGb GIGc GIH GILENA GIM GIS GJ GKS GLA GLC GLV GMA GMM GMO GMP GMS GMV GND GNN GOL GOO GOP GPC GPP GRC GRE GRF GROOP GRS GRT GSC GSO GT GTB GTF GTN GUI GURRR GVI GVN Gabbrielli Gabby Gabriela Gadda Gagan Gaglianello Gallaud Gallud Gam Gamsa Ganesh Gangopadhyay Gannon Gansheng Ganz Gao Garbinato Garc Gareth Garfinkel Garg Gargaro Gargul Garlan Garone Garrigue Garth Garthwaite Garud Gassanenko Gatos Gaurav Gaurov Gauthier Gautier Geib Geir Genericity Generics Geneve Gengler Genjiang Geoff Ger Geraint Gerardo Gershbein Gert Getov Getzinger Gharachorloo Ghelli Ghiya Ghosh Ghostscript Ghuloum Giacobazzi Gian Gianantonio Gianfranco Gianni Giegerich Gielen Gieres Gif Gifford Giguere Gil Gilad Gilles Gilmore Gina Giore Giorgio Giovanna Girard Girard's Giraud Girija Giuse Giusee Giuseppe Gl Gladwell Gladychev Glan Glassboro Glassman Gleb Glew Globalization Glossner Gluche Gluck Glynn GmbH Gnesi Gobioff Godard Goddard Godefroid Godin Goebel Goetze Gofer Goldsack Goldsby Goldstein Golin Golubchik Gomaa Gomard Gonthier Gonzalez Goos Goossens Gopal Gor Gorlen Gorlick Gorm Gorrieri Gossain Gostanza Gottfried Gottlieb Gottschalk Gotwals Gough Govindarajan Gr Gradimir Granlund Gregor Greiner Gribble Griesmer Grimshaw Griss Grize Grizzaffi Grobauer Grobner Grogono Gronbaek Grossman Groton Groupe Gru Gruber Grumberg Grune Grunwald Gruzlewski Grzegorz Gu Guang Guansong Gubitoso Gudeman Guei Guernic Guerraoui Guerrini Guhan Guilan Guilhem Guilherme Guimar Guimaraes Guiseppe Gul Gunter Guo GuoLiang Guoliang Guoping Gupta Gurindar Gurushankar Gustavo Gustavsson Guthery Guttag Guttorm Guzm Guzman Gwan Gwinn Gyimothy Gyllenhaal Gyorkos Gyungho H HAR HBD HBL HC HCL HCLb HCP HDB HDE HDP HDR HDT HEE HEL HEO HFT HGG HGP HGY HIC HIll HJF HLO HLR HLT HMD HMP HN HNL HOA HOLWG HOO HOPL HPA HPB HPC HPF HPJava HPP HPS HRF HSF HSS HST HTML HU HVT HWC HWE HXG Haahr Haarslev Habermann Habermehl Habert Habib Habrias Hadj Hafedh Hagimont Hagiya Hahne Haigeng Hailpern Haim Haiming Haines Halbwachs Halderen Hallaron Hallett Halstead Hambrick Hamel Han Hanafiah Hangzhou Hankin Hannan Hanne Hanspeter Hanus Hanxleden Hanxledon Hardwick Harel Hari Harini Harish Harjinder Harman Harmon Harrold Hartmut Harton Harty Hasco Hascoet Hashemi Haskell Haskell's Hasn Hassan Hassen Hasti Hatcliff Hatzigeorgiu Hauck Haupt Haushik Havener Hayashi Haygood Hayton Hazeltine Hegde Heiko Heine Heinlein Heintze Heiny Heldal Helland Helmbold Hendren Hendrickson Hendrik Henglein Henk Hennessy Henning Henri Henrik Hensel Hentenryck Henzinger Heonshik Heri Hericko Heriot Herlihy Hermann Hermenegildo Hermnegildo Hern Hernan Hernandez Herng Herrington Herv Herve Hesse Hester Hetherington Heuser Hewitt Heymann Hidehiko Hidemoto Hideya Hideyuki Hieb Higenberg Higgins Hilfinger Hillsboro Hilsenrath Hindley Hing Hinrichs Hiralal Hirano Hiroaki Hiromitsu Hirotaka Hiroyuki HoME HoME's Hoang Hoare Hochschule Hoeflinger Hoeks Hoelzle Hofman Hofmann Hogg Hogstedt Hohmann Holger Hollingsworth Holloway Holyer Holzle Hondt Honghui Hongjun Honglei Hongwei Hongzhang Honjun Honna Honsell Hor Horebeek Horgan Horie Horizonte Horner Hornof Horspool Horst Horwitz Hosking Hotlist Hotz Hou Houghton Houlder Houser Howatt Howerton Hoydalsvik Hseush Hsi Hsieh Hsinchu Hsu Hu Hua Huang Huch Huchard Hudak Huelsbergen Hueni Huet Huff Hui Huisman Hummell Huni Hurfin Hussein Husson Hutton Huw Hwan Hwang Hwu Hynes Hyon Hypermedia Hyperperiod Hyungill IA IAD IAM IAO IAP IAR IAS IAa IAb IBA IBF IBG IBN IBR IBRb IBS IC ICA ICB ICD ICEx ICF ICFP ICI ICL ICM ICP ICPb ICR ICS ICT IDA IDD IDF IDL IDLS IDLs IDM IDP IDS IEC IEF IEM IEP IET IFAD IFIP IFP IFR IFS IIA IIG IIM IIR IIS IJJ IJN IL ILC ILP ILR ILS IM IMA IMAG IMC IMD IME IMEC IMG IMPa IMPb IMS IMT INESC INRIA INSA INSCC INSPEC INT IOD IOL IOO IOT IPB IPC IPN IPP IPPa IPPb IPQ IPR IPS IPT IPX IR IRC IRF IRISA IRM IRN IRS IRT ISBN ISC ISE ISM ISMES ISMM ISN ISO ISR ISS ISSN IST ISU ISWIM ITA ITC ITD ITI IVC IVD IVF IVI IVS IWP IWPC IWT IWarp Ian Ibrahim Ichi Ichiro Ichiyoshi Id Ida Ierusalimschy Iftode Igarashi Igor Ikei Ilham Ilka Ilya Ilyas Im Imai Imamura InProceedings Inari Ince Induprakas Inf Infinitary Ingalls Inline Inlining Inst Int Intensional Interactors Interconvertibility Interlanguage Interlisp Intermetrics Internet Interoperability Interoperation Interprocedural Interprocess Interprocessor Interstatement Intra Intraprocedural Investigacion Ioannis Ipser Ir Irby Irigoin Irina Irvin Isaak Isabelle Ishihata Ishikawa Ismail Isr Issendorff Itoh Iturbide Ivanov Ivanovic Ivar Ivo Iwasaki J JBC JCB JCC JDBC JDO JFS JFlow JGB JIB JICC JIL JIP JJL JMLC JNP JPD JPM JPVM JRA JRI JRJ JRP JRR JRes JSM JSP JSPICE JST JSpace JTC JTED JTS JWarp Jacek Jacobi Jacobson Jaejin Jaeschke Jaffar Jagadeesan Jagannathan Jain Jaja Jakob Jalape Jamrozik Janez Jang Janssens Jansson Jared Jari Jaspal Jaswinder Jategaonkar Jatich JavaScript Jawahar Jayaraman Jayashree Jeanette Jeanne Jeannette Jeffery Jellinghaus Jen Jenq Jens Jeong Jeremiassen Jerian Jerzy Jesper Jeuring Jha Jia Jiajun Jian Jianfeng Jiang Jianhua Jianjua Jianmin Jiawan Jiazhen Jiazhong Jichang Jih Jin Jing Jingwen Jinsong Jinturkar Jiun Jnan Jo Joachim Joerg Joern Johan Johnsen Johnsson Johnstone Jolla Jong Jongwon Jonsson Joos Jorgen Jos Josep Joung Jourdan Jouvelot Joxan Joydip Jpn Ju Judd Juergen Jukka Jul Juli Julien Jun Jung Jungkeun Junjie Junkin Junxian Jurgen Juric Justin Jyh Jzer K KAC KB KBS KCP KDOPS KED KFS KIC KL KLK KMO KR KS KSI KSR KSS KY Kaashoek Kaci Kaehler Kaeli Kafura Kagawa Kahan Kahn Kahn's Kahrs Kai Kailash Kaiser Kaiserslautern Kaj Kakkad Kakkar Kal Kala Kale Kaleidoscope Kalp Kalsow Kam Kamal Kamin Kamkar Kanada Kanagawa Kanazawa Kang Kannan Kans Kaplan Karakos Karam Karamcheti Karaul Karczmarczuk Karel Karger Karhinen Karim Karin Karlin Karp Karpovich Karr Karrenbach Karsten Karthick Kasper Katevenis Kathryn Katiyar Kato Katseff Katsumi Katz Kauer Kaushik Kawachiya Kawasaki Kazuhiko Kazuhiro Kazuko Kazunori Ke Keckler Kedar Kedem Kee Keefe Kehler Kei Keio Keishi Kelleghan Kemal Kemerer Kempe Kenichi Kenjiro Kenn Kenner Kenny Keppel Keren Kerf Kern Kerns Kersten Kerstin Kerth Keshav Kess Keune Keung Keutzer Kfoury Khaira Khalil Khedker Khoo Ki Kiczales Kie Kieburtz Kiel Kielmann Kieran Kiernan Kiessling Kilian Kilov Kilpatrick Kimball Kimelman Kimming Kimoon King's Kinikin Kirner Kirsten Kiselyov Kishon Kista Kiviat Kiyokuni Klaas Klaholz Klarlund Klasky Kleindienst Kleinman Kleinrubatscher Klimov Klint Klug Kniesel Knippel Knobe Knoblock Knoop Knut Ko Kobayashi Koblenz Kobol Kodukula Koelbel Koen Koenemann Koenenmann Koenig Koh Kohbun Kohei Kohlbecker Kohn Koistinen Koji Kokol Koldinger Kolodner Kolsky Kolte Konrad Konstan Konstantin Konstantinos Kontothanasiss Kontothanassis Konuru Koopman Koorn Kopetz Korbar Korczynski Korncoff Korson Kosuke Kourosh Kovats Koved Koyanagi Kozen Kr Krakowiak Krall Krantz Kranz Krasnogor Krauter Krell Kremer Kriegshaber Kriens Krinke Krintz Kris Krishamurthy Krishnamurthi Krishnamurthy Krishnan Krishnaswamy Krisper Kristensen Kristy Krogh Krothapalli Krueger Kruijer Kruskal Krzysztof Ku Kubiatowicz Kuen Kuhl Kuhne Kuhnian Kuksenko Kumar Kundu Kung Kunio Kunle Kunyung Kunz Kurihara Kurlander Kuskin Kuszmaul Kutzner Kwangkeun Kwok Kwon Kwong Kyungill L LAI LALR LAML LANs LAR LAT LAmbda LB LBT LC LCAS LCB LCC LCCN LCE LCF LCL LCM LCN LCO LCR LCT LCTES LCa LCb LCc LDC LDF LDS LDT LDV LE LEB LEC LEL LEM LER LES LETT LFC LFM LFP LFS LHA LHD LHE LIL LINPACK LIO LISP's LL LLB LLE LLI LLJ LLL LLQ LLT LMA LMC LML LMN LMS LN LNE LOC LOE LOGICS LOL LOM LOO LOS LP LPF LPP LPS LPSa LPSb LPT LR LRA LRPD LSH LSI LSL LSM LSO LSP LSR LSS LT LTA LTB LTC LTCa LTCb LTI LTN LTO LTR LTS LU LUNA LUSTRE LVC LaLonde LaRowe LaTeX Labr Labreche Lacourte Laffra Lafont Lahey Lakhotia Lakshman Lal Lalit Lalita Lallement Lam Lamarche Lambrix Lamping Lamping's Lampson Lan Landi Landii Landmine Langdale Lange Langend Lano Lapadula Larin Larnping Larose Larus Las Lassen Lassila Lastovetsky Laudon Launchbury Laure Laurent Lausanne Lavie Lawall Laxmikant Lazowska Lazure Le LeBlanc LeFessant LeJacq LeMetayer Lea Leapfrogging Leavens Lebeck Leda Ledoux Ledru Leggio Lehrer Lehrmann Leijen Leino Leiserson Leiss Leivant Lem Lemke Len Lencevicius Leni Lenic Lenkov Lennart Lentczner Lenz Lenzi Leonidas Lepreau Lerner Leroy's Lescanne Lesens Letsinger Leung Leuven Lev Levien Lewi Lex Lezere Li Liang Liao Libero Libes Liblit Libourel Lichtenstein Lieber Lieberherr Liffers Liisa Lilian Lille Lillian Lillibridge Lilly Lim LimitLESS Limsoon Lin Lindsay Lindskov Lindstr Lindstrom Linearization Ling Lins Linton Linz Lipasti Lipkind Lippi Liquori Liskov Litman Litvinov Litvintchonk Litvintchouk Liu Liveness Livermore Livinov Liviu Lo LoPC Lodewijk Loeffen Loeliger Loeper Loftesness LogC LogGP LogP Logi Logics Lohr Loic Longley Lookahead Lookaside Lookup Loomis Looney Loren Lorenz Lorette Lori Lortz Los Lotos Lou Louden Lougie Loui Loup Lovelle Loveman Lowekamp Lowry Lozo Lu Lubars Luc Luca Lucco Luce Lucinda Luckham Ludwell Lueh Luigi Luis Luiz Lujun Luk Lukowicz Luminy Lumpp Lumsdaine Lund Luo Lutkehaus Luttighuis Lutz Lyul M MAB MABb MAF MAL MAM MANEVRO MAS MASPLAS MAnipulation MB MBC MBI MBURG MC MCA MCB MCC MCFG MCG MCI MCL MCN MCP MCR MCS MCT MCode MDA MDC MDD MDL MDS MDT MEF MEH MEM MEP MER MFA MFG MFP MFS MFT MFW MH MHI MHz MI MIE MIH MIL MILs MIMD MIO MIPS MIPS's MIPSI MITRE ML ML's MLA MLD MLL MLM MLN MLS MLj MM MMC MMD MME MMH MMM MMP MNA MO MODULA MOH MP MPC MPCE MPE MPG MPI MPM MPO MPP MPS MPT MRC MRD MRN MRP MSA MSE MSF MSH MSL MSP MSPa MSPb MSR MST MTA MTB MTM MTO MUCKing MUL MUS MVJ MVP MW MYC Maarek Maassen MacDonell MacLean MacLennan MacLisp MacQueen Maccabe Machanick Mackie Maclean Macquarie Madalene Madduri Madge Madhav Madhusudhan Mads Maeda MagPIe Magidor Magne Magnus Magnusson Mahesh Mahlke Mahoney Mahony Maier Mainwaring Mairson Majumdar Malan Malenfant Malhotra Malik Malloy Malmaison Maloney Malony Mamdouh Mamone ManSART Mancl Mandl Mangione Manhew Mani Maniatty Manish Mann Manns Manoj Manola Manolis Manoranjan Manpreet Mansouri Mansur Mantha Manuel Manuvir Manwu Mappers Maquelin Maraist Maranget Maraninchi Marc Marchiori Marco Marcos Margaretha Margaria Margo Mariam Maribor Marick Marieke Marinescu Marino Marinus Marison Marius Marjan Markku Marko Markup Markus Marlet Marlow Marney Marquet Marrero Marseille Marsokhod Martel Martijn Martonosi Maruyama Maryam Marzullo MasPar Masami Masato Maslov Maspar Massimiliano Massimo Masticola Masud Masuhara Mataga Matematica Mathematica Mathur Matjaz Matsuoka Matteo Matthai Matthias Matthieu Mattiucci Mattson Mauricio Maurizio Mauro Maximo Mayan Maydan Mayur Mazen Mazouni McAdam McAllester McAuliffe McCAT McCluskey McCollough McCullough McCurdy McDowell McFarling McGill McGrath McGregor McKeeman McKeown McMaster McNally McNamee McNerney McParland Mcauliffe Mcgregor Med Medikonda Medlkonda Mee Meeson Megan Megaprogramming Mehmet Mehndiratta Mehrotra Mei Meija Meijer Meilir Mejia Meldal Mellier Mellor Melski Memoing Memoization Menachem Mendel Mendelsohn Mendez Meng Mens Mentoring Meo Mergen Mernik Merz Meseguer Meszaros Meta MetaML MetaObjects Metaclass Metamethods Metamodeling Metaobject Metatheory Metayer Metcalf Metzger Mezini Micah Micha Michal Michale Michaud Michaylou Michaylov Miche Michel Michele Michelle Mick Microarchitectural Microsyst Microsystems Middeldorp Middletown Midkiff Migratable Mihnea Mijanovic Mik Mikael Mikio Mikiten Mikko Milanese Milena Miler's Miley Mili Milieux Millstein Milner Milner's Miloucheva Min Minamide Minea Ming Mingchun Minghui Minh Minho Minoura Minsoo Mintchev Mirani Mirjana Misc Mishra Mitch Mitja Mitsolides Mitsubishi Mitsuhisa Mitsuru Mixin Mixins Miyamoto Mld MoDE Moby Mocciola Modelling Modena Modula ModulaWare Mody Moffett Mogensen Moggi Moggi's Mogul Mohamed Mohammed Mohd Moher Mohit Mohlalefi Moller Mon Monads Monarchi Monari Monash Monnier Montbonnot Montessori Montr Montrouge Mooly Moorhead Moreau Morel Morgenstern Morishita Morrisett Morristown Morten Moschovakis Moscowitz Moshovos Mossenbock Mosseri Mossi Mossin Mou Moudgill Mouloud Mountjoy Moura Mowry Mozer MrEd Muchnick Mudge Mugnier Mukherjee Mukund Mulet Multi MultiLisp Multibox Multicomputer Multiflow Multimedia Multiparadigm Multipath Multiphase Multiprogrammed Multithreaded Multithreading Munchen Munin Munro Murali Murat Murtagh Murthy Mustafa Mutator Muth Myles Myung N NA NAC NAD NAE NAS NBA NC NCA NCC NCI NCJ NCS NDC NEC NEN NESL NESL's NFD NFE NFN NFP NFR NH NIB NIM NLB NLM NLP NLT NMD NMG NMI NMP NNS NOI NOWs NP NPF NPR NPS NPT NRC NSA NSL NSW NT NTCa NTCb NTD NTE NTO NTP NTT NUMA NUML NUSL NV NVM NY Na Nacional Nadia Naehyuck Nagashima Nagle Nahid Nahum Nai Naik Naim Naixiao Nakada Nakahira Nakamura Namjoshi Namyun Nance Nandakumar Nanjing Naoki Narayan Narayanaswamy Narendar Narlikar Nassim Natalio Natl Naughton Naumovich Navrat Nawaaz Nayfeh NeXTStep Neal Necula Nedeijkovic Nedeljkovic Nedjah Neel Neelakantan Neil Nenad Nestoras Neto Netstation Netzer Neumann Neves Nevin Newey Ng Ngan Ngo Nich Nickerson Nickolas Niclas Nico Nicol Nicolae Nicolas Nicolau Niehren Niel Nierstrasz Nieto Nieuwpoort Nigel Nigro Nikhil Niklas Niklaus Nikolaj Nikolaos Nikolay Nils Nilsen Nilsson Ninflet Ning Nipkow Nirkhe Nishanov Nishimura Niss Nissim Nobuaki Nobuko Nobutaka Nobuyuki Noemi Nolan Nonblocking Nondeterminancy Nondeterminism Nonmonotonic Nonnumerical Nonpreemptive Nonstrict Nordlander Nordstrom Norihisa Normark Nossal Notkin Nourani Noury Novell Novosibirsk Nowak Noy Noye Noyelle Nuckolls Numerics Nunez Nuno Nurit O O'Callahn O'Hallaron O'Hearn O'Keefe O'Mahony O'Toole OA OAC OAM OAMs OAP OBC OBrien OC OCB OCCAM OCE OCF OCH OCL OCLC OCM OCO OCS OCallahn ODA ODB ODBMS ODBMs ODEs ODMG ODO ODP ODS ODT ODW OEA OEC OEF OEO OEP OET OFH OFM OFV OHS OHearn OIA OIV OIW OKV OLDT OLL OLP OLS OM OMA OMD OMG OMG's OMM OMR OMRON OMS OMT OMW OMode ONA ONK ONR OO OOA OOC OODB OODBMS OOE OOF OOI OOM OOMEEO OOO OOP OOPS OOPSLA OOR OOS OOT OPC OPE OPER OPM OPP OPR OPS OPTVIEW OProp ORC ORD ORPC ORS ORW OSC OSD OSE OSF OSG OSI OSM OSP OSR OSS OSSb OST OSW OT OTA OTC OTCa OTCb OTD OTE OTF OTH OTI OTL OTR OTS OUP OVIDE OVL Obern Oberoi Oberon Obin ObjectWindows Obliq Occam Odeh Odense Odersky Odnert Oezsu Ofelt Offner Ogata Oheimb Ohnjec Ohori Ohsen Okasaki Oldehoeft Oldham Ole Oleg Oler Oles Olin Oliveira Olivier Olken Olszewski Olukotun Omri Ong Online Onodera Ont Ooi Opcode Opdyke OpenMP Oppermann Optimisation Optimising Optview Orca Orlow Orna Osamu Ossher Osterburg Osterbye Osterhout Osterweil Ostvold Ottenstein Oude Ousterhout Overeinder Ovlinger Owicki Oxley Oyang P PAA PAB PAC PAE PAH PAI PARC PARLOG PASa PASb PASc PASd PASe PASf PAU PBA PBB PBD PBF PBH PBI PBL PBM PBP PBQ PBR PCA PCAa PCAb PCB PCC PCCTS PCCa PCCb PCD PCE PCF PCH PCI PCLOS PCN PCP PCPa PCPb PCR PCS PCT PCTL PD PDA PDB PDC PDD PDE PDF PDG PDM PDP PDR PDS PDT PDU PDV PDVb PDW PEC PEF PEH PEL PEM PEO PEPM PERspective PES PESPPM PETROCELLI PF PFA PFC PFD PFF PFI PFL PFM PFP PFT PGC PGG PGR PHA PHR PIA PIB PIC PID PIDL PIF PIR PIS PJT PL PLC PLD PLDI PLO PLP PLPa PLPb PLR PLS PLT PMA PMC PMI PMM PMS PMV PMW PNC PNR POA POC POM POO POPL POS PP PPA PPB PPC PPD PPE PPJ PPL PPM PPO PPOPP PPP PPPP PPPa PPPb PPPc PPPd PPR PPS PPT PPoPP PQA PQC PQD PQT PR PRA PRC PRE PRM PROC PROLOG PROMIS PRP PRT PS PSA PSB PSH PSL PSM PSO PSP PSPACE PSR PSS PST PSW PTC PTE PTF PTI PTJ PTP PTR PTS PTVIEW PUA PUG PUL PUO PVA PVF PVI PVN PVY PWE PWW PaCT Paakki Pachet Padget Padova Padua Paek Paepcke Pagano Pai Paige Palacharla Palamidessi Palao Paleczny Palem Paleri Palo Palsberg Panangaden Pancode Pande Pandey Panizzi Pankaj Panti Paola Paolo Paolucci Papaspynou Papaspyrou Papathomas ParCeL Para ParaScope Parallelising Parallelizable Parallelization Parameterized Parametricity Parametrized Parc Parcal Pardo Pardyak Pareja Pareschi Pareto Pargaonkar Parigot Parikh Parkes Parr ParsesraP Partain Parthasarathy Pascalin Passau Passia Pastorelli Patel Patil Patrik Patt Paulo Paulson Pauw Pavel Pavlopoulou Pavol Pawagi Pawe Pawel Pe Pearse Pechtchanski Pedersen Peeter Pega Pei Peir Pekka Pellegrini Pelta Pemberton Pena Penelope Peng Peralta Pereira Peri Perl Perlis Perror Persson Pessaux Petr Petrank Petri Petrocelli Pettis Pettorossi Peyton PeytonJones Pfeiffer Pfenning Ph Phan Pharm Philbin Philie Philipose Philipp Philippe Philippsen Philips Phillip Phish Piaw Pickett Pidgeon Pienger Pietro Piette Piff Pina Pineo Pingali Pinna Pinter Pipelined Pipelining Piquer Pirinen Pirklbauer Pisa Piscataway Pitas Pittsburg Piumarta Pixie Piyush Pl Plaat Plasil Plasmeijer Plat Playford Plevyak Plexico Plezbert Ploeg Plotkin Plotkin's Plouzeau Pnueli Podgorelec Poehlman Poletto Politecnica Politecnico PolyP Polycyclic Polyhedra Polymorphism Polytech Polytechnique Pompe Ponnusamy Pontelli Porterfield Portia PostScript Pottier Poul Poulsen Poulsen's Pouzet PowerEpsilon PowerPC PowerPCs Pozo Pract Prakash Pramod Prasanna Prasun Prateek Prather Pre Pree Prefecturem Prefetching Prehofer Pren Preprints Preprocessor Presburger Pretenuring Prieto Princ Prins Priti Privatization Priyadarshan Probst Proc Procs Proebsting Programme Proietti Prolog Prolog's Pronk Proudfoot Provo Pruex Przemys Puaut Puri Purtilo Pushpa Putnik Q QA QAL QALb QBD QDO QED QIP QR QSL QSS QT QTA Qi Qian QingMing Qiong Qiu Qld QoS Quammen Quan Quattro Que Queensland Queinnec QuickBASIC Quicksort Quinlan Quong R RAA RAD RAH RAI RAJ RAMpage RAO RAPIDE RAR RAS RAU RBA RBC RBO RBP RC RCB RCC RCD RCG RCI RCJ RCM RCN RCO RCP RCT RCV RCW RD RDBMS RDD RDF RDM RDS REA REC REK REN REP RFC RFCb RFD RFI RFR RFS RGJ RGT RIC RIF RIGAL RIL RIN RISC RISCs RIW RJC RLE RLM RLS RLin RM RMA RMB RMC RMD RME RMF RMI RML RMM RMP RNG RNL RNLb RNW RO ROC ROO ROS RPC RPCs RPD RPE RPL RPP RPS RPT RPU RRA RRB RRD RRG RRL RRM RS RSA RSC RSD RSL RSM RSO RSS RSets RT RTA RTC RTD RTE RTF RTI RTM RTP RTR RTS RTV RTW RTsynchronizer RTsynchronizers RUS RWF RWTH RWZ RYO Ra Rabia Rabin Rachid Rada Radenski Radensky Radford Radha Radhia Radhika Radia Radu Rae Raghavachari Raghu Raguideau Rahim Rahmeh Raiha Raimondas Raimondo Rainer Raj Raja Rajamani Rajamony Rajat Raje Rajeev Rajendra Rajesh Rajib Rajiv Rajive Rakesh Ralf Rama Ramachanaran Ramachandran Ramakrishna Ramakrishnan Ramalingam Ramarkrishnan Rambus Ramesh Ramkrishna Ramkumar Ramsdell Rance Ranganathan Rangarajan Rangel Rao Raph Rapin Rastisalv Rastislav Rau Rauber Rauchwerger Ravi Raymie Raynal Razek Reachability Rebecca Recd Reconcilable Redell Reengineering Rees Reexecution Refactoring Refister Regan Rehfuss Rehg Rehof Reid Reiner Reinhard Reinhardt Reiser Reiss Reiter Reiter's Rekers Rematerialization Remo Remy Ren Renaud Rennes Rensselaer Renvoise Reorganisation Reppy Res Research's Resende Resler Retargetable Retargeting Rete Retiming Reusability Rey Reza Rhyne Ri Ricardo Riccardi Richie Ridder Riecke Riedel Riehle Rieks Riely Rifkin Riis Rinard Rinat Rinus Rishiyur Risi Rita Rivard Rivas Rivera Rivieres Rizaldo Rizzo Robero Rocca Rochberg Rockville Rocque Rocquencourt Rodeh Rodolfo Rodriquez Rogardt Rohit Rojemo Rok Roldan Romanenko Romanovsky Romer Rommert Rong Rosen Rosenblum Rosendale Rosenfeld Rosing Rossen Rosser Rossie Rosson Rost Rothberg Rothering Rothermel Rotzell Rouaix Roure Roussel Rousset Rowan Rowe Royer Rozas Rozman Rozmen Ru Rubin Ruckert Rudolf Ruething Ruey Ruf Ruggieri Rugina Rui Rulghaver Rumbaugh Runciman Runtime Runtimes Ruotolo Russel Russinovich Russo Rustan Rutger Ruttenberg Rx Ryde Rygg Rymer Ryu Ryung S SA SAA SAI SAL SAN SAO SAPb SAR SAS SAV SBA SBM SBT SBV SBW SC SCA SCB SCC SCH SCHEMEXEROX SCI SCL SCM SCONE SCP SCR SCS SCSI SCT SCTb SDC SDD SDE SDF SDP SDR SDS SDT SDU SEB SEC SEGs SEI SEIS SEL SELF's SEM SEO SESE SFC SFJ SFP SFS SFT SFU SGB SGC SGD SGEFA SGI SGM SGP SHA SHN SHO SHS SHared SIA SIB SIE SIF SIG SIGACT SIGADA SIGARCH SIGAda SIGF SIGForth SIGGRAPH SIGMOD SIGOPS SIGPLAN SIGSOFT SIH SIM SIMD SINODQ SIO SJG SK SKN SL SLC SLD SLDAL SLF SLI SLO SLOb SLPX SLam SMC SME SMI SML SMM SMMa SMMb SMP SMS SMU SNF SNOBOL SNW SOA SOC SOFTW SOH SOM SOO SOT SP SPARC SPARC's SPARCstation SPC SPCF SPD SPE SPI SPIb SPJ SPL SPLAW SPM SPMD SPP SPS SPT SQL SQRDC SR SRA SRAM SRC SRECD SRL SRM SRO SRP SRS SRT SRW SSA SSBUV SSC SSD SSE SSF SSJ SSO SSP SSR SSS SST SSV SSW SSets STA STB STC STD STE STEELMAN STF STG STI STM STN STO STP STRAWMAN STS STU SUA SUC SUCSLI SUF SUI SUIF SURV SUT SV SVC SVD SVN SVP SVW SW SWM Sa Saadani Sabatella Sabelfeld Sabry Sachin Sadayappan Sadler Sadun Saghir Sagiv Sagonas Sah Sahay Sahlin Saibi Sainrat Sakharov Sakkinen Saksena Sakuma Sallie Salomon Saltz Salus Salvaneschi Salverda Salz Samadzadeh Saman Sammet Sampath San Sandhu Sandhya Sandip Sandro Sangiorgi Saniya Sanjay Sanjeev Sanjiv Sankar Sankaran Sannella Sansom Santana Santhanam Santo Santos Santosh Sao Saraswat Sarita Sarkar Sarmenta Sarni Sarukkai Sastry Satish Satnam Satoh Satoshi Satpathy Saubion Saumya Sava Sawashima Saxe Scalability Scarborough Sch Schaerf Schaffert Schappert Schau Schauser Schedulability Schee Schefstrom Scheiman Scherer Scherlis Schickard Schielke Schilling Schlansker Schlarisker Schlotz Schmid Schnabel Schnarr Schnier Schoening Schoinas Scholz Schonberg Schonhacker Schooler Schreiber Schreiweis Schrod Schu Schulman Schupp Schwab Schwan Schwartzbach Schwarz Sci Screeners Sdorra Se Seager Sean Sechrest Seevers Sefika Segel Seidewitz Seidl Sekar Sekhar Sekiguchi Selker Selvaraj Sema Semenzato Semmelroth Seo Seongsoo Sep Sepe Sequent Sergei Sergey Sergio Sergui Serpette Serrano Sestoft SetLog Seth Sethi Seung Seznec Sh Shaffert Shahmehri Shalit Shamik Shan Shang Shangping Shankar Shao Sharad Sharafuddin Sharlit Sharma Sharpio Shasha Shauchi Shaunak Shawn Sheard Sheeran Sheetal Shelekhov Shen Sheng Shenker Sheperd Sheryl Shiaofen Shibin Shien Shigeru Shih Shimizu Shimon Shindo Shing Shinn Shiraki Shirish Shlomit Shridhar Shriram Shrobe Shteto Shu Shubhendu Shufelt Shull Shute Shyam Shyamala Shyamasundar Shyan Siau Sibert Sibylle Sicherman Sidd Siddhartha Sidi Siebert Sieg Siegl Siek Siemens Sigbjorn Sigplan Sigurd Sikkel Silander Silberman Silva Simmel Simmi Simoni Simonis Simons Simson Sindre Singh Sinharoy Sinica Siobh Sipelstein Sitaram Siveroni Sjolander Skeppstedt Skestedt Skiena Skudlarek Slovenia SmallEiffel Smalltalk SmartFiles Smilan Smolka Snell Snelting Snir Snowbird Sobel Soc Sodan Sodani Soffa SoftFLASH Softwaretechnol Sohi Solaris Solberg Soley Solorzano Solovay's Somesh Somnath Songnian Soo Sorkin Sosi Sosic Souder Soumen Sourelis Souza Sp SpA Spackman SpecInt Specht Specialisation Specialising Sperber Spertus Spezialetti Spiliopoulou Spinelli Spinellis Spiro Splawski Spoto Spreadsheets Spreitzer Sr Srdjan Sreedhar Srikant Srikrishna Srinivas Srinivasa Srinivasan Sriram Srivastava StackThreads Stadel Stamatis Stansifer Starovic Stata Statechart Staudt Steckler Stee Steele's Steenkiste Steensgaard Stefan Stefanos Stefanovi Stefanovic Steffen Steigerwald Stemple Stenstr Stephan Stephane Steyaert Stichnoch Stichnoth Stiglic Stillwater Stitt Stodghill Stoeffler Stoller Stolz Stonebraker Stotzer Stoutamire Stoutchinin Strachey Strachey's Straitjacket Strandh Straube Streeter Stroh Strom Strongtalk Stroud Stroustrup Strout Stuckey Stuetzle Stukel Su Suad Suan Subbarao Subclassing Subhachandra Subhlok Subobjects Subpages Subrahmanyam Subramanian Subramanya Subramonian Substring Subtransitive Subtyping Sudkamp Sugawara Sumii SunPRO SunSoft Sundaram Sundaresan Sundaresh Sundeep Sunderam Suneel Sungdo Sungyoung Sunter Supercomput Supercomputing Superoperators Superoptimizer Superpages Superscalar Suppes Surcsh Suresh Surya Susi Sussman Susumu Sutcliffe Svendsen Svensson SwapsManager Swed Sylvain Symp Synchronisation Syntox Syropoulos Sys Syst Systolic Szabolcs Szymanski T TAH TAI TAT TB TBA TBB TBC TBF TBQ TBS TBU TC TCC TCD TCE TCF TCH TCI TCIa TCIb TCIc TCJ TCL TCM TCP TCQ TCR TCS TCT TCTL TCU TCV TCW TCa TCb TD TDA TDD TDL TDN TDP TDR TDS TEC TEM TEO TEP TEX TErms TFC TFF TFG TFI TFO TFS TFV TGA TGC TGS THD THL THP TI TIB TII TIL TIR TL TLB TLBs TLD TLF TLG TLM TLS TM TMA TME TMF TMI TMM TMO TMR TMS TNP TOA TOBEY TOCS TOOPL TOPLAS TOa TPA TPC TPE TPI TPL TPM TPN TPO TPP TPT TRANS TRC TRF TRL TRM TRP TRPC TRS TRT TRU TS TSA TSC TSCb TSD TSE TSF TSI TSJ TSL TSM TSO TSP TSS TST TT TTD TTF TTQ TUL TVD TWB TWT TWW TX Tabata Tabatabai Tadeusz Taehyoun Tagless Taha Tai Tailorable Taivalsaari Tajima Tak Takagi Takano Takashio Takeichi Takeshi Takeuchi Taki Takuo Talcott Talence Talia Talini Talla Talluri Talpin Tambe Tamiya Tampere Tanenbaum Tarditi Tarjan Tarlecki Tarr Tatsukawa Tatsuya Taura Tcl Technion Technische Technol Teck Teitelbaum Tel Telecom Telecontrol Teleoperated Tellez Temam Templ Templer Teng Tennent Teodosiu Tera Terence Tereza Terrence Tessman Tesuji Tews Th Thacker Thanasis Thant Thatt Thatte Thekkath Theo Therese Thiemann Thierry Thilo Thirion Thiruvathukal Tho Thoen Thomborson Thorsten Thu Thuraisingham Tian Tibbets Tibetts Tibor Tice Tien Timethread Timmerman Tina Ting Tirumalai Tiwary Tiziana Tjiang TkGofer Tkach Tkatch Tobias Todesco Toeroe Tofte Tofte's Tohme Tokoro Tokuda Tolmach Tomasz Tomaz Tomi Tomlinson Tomoda Tomoyoshi Toolbox Toole Toolmaker's Toonen Tor Torben Torbj Torbjoern Torchiano Torczon Torgerson Torino Torrellas Toru Toshimi Toshiyuki Tps Tracz Tradeoffs Traister Trampolined TransBase Transputer Traub Traunm Traunmuller Trauter Travassos Treadway Trehan Trevor Trifonov Trinder Trishul Trondheim Trono Trott Tse Tseng Tsing Tsun Tsunehisa Tsvetan Tu Tubingen Tue Tuma Tung Tuovinen Tuples Tupling Turbak Tversky Twente Tyne Tyng Typechecking Typeless Typer Tzartzanis Tzi U UAG UAL UAM UAP UAU UBF UCE UCJ UCM UDC UDM UEU UFC UFE UFMG UFS UGG UII UIM UIMS UIS UIST UJC UK UKO ULP UMA UML UNIV UNM UOM UOO UOP UOV UPB UPC UPL UPV URA URC URL USC USI USS USSA UT UTA UTD UTF UTLB UUS UWI UWPI UYL Uday Udine Uh Uhlig Ulrich Ulrik Ulrike Umakishore Umbriel Umetani Umpei Umrigar Unboxed Unboxing Underused Ungar Ungureanu Unicode Uniprep Uniprocessor Univ Universit Universitaet Unrau Urbana Urs Urzyczyn Utrecht Uwe Uysal V V's VAC VBO VCC VCM VCODE VCT VDG VDM VDS VEP VERIMAG VFF VIC VIS VKR VLIW VLL VLLb VLO VLP VLSI VM VML VMP VNV VOC VOM VOP VORX VPB VPH VPP VRD VRE VSS VT VTQ VVC Vadim Vahdat Vaidy Vaishnavi Valenti Valery Valot VanHentenryck VanHilst VanHorebeek VanMeter VanRoy VanStee VanWyck Vander Varol Vasanth Vassiliadis Vassily Vatsa Vaucher Vayda Vayssiere Vclusters Veenstra Vegdahl Vejlstrup Vel Velazquez Veldema Venkatesh Venuti Verdonk Verghese Verhoef VeriSoft Verlag Verschaeren Vershaeren Versioned Vertices Verus Vetter Vialle Vic Vidal Vijay Vikram Viktor Vili Viljem Villacis Villemonte VillemontedelaClergerie Villeneuve Vilot Vineet Vineeth Vinny Vion Virtuality Vishesh VisiCLANG VisiCola Visser Viswanath Viswanathan Vitaliano Vitek Vivek Vivo Vlado Vlaminck Vlissides Voelker Vogt Volanschi Volker Volpano Von Vondran Vorobyov Vouillon Vpo Vrije Vugranam Vullinghs Vuong W WA WAM WBP WCA WCE WCJ WCS WDD WDS WEA WEB's WFP WG WGA WI WIP WJB WLC WMB WMP WNO WOC WOT WOTb WPC WPO WPP WPR WPT WR WRAPGEN WRL WRM WRP WSH WSS WSW WTC WTF WTP WTS WTU WWW WYSIWYG Waddell Wadler Wadler's Wah Wahbe Waheed Wai Wailly Waite Walder Walgenbach Walid Walinsky Wallach Wallnau Wand's Wanghong Wansbrough Warter Washabaugh Watanabe Watchpoints Watterson Wavrik Wawrzynek Webb Webber Weck Weddell Wegman Wegner Wehrer Wei Weiert Weihe Weihl Weimin Weiming Weinreb Weirich Weis Weise Weiser Weisert Weissman Welzer Wen Wendt Wentworth Wenyi Werther Wes Wexelblat Whaley Whalley Whitfield Whitty Wichman Wichmann Wickline Wiedemann Wien Wilco Wilk Wilkerson Willey Willy Wilner Wilsonville Wim Wimmers WindView Winkler Winterbottom Wirfs Wirth Wirth's Wism Wismuller Wisniewski Withington Wolman Wong Wonnacott Woodfield Woodger Woolfrey Wooten Workflow Workloads Wortman Wragg Wroc Wulf Wyck X XDP XIL XML XSC XSM XWAM XX XYI Xiaocong Xie Xilinx Xin Xing Xingbin Xinger Xinjie Xinying Xu Xue XueDong Y YACC YCD YCLa YCLb YCLc YIL YYA Yacc Yael Yalamanchilli Yan Yanbing Yangmin Yanhong Yankelevich Yannick Yao Yaoqing Yariv Yaseen Yasu Yasuhiko Yasusi Yau Yeh Yehudai Yelick Yelland Yellin Yeng Yeo Yeon Yeung Yi Yiannis Ying Yingchun Yingjun Yo Yoichi Yokote Yonezawa Yong Yonghong Yongjoon Yongquiang Yongsen Yonqiang Yoshida Yoshiji Yossi Youfeng Youngblut Yourdon Yovev Yu Yuan Yuanyuan Yuasa Yuchen Yue Yuen Yuh Yuhong Yuhua Yuichi Yuli Yulin Yunheung Yunhueng Yuqun Yutaka Z ZCA ZCR ZF ZRS Zadeck Zadeck's Zagha Zahira Zahorjan Zambonelli Zanden Zbigniew Zdancewic Zdonik Zdzis Zedan Zelenka Zeller Zena Zendra Zeng Zerksis Zernik Zettel Zhai Zhang Zhao Zhe Zhejiang Zhendong Zheng Zhenjiang Zhenyu Zhi Zhichen Zhiyuan Zhong Zhongxiu Zhou Zhu Zick Zima Zimmermann Zine Ziv Zivkova Zivkovic Zohar Zongming Zongyan Zoran Zorn Zorzo Zosel Zumer Zuse Zvi Zwaag Zwaenepoel Zwarico aachen aacute abadi abbrev abramsky acharya ack acknowledgement acm actorSpace actorSpaces adams adaptors addressability adl adr adve aegean aesthetics affiliationaddress affine affinely agesen agrawal aiken al allen alloc alpern alpuente altman alttitle altucher amadio amagbegnon amarasinghe ambients ameliorates amic ammarguellat ammons analyse analyses anderson andrews annote anomolies antoy aply aponte appel applets apr ard argade ariola arithmetics arity arvind asa ashley asperti asplos asssociative attie au aubry auc auerbach aug auslander austin automata automation aw awski axio axiomatisation axiomatize axiomatized ayers azagury b bach bagrodia bailey bakkers bal barbuti barotropic barrett barthou bayanihan beebe behaviour behaviourally benton bergner bernstein bershad berson bertot bi bianchini bibdate bibmods bibnames bibsort bibsource bilardi birkedal bisimulation biswas bitmap bitvector bius blanchet blelloch bner bodik boehm boer bogda bonfatti booktitle boolean booleans bosschere bossi bouajjani boudol bourdoncle bowlden boxcharts boyd boyland bradlee brakefield braux breakpoint brien briggs bromley brookes broustaut bruce bruggeman budd bugnion byname bytecode bytecoded bytecodes byvolume byyear c cachable caching caffrey cai calculational calder calendrical callahan callahn calle callee campos cardelli carini carr cartesian cartwright castagna casted catamorphisms cc cecil centres centric cev cfm cfront chakrabarti chandra chatterjee che checkpointing chen cheng chi chilimbi chitil chitnis chiueh chlin chling choi chung cierniak cinderella ck cker clarke classcodes classicality cleaveland clergerie clinger clusterings cmu cobegin codetable codish coercions cohen coinductive colby cole coleman collberg colmerauer colnet colouring com combinations combinator combinators commercialized composable compoundness comprehensions confdate conferenceyear conflocation confluence confname confsponsor conftitle congruences consel contravariance convariant cooC coprocessors copublished coreflective cormack coroutines corpsource cortesi cosmo cousot covariant crary crossref cs customizable cwi cytron d d'Ascq d'Autom d'Inf dML dani danvy daptive darmstadt darp das dataflow datatypes davidson davies dawson db db's dblp dbx dcg dcs de deBoer deBry deChampeaux deChamplain deLaRocqueRodriguez deOliveiraGuimaraes deVivo deWailly deallocated deallocation debray debuggability dec declustering decomposability decompositional def defouw defunctionalization defusing del delinearization demmers demoen deoptimization deoptimizing dependences der dereference dereferencing des descendent descriptional destructors deutsch dhamdhere di diff dimeo diniz discoideum disruptiveness divcnst diwan dk dl doall doc docstring doesn doi dolby doligez dominators dorf doth drand dric drissel dspin duba dubois duesterwald duggan dussart dwarkadas dx dy dybvig e eNVy eXtensible eau ebcioglu edelson edu eegr eichenberger eide eidorff eisen ek el elsman email emami embeddable embeddings emerson emphasised emption en encap engler englobing eopt ephemera equational equationally er erlichson ernst ertl es evalution evans evi executables experimentations explorative ey ez f fahndrich fallback farnum farrow feb fegaras feigen fernandez ferrante fessant fi filinski finne fixpoint fixpoints fjournal flanagan flashlite flatt flavers flowgraph flowgraphs focussed fong formalised formedness formulae fornax fournet fp fparith fpbiblio fr fractals fradet france fraser freitag frenger freund frigo fritzson ftp fu fudgets functionals functor functors furman g gallagher ganz gao garbo gargaro garrigue gassanenko gc gcc gdb gen generalisation generalterms genericity generics george ger gerber gh ghiya ghosh gibson gigaflops glew gnon godefroid goff goldberg gonthier goodwin gordon govindarajan gr grainsize granlund greiner griesmer griswold grobauer groundness grunwald gstedt guid gunter gupta guttag gz h hagimont hamilton hammond handheld hankin hannan hansen hanson hanus hanxleden hardwired harty hashemi hasti hatcliff hauer hayashi hayden hcc hearn heinlein heinrich heintze hendren henglein hentenryck henzinger heretical hieb histogramming hl hm hndrich hne hoang hoc hofmann hogstedt holland holzle honda hoover horwitz hosking howerton hpjava hpjavampi hr htm html http hu huang huch huelsbergen huff hughes hummel hylomorphisms hyperfairness hypermedia hyperperiod i iWarp iWrap icet icfp ichbiah ichi ichiro idx ieee iel iff ifs igarashi igas igr ih il im incudes indiana indices inferencing infering informatik initially inline inlined inlining inria intensional intensionality intensionally interconnectivity interdependencies intermodule internode interoperability interoperation interpretaion interprocedural interprocedurally interprocessor interstatement intra intraprocedural intrinsics intuitionist invalidations ira isn isomorphs iti j jackson jacob jacobs jaffar jagadeesan jagannathan jain jalape jamrozik jan jansson java javab javahurt javapp jemo jensen jfft jim jnt johnsen johnson johnstone jones jorgensen joung jourdan journalabr jouvelot jpvm jrnl js jspice jted judgement jul jun jwarp k kahrs kakkad karamcheti kat katiyar kay ke kelsey kendall kennedy kerkis kerns kersten kessler kfoury kielmann kishon kiviat klarlund kleinman knittingfactory knobe knoblock knoop ko kobayashi kodukula koldinger kolte koopman kopetz kozen krall krintz krishnamurthy kubiatowicz kurlander l labelling lafont lakhotia laml lamping landi landmine lang larose larson larus las laudon launchbury lawall lcc lctes le leapfrogging leavens leivant ler leroy lescanne lesens leung levi lewski li liang liao lier liftings lim lincoln lindsey linearization ling lipasti lipkind liskov liu livelock ll lle ller lo logics longley lookaside lookup loop's ltx lu lucco lueh luk lyons lzle m maassen machanick mackie madsen mahlke mainwaring mairson mansart mappers maranget marlowe marriott marshalling martlet maslov matchers mathematic matthias maydan maynard mcc mccurdy mcfarling mckeeman mckinley meetingabr meetingaddress meetingdate megaprogramming mei meier memeory memoing memoization memoizing meta metaclass metaclasses metacomputation metamethods metaobject metaobjects metatheorems metatheory methododology microarchitectural microtasking middeldorp mikiten min minamide minimality minimising minuitiae mispredicted misprediction mitchell mitsolides mixin mixins mld mld's modelled modelling modularization mono monolithically monomorphic moran moreau morgenstern morphisms morrisett moschovakis mowry mpC mu mueller multi multibox multicomputer multicomputers multiform multigraphs multilanguage multilingual multiloop multiparadigm multiparty multipath multiphase multipipeline multiprogrammed multithreaded multithreading multivalued murphy mutator myers n na namespace nance navigational nb nbsp nd nderhauf ndez ne necula nestings netzer nez ngel nhacker nhfb ni nickerson niehren nielson nig nilsen nilsson ninflet ning nipkow nirkhe nishanov nishimura nj nl nonblocking nonconcurrency nondeterminism nondeterministic nonlocal nonnumerical nonoperational nonoptimizing nonregular nonspecialized nonstrict nonterminal nonterminals nonvolatile normark norris nov ns nter numericalindex numerics o oacute ocirc oct odersky offline ogata ogr ohori ois oise okasaki olukotun onExtensions ong online onodera oops op opcode opcodes optimisation optimisations optimised optimising optimizatio optview oraclizable orca org organisation orientedness orr orth oslash ottenstein outpaced overspecified ovlinger p pC pHluid pSather paakki paek pagecount pai paige palamidessi palem palimpsest palsberg para parallelising parallelizable parallelization parallelizer parameterised parameterization parameterized parametricity parented pascal passing's passings pathlength patterson pauillac pc pcc pdf peir pepm pereira pessaux petel peterson pettis pettorossi peyton pez pfenning phan phane philbin pif pilation pingali pinter pipelined pipelining pippenger pirinen piumarta plagiarized pldi plevyak plezbert pli pmontgom poletto polyadic polyhedra polymorphically polymorphism polytypic polyvariant por postcondition powerloop pp pper ppopp pratt pre predomains prefetch prefetching preprocessing preprocessor pretenuring priori privatization probationary proces processer proebsting profiler profilers prolog ps psa pseudomonads psl ptimization pubcountry pugh qian queinnec queueing r ramachandran ramakrishnan ramalingam ramesh ramsey ranganathan rao rard rau rauchwerger rc rd rdp reachability realisation realizability realtime reassociation recompilation reconcilable reconfigurability recursiveness redexes redistributions reengineering reexecution refs rehof reification reinhold remapping remarkbly rematerialization rematerialize rematerialized remy ren renamings rensen reorganisation replicas replicator reppy resolvent restartable resyntaxed retargetability retargetable retargeted retargeting retesting retiming reusability reynolds rfer rgen rgensen ria ric riecke riely rieure rinard rinat ritchie rivera rmark rmi rn rnberg rodriguez rogers romer roth rouaix rowan rr rst ruckert ruf rugina runtime runtimes russell russinovich rutgers ruttenberg rwth s sabry saghir sagiv saibi sakharov sammet sankar sansom santhanam saraswat sarkar sastry satisfiability schauser schedulability schedulable schedular schedulings scherer schlansker schmidt schnarr schneider schoinas scholz schrod schubert schwarz scivis scott se seatbelts seidl sekar semistatic semmelroth sens sensitve sep sequentiality ser seznec shao shapiro shortlived showtags siebert siek sigplan sitaram sizeable skeppstedt slowdowns smalltalk snir sodani solvability sosic sparsity specialisation specializations speeded sperber spines splawski sponsororg spreadsheets src sreedhar srinivasan srivastava ssenb st standardisation stata statechart stateful steele steensgaard stefanovicacute sterbye stichnoth straitjacket stroustrup strout stukel stvold subblock subcategory subclassing subexpressions subgoals subgraph subgraphs subhlok sublanguage subobjects suboptimally subpages subproblems subrange subscripted substring substrings subtasks subterms subtransitive subtyping sumii summarises sundaram sundaresh superclasses superoperators superoptimizer superpage superpages superscalar superscalars sur sweeney synchronisation systolic sytems t tabatabai tagless taha tailorable talluri tarditi taura tayer tcc teitelbaum telemetering teleoperated temam tex th thatte thekkath ther therefor thoen thunks tice timestamps timethread tjiang tkehaus toc tofte toolmaker's tor torrellas tradeoffs transpositions transputer traub travassos trie trinder trival tseng tsl tu tuple tuples tuplespace twocolumn txt typability typable typechecking typedness typeless typings tz u ucsb ufer uhlig uka umer unCurrying unabstracted unary unboxed unboxing und underuse underused undervariable unflattened unforgeable uni unifications unifiers unimodular uniprep uniprocessor uniprocessors unix unmapped unoptimized unspeculation unsrt untenured untyped upc updatable upmanship upsmanship upton usr utah uwasa v va vanBatenburg vanHalderen vanStee vandenBosch vandenBrand vandenBroek vanderLinden ve vectorizer vectorizing veenstra vegdahl vel veltran venkatesh verghese versa versioned vertices ville virginia virtuality visualisation vitek vizualization vol von vonHanxleden vonIssendorff vorobyov vpo vrat vs vy w waddell wadler wagner wahbe wallace walpole wang wansbrough warter washington watchdogs watchpoints watermarking wavrik wc webber webhop webmaster wehrer weise weissman wendt whaley whitaker whitfield wickline william wilner wilson wirth wismuller witz wolfe workflow wortman wu www wyck x xiang xii xiii xiu xlc xu xv xvi xviii xx xxabstract xxauthor xxnote xxtitle y ydalsvik yelland yi yong z zdancewic zhu zorzo zquez