AAC AAE AAI AAMs AAR AARA AAS AAT ABB ABO ACB ACM ACP ACR ADC ADEV ADI ADP ADTs AE AEB AED AEM AEP AES AEV AFA AGA AGC AGF AGT AHP AI AIE AIS AIV ALH ALS ALT AMC AML AMS ANB ANG AOT APC API APIfix APIs APL APS ARMv ARR ARV ASA ASC ASD ASE AST ATC ATF ATG ATI ATP ATS AVB AWS Aanjaneya Aarti Aashish Aayan Abadi Abby Abdulla Abhik Abhinav Abhishek Abramsky Abreu Abuah Acar Accattoli Accioly Actris Adamsen Adithya Aditi Aditya Adriana Adve Adversarial Aesha Aftandilian Agda Aggelos Agrawal Aguirre Ahmad Ahman Ahmed Ahmet Ahrens Aidan Aishwarya Akash Akimasa Akira Aksun AlAwar AlThokair Alaia Alanna Alastair Alban Albarghouthi Alceste Alcino Aldrich Alejandro Aleksandar Aleksander Aleksey Alessandro Alessio Alexandre Alexandrescu Alexandru Alexei Alexey Alexi Algebro Algehed Alimadadi Alix Aliya Allais Allamanis Almagor Almeida Alnor Alo Alok Alon Alpernas Altenkirch Alur Amal Amalee Amanda Amar Amarasinghe Ambroise Ambrus Ameya Amin Amir Amit Amorim Amour Amr Amrit AnICA Anas Ancona Anders Andow Andr Andreas Andrej Andres Andrey Android Andrzej Ang Angello Angiuli Anh Anil Anindya Anish Anitha Anjiang Ankush Anmol Annabelle Annenkov Anshuman Antal Antoni Antonis Antonopoulos Antwerpen Anvay AnyDSL Aparecida Apostolakis Appel ApproxHPVM Ara Arashloo Aravind Arie Ariola Ariya Arjen Arjun Arma Armando Armin Arnaud Arntzenius Aron Arora Arpita Arrial Ars Arshavir Arteca Artem Arvind Asai Aschieri Aseem Ashish Asphalion Astorga Astrauskas Atanas Atig Atkey Atsushi Atul Auerbach Aur Aurel AutoPandas Automation Avanzini Avigad Avik Aviral Avneri Avraham Awar Aws Axel Aymeric Azadeh Azevedo Aziz B BBN BBO BDA BDL BDS BFA BFF BFT BLB BLT BPD BPS BPT BQC BRR BSB BSC BSG BSP BSR BST Ba Baanen Babokin Bacelar Backend Backpropagation Bader Baghdadi Bagherzadeh Bahr Baijun Bajpai Bakshy Bakst Balabonski Baldan Balkind Ballantyne Baluta Balzer Banerjee Bansal Bao Barbar Barbarossa Barenbaum Barik Barke Barnaby Barowy Barri Barriere Barslev Bartell Bartha Barthe Bartocci Bas Basile Bassily Bastani Bastian Batty Batz Baudart Bauman Baumann Bautista Bavishi Beckett Befrouei Beillahi Bellin Belyakova Bembenek Benavides Benedikt Bengt Bengtson Beniamino Benno Beno Benoit Benzaken Berdine Beresford Berger Bergmann Bernardy Bertil Bezanson Bfloat Bhargavan Bhavya Bianchini Biboudis Bidirected Bielik Bierhoff Biernacka Biernacki Bigelow Bilardi Binhang BioScript Birkedal Birkhoff Bisimilarity Bisimulation Biswas Bjarne Blackman Blackshear Blanchette Blankstein Blanvillain Blatt Blau Blaudeau Blazy Bo Bod Bodden Bodik Boesche Boespflug Boisseau Boix Bol Bolz Bonan Bonchi Bonelli Bor Borba Borel Bornholt Boruch Bosamiya Bottu Bouajjani Bouillud Boulier Boulm Bour Bourke Bowtie Boyland Bozga Bozhen Br Braam Bracevac Brachth Brachthauser Bram Breanna Breck Breitner Brendel Breno Breslin Bretton Brigitte Brijesh Brinkmann Brody Broeck Broman Brotzman Brun Brunel Bruni Brzozowski Bui Burckhardt Burcu Buse Bykov C CAAT CAE CAO CBI CBT CBV CC CCA CCC CCE CCF CCG CCH CCR CCS CCT CCW CDF CDO CDS CDT CED CEGIS CEH CEI CEN CEP CF CFA CFGs CFH CFL CFR CFS CFV CGC CGD CGM CGP CGT CHC CHERI CIC CII CIS CMG CMT CN CNC COC CODEN CPC CPG CPL CPP CPS CPT CPUs CPython CQI CR CRDTs CRS CS CSA CSD CSE CSH CSL CSM CSO CSP CSS CTA CTC CTF CTI CTL CTP CTR CUA CUDA CVS CVT Cacciari Cadar Cai Caires CakeML Callbacks Cambronero Campora Canou Cao Capriotti Carbin Cardelli Carette Carlos Carmer Carvalho Cas Casper Castagna Castegren Castellan Catala Catalin Caterina Cathcart Cauligi Cavalcanti Cavallo Cecchetti Cedille Celik Cern CertiCoq Cezara Cha Chabbi Chadha Chae Chaitanya Chaliasos Chalupa Chan Chandra Chandrakana Changwan Chanh Chanhee Chantal Chao Chaozhe Chaperone Chappe Charalambos Charatonik Chargu Chargueraud Chari Charith Charitha Chasins Chataing Chatterjee Chau Chaudhuri Chechik Cheng Chenglin Chenglong Chengnian Chengpeng Chengyu Cheung Chez Chiang Chiao Chiba Chik Chike Chistikov Chitre Chiu Chlipala Cho Choi Chong Choudhary Choudhury Chowdhary Christa Christakis Christiansen Christof Christoffer Christoph Christophe Christos Christy Chu Chuan Chugh Chun Chung Ciccone Ciera Cimini Cinzia Cl Clairambault Claudel Clebsch Cleve Clinger Clochard Clojure Clune Coalgebraic Coarray Coarrays Coblenz Cockx Codimensions Codrut Coeffects Cogumbreiro Colin Collange CompCert CompCertELF CompCertM Composability Conal Cong Connor Conor Constantin Contejean Contrastin Contreras Cooksey Coppieters Coq CoqQ Cormac Cort Corti Cosman Cosmin Cosmo Costa Costanzo Costin Courant Crary Cres Cristian Cristina Criswell Cronburg Crubill CsAs Csaba Csongor Cubix Culpepper Cunha Curators Customizable Cusumano Cyphert Cyprien D D'Antoni D'Osualdo D'Souza DAL DAP DAS DAU DBLP DBMSs DBP DBS DCD DCI DCM DCO DCR DCT DDA DDC DDL DDO DDP DDS DDT DEH DEP DFD DFKI DFL DFO DFP DFR DFS DGP DGS DIA DIB DIU DL DLA DLC DLJ DLR DMA DMC DMF DMS DNP DOI DOR DOsualdo DPF DPI DPOR DPS DPU DProf DRD DRE DRF DRP DRU DSB DSD DSL DSLs DSP DTC DTD DTH DTI DTR DTS DVG DVH DYS Daan Dagnino Dahlqvist Daiva Dal DalLago Dalla Daloze Dalvandi Damiano Damien Daming Danel Danfeng Danielsson Danil Danner Darais Dardinier Dargent Dario Dariusz Darko Darragh Darulova Das Dataflow Datalog Datatype Davide Davidmann Davood De DePorre Dea Deconstructing Decova DeepBugs DeepSEA DeepSpec Deepak DefinitelyTyped Degenbaev Deian Dejan Delbianco Deligiannis Delignat Demsky Deng Denghang Denis Denlinger Deokhwan Derici Desai Desktop Devecsery Devietti Devore Devriese Dhandhania Dhiman Dhodapkar Dhruv Di DiGiusto DiLiberti Diatchki Didier Diehl Dietl Dietz DiffStream Dileep Dillig DimSum Dimino Dimitrios Dimitris Dimoulas Dinkins Dinsdale Diomidis Diptanshu Disselkoen Dmitrij Dmitriy Dmitry Dockins Doenges Dolan Dominik Donat Dong Dongjae Dongjoo Dongol Donnacha Doshi Dougal Downen Dowon DrRacket Drachsler Dragoi Drechsler Drews Dreyer Drosos Drossopoulou Duboc Duc Dudenhefner Dunfield Duplo Dura Durrett Dusko Dustin Duvenaud Dybvig Dyck DynamiTe Dynaplex E EAA EAD EAF EAO EAS EBV ECA ECB ECE ECMAScript ECR ECROs ECT EDC EDN EDQ EDS EEA EET EFC EFE EFS EFTSanitizer EFU EHE EHF EHM EI EIB EIR EIS EISPACK EIX ELH ELN EMA EOD EPD EPL EPR EPS EPU EQR ERH ERP ESE ESM ESS ETT EUI EVM Eades Earanky Ebner Ecuyer Edd Edo Edon Edsko Eduardo Eelco Effectful Effekt Egor Ehrhard Eich Eichholz Eilers Eion Eisenbach Eisenberg Eisinger Ejlers El ElHajj Elias Eline Elipmoc Elisa Elizaveta Elsman Elvira Emacs Emanuele Emina Emmi Emre Emrich Endres Enea Engel Ennan Eran Erbsen Erdweg Eremondi Erez Erwig Escot Esin Eskandani Espitau Essertel Esteves Ethereum Etienne Etoys Eugster Eun Eval Evan Evgenii Evrard ExceLint Exequiel Eytan Ezio Ezudheen F FAF FAM FAQ FAS FAX FBD FBP FCB FCE FCF FCN FCP FDS FEM FFS FFT FG FGC FGP FGT FIA FJC FLP FMP FMS FNP FOL FP FPG FPGA FPI FPL FPM FPO FPT FPV FR FRA FRB FRP FRU FSC FSE FSP FTB FTF FTH FTL FTP FUI FUM FVC FVE FVF FVH FVN FVS FaaS Fabio Fabr Fabrizio Faes Faggian FairSquare Faleiro Falkenstein Falkoff Familia Fangyi Fangzhen Faouzi Fariha Farka Farkas Farooq Farzan Farzin Fatemeh Fathololumi Faustyna Favonia Federico Fehrmann Fei Feldman Felipe Felleisen Feltey Feng Fengjuan Fengmin Fengyun Feras Ferdowsifard Ferles Fernandes Ferr Ferracioli Ferreira Feser Filinski Filip Filippo Findler Finitary Fiore Firefox Firsov Fisler Fitzgibbon FixML Fixpoint Fixpoints Fl FlashFill FlashProfile Flatt Flemming Flink Florena Flores Florian Florio FlowCFL Fluckiger Fluet Flur Foner Formulog Forster Fortran Fosco Fouladi Fournet Fourtounis Fr Fragoso Francalanza Francesco Franti Fredrik FreezeML Freund Fri Fromherz Fronchetti Frostig Frumin Fu Functorial Futamura Futhark Fuyuan FuzzFactory Fuzzi Fuzzing G GADT GC GCA GCG GCH GCM GCT GDA GDG GDP GDT GEP GFA GFC GFP GGG GGL GGO GHC GHP GKA GKAT GLD GLF GLORE GLT GNN GNNs GPC GPE GPGPU GPI GPL GPR GPT GPU GPUs GSC GSD GSP GST GTA GTG GTN GTT GTU GUI GV GVM GVR GZC Ga Gabay Gaboardi Gabriele Gabrielyan Gaddamadugu Gafter Gagandeep Gaher Gali Gallus Ganardi Gancher Ganesh Gao Gaonkar Gaosen Gaowei Gareth Garg Gaurav Gautam Gavazzo Gavran Gayot Geguang Geisler Gelinas Gen Genc Genco Genet Geo Georg Georgios Georgy Gert Gervais Getafix Ghahramani Gheri Ghica Ghilezan Ghosh GhostCell Giacobazzi Gianas Gianfranco Giannakopoulos Giannarakis Giannini Giarrusso Giesl Gilles Gillum Gilray Giorgio Girard Girish Git GitHub GitMerge Github Giulia Giuliano Giulio Giusto Gladstein Glaunec Gleb Glehn Gleissenthall Gligoric Goel Goharshady Gokhale Golan Goldstein Gollamudi Golson Gomes Gomez Goncharov Gondelman Gopinathan Gori Gorjiara Gorlatch Gorogiannis Govind Gowtham Goyal Gr GraD Graaf Graduality Gradualizing Graf Grafs Grandmaison GraphIt Graphick Gratzer Graulund Grech Greenberg Greenman Gregersen Gregor Grellois Grewal Gries Griesemer Griffis Grigore Grigsby Grisette Grodin Groovy Grossman Grueter Gruszecki Gu Guan Guanchen Guangtai Guanhong Guannan Guanqin Guerrieri Gueta Guha Guido Guilhem Guilherme Guillaume Guillon Guimar Gulwani Guo Guoqiang Guoqing Gupta Gurfinkel Gushu Gustafson Gustavo Gutsfeld Guyer Gyunghee H HBC HC HCP HCR HCS HDC HDL HDP HEB HFA HFL HGP HII HIK HIL HITs HL HLB HLE HLI HLS HM HMS HMT HOC HOL HOM HOPL HPC HPY HRS HSM HST HTE HZV Haarklou Hachmaoui Hackett Hadzi Haeberlen Hage Hagedorn Hai Hailong Hain Hainry Haiyan Hajj Hakjoo Hallahan Haller Hamana Hamed Hameer Hamza Hance Handa Handley Handong Haner Hangyeol Hanne Hannes Hanno Hanrahan Hanru Hanspeter Hao Haoran Haoyu Haoze Hara Hardekopf Hari Haridi Harmit Harshit Hashim Haskell Haudebourg Hausdorff Hauswirth Hawblitzel Hayawardh Headley Hellerstein Hendrik Hendrix Hengchu Henglein Henning Henrik Henriksen Henrio Henrique Henzinger Heo Heqing Herklotz Hern Heule Heunen Heuvel Heydemann Hiep Hietala Hila Hillerstr Hillerstrom Himanshu Hindley Hinrichsen Hinze Hira Hiroshi Hirsch Hirschowitz Hirzel Hisayuki Hitarth Hitesh Hlopko Hoan Hoang Hoare Hobor Hochstadt Hoefler Hoeflich Hoenicke Hofer Hoffmann Hol Holk Holtzen Homotopy Hongfei Hongjin Hongming Hongseok Hongtao Hongyu Honore Hoogle Hou Houshmand Houssem Hovav Hri Hridesh Hritcu Hsiang Hsieh Hsu Hu Huang Hubers Hudon Hugues Hui Huibo Huma Huot Hur Husted Hutin Hutton Huyghebaert Huzaifa Hwu Hyperproperties Hypersafety Hypersequent IAE IBD ICFP IDE IDEal IDEs IDP IDR IED IEEE IEL IEM IEP IFC IFP ILB ILK ILQ IMD INM IOE IOG IOS IPA IPM IRI IRL IRO ISA ISL ISS ISSN IST ITC ITD ITGL ITN ITP ITR ITT ITrees IUA IVR IVT Iason Iavor Ibrahim Ichikawa Idris Ifaz Igarashi Ignacio Igor Ikebuchi Ikemori Ilia Ilias Ilya Immanuel Immerman Impredicative Inala Incrementalizing Ingalls Ingo Inhabitation Inlining Inox IntelliMerge Intensional InterDyck Internet Invertibility IoT Iorga Iosif IronFleet Isabelle Ishimwe Isil Isitha Ittai Itzhaky Iulian Ivana Iverson Ivica Izzat J JAC JDP JFY JIT JITs JJV JOP JSON JSR JTL JVM JaVerT Jaber Jablin Jacek Jaclyn Jaco Jacobians Jad Jaemin Jafery Jaffar Jaffer Jagadeesan Jagannathan Jain Jakob Jakub Jameson Jamie Jamner Jang Jangda Jank Jared Jasmin Jaspan Jatin JavaDL JavaScript Jecmen Jeehoon Jeevana Jenna Jens Jeon Jeong Jeremie Jermaine Jesper Jespersen Jha Jhala Ji Jia Jiahao Jialin Jialu Jian Jiang Jianlin Jiawei Jiaxiao Jiaxin Jiayi Jie Jieung Jin Jingbo Jingtao Jinwoo Jinxu Jitao Jitendra Jiwon Jiyong Joachim Joakim Jochems Jochen Johan Johannsen Jongmans Jonsson Joonwon Joost Jorgen Jos Joscha Josep Joshi Jourdan Jovanka Jovanovic Joxan Jue Juli Juliana Julien Jun Juneyoung Jung Junho Junyi Junyoung Jure Jurisevic Jurriaan Justesen Justin Justo Jyothi K KAM KAT KAW KB KBF KC KCC KLP KPH KSC KWA KYL Kaan Kaarsgaard Kabir Kabra Kaddar Kafshdar Kai Kaki Kakwani Kalev Kalhauge Kalita Kallas Kamalika Kami Kamil Kaminski Kammar Kan Kandemir Kang Kapil Kaposi Kapp Karachalias Karim Karima Karimov Karine Karpinski Karthikeyan Kartik Karwowski Kaseorg Kasper Kasra Kastberg Kasting Kastner Katara Kater Kathi Kathryn Katoen Katsuhiro Katsumata Kavvos Kaysin Kayvan Kazerounian Kazuhiro Kazuki Kazutaka Ke Kearl Kedar Kedia Keidel Kell Kelmendi Kenichi Kenji Kentaro Kento Kerinec Kesha Keshav Kesner Kessler Ketkar Keuchel Keval Keyur Khairunnesa Khatchadourian Khoo Khurram Khurshid Khushboo Khyzha Ki Kia Kiam Kici Kihong Kil Killick KimHao Kimball Kincaid Kini Kiran Kirisame Kirkham Kirsch Kirshanthan Kishida Kiwan Kjaer Kjelstr Kjelstrom Kjolstad Klaas Kleene Klenze Kleppmann Klimis Kliot Klumpp Knauth Knoth Ko Koar Kobayashi Kodosky Koen Koenig Koh Kohei Kohler Kokke Kokologiannakis Kolesar Kolluri Kolosick Komondoor Konnov Konstantin Konstantinos Kook Koord Koparkar Koppel Koprivec Kornell Koskinen Kostas Kotsifakou Koushik Koutris Kov Kovacs Kozen Kr Kraus Krause Krauter Krawiec Krebbers Krebs Krikava Kripke Kris Krishnamoorthy Krishnamurthi Krishnan Krishnaswami Krishnendu Kristensen Kristina Krivine Krogh Krogmeier Kromberg Kruse Krynski Kuen Kukovec Kulahcioglu Kulkarni Kumar Kumbhare Kun Kuncak Kuncar Kunkel Kunle Kunze Kuper Kuperberg Kush Kwon Kwonsoo L L'Ecuyer LBC LBI LBL LBP LCA LCB LCF LCG LCR LDL LDS LER LFF LFP LGB LHO LHP LIBM LIF LINPACK LLBC LLVM LMM LNL LNS LPM LPO LPS LPT LQT LR LRM LRS LRT LSC LSL LSM LSP LSS LTL LUF LUS LVA LVG LXM LYA LYG LabVIEW LabVIEWTM Labich Labrada Laddad Laetitia Lafont Lago Lagouvardos Lahav Lahiri Laith Lal Lamport Lampropoulos Lange Lanvin Lanzinger Laporte Larus Lascu Latif Lattuada Lau Launchbury Laureline Lavaud Laversa Lawvere Lazarek Le LeGlaunec LeMay Leandro Lefaucheux Legunsen Lei Leif Leija Leijen Leissa Lemerre Lemieux Lenfers Leng Lengrand Leni Lenka Lennard Lennon Leobas Leonidas Lepigre Lerner Lesani Leto Leung Lewchenko Lexi Lezama Lhot Li Liam Liang Liao Liberti Licata Lieberman Liepelt Lifty Lim Limin Lindenhovius Lindley Linearize Ling Lingkun Lingming Lingyun Linhai Linn Linpeng Linzhang Lippautz Lipschitz Litak Litao Liu LiveDroid Livinskii Livshits Liyi LoCI Loc Loding Loehr Londo Londono Longley LooPy Lopes Loregian Lorenzen Lorenzo Losa Lozes Lu Luan Lubin Luc Luca Lucien Ludovic Lugato Luk Lukas Lukasz Lukyanov Lun Luna Luo Lutz Lutze Lyubomirsky M MAA MAM MATLAB MCA MCB MCC MCD MCE MCI MCM MCS MDF MDS MDT MFF MFH MGE MGF MGS MGT MIR ML MLN MLPEx MLR MLS MLTT MLstruct MLsub MM MMC MMP MMU MMs MOOC MOOCs MPA MPD MPL MPM MPST MPSTs MPT MRA MRD MRR MRV MSE MSG MSL MSO MSS MST MSV MSWasm MTD MTR MTT MVA MVH MVO MVW MWM MacLisp MacQueen Macedo Machiry Maciej Mackay Maclaurin MadMax Madanlal Madhavapeddy Madhusudan Madiot Madsen Maeda Maeng Maggesi Magno Magnus Mahajan Mahesh Mahmood Mahmut Mahsa Maillard Maina Maj Majumdar Makam Makarchuk Makoto Maksimovi Makwana Malavika Malecha Maleki Malewski Malte Mamouras Manasij Mandel Manea Mangin Mangpo Manolis Mansinghka Mansky Manu Manzonetto Maranget Marcelo Marcin Marcos Marcozzi Marek Margalit Margara Margus Marianna Mariano Marija Marinela Marinov Marisa Marius Markus Marlow Marmanis Marntirosian Maro Marr MarshallB Martins Martonosi Maruth Masaomi Maskeri Massaccesi Mastrangelo Materzok Matheja Mathiasen Mathieu Mathur Matija Matsuda Matt Matteo Matthias Matthieu Matthijs Mattias Maxime Mayur Mazinanian Mazurkiewicz Mazza McCutchen McDermott McIver McKinna McNally Meehan Mehdi Mehmet Meijer Meiklejohn Meinicke Melgratti Melli Mellies Melo Memarian Membarth Mendelson Mendis Meng Mengjiao Mengqi Mengxiao Menz Mergeable Merigoux Meseguer Mestre Meta Metareasoning Meuli Mevel Meven Mezini Micha Michal Michalevsky Michalis Michalski Michele Micka Microarchitectural Microservice Microservices Midtgaard Migeed Mika Mila Milano Milanova Milica Milicevic Milijana Milind Milius Millstein Milner Milo Milod Milojicic Milos Miltiadis Miltner Mima Mina Ming MingZhe Mingkun Mingsheng Mingshuai Mingzhang Minh Minjian Minki Minkowski Minseok Mirai Miraldo Mirko Miroslav Misailovic Mishra Mislove Mistral Mitra Mitropoulos Miyazaki MoSeL Mocklisp Modernish Modus Moebius Mogelberg Moggi Mogk Mohamad Mohamed Mohammad Mohammadi Mohammed Mohan Mohsen Moine Moiseenko Mokhov Moler Moller MonkeyDB Monniaux Monnier Montagu Montesi Mooly Moorby Moosbrugger Morehouse Moreira Morihata Morrisett Morten Mosaad Moser Mossad Motwani Moura Moy Mozilla Mridul Mtac Muduli Muehlboeck Muhammad Muhan Mukherjee Mukund Mulder Mullanix Multi Muntasir Murali Muralidaran Murawski MurmurHash Mururu Musuvathi Muylder Myreen Mytkowicz Myungho N NAS NCC NES NFS NK NLR NPChecker NPR NRE NRL NRP NSL NSP NSR NVIDIA NVM Nachiappan Nachshon Nada Nader Nadesh Nafise Nagappan Nagar Nagaraj Nagarakatte Nagasamudram Nagel Naijun Naik Najafzadeh Nakamaru Namakonov Namjoshi Nandi Nandivada Nandor Nanevski Naoki Narayan Narayanan Narayanasamy Nardelli Narges Narodytska Naroff Natacha Nate Nathana Naud Naumann Navarro Navid NeXT Neamtiu Neel Neelakantan Neftali Neider Neiger Nengkun Nester NetKAT Neto Netscape Neurosymbolic Neville Newcomb Neykova Ng Ngan Ngo Nguy Ni Niccol Nico Nicolai Nicolas Nicolau Nie Nielson Nieto Nikhil Niki Nikita Niklas Nikolaos Nikoli Nikos Niksic Nils Nilsson Ningning Nisarg Nishant Niu Noam Nobuko Nogin Nominality Nondeterministic Nori Norrish Nouraldin Novotn Numanagi Nuno Nuyts Nygaard Nystrom O O'Hearn OAD OAL OAS OCS OCaml ODP ODR OEN OFR OGIS OGS OGT OHL OHearn OLP OLU OO OOC OOPSLA OOR OOTA OPA OPS OSH OSM OSP OSPF OTA OTM Oancea Oberhauser Obliv Oddershede Oded Odersky Ohad Ohman Ohori Ohrem Ois Olausson Oleg Oleksandr Olimpieri Oliveira Olivier Olli Olm Olmedo Olteanu Olukotun Omar Ond Ondrej Ong Online Op OpenCL Optimised Oraee Orca Ori Osbert Oskar Ostermann Osualdo Osvald Ott Ottoni Ou Ouaknine Overwatch Owicki Owolabi Oz Ozkan P PACMPL PAE PAF PAO PAU PBD PBE PBR PCA PCD PCF PCMs PCO PCP PDA PDF PDL PDR PEB PEC PEM PERs PES PFF PFL PFP PGC PGD PGO PGP PGS PGT PHC PHO PIR PJA PLB PLC PLI PLM PMB PME PMP PMR PMS PNF PNK POG POPL POR POSIX POV PPD PPF PPI PPLs PPO PPP PPS PPT PPY PQC PQD PQM PR PRA PRE PRIMA PRP PRS PSA PSD PSE PSG PSL PSM PSN PSO PSP PSPACE PSS PST PSU PSW PTC PTE PTF PTS PTU PVF PVS PVU PZF Pacak Pacheco Padhi Padhye Padoan Padon Padovani Padua Pagani Pai Pailoor Palmkvist Palsberg Paltenghi Panagiotis Panchekha Pande Pankaj Pantazis Pantovi Paola Paolo Papadakis Papert Paquet Parallelization Parallely Parameterized Parametricity Paraschos Paraskevopoulou Paredes Parekh Parimala Parisa Parno Parosh Parovic Parreaux Parthasarathy Paskevich Paszke Patel Patrignani Paulo Pavel Pavlinovic Pavlogiannis Pavlovic Pavol Pawe Paxos Pe Pedrot Peisen Peixin Peixuan Peizhao Peleg Pelenitsyn Pellissier Pelsmaeker Peng Pengbo Pengyu Pengyuan PerSeVerE Perceus Pereira Perelman Perera Peressotti Permchecker Petar Petr Petrank Petri Petricek Petros Petrucciani Peyton Pfenning Ph Phanishayee Pharabod Phifer Philipp Philippa Philippe Phitchaya Phong Phothilimthana Pichardie Pichon Pickard Piedeleu Pientka Piessens Pieter Pinault Pinckney Pincus Pingali Piotr Pir Piskac Pitchanathan Pitts Piyus PlanAlyzer Pliss Plotkin Podelski Podkopaev Poesia Pohjola Polesiuk Poli Polikarpova Polozov Polyadic Pombrio Pomsets Ponens Popescu Porncharoenwase Porre Potanin Pottier Pouchet Poulsen Pous Pouzet PowerApps PractRand Pradel Pradic Prakalp Prakash Prakriya Pranav Prasad Prateek Praveen Preda Pregui Premtoon Presburger Pretnar Printf Pritam Priya Priyanshu ProbNV Proen Profunctor Proki Prolog PromiseKeeper Proq Proto Protzenko Pruett Prusti Pu Puente Pujet Pulte Pupyrev Purandare PureScript PwD Px PyTorch Pythonic QAC QID QIE QIIT QIITs QIS QLI QPR QSP QUL Qadeer Qian Qianchuan Qiang Qianshan Qianxiang Qiaochu Qin Qingkai Qinheping Qinxiang Qirun Qiu Qiyang Qiyi Qu Quang Qubit Quentin QuickCheck QuickChecking QuickSilver Quipper Quiring Quist Qunity R RA RAA RAC RAD RAR RAS RCB RCC RCF RCR RCS RCV RDC RDS RDT RDTs REA REM REPL RET RFD RFixer RGT RHL RIR RIS RKT RLH RLIBM RLS RLT RM RMC RMM RMR RMT RNN RNT ROS RPC RPL RPO RPQ RPS RPython RRB RRC RRI RRL RRP RSA RSC RSE RSF RSP RSS RSV RTB RTC RTD RTE RTH RTL RTS RTT RVPredict RVU RWF RaTT Raad Raaf RacerD Racketensis Radanne Radha Radhakrishna Radi Radicek Rados Radu Radul Raef Raffi Ragan Raghavan Raghothaman Ragnar Rahli Rahman Rahmani Rahul Raihan Rainey Rajan Rajani Rajeev Rajiv Rajkishore Ralf Rama Ramamurthy Ramana Ramananandro Ramanathan Rami Ramsay Ramy Ranadeep Ranjit Rao Rapha Rapoport Rasmus Rastislav Rastogi Ratul Raval Ravi Ravitch Rawn Raza ReSync Rebecca Refactoring Refis Refunctionalization RegEx Regehr Regex Rehof Reichenbach Reiter Relativization Relativizing Relooper Rem Remigius Remy ReplaceAll Reppy Reynaud Reza Rezvan Rezwana Ria Ribeiro Riccardo Ricciotti Ridwan Rieg Riely Rigo Riis Rinard Rinetzky Rioux Rishabh Rishi Ritschel Ritwika Rivas Rivera Rix Rizkallah Ro Robbert Rocca Roch Rocha Rodolphe Rodr Rodrigo Rodrigues Roemer Roesch Roetteler Rohan Rohit Roi Rojin Roly Romain Rompf Ronchi Rong Ronghui Roopsha Rosemann Rosenblatt Rossbach Rossberg Rosu Rountev Rouvoet Roychoudhury Rubio Ruch Rudi Rumyana Rupak RustBelt Ruyi Ruzica Ry Ryosuke Ryu Ryzhyk S SAF SAI SAS SAU SAVI SBA SBB SBE SBG SBL SBM SBR SCA SCADE SCB SCC SCD SCF SCH SCL SCP SCQ SCS SCT SCV SDC SDP SDQL SDR SDS SDT SEH SEI SEP SER SFA SFF SFG SFI SFP SGC SGP SGS SGT SGV SHO SHP SIA SICS SIE SIH SIL SIMD SJC SL SLB SLE SLH SLI SLM SLN SLP SLS SMC SMF SML SMP SMR SMS SMT SNP SPB SPC SPE SPMD SPO SPP SPR SPS SQIR SQL SQLizer SQS SRA SRC SRF SRP SRS SRT SSA SSC SSH SSI SSL SSM SSN SSP SSR SSS STA STG STL STLC STS SVE SVF SVG SVP SVQ SVR Sa Sa'ar Saad Saarikivi Saba Sabok Sabry Sadayappan Sadegh Sadiq Sadjad Saeed Saffrich Sagiv Sagonas Saha Sahoo Saiki Saini Saivasan Sajnani Sakka Sakkas Salkhordeh Salvaneschi Salz Samak Saman Samanta Samantha Samanvitha Sammler Samwise Sanan Sandboxing Sandrine Sandro Sangeeta Sangiorgi Sanjay Sanjit Santamaria Santolucito Santos Santosh Sarfraz Sarita Sarkar Sasa Saswat Satake Satish Sato Satune Satya Satyajit Saumya Saville Saxena Sayan Scala ScalaLoci Scalas Schaper Schepper Scherer Schlecht Schmitz Scholliers Scholz Schr Schrijvers Schulte Schuster Schwerter Scibior Scilla Sebasti Sebastiano SecRSL Segal Sehun Seidel Seif Sekiyama Sela Selakovic Selinger Selsam SemGuS Semina Semiring Sen Senanayake Sengamedu Sepanski Seq Serdar Sergey Serrano Serverless Servetto Seshadri Seshia Sewell Shacham Shachar Shadab Shadaj Shahin Shaikhha Shajii Shaked Shaleen Shambwaditya Shan Shang Shangyin Shankara Shao Shaohua Shaowei Shapira ShareJIT Sharif Shariffdeen Sharma Shasha Shaull Shawesh Shaz Sheffi Shelly Shen Sheng Shenghua Shengjian Shengwei Shengyi Shenoy Sheshansh Shi Shiftry Shigeru Shih Shik Shinnar Shivam Shivani Shiwei Shoaib Shoham Shraddha Shravan Shriram Shu Shuai Shuanglong Shubham Shubhani Shuo Shuofei Shuvendu Si Siau Sibghat Siddharth Sidi Sieczkowski Siek Sifei Sifis SigVM Silva Silverman Silvestro Silvia Sim SimTyper Simin Simona Simplicitly Simulink Simuliris Singh Sinha Siraichi Sirui Sistla Sivaramakrishnan Sivaraman Siyuan Sj Sjoberg Skorstengaard Skupin Slusallek Smalltalk Smaragdakis Smeding Smeltzer Smolka Smoosh Smyth Soares Soboci Soeken Sojakova Sokolowski SolType Solko Somani Somesh Sorav Sorawee Sorawit Sorensen Sorin Sotiris Sotiropoulos Souza Sozeau Sp SpaceSearch Spahn Spall Sparcl Spath SpecSafe Spector Spectre Spenser Sperber Spinellis Spivey Spiwack SplitMix Splittable Spreadsheets Sprenger Sreepathi Sridharan Srinivasan Sriram Srivastava Srivatsan Stampoulis Stancu Stankovi Stateflow Staton SteelCore Stefanesco Stefanos Steffen Steffi Steidel Stelios Stephan Stepstone Steuwer Sti Stievenart StkTokens Stockwell Stoica Stolarek StoneWorks StreamQL StrictCheck Stroustrup Strub Strydonck Stucki Stumpos Su Subarno Subasinghe Subcubic Subhajit Sudha Sudip Sufian Suguman Sui Sujit Sukyoung Sumit Sunbeom Sundar Sundararajah Sungdeok Sunjay Superoptimization Sura Surbatovich Surendran Suresh Suriyakarn Susag Susmit Suvam Sven Svendsen Swamy Swaraj Swarat Swarn Swasey Swen Swierstra SyTeCi Syeda Sylvain Symantec Syme Synbit SystemVerilog Szab Szabo Szaday Szamozvancev Szekeres T TAC TAE TAF TBA TBC TCC TCE TCI TCP TCS TCU TCV TDF TDP TDS TES TFA TFF TFL TFS TGH TGW THO THP TLA TLC TLP TM TMC TPC TPD TPT TRM TRT TSA TSE TSI TSJ TSL TSN TSO TSR TSS TTA TTD TTL TTR TTS TTobs TUC TUP TUS TVS TXT Ta Tabaei Tabareau TacTok Tachio Tadeusz Tahina Tahmasbi Takeshi Tal Talia Tamara Tanahashi Tanovic Tanter Taolue Taqdees Tarmo Taro Tasiran Tassarotti Tasson Tate Tatlock Tatsuya Tavares Taylan Tejisc Tejiscak Tel Tenenbaum TensorFloat Teodora Ter Terauchi Tereick TestU Tetsuro Tetsuya Th Thakur Thanh ThanhVu Thelin Theo Theodoridis Theodoros Theophilos Thibault Thibaut Thiemann Thinniyam Thodoris Thokair Thorsten Thrane Thu TiML Tiago Tian Tianyin Tiark Tien Timany Timos Timoth Ting Titzer Tiwari Tl Tobias Tobin Tofino Toghrul Toldam Tolmach Toman Tomas Tomasz Tommaso Tomoharu Tomoki Tondwalkar Tongping Tongtong Toninho Torlak Toro Torp Torrellas Torsten Tosch Toshiyuki Towner Tran Transfinite Transitioning Transpilation Tratt Traytel TreeFuser Trejo Triantafyllou Trieu Trinh Troels Troyer Truc Trung Trunov Tsampas Tsantalis Tsatiris Tsukada Tuan Tue Tullsen Turcotte Tureci Turo Turonova Tushar TypeScript Tzevelekos Tzu UAS UCT UDD UDF UDFs UEI UET UHC UL URL UST UTS UTT UUL UVM Udupa Ueno Ugare Ugawa Ugo Ulan Ulbrich Uldal Ulf Ullrich Ulmann Umang Umar Umut Undecidability UniRec Unicode Unno Unrealizability Urbat Uri Utkarsh Uustalu V VAK VCC VCD VCG VCM VCQ VCU VDJ VDM VDP VE VEC VED VEF VESPA VHA VIH VIP VLIW VLL VM VMA VMD VMS VMW VMs VOQ VOQC VOR VPI VRC VRD VSA VSE VSP VTF VTP VTW VU VVR Vadim Vafeiadis Vaibhav Vaidya Vaishak Vaivaswatha Valentin Valliappan VanRoy VanStrydonck Vandenbroucke Vandikas Vanoni Varonka Varot Vartanian Vasco Vasconcelos Vasilakis Vasileios Vasilenko Vassena Vaswani Vazou Veanes Vec Vechev Vectorizing Vedurada Veidenbaum Veileborg Vekris Veltri Ven Veneris Venet Venkatesh Ver Verbruggen VeriSmart Verilog Verscht Verus Vezzosi Vieira Viering Vigna Vijay Vijayakumar Vijayaraghavan Vikash Vikram Vikraman Viktor Vilem Vilhelm Vilhena Villard Vimuth Vin Vineet Visme Visser Viswanathan Vitek Vitousek Vivek Voelter Voichick Voirol Voizard Vojin Vojnar Vollmer Vora Voysey Vries Vsevolod Vu Vukotic Vytautas Vytiniotis W WAJ WCV WDA WDF WGG WHA WIW WLM WNW WPP WPR WPS WRT WSF WTP WUP WW WWE WWW WYN Wa Wadler Walia Walkingshaw Wasm Watanabe Watkinson Waye Weakestmo WebAssembly WebRelate Weidner Weigl Weihao Weili Weimer Weirich Weisenburger Weissenbacher Weitz Wende Weng Wenjia Wenlei Wensheng Westbrook Westley Westrick Whiteland Wi Wickerson Widder Wiegley Wies Wildcards Wilke Willsey Wilmer Wimmer Winkler Winograd Winstein Winterer Winterhalter Wirfs Witnessability Witold Wolman Wonyeol Woosuk Worrell Wouter Wrigstad Wyk X XBG XEmacs XOR Xia Xiang Xiangyu Xiangzhe Xiao Xiaodi Xiaodong Xiaohong Xiaokang Xiaoran Xiaoxing Xie Xilun Xin Xing Xinyu Xiong Xipeng Xizhe Xu Xuan Xue Xuejing Xueying Xujie Xun Y YARPGen YOL Yacavone Yadav Yaghmazadeh Yahav Yallop Yamaguchi Yamazaki Yan Yangjia Yaniv Yanju Yanjun Yann Yannick Yannis Yanovski Yanpeng Yao Yaoda Yaozhu Yasharth Yasmin Yasunari Yee Yefet Yi Yican Yichen Yiheng Yihong Yihua Ying Yingfei Yinlin Yinnon Yisu Yixuan Yiyun Yizhou Yoav Yoneda Yong Yongchao Yonghwi Yonghyun Yongqiang Yongwei Yoni Yoon Yorgey Yoshida Yoshimizu Yossi Yotam Younesse Youngju Youyou Yu Yuan Yuanbo Yuanchao Yuanfeng Yuchen Yue Yuepeng Yueqi Yueqiang Yufan Yufei Yufeng Yuh Yuhao Yuki Yukio Yulei Yulissa Yunming Yuriy Yusen Yusuke Yuting Yuu Yuval Yuxi Yuxiang Yuxin Yuxuan Yuyan Yuyang Z Zabusky Zaichuk Zakowski Zaliva Zamdzhiev Zanasi Zanella Zang Zappa Zdancewic Zehra Zeina Zena Zeng Zenna Zeppieri Zesen Zetzsche Zeuner Zhai Zhan Zhang Zhangxiaowen Zhao Zhe Zhefeng Zhendong Zheng Zhengyang Zhengyao Zhenjiang Zhenyang Zhi Zhihang Zhijia Zhilei Zhilin Zhiqiang Zhixuan Zhiyong Zhong Zhou Zhoulai Zhu Zhuo Zhuyang Zi Ziarek Zihan Ziheng Zilberstein Ziliani Zilin Zinzindohou Ziqiao Ziteng Zitny Zixuan Ziyang Zohar Zorn Zortech Zou Zoubin Zoubritzky Zucca Zufferey Zuleger Zuo Zuriel Zvonimir Zwaan Zyuzin ab abductive ableC accessors ack acknowledgement acm adjunctions ados adversarial aka al amor analyse analysed analyses analysing analytics app approximable approximative apps apr ar arity articleno assistive async asynchrony aug autodiff autogenerating automata automation aw axiomatizations b backend backpropagation backpropagator beebe behaviour behavioural behaviours berkr bibdate bibmods bibnames bibnet bibsource bidirected bijections bijective bijectivity bioinformatics biproduct biproducts bisimilarity bisimulation bitcoin bitfield bitwise biunification blockchain blockchains boilerplate boolean bor brainer bregas browsers bytecode c caching callback callbacks callee characterisations chez chieh choreographies choux chun cibior cio cius ck ckiger claude cleve co coarray coarrays coaxioms codata codebase codimension coeffect coeffectful coeffects coercions coexponentials coinduction coinductive com combating combinations combinator combinatorics combinators comonad comonadic comonads complementation composable compositionality compositionally comprehensions conf conformant congruential conservativity consultancies contin contravariant coq coroutine coroutines cs ctrees cu curated d daemon dataflow dataset datasets datatype datatypes de deVilhena declaratively decompilation decompiler decompiling decompressor definedness definitionally degski deoptimization der derberg des deserializer desktop destructed desugarings diff diffing dl doi dric drot e eBGP edu effectful ej ek elaborator elefunt elwood embeddings encoders endeavour equational equi equidistribution ergonomic es eval executables existentials exponentials ext extensionality ez f facto favourite fibrations fibred filesystems finalizer fitch fixpoint fixpoints fjournal flavour focussed formalisations formalised formalising formedness fortran fparith free'' functor functors fuzzer fuzzing g gameplay gdc gearboxes gelberg generalisation generalise generalised generalizability generativity generics genome genomic genomics geo gerer gis github goSLP goire gorzata goto graduality gradualize groupoids guelin guez h handcrafting healthcare hler hman hoc homotopy hs http https hyperproperties hypersafety hypervisors i idempotence il imperativity implementability implementers implicits impredicative impredicativity incrementality incrementalize incrementalizing inhabitation inline inlining interleavings interoperability interoperate interprocedural interprocess intra intraprocedural intuitionistic invertibility iso itrees j jFSTMerge jan java jo js jul julia juliette jun k kinded ko ksh l ldc le lica lin linearizability lineau linters lio liveness lle ller localizations lockstepwise logics loi longwinded lookahead lveczky m mainnet mann matlab mdash mei memoization memoized memoizing ment mer meta metaDSL metaprogramming metatheorems metatheory mez microarchitectural microbenchmarks microfluidic middleware mie miscompilations miscompile miscompiles misconfigurations mksh mmer modelling modularly moler monads monoidal monoids monomorphic monomorphisation morphism morphisms multi multicopy multicore multigraphs multiparadigm multiparty multisets multithreaded multithreading mutex n na ndor ne neau needa ner nescu neurosymbolic nez nfrastructure ng nhfb nien nig nondeterminism nondeterministic nov nski nullable nullness o observability oct ois online op ophile optimisation optimisations optimisers org ov ow p pacmpl parallelization parameterised parameterized parametricity performant phane plugin pn pointful polyvariant popl postcondition postconditions pre preorders printf priori prng profiler profunctor pseudorandom pushdown pvm quantales quasiquotes qubit qubits r ra randomised rard raud reachability rec reentrant refactoring refactorings regex regexes reimplemented rendez rennaissance replicas repurposes rerunning resumable rew rez rgen ric rlea rom ronique rtberg rthinger rulesets runST runtime runtimes s sandboxing satisfiability scalability schel seL semialgebraic semidirect semina semistructured sep sequentialization serializability serializable serializer serverless setoidal shader shannon showtags simd situ snippets solvability sourced specializations splittable spreadsheet spreadsheets ssenb ssimo standalone stateful stholz stner subgenerator subgraph sublanguage subtyping summarization summarizations supermartingales superoptimization supertypes superword symvalic synchronisation synchronised synergize syntaxes synth synthesise synthesising t tef temps tex th timeline timelines timestamped timestamps toolchain toolchains tradeoff trainable transferrable transpilation transpiler transpilers transprecision tuple twocolumn typable typeable typechecker typechecking typeclass typeclasses typestate typings u unchained understudied unicode unimodular univalence unix unmanaged unoptimized unsynchronized untrusted untyped uous uploaded upsert utah v vanAntwerpen vanderRest var ve vel velyne venart visualisations visualising von vous w warmup waypoints wellfounded whitelisting wildcards workflow workgroup workloads www x xa xbb xce xcf xe xor xoroshiro xoshiro y ya yao yash z zsh