AAC AAI AAP AAQ AAR AAS AAV ABG AC ACD ACF ACM ACO ACP ACV ADA ADC ADL ADM ADP ADT AEC AEH AFC AFG AFP AG AGD AGR AGU AGs AHA AI AIB AIC AIT AIX AJ ALGOL ALI ALU AMA AMC AME AMT ANSI AOP AOT APA APB APC APD API APL APN APP APS ARA ARG ARGUS ARP ARS ARV ASA ASC ASF ASM ASO AST ASV ATA ATD ATF ATI ATL ATOAM ATP ATPSDT ATS AUP AVA AVF AVL AVR Aaron Abadi Abella Abha Abhari Abhayendra Abhik Abhinav Abraham Abu Abuah Acar Acharya Ackermann Ackermann's Acknowledgement Ada Adam Adams Adithya Aditya Adl Adrian Adrien Adrienne Aehlig Afek Ager Aggarwal Aggelos Agostino Agten Agust Ahmed Aho Ai Aiken Ait Ajay Ajit Alain Alastair Alban Albert Alberto Alcides Aldo Aldrich Alejandro Aleksandar Aleksander Alessando Alessandro Alex Alexander Alexandros Alexandru Alexey Alfred Alglave Algol Ali Allan Allen Allison Alon Aloysius Alpern Alpuente Altucher Alur Alway Amadio Amal Amaral Amarasinghe Ambients Ambuj Amer Amey Amiel Amir Amitabha Amour Amr Amram Amtoft Ana Analyses Ancona Anders Andersen Anderson Andorra Andr Andre Andrea Andreae Andreas Andreia Andres Andrew Andrews Andrey Android Andrzej Andy Angela Angelo Anindya Anish Ankush Anlun Ann Anna Annabelle Annalisa Anne Anson Anthony Anton Antonella Antoni Antonio Antony Apel Appel Appelbe Applelbe Apps Apr Aravind Arbab Arenaz Ari Ari's Arie Arinc Ariola Arjomandi Armus Arnaud Arne Arnold Aronis Arora Arsac Arthur Arun Arvind Ashcroft Ashif Ashish Ashley Asis Aske AspectJ AspectML Assmann Associons Asumu Asuru Asuru's Athos Atkinson Atomicity Atsushi Attali Attie Aug Aung Austin Automata Automation Avi Avraham Avrunin Ayers Azadeh Azure's B BAE BBS BC BCP BDD BDDs BDR BDW BEM BFF BGC BGP BHH BI BIV BLAS BMC BNF BNS BPP BQP BRS BSA BSIL BSS BTC BTE BURS BVM Babak Backhouse Backus Bageshri Bagrodia Bahlke Baillot Bal Balaban Balabonski Balakrishnan Banatre Banda Banerjee Barabash Barak Baranowski Barbosa Barbuti Baris Barnden Barnes Barratt Barstow Bart Barthe Bartoletti Barton Barua Bas Basili Basold Batcher Batcher's Baudouin Baumgartner Beebe Beemster Behavioural Behnam Belknap Belo Beltway Bendersky Benedikt Bengt Bengtson Benton Berger Bergeretti Bergstra Bermudez Bermudo Bernadette Bernardeschi Bernays Bernd Bernhard Bertsch Berzins Betts Beyer Bharat Bhargav Bhargavan Bhaskaracharya Bhatia Bi BibNet BibTeX Bic Bieber Biering Bierman Biernacki Biglari Bihari Bijan Bilardi Binkley Birkedal Birman Birrell Bischof Bisimulation Bisimulations Bistarelli Bj Bjorn Blanchet Blanco Bleckner Blelloch Blindell Blockchain Bloem Bloss Blume Boaz Bobrow Bochmann Bodden Bodil Boehm Boer Bohannon Bohm Boker Bondhugula Bondorf Boris Borning Borodin Borstler Boruch Bos Bosnacki Bosschere Bossi Bost Botincan Bottoni Bouajjani Boudeville Boudol Boute Boyer Boyland Bozhen Br Brachth Brandis Bratin Brecht Breno Brent Breuer Briggs Briggs's Brockschmidt Brogi Bronis Broy Bruin Brun Brunekreef Brunthaler Bruun Bruynooghe Bruynooghe's Buchsbaum Buckley Budd Bueno Bugliesi Bugra Buhr Bulck Bulej Bultan Buneman Bunkenburg Burato Burke Burnaby Burstall Busi Bytecode C C's CAA CAC CAG CAI CAML CAS CBA CBC CBP CBR CBT CC CCA CCC CCE CCH CCL CCM CCP CCR CCS CCT CCured CDA CDD CDF CDG CDL CDR CDS CDSC CDSChecker CDT CDs CE CEK CEL CEO CER CET CFA CFC CFG CFI CFID CFL CFO CFS CFT CFTOKEN CGA CGC CGP CGS CGU CHC CHCs CHL CHR CHRs CIC CIE CIRCAL CISC CIT CL CLD CLI CLL CLP CLS CLT CLU CLiCS CM CMC CME CMEs CMI CNA CND CNP CNS COC CODEN COM CP CPB CPC CPD CPF CPO CPP CPS CPT CPUs CPython CR CRA CRC CRO CRW CS CSA CSB CSC CSD CSH CSP CSS CST CSV CSim CSimpl CT CTB CTC CTD CTL CTM CTO CTS CTT CUDA CUF CUI CV CVC CWS Caching Calculational Caltech Calton Calzavara Cameron Camil Candea Canesche Caragea Carbone Carchiolo Cardelli Cardelli's Carey Carini Carle Carli Carlisle Carlo Carlos Carlsson Carole Caromel Carr Carroll Carsten Cartwright Casanova Casta Castagna Catalin Cattell Catuscia Cedric Cejtin Ceriel CertiPriv Cesarini Cha Chaitin Chaitin's Chakrabarti Chakraborty Chan Chander Chandy Chaoqiang Chargu Chargueraud Charlesworth Charlier Charron Chatterjee Chau Chaudhuri Chechina Cheney Cheng Chi Chiara Chiari Chieh Chih Chike Childers Chirica Chitil Chiu Chlipala Chocola Choe Choi Chong Choudhary Choy Christensen Christodorescu Christof Christoph Christophe Christos Chung Ciancaglini Ciancarini Cifuentes Cilk Ciob Ciprian Cleaveland Clemens Clements Clemm Clich Clifton Clinicians Coalgebraic Coalgebras Coblenz Cocco CodeSurfer Codish Cogumbreiro Cohen's Colin Collange Collberg Colussi Combinator Combinatorics Combinators Combinatory CompCert Compactification Complementation Componential Composable Compositionality Condit Cong Connectionism Connor Consel Constantine Constr Containerless Contravariance Conway Cooke Copperman Coq Corchuelo Cordelia Cordy CoreThisJava Coreutils Corey Corinna Cormac Cormack Coroutine Coroutines Corporaal Corrigenda Cortes Cortesi Costabile Courcoubetis Cousot Cousot's Crafa Crary Cristian Cristina Crowl Csaba Cui Cun Cuny Curien Curtis Cytron D D'Antoni D'Osualdo D'antoni DA DAC DAF DAGs DAI DAP DAR DAS DB DBP DBR DBV DCA DCD DCP DCS DD DDA DDC DDD DDGs DDI DDL DDM DDP DDPA DDR DDT DDV DDZ DECstation DED DEE DEL DESC DET DFA DFD DFKI DFM DFP DGA DGB DGV DIA DIB DIFC DIK DIT DIV DJ DLLs DLS DMI DNF DNGCL DNP DOC DOI DOM DOsualdo DPA DPC DPL DPP DPella DRA DRE DRF DSC DSD DSF DSG DSJ DSL DSLs DSP DSU DT DTC DTD DTN DTS DTT DTV DVT DWM DXU DYMOL DaCapo Daegon Daejun Dal DalLago Dalla Dami Damiani Damiano Damon Danfeng Danicic Dantas Dantoni Danvy Darais Dario Dariusz Darko Darlington Darlington's Darmstadt Darulova Darya Daryl Das Dataflow Datalog Davide De DeBoer DeFouw DeFraine DeLaBanda DeMillo DeMoura DeRemer DeRose DeSutter Dearle Debasish Debian Debray Decompilation Decorte Deepak Def Degano Dekel Delesley Delgado Delphine Delporte Demange Demers Demetrescu Demoen Demsky Denali Dencker Deng Denis Denise Deok Dependences Dereck Derek Dershowitz Despain Devadas Devanbu Devriese Dewan Dewayne Deyoung Dezani Dhamdhere Dhananjay Dhruva Di Dibyendu Dickman Dietl Dimitrios Dimoulas Dincklage Dinesh Diniz Dino Diogo Dirk Dissegna Diwan Doallo Dodds Dodero Dolby Dolev Dominators Dongkwon Dongok Donnell Douence Douillet Dovier Dragan Drechsler Dreyer Driesen Driesen's Drini Drinic Drossopoulou Duan Dubuque Ducasse Ducournau Duesterwald Duggan Dujardin Dulli Dumortier Dunfield Dunlop Durica Durier Dutchyn Dwyer DyC DyC's DySER Dybvig Dyck E EAA EAB EAC EAG EAI EAJ EAS EBF EBH EBNF EBP EBS EBVASS ECCS ECE ECG ECI ECL ECN ECO ECP ECS EDD EDF EDO EDS EDT EDV EE EEA EEB EEC EED EEFF EEG EEI EFA EFC EFD EFF EFI EFS EHL EIA EIF EIG EIL EIS EJH EJR ELT ELV EMP EOC EOL EP EPC EPE EPMO ERB ERC ERD ERI ERO ERS ERV ESA ESB ESD ESE ESM ESO ESOP ESP ESR ESS EST ETI ETL ETP EU EUA EXPSPACE EXPTIME EXSPACE Ea Eak Earley Eastlake Eb Ebcio Eberhard Economou Edmond Eduardo Eeckhout Eelco Efe Eggers Ehmety Eiffel Eifrig Eigenmann Eigner Eijiro Eilers Eisma Elena Elia Eliezer Elisa Elisabet Eljas Elliot Elshoff Emanuele Emmes Emmi Enclaved Encodings Endre Engler Equifax Equiprobable Eran Erbsen Erez Eriksson Erlang Ermenegildo Ertl Erwig Eshrat Esparza Espinosa Esquivel Estan Esterel Etalle Etessami Etienne Etzel Euclid's Eugen Eugster Evelina Exequiel F FAC FAF FALCON's FAS FAU FAX FBP FBR FCF FCG FCL FCM FCP FD FDC FDD FDDs FDE FDL FDM FDP FDR FDT FEL FF FFD FFI FFIs FFS FGHC FGS FHE FHL FIAlias FIL FIP FJM FLZ FME FMJ FNS FOL FOM FP FPC FPE FPP FPT FPTaylor FRC FRR FRT FSA FSAlias FSG FSP FSR FT FTB FTO FUD FVS Fa Fabien Fabienne Facchinetti Falaschi Falke Falsafi Farkas Farn Faro Farzan Fateman Fauconnier Fausto FeatherTrait Federico Fei Felleisen Feng Fernandez Ferrante Ferrara Ferrari Ferruccio Fetscher Fidge Fiech Filkov Findler Finitary Finkel Finlay Finocchi Firefox Fischmeister Fixpoint FlashEd Flatt Flemming Flexeder Florian Flowback Flowgraph Fluctuat Fokkink Fong Fonseca Foo Foo's ForeC Forejt Forma Formulae Fortran Foulk Fournet Fr Fractal Fradet Fraine Frampton Francesca Francesco Francez Frans Fraser Frechtling FreeBSD Freudenberger Freund Fri Fricker Friedmann Frisch Frohn Fs Fu Fuhrer Fuhs Fujitsu Furr G GAC GADTs GAIA GB GBD GC GCC GCI GCL GCO GCR GCS GDC GDF GDW GE GEI GFS GFT GHz GI GIC GJ GL GLP GLR GLS GOA GOL GPG GPU GPUVerify GRAMPS GRS GSL GSP GSU GTB GTS GTSs GUI Gabbrielli Gaboardi Gafni Gallager Gallagher Gallet Galletta Ganapathi Ganesh Gange Gannon Ganty Gao Gappa Garc GarciaDeLaBanda Gardiner Gareth Garg Garlan Gavanelli Gawlitza Gazinger Ge Gedik Gelernter Genaim Genev Gennaro Georgeff Gerda Gergeron Gerlek Gert Gerth Gertner Gerwin Gesbert Ghaffari Gharat Ghezzi Ghosh Ghyselen Giacobazzi Gian Gianfranco Giannini Giantsios Gianuzzi Giegerich Giesl Gifford Gilberto Gilles Gini Giorgio Giotto Girard Girard's Girault Girija Girkar Git GitHub Giuse Giuseppe Giuseppina Gl Glanville Glenstrup Glesner Glew Gloy Godefroid Godmar Goft Gogul Goh Goharshady Gomard Gonz Gonzalez Gopal Gopalakrishnan Gorinova Gorlatch Gosia Goto Gottlieb Gouda Gowri Goyal Gr GradStudents Gradualizing Graefe Graeme Grammatic Grammers Greenberg Greenman Greenwald Gregor Greif Greiner Grellois Gretz Gries Grisenthwaite Griswold Gronski Grossman Grosu Grothoff Grover's Gruetter Grumberg Grunwald Gruszecki Guang Gudeman Gudj Gudjonsson Guei Guido Guimar Gulavani Guo Gupta Gustavo H HAF HCI HCM HDO HFE HFP HIL HJ HLA HLC HLL HM HOL HPC HPF HRA HSR HTC HTML HTS Habanero Hacquard Hadzilacos Hagemann Haghighat Hailperin Hailpern Haim Haines Hakjoo Halstead Halterman Hamlen Hamouda Han Hanan Handelman Hankin Hannan Hanne Hanxleden Hao Haojun Harald Harel Haridi Harish Harji Harman Harren Harrold Hartel Haruo Haselwarter Hasheminezhad Haskell Haslbeck Hassan Hassen Hasuo Hatcliff Hauser Hauswirth Haviv Havlak Hecker Heering Heike Heintze Heintze's Helsen Hendren Henglein Henk Henkel Hennessy Hennessy's Henning Henri Hentenryck Henzinger Heo Herbelin Herlihy Hermenegildo Hermengildo Herta Hesselink Heuft Heyting Hideaki Hideya Hiep Hietala Higuchi Hikaru Hilfinger Hindley Hiroyuki Hirschowitz Hirzel Hitofumi Hitz Hjort Hoare Hoare's Hobson Hoc Hoch Hoeflinger Hoffmann Hofman Hofmann Hoi Hollenbeck Holt Holzle Homomorphic Hongbo Hongfei Hongjin Hongseok Hongyu Horwitz Hosking Hosoya HotSpot Hotta Howden Hritcu Hrittcu Hsieh Hsu Hsu's Hu Hua Huang Hudak Hugues Huimin Huiqing Humblet Hussein Hutchins Hyperball Hyperproperties IA IAC IAE IAI IAM IAQ IAS IBA IBC ICB ICD ICF ICI ICL ICS ICU IDEs IDF IDG IDL IDS IEC IEE IEEE IES IFD IFI IFM IFV IGC IGL IGR IIA ILA ILI ILP ILR ILU IME IMMD IMR INC's INSPEC INTERLISP INV IOE IOO IOT IP IPA IPL IPS IR IRC IRM IRs ISB ISBN ISC ISE ISI ISM ISO ISS ISSN ISU Ian Ibsen Ichiro Id Ierusalimschy Igarashi Ik Ilan Ina Inclink Indrajit Inoue Intensional InterDyck Interconnectability Internet Interprocedural Interprocess Interprocessor Interruptible Intertask Intraprocedural Inverso Irigoin Irit Isabelle Isard Ish Iso Iterable Ito Ittai Itzhaky Iulian Iverson Iwasaki Iyengar Izidor J JBC JBV JDJ JDK JDP JFD JIT JML JMM JNI JPred JPred's JVM JVML JVMs Jacek Jacobo Jaffar Jagadeesan Jagannathan Jakob Jakobs Jalby Jana Jangda Jansen Janssen Janssens Janwillem Jared Jaume Java's JavaCOP JavaGI JavaScript Javier Jayadev Jayaraman Jayashree Jaydeep Jazayeri Jeanne Jeannet Jeannette Jedd Jeehoon Jeffery Jens Jensen Jeon Jeong Jeroen Jesper Jha Jia Jian Jiasi Jikes Jimenez Jin Jingmei Jinja Jinpyo Jinxu Jisheng Joachim Joeri Johan Johnstone Joisha Jong Jonge Jonsson Joost Jos Josep Joshi Josyula Joung Jourdan Joxan Joylyn Juelich Juergen Jul Jun Junghee Justin Jzer K KAT KB KIV KJR KLOC KME Kaashoek Kaci KaffeOS Kafshdar Kai Kaiser Kalibera Kalvala Kam Kamin Kaminski Kamp Kamperman Kanat Kandemir Kang Kaplan Kapritsos Karatsuba Karkare Karla Karoline Karp Karthikeyan Kaser Kasikci Kasper Katayama Katerina Kathryn Katoen Kats Katsuro Katz Katzenelson Kaufman Kawachiya Kawaguchi Kawahito Kedar Kedem Keefe Keizer Kelsey Kemal Kenji Kennaway Kensen Kerberos Kesha Keshav Kesseli Ketema Keutzer Kfoury Khayri Khedker Khoo Khoon Kiczales Kie Kieburtz Kielmann Kienzle Kiguradze Kihong Kilbury Kirovski Kirsch Kistler Kitsune Kiyokuni Kjell Klaftenegger Kleene Kliger Klint Kloos Klop Knapp Knaster Knoblock Knoop KoAT Kobayashi Kodratoff Kodumal Koen Koenig Kohei Kolodner Komatsu Konstantin Konstantinos Konure Koopman Korach Korb Koronkevich Korsholm Korsloot Kosbie Koster Koster's Kou Kousha Kozen Kremer Kretzler Krieg Krinke Krishnaswami Krishnendu Kristensen Krivine Kroening Krogh Krueger Kruskal Krzsztof Krzysztof Kuen Kuiper Kumar Kuncak Kunz Kuperman Kurki Kurlander Kutten Kwang Kwangkeun L LAF LALR LAV LBM LC LCB LCC LCF LCFL LCFLs LCM LD LDD LEU LFM LFR LGS LIC LISF LISP's LL LLA LLC LLVM LMR LOCC LOGICS LPC LPI LPR LPS LR LRA LRApp LRE LSA LSD LSR LSS LTAL LTB LTG LTI LTL LTP LTS LaLonde LaTeX Lacey Laffra Lago Lagorio Lahav Lakshminarayanan Lal Lam Lamma Lammich Lamport Lampson Landi Lang Langen Langen's Laplacian Laporte Larchev Larcheveque Larus Lassez Lau Lauer Laufer Laurent Laurian Lavie Lawall Laya Le LeBlanc LeCharlier LeMetayer Leandro Leavens Leeds Leeman Lehrmann Leif Leikehman Leino Leiss Leivent Lengauer Lennart Lennon Lenore Leong Lepigre Lermen Lerner Lett Letterio Lettieri Leung Leuschel Levanoni Leverett Levin Lhot Lhotak Lhoussaine Li Liang Liao Lickly Lidman Lieberherr Lieven Lifshin Ligatti Lim Lin Lindsay Lindstrom Linearizability Linearization Lins Linton Linux Lipton's Liquori Liskov Liu Liveness Livermore Livshits Liyi Llaber Llosa Lo LoC Locator Lochbihler Locksmith's Loeckx Logics Loginov Logozzo Lookahead Lorch Lorenzo Lori Lou Lovato Lowney Lozano Lu Lubachevsky Lubom Lubomir Luc Luca Lucien Luckham Ludo Lueh Luigi Luis Luiz Luj Lun Lundin Luo Lycklama M MAGICA MATLAB MB MBB MBI MC MCA MCALIB MCC MCH MCL MCM MCO MDO MDR MDT MEI MFD MFT MGC MGLL MGR MHz MICROPROGRAMMING MIE MIH MIL MIMD MIP MIPS MJM ML MLA MLC MLO MLP MLR MM MMA MMC MMM MMS MMT MODULA MOS MPI MPP MPR MRH MSA MSC MSL MSP MSR MSS MST MTD MTH MTL MTP MTV MULTILISP MVE MVP Maartje Maassen Macedonio Mackenzie Madanlal Madhavan Madhusudan Mads Madsen Madsen's Maffei Maffeis Magma Magno Mahadevan Maher Maillard Maj Maja Majumdar Malik Mallgren Malmkj Malware Manas Manber Mancarella Mandana Mandrioli Mangala Manhoi Manish Mannucci Manos Manuel MapReduce Maranget Marathe Marc Marcel Marchiori Marco Marek Margus Mariangiola Marino Maris Markstrum Markus Marques Marta Martelli Martins Martonosi Masato Masci Massimiliano Massimo Masticola Masud Mateev Mathai Matko Matsushita Matt Matteo Mattern Matthai Matthias Matthijs Mauborgne Mauney Maurer Mauricio Maurizio Mayur McAllester McCarthy's McDowell McGraw McIver McKeag McMullin McPeak Mciver Mckee Mckinley Medhi MediaBench Mehl Meidal Meir Melicher Mello Melo Melson Meng Menon Meo Merritt Merro Merz Mesnard Metalevel Metaprogramming Metayer Meuter Meven Mezini Mflops Mic Micallef Micha Michal Michaylov Michela Michele Michell Michelle MicroVAX Microprogramming Microsystems Midkiff Mihai Mihalis Mikel Mikio Mikkel Mila Milano Milenko Milieux Milind Millikin Millstein Milne Milner Milner's Milthorpe Ming Minghui Mingkun Mingsheng Minification Minseok Minsky Miquey Mirani Mirko Misc Misra Mitra MixML Mixin Modelling Modula Moessenboeck Moggi Moggi's Mohamed Mohammad Mohan Mohr Moitra Mojana Mok Moller Molnar Mon Mondrian Monniaux Montanari Monte Mook Mooly Moore's Moran Mordechai Mordido Moreau Moreira Morel Moreno Moret Morgavi Moriconi Morphing Morrisett Morten Morteza Morzenti Moshe Motohiro Motzkin Moura Mozer Mozilla MrSpidey Mudambi Mueller Mulkers Mullin MultiJava Multialgebraic Multiflow Multilisp Multimethods Multiparadigm Multiparty Multiprocess Multisource Multithreaded Multiway Murali Murata Murawski Murer Murtagh Mussio Musuvathi Mutandis Mutatis Muth Muylder Mycroft Mycroft's Myrinet N NAL NCA NCE NCI NDP NDPG NDPGs NEXPTIME NFC NFE NHFB NHFB's NIM NK NLP NMI NMS NP NPA NPP NPW NQLALR NRB NRI NS NSE NSG NSL NSS NST NTD NUMA Naaf Nabil Nachshon Nachtigal Nachum Naden Naftaly Nagappan Nagarajan Nagasamudram Nai Naik Nakatani Nanda Nandivada Nanevski Naoki Napier Narayan Narayanan Narayanasamy Narayanaswamy Narlikar Naser Nasr Natalia Nathanael Natividad Natsuki Naumann Naur Navas Nayeem Neal Neamtiu Necula Nederhof Neel Neelam Neil Neill Nemanich Neng Nerina Ness Netfinity Netzer Neumann Nga Ngan Nguyen Nicklaus Nicolas Nicolau Niels Nielson Nielson's Nierstrasz Nieuwpoort Nikhil Nikolaj Nikolaos Nikolas Nikolay Nikoli Nikolic Nikouei Nils Nilsen Nimal Ning Ningning Nipkow Nir Nissem Nissim Niznik Noam Nobuko Nonalgebraic Noncanonical Noncorrecting Nondeterminacy Nondeterminate Nondeterminism Nondeterministic Noninterfering Nonmonotonic Nonnumerical Nonoptimization Nonprocedural Nonsequentiality Nonstrict Nontermination Noorman Nori Norihisa Notth Nov Novotn Nowatzki Nystrom O O'Hearn O'Keefe O'Neill OAA OAC OAG OBC OBP OCC OCCAM OCD OCF OCLC OCM OCP OCW OCaml OEA OFE OFP OFR OGN OHE OHearn OIB OIP OMU OO OPA OPE OPF OPG OPTIMIX ORC OSD OSH OSI OSL OSM OSR OTA OTP OWASP Oberon Observability Oct Odersky Odlyzko Oei Offline Ogasawara Ohori Oldehoeft Olderog Ole Olesen Oliveira Olivier Olm Olmedo Olsson Omar Ombres Omnisemantics Omohundro Ond Ondrej Ong Online Ooi Ooos OpenCL OpenJDK OpenMP OpenSSL Oppen Optimisation Oren Ori Orna Os Ossefort Ossia Osterweil Osualdo Ottenstein Oukseh Ould Owicki Owshanko Oyabu Oz P PAF PAG PAI PAO PARLOG PB PBC PBH PBP PBV PCA PCB PCC PCN PCO PCT PCU PDF PDG PDP PDS PE PEF PEs PFD PFE PFF PFG PFI PFM PFP PGP PHA PHP PIA PID PIM PIM's PIMt PIS PL PLA PLAI PLB PLD PLN PLP PLT PLTMG PMC PML PMS PNA PNC POLYLITH POLYLITH's POSIX PP PPA PPC PPD PPE PPF PPL PPLs PPM PPMD PPMexe PPP PPT PPU PPX PQ PRC PRE PRECiSA PRG PRL PROLOG PRR PS PSA PSB PSC PSE PSF PSG PSM PSO PSP PSPACE PSS PST PT PTC PTD PTE PTI PTIME PTL PTM PTR PTS PTU PTV PThreads PVF PVI PVT PYE Pachi Padovani Padua Paek Pagel Pagh Pai Paige Palacz Palamidessi Palem Palsberg Panangaden Pande Paola Paolo Papadimitriou Papaspyrou Pappalardo ParTypes Para Parafrase Parallelization Parameterization Parameterized Parametricities Paraskevas Parlato Parlog Parnas Parno Parrow Partha Partington Patil Patrignani Patt Paull Paulo Paulson Pavle Pavlogiannis Pawe Payet Paz Pe Pearce Pearlmutter Pease Pedersen Pedreschi PegaSys Pei Peizong Peizun Pellegrini Pemberton Peng Pennello Pentium Pereira Perf Perl Perng Perrott Pessaux PetitJean Petr Petrank Petri Peyton PfP Pfenning Pfpbib Pham Philipose Philipp Philippa Phillip Photocomposition Pichardie Pict Pierpaolo Piessens Pieter Pietro Pingali Pinter Pipelined Pippenger Piquer Plasmeijer Plotkin Plotkin's Pluggable Pnueli Poch Podelski Poetzl Pointwise Polak Poletto Polle Pollock's PolyMage PolyTOIL Polybench Polychronopoulos Polymorphism Polyvariant Polyvios Pontelli Pontiggia Pos Posnett Postpass Potanin Pottier PowerPC Powerlist Pozefsky Prabhu Pradella Prakash Pramod Prasad Prasun Prateesh Prathmesh Pratikakis Pratt's Praveen Pre Preda Pregibon Prepaging Prepass Preprocessors Presburger Pretenuring Prettyprinter Prettyprinting Prins Prisma Pritam Prithviraj Priti ProVerif ProbAlgs Probst Proc Proebsting Prokopec Prolog Protzenko Prywes Pthread Pu Puebla Pugh Pugh's Pum Purdin Purtilo Purushothaman PyTorch QTI Qadeer Qian Qinheping Qirun Queinnec QuickPlan Quicksort Quiescence Quiller Quillere Quine Quong R RAB RAI RAS RBC RC RCB RCC RCS RCV RDC RDP REF RES RET RFS RGB RGSim RHTT RIA RIR RISC RIT RM RMA RMI RNG ROA RPL RRA RRB RRP RRS RS RSC RSE RSL RSMs RSQ RTL RTN RTP RTS RUA RVM Ra Radha Radu Raffalli Raffelsieper Rai Raja Rajamani Rajan Rajeev Rajiv Rajive Rajopadhye Rakamari Ralf Ramachandran Ramakrishna Ramakrishnan Ramalingam Ramana Ramanath Ramanathan Ramanujam Ramesh Ramon Ramsdell Rance Ranganath Ranzato Rao Rasmus Rau Rau's Rauchwerger Ravi Ravn Raymie Recompilation Reentrant Refactoring Refal Rehof Reif Reinhard Reiss Reiter Reitman Rekers Rem Rematerialization Ren Renganarayanan Renvoise Reoptimization Reppy Retargetable Reynold Reynold's Reza Rezk Rhiger Ribeiro Ribichini Rickard Riely Riis Rinard Rinetzky Rishabh Rishiyur Rita Ritson Rivas Rivieres Rn Robatmili Robson Rodolphe Rodrigo Roel Roever Rohde Rolf Ronan Rong Roop Ros Rosales Rosen Rosenkrantz Rossberg Rossi Rotem Rothamel Roukounaki Routeau Rouzbeh Roychoudhury Ru Rudolf Ruggieri Rugina Ruiz Runge Runyao Rupak Rushton Russo RustHorn Rustan Rutger Ruurd Ruzzo Rybalchenko Ryu Ryung S SA SAC SAE SARAC SAS SAU SBA SBC SBS SCA SCB SCBP SCC SCCs SCD SCE SCF SCI SCL SCP SCS SCT SDC SDD SDF SDG SDO SDP SDR SDS SDV SEB SED SEH SEL SEP SES SETL SF SFF SFI SFME SFP SFS SFT SG SGD SGI SGI's SGML SGS SHA SHErrLoc SHL SICStus SIE SIH SII SIM SIMD SL SLC SLD SLG SLR SM SMC SML SMO SMP SMR SMS SMT SNC SNOBL SNS SOA SOC SOFTLIB SOG SOT SPARC SPC SPECjbb SPECjvm SPG SPL SPMD SPS SPT SQL SR SRC SRF SRH SRI SRM SRS SRT SS SSA SSAPRE SSE SSF SSH SSL SSP SSProve SSR SST SSW STA STB STC STE STM STR STS STU SUIF SVC SVF SVL SVX SWS SXS SYS Sabry Saffire Sager Sagiv Sagonas Saha Sahni Salvaneschi Saman Samet Samir Sampaio Sanan Sanden Sandro Sangiorgi Sangiorgi's Saniya Sanjay Sankaralingam Sankaranarayanan Sansom Santoro Santosh Sanyal Sapan Saraswat Sarkar Sartaj Sartin Sather Sathyanarayanan Satin's Satish Sato Saumya Saur Saurabh Scala ScalaBench ScalaExtrap Sch Schachte Schaefer Schaeffer Schaerf Schanuel Schatz Scheidhauer Scheifler Schellhorn Schenfeld Schewe Schimpf Schlichting Schmitt Schmitz Scholten Scholz Schonberg Schorr Schrammel Schreiber Schreye Schrijvers Schuett Schuh Schulte Schwanke Schwartzbach Scozzari Scratchpad Se Sean Seaton Sebesta SecurityPolicy Sedgewick Sehun Seidel Seidl Seif Sekar Seki Sekiyama Semiring Seo Seon Seongsoo Sep Seppo Sequent Sequentialization Serdar Sergei Sergio Sergiu Serrano Servetto Sestoft Sestoft's Sethi Sewell Shachar Shamir Shan Shane Shang Shankar Shao Shapiro's Sharad Sharir Sharma Shasha Shastry Shaula Shavir Shavit Shaye Shaz Sheard Shen Sheng Shenoy Shepherdson Shi Shih Shimin Shing Shinnar Shirako Shlomi Shlomit Shmuel Shoham Shostak Shub Shyamasundar Siau Siddhartha Sidi Sidorenco Siek Siewiorek Sig Signedness Sigurd Sijtsma Silberschatz Silvera Silvia Sim Similix Simoens Simonet Simons Simula Singh Sipala Sippu Siskind Sistla Skalka Skeppstedt Skiena Skorstengaard Skudlarek Sleeman Smalltalk Smans Smaragdakis Smeding Smolka Snelting Sneyers Snir Snodgrass Soares Soffa Soininen Soisalon Soko Sokolowski Solaris Solovay's Solovyev Solworth Somashekaracharya Somesh Somnath Sonnenschein Soo Sorkin Soundararajan Souza Sp SparsKit Specificational Sperber Spira Spirakis Spiridon Spiro Spitters Spiwack Spooner Spoto Squeezers Sreedhar Srinivas Sriram Srivastava Ssu Stadel Staiger Stamos Stata Staveren Stavros Steckler Steenkiste Steensgaard Stefaan Stefan Stefano Stefanovi Steffen Steimann Stenstr Stephan Stijn Stohr Stoller Stoltz Stoutamire Stoyle Strackx Strassen Streeter Stroet Strom Strother Strout Stuckey Sublanguage Sublinear Submodule Subodh Suboti Substitutability Substrings Subtyping Suganuma Suhendra Sukumar Sukyoung Sulzmann Sumii Sunae Sungdeok Sungwoo Suonio Supercompiler Superimposition Supinski Supratik Suresh Sutter Sven Svendsen Sverker Swadi Swalens Swarat Swiderski Swierstra Swinehart Syed Sylvain Symp Synchronisation Syst Systolic Szafron Szekely Szymanski Szyperski T TAJ TAL TALs TAM TAS TBA TBN TBP TBS TCA TCB TCC TCF TCH TCI TCL TCN TCP TCR TCS TCT TCW TDA TDB TDD TDG TDM TDP TE TES TF TFO TFS THA TIB TIGRE TIU TLA TLC TLR TMF TML TMM TMP TMPI TMT TOPLAS TOPPS TOS TPA TPC TPO TPV TR TRM TRO TRP TRS TSC TSE TSG TSI TSJ TSL TSO TSOP TSR TSS TST TTE TTM TTN TTP TUI TUX TWT TYH TaDA Tabareau Tabatabai Tachio Tadao Taha Tai Taisook Takechi Takeshi Takeuchi Takikawa Takisaka Takuya Talia Talpin Talpin's Tamaki Tamara Tanenbaum Tangwongsan Tanter Tardieu Tarjan Tarjan's Tarm Taro Tarski Tasiran Tautschnig TechReport Teitelbaum Tel Temam Templin Temps Teng TensorFlow Tenuring Tera Terauchi Terrance Tevfik Tgraphs Th Thakur Thammanur Thi Thibault Thibaut Thiemann Thierry Thies Thilo ThingLab ThisJava ThisType ThisTyped ThisTypes Thomason Thomborson Thorup Thrun Thu Ti Tiago Tian Tichy Tierless Ting Tingjian Tiuryn Tjiang Tobias Tofte Tofte's Tomas Tomasco Tomita Tomita's Tomoharu Tomoyuki Toninho Torben Torczon Toro Torp Torre Toru Toshiaki Toshio Touri Trans TransformGen Tratt Treewidth Trevor Trifonov Trinder Tripakis TruffleVM Tsaan Tsai Tsay Tse Tseng Tsiouris Tsukada Tu Tue Tulika Tuples Turchin Turetsky Turini Tushar Tycho Typechecking Typestate Tyrrell Tzannes U UA UAC UAV UCH UCS UDA UFC UFT UK UML UMP UNS UO UPO URE URG URL URR USS USW UT UTA UTI UTL UTS Uday Udaya Udi Ugawa Ugo Uh Ullman Ulrich Ulrik Ultracomputers Umut Undecidability Underpinned Ungar Unger Univ Untyped Unyapoth Upamanyu Urabe Urs Urzyczyn Utpal Uwe Uzi V VAL VAR VBD VBDA VCARW VCP VCS VHDL VIL VLC VLD VLIW VLP VM VOQ VPB VPCMA VPN VPT VRP VSP VT VTM VTP Vakar Valdes Valentin Valeria Valery Valmir VanDenBrand VanHentenryck VanNieuwpoort VanRoy Vandecasteele Vander VanderZanden Vanhoof Vansummeren Vardi Varghese Vasco Vasconcelos Vassos Vaziri Veanes Veldema Venkatesh Verdoolaege Vere Vesga Vick Vidal Viet Vignudelli Vijay Vijayen Vijaykumar Vikt Viktor Vincenza Viroli Vishkin Visser Viswanath Vitek Vivek Vivien Vivy Vo Vogt Vogt's Vojt Vollmer Volpano Von VonBank Voorneveld Vouillon Vries Vugranam Vukasovic Vytiniotis W WA WALA WAM WCC WCRT WDA WDB WFG WFS WLI WPL WS WSE WSP WWW WWY WYSINWYX Wachter Wadge Wadler Wahl Waite Waldinger Walicki Walkingshaw Wallis Warburton Warth Washburn Watro Webb Webber Weddell Wegman Wehr Wehrheim Wei Weihl Weimer Weirich Weisenburger Weiser Weixelbaum Weixin Welch Wellings Wen Westbrook Westley Wetherell Weyuker Whalley Whitfield Wickerson Widom Wiederhold Wilcox's Wileden Wiledon Wilf Wilhelmsson Willem Wim Wimmers Winblad Winsborough Winterhalter Wirsing Wirth Wirth's Witchel Wojciechowski Wolfe Wolfram Wolfson Wolper Wonchan Wonnacott Wook Woosuk Wortman Wrigstad Wrzesi Wu Wuxu Wuyts X XARK XDuce XEF XL XML XMLdyn XSB XSL Xeon Xiangyu Xiao Xiaodi Xiaodong Xiaolei Xiaotong Xie Xing Xinyu Xipeng Xu Xuan Xueyuan Y YACC Yacc Yagi Yahav Yanhong Yannakakis Yannick Yannis Yaoda Yaoqing Yaozhu Yardimci Yarnold Yasue Yeatman Yeh Yehuda Yellin Yemini Yi Yiannis Yiapanis Yichen Yifeng Yih Ying Yinnon Yitzhak Yixuan Yoav Yong Yonghong Yongwang Yoo Yoshida Yossi Youtao Yu Yuan Yuanbo Yue Yuh Yuichiro Yunheung Yunhong Yuqiang Yuriy Yusuke Yutao Z ZGC Zadeck Zamfir Zanden Zanella Zave Zdancewic Zedan Zeller Zellweger Zena Zeno Zeno's Zequn Zhang Zhanna Zhao Zhelong Zheng Zhengqin Zhenjiang Zhenyu Zhihang Zhiming Zhiyuan Zhong Zhou Zhuang Zibin Zic Zimmermann Zlatin Zohar Zorn Zucca Zuleger Zunino Zvi Zvonimir abbrev absint ac acc accessibilities ack acknowledgement acm acyclicity adaptivity adaptors addressability adversarial aec affine ai ajournal al alg alpuente alur ambients ameliorates analyse analyser analysers analyses analysing analytics annote antidependency antimessages antoni apps apr architected argus arity articleno ashley assmann async ateach atomicity attie aug autogenerate autoincrement automata automatable automation autotuners awk axiomatization b ba backpropagator banda baumgartner beebe behaviour behavioural behaviourally behaviours ben bergstra bertsch bevan bi bibdate bibmods bibnames bibnet bibsort bibsource bijective bisimilar bisimilarity bisimulation bisimulations bitcoin bitmaps bitvector bivariant blockchains blume boer boilerplate bona boolean bottoni boundedness breakpoint breakpoint's breuer browsable browsers buchsbaum bueno bultan bytecode byvolume c ca caching calder callback callbacks callee cartesian ccs cd cdequiv cdr centric cfm ch checksum chev chi chieh chunking cia circularities ck ckner clarke clausen co coarsens code's codebase codec codetable codish coercions coinduction coinductive colorability com combating combinations combinator combinators combinatory compilable complementation componential composable compositionality compositionally concensus conds confluence contravariance contravariant controlflow coroutines corrigenda cortesi covariant coverability coverable crypting cs csp cybersecurity cyclicity d dApps da dags databaseless dataflow datalog datatype datatypes db dbase de deBoer deBruin deJonge deallocated deallocation debray debuggability dec declaratively decompilation decompiler decompilers decomposability decorte def deferral definedness defragment defunctionalized delaBanda dependences dequeues der derberg dereference dereferenced dereferences dereferencing des desktop determinancy determinization dhamdhere dholt diger digraphs disentailment disjointness div diy dl docstring doesn doi dolce dolph dominators douence dovier drf dric duesterwald duggan dujardin dwn dx e eXecute eaabba ed eda edu ej elementwise else's ely email embeddings emerson en enclaved encoders encodings engendered engenders enrolement enroling enum env equational es eval ew exascale executables expressibility expspace f facto factorized feb fibquart fide filename finitary fixpoint fixpoints fjournal flanagan flowgraph flowgraphs focussed fokkink foldable forall foreach foregoes forgoes formalisation formalisations formalised formatters formulae fortran foundational fparith fpl franca freund ft ftid ftp functionals functors g gDeep garcia generalisation generalised generalterms generativity generics gerber ghosh giacobazzi gil globalization gloy glr goire goto graduality grammers granularities greiner grossman groundness gudjonsson guelin h hailperin hanxleden haridi hashtables hassen havlak hermenegildo hexic hlberg hm hoare hoc homomorphic horwitz hr html http https hu hygienically hyperballs hyperdoctrines hyperproperties i iAPX iCAP iPSC ic id idempotence idempotency idx im immutability implementers implementor implementor's implementors impredicative incrementality incrementalized indices initialisation inline inlines inlining instantiable int interactiveness interleavings intermodule interoperability interoperable interoperating interprocedual interprocedural interprocess interunit intra intraprocedural intraunit intree ira irreducibility iso ispell j jBYTEmark jackson jan janssen java jensen jp juan jul julia jun k kandemir kb kelly kennedy kistler knight's kobayashi kozen krantz kuperman kyutech l labelled lamport lang langauge learnt leroy leuschel lez linearizability linearizable linearization listness liu livelock liveness ller logics loi lookahead lookup loop's lossless lts ltx lu lueh lzle m madhavan malware manageability markup marshalling matalinguistic materializations megaflops megamax memcached memoization memoizing memoryful meo meta metalevel metalinguistic metaprogramming metatheoretical metatheory metatool mi microinstruction microprogrammable microprogramming microtrees min minification minifiers minimise minium mixin mixins modelling moding modularization modularly monads monomorphic monovariant moreira morrisett mozart ms multi multiagent multialgebra multialgebraic multicomputer multicomputers multicore multicycle multientry multigigabyte multimethod multimethods multioutput multiparameter multiparty multipole multiprogrammed multisets multisource multistory multithreaded multithreading multitier multityped multiunit multiway mutators n na namespace narlikar nchez ncke ndergaard ndergaard's ndez nez nhfb nonLR nonaffine nonatomic noncurrent nondeterminacy nondeterminate nondeterminism nondeterministic nondistributed nondistributive nonerror nonexecutable nonfaulty nonfloundering nonhierarchical nonhomogeneous nonincremental nonintrusive noniterative nonlocal nonmainstream nonmatching nonmono nonnull nonnumerical nonoptimization nonoptimized nonoptimizing nonparallelizable nonprocedural nonrectangular nonrecursive nonrelational nonscalars nonspeculative nonstrict nonstrictly nonstrictness nonterminals nonterminating nontermination normalisation nov noweb nsson nulled nullness num o obms observationally occam oct odering odin offline offloads ois olit olm omni oneill online oopl optimisation optimisations optimised oq org os other's outtree overapproximating overapproximation overpruning owski oz p pGCL palsberg parallelizable parallelization parallelizations parameterizability parameterization parameterized parametricity pb pdf performant permutable pez pf phane phaser phasers pict piggybacks pingali pipelined pipelining pippenger pluggable pointcut pointcuts pointwise poletto polmorphism polyhedra polymorphism polyvariance polyvariant postcondition postconditions postdominator postprocessing powerdomains powerlist pp pps pre precalculated precalculating prenex preorder preplanned preprocessing preprocessor preston pretenure pretenuring priori prioritization prioritize prioritized privatization profiler profilers prog progagation programme prolog propagator propagators prossima provenly pugh purley pushdown pvm qian quantale quantales que quicksort quillere r raja ramalingam ramsey rard raud rd reachability realizability reborrowing recompilations recomputation rectifies recurse reengineering refactor refactored refactoring refactorings refunctionalize reification reified reify relation's remapping remappings rematerialization rematerialize remolded reoptimization reoptimize restructurers retarget retargetability retargetable retargeted retargeting rez rgen rgensen ria ric rinard rli rn roundoff roy rquez rre rstler rthinger ru runtime runtimes ryder s sabry sagiv sagonas sansom sar satisfiability scalability scannerless schedulability schemas schi scm scratchpad sde se sed semilattice semiring semirings semistructured semno sep sequent sfu shao sho showtags sie siggraph signedness sigplan siloed sjb ska smartphones snelting snippets softeng softwre sok sol solvability sparc specialised specializable specializations specializers specificational specifier's sperber spiller spreadsheet spreadsheets sqir sreedhar st stata stateful steckler sterby straightline struct structs subblock subclassing subcomputations subexpression subexpressions subgoals subgraphs submarkings submodular subparts subproblems subschema subscripting substring substrings subsumption subtree subtyping suitability summands summarisation supercompilation superimposition superlinear supermartingale supermartingales superoptimisation superscalar superset supersymbols supertype supertypes synchronisation syntaxes synthesised synthesiser synthesisers synthetically systolic t taskwait tayer tcc tenuring tera term's tex tgraph tgraph's tgraphs th tha therefor thread's tienne timestamp timestamps timesteps toc tofte tokenization toolchain toolkits toplas tradeoff tradeoffs transliterated transputer treewidth triaging trie tuple tuples tupling twocolumn typable typecase typechecking typedef typedness typestate typestates u uckner udiger ufer uilit uka un unabstracted unanchored unary unboundedly uncolorable uncomputable uncorrupted uncoverable uncurried undecidability underpin unfoldings unforgeable unintuitive unix unoptimized unpermissive unproductivity unreachability unsatisfiability unsuitability unsuitable untrusted untyped updatable updateable upfront upstreamed urre utah uthing v vandenBos ve vectorizable vectorize vectorized ver verifiably versa versioning vertices virtualization vlsi von vonHanxleden voqc vortices vpo vpoiso vs w wagner waituntil wc weakenings websites wellings whilst whitfield wildcards workarounds worklist wp wrt www x xcf xxnote y yellin yu z