crossrefs-abbrev.bib

%% BibTeX cross-references (conference (at)Proceedings entries).
%% Each entry should have both a title and a booktitle field.


% Strings can contain, but cannot start with, a numeral
@Proceedings{ThreeGSE2015,
  title = 	 "3GSE",
  booktitle = 	 "3GSE",
  year = 	 2015,
  month = 	 aug,
}



@Proceedings{WAPI2017,
  title = 	 "WAPI",
  year = 	 2017,
  booktitle = "WAPI",
  month = 	 may,
}


@Proceedings{AAAI98,
  title = 	 "AAAI",
  booktitle = 	 "AAAI",
  year = 	 1998,
  month = 	 jul,
}
@Proceedings{AAAI2000,
  title = 	 "AAAI/IAAI: Proceedings of the Seventeenth National Conference on
		  Artificial Intelligence and Twelfth Conference on
		  Innovative Applications of Artificial Intelligence",
  booktitle = 	 "AAAI/IAAI: Proceedings of the Seventeenth National Conference on
		  Artificial Intelligence and Twelfth Conference on
		  Innovative Applications of Artificial Intelligence",
  year = 	 2000,
  month = 	 jul,
}
@Proceedings{AAAI2006,
  title = 	 "AAAI",
  booktitle = 	 "AAAI",
  year = 	 2006,
  month = 	 jul,
}
@Proceedings{AAAI2011,
  title = 	 "AAAI",
  booktitle = 	 "AAAI",
  year = 	 2011,
  month = 	 aug,
}

@Proceedings{AADEBUG2003,
  title = 	 "AADEBUG",
  booktitle = 	 "AADEBUG",
  year = 	 2003,
  month = 	 sep,
}
@Proceedings{AADEBUG2005,
  title = 	 "AADEBUG",
  booktitle = 	 "AADEBUG",
  year = 	 2005,
  month = 	 sep,
}

@Proceedings{ACL2013short,
  title = 	 "ACL",
  booktitle = "ACL",
  year = 	 2013,
  month = 	 aug,
}

@Proceedings{ACSAC2002,
  title = 	 "ACSAC",
  booktitle = 	 "ACSAC",
  year = 	 2002,
  month = 	 dec,
}
@Proceedings{ACSAC2006,
  title = 	 "ACSAC",
  booktitle = 	 "ACSAC",
  year = 	 2006,
  month = 	 dec,
}
@Proceedings{ACSAC2007,
  title = 	 "ACSAC",
  booktitle = 	 "ACSAC",
  year = 	 2007,
  month = 	 dec,
}
@Proceedings{ACSAC2008,
  title = 	 "ACSAC",
  booktitle = 	 "ACSAC",
  year = 	 2008,
  month = 	 dec,
}
@Proceedings{ACSAC2009,
  title = 	 "ACSAC",
  booktitle = 	 "ACSAC",
  year = 	 2009,
  month = 	 dec,
}

@Proceedings{ACSC2005,
  title = 	 "ACSC",
  booktitle = 	 "ACSC",
  year = 	 2005,
  month = 	 feb,
}
@Proceedings{ACSC2009,
  title = 	 "ACSC",
  booktitle = 	 "ACSC",
  year = 	 2009,
  month = 	 jan,
}

@Proceedings{AdaEurope99,
  title = 	 "Ada-Europe: Ada-Europe'99 International Conference on Reliable
                  Software Technologies",
  booktitle = 	 "Ada-Europe: Ada-Europe'99 International Conference on Reliable
                  Software Technologies",
  year = 	 1999,
  month = 	 jun,
}
@Proceedings{AdaEurope2004,
  title = 	 "Ada-Europe: Ada-Europe 2004 International Conference on Reliable
                  Software Technologies",
  booktitle = 	 "Ada-Europe: Ada-Europe 2004 International Conference on Reliable
                  Software Technologies",
  year = 	 2004,
  month = 	 jun,
}

@Proceedings{AIFIPP92,
  title =        "AIFIPP '92: Knowledge Oriented Software Design: Extended Papers
		  from the IFIP TC 12 Workshop on Artificial Intelligence from
		  the Information Processing Perspective",
  booktitle =    "AIFIPP '92: Knowledge Oriented Software Design: Extended Papers
		  from the IFIP TC 12 Workshop on Artificial Intelligence from
		  the Information Processing Perspective",
  year =         1992,
  month =     sep,
}

@Proceedings{AIPL77,
  title = 	 "AIPL",
  booktitle = 	 "AIPL",
  year = 	 1977,
  month = 	 aug,
}

@Proceedings{AOSD2002,
  title = 	 "AOSD",
  booktitle = 	 "AOSD",
  year = 	 2002,
  month = 	 apr,
}
@Proceedings{AOSD2007,
  title = 	 "AOSD 2007: Proceedings of the Sixth International Conference on
                  Aspect-Oriented Software Development",
  booktitle = 	 "AOSD 2007: Proceedings of the Sixth International Conference on
                  Aspect-Oriented Software Development",
  year = 	 2007,
  month = 	 mar,
}
@Proceedings{AOSD2010,
  title = 	 "AOSD",
  booktitle = 	 "AOSD",
  year = 	 2010,
  month = 	 mar,
}
@Proceedings{AOSD2011,
  title = 	 "AOSD",
  booktitle = 	 "AOSD",
  year = 	 2011,
  month = 	 mar,
}
@Proceedings{AOSD2012,
  title = 	 "AOSD",
  booktitle = 	 "AOSD",
  year = 	 2012,
  month = 	 mar,
}

@Proceedings{APLAS2005,
  title = 	 "APLAS",
  booktitle = 	 "APLAS",
  year = 	 2005,
  month = 	 nov,
}
@Proceedings{APLAS2020,
  title = 	 "APLAS",
  booktitle = 	 "APLAS",
  year = 	 2020,
  month = 	 nov,
}

% APPSEM is a "thematic network", a program sponsored by the EU to
% promote connections between PL researchers in Europe. Its workshops
% draw participants in the project but are also open to the public.
% Their notion of "applied" is still pretty theoretical by US standards.
@Proceedings{APPSEMII2003,
  title = 	 "APPSEM-II",
  booktitle = 	 "APPSEM-II",
  year = 	 2003,
  month = 	 may,
}

@Proceedings{APSEC2016,
  title = 	 "APSEC",
  booktitle =    "APSEC",
  year = 	 2016,
  month = 	 dec,
}

@Proceedings{APSys2013,
  title = 	 "APSys",
  booktitle = 	 "APSys",
  year = 	 2013,
  month = 	 jul,
}
@Proceedings{APSys2014,
  title = 	 "APSys",
  booktitle = 	 "APSys",
  year = 	 2014,
  month = 	 jun,
}

@Proceedings{ASE98,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 1998,
  month = 	 oct,
}
@Proceedings{ASE2000,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2000,
  month = 	 sep,
}
@Proceedings{ASE2001,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2001,
  month = 	 nov,
}
@Proceedings{ASE2003,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2003,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{ASE2004,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2004,
  month = 	 sep,
}
@Proceedings{ASE2005,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2005,
  month = 	 nov,
}
@Proceedings{ASE2006,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2006,
  month = 	 sep,
}
@Proceedings{ASE2007,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2007,
  month = 	 nov,
}
@Proceedings{ASE2008,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2008,
  month = 	 sep,
}
@Proceedings{ASE2009,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2009,
  month = 	 nov,
}
@Proceedings{ASE2010,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2010,
  month = 	 sep,
}
@Proceedings{ASE2011,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2011,
  month = 	 nov,
}
@Proceedings{ASE2012,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2012,
  month = 	 sep,
}
@Proceedings{ASE2013,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2013,
  month = 	 nov,
}
@Proceedings{ASE2014,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2014,
  month = 	 sep,
}
@Proceedings{ASE2015,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2015,
  month = 	 nov,
}
@Proceedings{ASE2016,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2016,
  month = 	 sep,
}
@Proceedings{ASE2017,
  title = 	 "ASE",
  booktitle = 	 "ASE",
  year = 	 2017,
  month = 	 oct,
}
@Proceedings{ASE2018,
  title =        "ASE",
  booktitle =    "ASE",
  year =         2018,
  month =        sep,
}
@Proceedings{ASE2019,
  title =        "ASE",
  booktitle =    "ASE",
  year =         2019,
  month =        sep,
}
@Proceedings{ASE2020,
  title =        "ASE",
  booktitle =    "ASE",
  year =         2020,
  month =        sep,
}
@Proceedings{ASE2022,
  title =        "ASE",
  booktitle =    "ASE",
  year =         2022,
  month =        oct,
}
@Proceedings{ASE2023,
  title =        "ASE",
  booktitle =    "ASE",
  year =         2023,
  month =        sep,
}

@Proceedings{ASEE2004,
  title = 	 "ASEE",
  booktitle = 	 "ASEE",
  year = 	 2004,
  month = 	 jun,
}

@Proceedings{ASID2006,
  title = 	 "ASID",
  booktitle = 	 "ASID",
  year = 	 2006,
  month = 	 oct,
}

@Proceedings{ASPLOS89,
  title =        "ASPLOS",
  booktitle =    "ASPLOS",
  year =         1989,
  month =     apr,
}
@Proceedings{ASPLOS91,
  title =        "ASPLOS",
  booktitle =    "ASPLOS",
  year =         1991,
  month =     apr,
}
@Proceedings{ASPLOS92,
  title =        "ASPLOS",
  booktitle =    "ASPLOS",
  year =         1992,
  month =     apr,
}
@Proceedings{ASPLOS94,
  title =        "ASPLOS",
  booktitle =    "ASPLOS",
  year =         1992,
  month =     oct,
}
@Proceedings{ASPLOS96,
  title =        "ASPLOS",
  booktitle =    "ASPLOS",
  year =         1996,
  month =     oct,
}
@Proceedings{ASPLOS98,
  title = 	 "ASPLOS",
  booktitle = 	 "ASPLOS",
  year = 	 1998,
  month = 	 oct,
}
@Proceedings{ASPLOS2004,
  title = 	 "ASPLOS 2004: Proceedings of the 11th International Conference on
		      Architectural Support for Programming Languages and
                      Operating Systems",
  booktitle = 	 "ASPLOS 2004: Proceedings of the 11th International Conference on
		      Architectural Support for Programming Languages and
                      Operating Systems",
  year = 	 2004,
  month = 	 oct,
}
@Proceedings{ASPLOS2008,
  title = 	 "ASPLOS 2008: Proceedings of the 13th International Conference on
		      Architectural Support for Programming Languages and
                      Operating Systems",
  booktitle = 	 "ASPLOS 2008: Proceedings of the 13th International Conference on
		      Architectural Support for Programming Languages and
                      Operating Systems",
  year = 	 2008,
  month = 	 mar,
}
@Proceedings{ASPLOS2013,
  title = 	 "ASPLOS",
  booktitle = 	 "ASPLOS",
  year = 	 2013,
  month = 	 mar,
}
@Proceedings{ASPLOS2014,
  title = 	 "ASPLOS",
  booktitle = 	 "ASPLOS",
  year = 	 2014,
  month = 	 mar,
}

@Proceedings{AST2006,
  title = 	 "AST Workshop",
  booktitle = 	 "AST Workshop",
  year = 	 2006,
  month = 	 may,
}

@Proceedings{ASWEC2001,
  title = 	 "ASWEC 2001: 13th Australian Software Engineering
                  Conference",
  booktitle = 	 "ASWEC 2001: 13th Australian Software Engineering
                  Conference",
  year = 	 2001,
  month = 	 aug,
}
@Proceedings{ASWEC2009,
  title = 	 "ASWEC 2009: 20th Australian Software Engineering
                  Conference",
  booktitle = 	 "ASWEC 2009: 20th Australian Software Engineering
                  Conference",
  year = 	 2009,
  month = 	 apr,
}

@Proceedings{AVIS2003,
  title = 	 "AVIS",
  booktitle = 	 "AVIS",
  year = 	 2003,
  month = 	 apr,
}

@Proceedings{BlackHatUSA2012,
  title = 	 "Black Hat USA",
  booktitle = 	 "Black Hat USA",
  year = 	 2012,
  month = 	 jul,
}

@Proceedings{ByteCode2009,
  title = 	 "ByteCode",
  booktitle = 	 "ByteCode",
  year = 	 2009,
  month = 	 mar,
}

@Proceedings{CADE92,
  title = 	 "CADE '92: Proceedings of the 11th International Conference on
                 Automated Deduction ({CADE}-11)",
  booktitle = 	 "CADE '92: Proceedings of the 11th International Conference on
                 Automated Deduction ({CADE}-11)",
  year = 	 1992,
  month = 	 jun,
}
@Proceedings{CADE2000,
  title = 	 "CADE 2000: Proceedings of the 17th International Conference on
                 Automated Deduction ({CADE}-17)",
  booktitle = 	 "CADE 2000: Proceedings of the 17th International Conference on
                 Automated Deduction ({CADE}-17)",
  year = 	 2000,
  month = 	 jun,
}
@Proceedings{CADE2011,
  title = 	 "CADE 2011: Proceedings of the 23rd International Conference on
                 Automated Deduction ({CADE}-23)",
  booktitle = 	 "CADE 2011: Proceedings of the 23rd International Conference on
                 Automated Deduction ({CADE}-23)",
  year = 	 2011,
  month = 	 aug,
}

@Proceedings{CARDIS2004,
  title =        "CARDIS",
  booktitle =    "CARDIS",
  year =         2004,
  month =     aug,
}

@Proceedings{CASCON1999,
  title = 	 "CASCON",
  booktitle = 	 "CASCON",
  year = 	 1999,
  month = 	 nov,
}
@Proceedings{CASCON2000,
  title = 	 "CASCON",
  booktitle = 	 "CASCON",
  year = 	 2000,
  month = 	 nov,
}

@Proceedings{CASES2005,
  title = 	 "CASES",
  booktitle = 	 "CASES",
  year = 	 2005,
  month = 	 sep,
}

@Proceedings{CASSIS2004,
  title = 	 "CASSIS",
  booktitle = 	 "CASSIS",
  year = 	 2004,
  month = 	 mar,
}
@Proceedings{CASSIS2005,
  title = 	 "CASSIS",
  booktitle = 	 "CASSIS",
  year = 	 2005,
  month = 	 mar,
}

@Proceedings{CAV95,
  title = 	 "CAV '95: Proceedings of the 7th International Conference On
                  Computer Aided Verification",
  booktitle = 	 "CAV '95: Proceedings of the 7th International Conference On
                  Computer Aided Verification",
  year = 	 1995,
  month = 	 jul,
}
@Proceedings{CAV96,
  title = 	 "CAV '96: Proceedings of the Eighth International Conference on
                 Computer Aided Verification ({CAV})",
  booktitle = 	 "CAV '96: Proceedings of the Eighth International Conference on
                 Computer Aided Verification ({CAV})",
  year = 	 1996,
  month = 	 jul,
}
@Proceedings{CAV2001,
  title = 	 "CAV 2001: 13th International Conference on Computer Aided
                  Verification",
  booktitle = 	 "CAV 2001: 13th International Conference on Computer Aided
                  Verification",
  year = 	 2001,
  month = 	 jul,
}
@Proceedings{CAV2006,
  title = 	 "CAV 2006: 18th International Conference on Computer Aided
                  Verification",
  booktitle = 	 "CAV 2006: 18th International Conference on Computer Aided
                  Verification",
  year = 	 2006,
  month = 	 aug,
}
@Proceedings{CAV2011,
  title = 	 "CAV 2011: 23rd International Conference on Computer Aided
                  Verification",
  booktitle = 	 "CAV 2011: 23rd International Conference on Computer Aided
                  Verification",
  year = 	 2011,
  month = 	 jul,
}
@Proceedings{CAV2016,
  title = 	 "CAV 2016: 28th International Conference on Computer Aided
                  Verification",
  booktitle = 	 "CAV 2016: 28th International Conference on Computer Aided
                  Verification",
  year = 	 2016,
  month = 	 jul,
}
@Proceedings{CAV2018,
  title = 	 "CAV 2018: 28th International Conference on Computer Aided
                  Verification",
  booktitle = 	 "CAV 2018: 28th International Conference on Computer Aided
                  Verification",
  year = 	 2018,
  month = 	 jul,
}

@Proceedings{CBSE2001,
  title = 	 "CBSE4",
  booktitle = 	 "CBSE4",
  year = 	 2001,
  month = 	 may,
}

% Compiler Construction (not to be confused with PLDI, which used to also
% be called Compiler Construction)
@Proceedings{CC94,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 1994,
  month = 	 apr,
}
@Proceedings{CC96,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 1996,
  month = 	 apr,
}
@Proceedings{CC98,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 1998,
  month = 	 mar,
}
@Proceedings{CC2001,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2001,
  month = 	 apr,
}
@Proceedings{CC2002,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2002,
  month = 	 apr,
}
@Proceedings{CC2003,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2003,
  month = 	 apr,
}
@Proceedings{CC2004,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2004,
  month = 	 mar,
}
@Proceedings{CC2005,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2005,
  month = 	 apr,
}
@Proceedings{CC2008,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2008,
  month = 	 apr,
}
@Proceedings{CC2014,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2014,
  month = 	 apr,
}
@Proceedings{CC2017,
  title = 	 "CC",
  booktitle = 	 "CC",
  year = 	 2017,
  month = 	 feb,
}


@Proceedings{CASE1993,
  title = 	 "CASE",
  booktitle = 	 "CASE",
  year = 	 1993,
  month = 	 jul,
}

@Proceedings{CCS2005,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2005,
  month = 	 nov,
}
@Proceedings{CCS2007,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2007,
  month = 	 oct,
}
@Proceedings{CCS2009,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2009,
  month = 	 nov,
}
@Proceedings{CCS2011,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{CCS2012,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2012,
  month = 	 oct,
}
@Proceedings{CCS2014,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2014,
  month = 	 nov,
}
@Proceedings{CCS2019,
  title = 	 "CCS",
  booktitle = 	 "CCS",
  year = 	 2019,
  month = 	 nov,
}


@Proceedings{CEESECR2014,
  title = 	 "CEE-SECR",
  booktitle = 	 "CEE-SECR",
  year = 	 2014,
  month = 	 oct,
}


@Proceedings{CGO2025,
  title = 	 "CGO",
  booktitle =    "CGO",
  year = 	 2025,
  month = 	 mar,
}

@Proceedings{CHASE2008,
  title = 	 "CHASE",
  booktitle = 	 "CHASE",
  year = 	 2008,
  month = 	 may,
}

@Proceedings{CHI2002,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2002,
  month = 	 apr,
}
@Proceedings{CHI2004,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2004,
  month = 	 apr,
}
@Proceedings{CHI2006,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2006,
  month = 	 apr,
}
@Proceedings{CHI2007,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2007,
  month = 	 apr,
}
@Proceedings{CHI2008,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2008,
  month = 	 apr,
}
@Proceedings{CHI2009,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2009,
  month = 	 apr,
}
@Proceedings{CHI2010,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2010,
  month = 	 apr,
}
@Proceedings{CHI2011,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2011,
  month = 	 may,
}
@Proceedings{CHI2012,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2012,
  month = 	 may,
}
@Proceedings{CHI2013,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2013,
  month = 	 apr,
}
@Proceedings{CHI2014,
  title = 	 "CHI",
  booktitle = 	 "CHI",
  year = 	 2014,
  month = 	 apr,
}

@Proceedings{CSCW2010,
  title = 	 "CSCW",
  booktitle = 	 "CSCW",
  year = 	 2010,
  month = 	 feb,
}

@Proceedings{CMSR2004,
  title = 	 "CMSR",
  booktitle = 	 "CMSR",
  year = 	 2004,
  month = 	 mar,
}
@Proceedings{CMSR2005,
  title = 	 "CMSR",
  booktitle = 	 "CMSR",
  year = 	 2005,
  month = 	 mar,
}

@Proceedings{COMPSAC2018,
  title = 	 "COMPSAC",
  booktitle = 	 "COMPSAC",
  year = 	 2018,
  month = 	 jul,
}

% The "S" didn't start standing for "and Systems" until 1998
@Proceedings{COOTS97,
  title = 	 "COOTS",
  booktitle = 	 "COOTS",
  year = 	 1997,
  month = 	 jun,
}

@Proceedings{CODES2001,
  title = 	 "CODES 2001: Ninth International Symposium on Hardware/Software
                  Codesign",
  booktitle = 	 "CODES 2001: Ninth International Symposium on Hardware/Software
                  Codesign",
  year = 	 2001,
  month = 	 apr,
}

@Proceedings{CONCUR2000,
  title = 	 "CONCUR",
  booktitle = 	 "CONCUR",
  year = 	 2000,
  month = 	 aug,
}

@Proceedings{CPP2016,
  title = 	 "CPP",
  booktitle = 	 "CPP",
  year = 	 2016,
  month = 	 jan,
}

@Proceedings{CSFW2002,
  title = 	 "CSFW",
  booktitle = 	 "CSFW",
  year = 	 2002,
  month = 	 jun,
}
@Proceedings{CSFW2004,
  title = 	 "CSFW",
  booktitle = 	 "CSFW",
  year = 	 2004,
  month = 	 jun,
}
@Proceedings{CSFW2005,
  title = 	 "CSFW",
  booktitle = 	 "CSFW",
  year = 	 2005,
  month = 	 jun,
}
@Proceedings{CSFW2006,
  title = 	 "CSFW",
  booktitle = 	 "CSFW",
  year = 	 2006,
  month = 	 jul,
}
% CSF is the same conference as CSFW. They changed the "Workshop" to
% "Symposium" and dropped the "W" from their acronym starting with the
% 20th (2007) edition to better reflect their selectivity and impact.
@Proceedings{CSF2008,
  title = 	 "CSF",
  booktitle = 	 "CSF",
  year = 	 2008,
  month = 	 jun,
}

@Proceedings{CSCW2004,
  title = 	 "CSCW",
  booktitle = 	 "CSCW",
  year = 	 2004,
  month = 	 nov,
}

@Proceedings{CSJP2004,
  title = 	 "CSJP",
  booktitle = 	 "CSJP",
  year = 	 2004,
  month = 	 jul,
}

@Proceedings{Coordination2021,
  title = 	 "Coordination",
  booktitle = 	 "Coordination",
  year = 	 2021,
  month = 	 jun,
}

@Proceedings{DAC99,
  title = 	 "DAC '99: Proceedings of the 36th ACM/IEEE Design
                  Automation Conference",
  booktitle = 	 "DAC '99: Proceedings of the 36th ACM/IEEE Design
                  Automation Conference",
  year = 	 1999,
  month = 	 jun,
}
@Proceedings{DAC2005,
  title = 	 "DAC 2005: Proceedings of the 42nd ACM/IEEE Design
                  Automation Conference",
  booktitle = 	 "DAC 2005: Proceedings of the 42nd ACM/IEEE Design
                  Automation Conference",
  year = 	 2005,
  month = 	 jun,
}

@Proceedings{Defects2009,
  title = 	 "DEFECTS",
  booktitle = 	 "DEFECTS",
  year = 	 2009,
  month = 	 jul,
}

@Proceedings{RTSS2011,
  title = 	 "RTSS",
  booktitle = 	 "RTSS",
  year = 	 2011,
  month = 	 nov,
}

@Proceedings{RDL2004,
  title = 	 "RDL",
  booktitle = 	 "RDL",
  year = 	 2004,
  month = 	 oct,
}
@Proceedings{DLS2006,
  title = 	 "DLS",
  booktitle = 	 "DLS",
  year = 	 2006,
  month = 	 oct,
}
@Proceedings{DLS2007,
  title = 	 "DLS",
  booktitle = 	 "DLS",
  year = 	 2007,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{DLS2008,
  title = 	 "DLS",
  booktitle = 	 "DLS",
  year = 	 2008,
  month = 	 jul,
}

@Proceedings{DocEng2006,
  title = 	 "DocEng",
  booktitle = "DocEng",
  year = 	 2006,
  month = 	 oct,
}
@Proceedings{DocEng2013,
  title = 	 "DocEng",
  booktitle = "DocEng",
  year = 	 2013,
  month = 	 sep,
}

@Proceedings{DSN2003,
  title = 	 "DSN 2003: International Conference on Dependable Systems
                  and Networks",
  booktitle = 	 "DSN 2003: International Conference on Dependable Systems
                  and Networks",
  year = 	 2003,
  month = 	 jun,
}
@Proceedings{DSN2008,
  title = 	 "DSN",
  booktitle = 	 "DSN",
  year = 	 2008,
  month = 	 jun,
}
@Proceedings{DSN2011,
  title = 	 "DSN",
  booktitle = 	 "DSN",
  year = 	 2011,
  month = 	 jun,
}

@Proceedings{EASE2014,
  title = 	 "EASE'14",
  booktitle = 	 "EASE'14",
  year = 	 2014,
  month = 	 may,
}

@Proceedings{ECBS2007,
  title = 	 "ECBS",
  booktitle = 	 "ECBS",
  year = 	 2007,
  month = 	 mar,
}

@Proceedings{ECOOP91,
  title = 	 "ECOOP '91: the 5th European Conference on
                  Object-Oriented Programming",
  booktitle = 	 "ECOOP '91: the 5th European Conference on
                  Object-Oriented Programming",
  year = 	 1991,
  month = 	 jul,
}
@Proceedings{ECOOP92,
  title = 	 "ECOOP '92: the 6th European Conference on
                  Object-Oriented Programming",
  booktitle = 	 "ECOOP '92: the 6th European Conference on
                  Object-Oriented Programming",
  year = 	 1992,
  month = 	 jun,
}
@Proceedings{ECOOP93,
  title = 	 "ECOOP '93: the 7th European Conference on
                  Object-Oriented Programming",
  booktitle = 	 "ECOOP '93: the 7th European Conference on
                  Object-Oriented Programming",
  year = 	 1993,
  month = 	 jul,
}
@Proceedings{ECOOP95,
  title = 	 "ECOOP",
  booktitle = 	 "ECOOP",
  year = 	 1995,
  address = 	 Aarhus,
  month = 	 aug,
}
@Proceedings{ECOOP96,
  title = 	 "ECOOP '96: the 10th European Conference on
                  Object-Oriented Programming",
  booktitle = 	 "ECOOP '96: the 10th European Conference on
                  Object-Oriented Programming",
  year = 	 1996,
  month = 	 jul,
}
@Proceedings{ECOOP97,
  title = 	 "ECOOP",
  booktitle = 	 "ECOOP",
  year = 	 1997,
  address = 	 Jyvaskyla,
  month = 	 jun,
}
@Proceedings{ECOOP98,
  title = 	 "ECOOP '98: the 12th European Conference on
                  Object-Oriented Programming",
  booktitle = 	 "ECOOP '98: the 12th European Conference on
                  Object-Oriented Programming",
  year = 	 1998,
  month = 	 jul,
}
@Proceedings{OOR98,
  title = 	 "ECOOP '98 Workshop on OO Reengineering",
  booktitle = 	 "ECOOP '98 Workshop on OO Reengineering",
  year = 	 1998,
  month = 	 jul,
}
@Proceedings{ECOOP99,
  title = 	 "ECOOP '99 --- Object-Oriented Programming, 13th European
		Conference",
  booktitle = 	 "ECOOP '99 --- Object-Oriented Programming, 13th European
		Conference",
  year = 	 1999,
  month = 	 jun,
}
@Proceedings{ECOOP2001,
  title = 	 "ECOOP 2001 --- Object-Oriented Programming, 15th European
		Conference",
  booktitle = 	 "ECOOP 2001 --- Object-Oriented Programming, 15th European
		Conference",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{ECOOP2002,
  title = 	 "ECOOP 2002 --- Object-Oriented Programming, 16th European Conference",
  booktitle = 	 "ECOOP 2002 --- Object-Oriented Programming, 16th European Conference",
  year = 	 2002,
  address = 	 Malaga,
  month = 	 jun,
}
@Proceedings{ECOOP2003,
  title = 	 "ECOOP 2003 --- Object-Oriented Programming, 17th European
		Conference",
  booktitle = 	 "ECOOP 2003 --- Object-Oriented Programming, 17th European
		Conference",
  year = 	 2003,
  month = 	 jul,
}
@Proceedings{ECOOP2004,
  title = 	 "ECOOP 2004 --- Object-Oriented Programming, 18th European
		Conference",
  booktitle = 	 "ECOOP 2004 --- Object-Oriented Programming, 18th European
		Conference",
  year = 	 2004,
  month = 	 jun,
}
@Proceedings{ECOOP2005,
  title = 	 "ECOOP 2005 --- Object-Oriented Programming, 19th European
		Conference",
  booktitle = 	 "ECOOP 2005 --- Object-Oriented Programming, 19th European
		Conference",
  year = 	 2005,
  month = 	 jul,
}
@Proceedings{ECOOP2006,
  title = 	 "ECOOP 2006 --- Object-Oriented Programming, 20th European
		Conference",
  booktitle = 	 "ECOOP 2006 --- Object-Oriented Programming, 20th European
		Conference",
  year = 	 2006,
  month = 	 jul,
}
@Proceedings{ECOOP2007,
  title = 	 "ECOOP 2007 --- Object-Oriented Programming, 21st European
		Conference",
  booktitle = 	 "ECOOP 2007 --- Object-Oriented Programming, 21st European
		Conference",
  year = 	 2007,
  month = 	 aug,
}
@Proceedings{ECOOP2008,
  title = 	 "ECOOP 2008 --- Object-Oriented Programming, 22nd European
		Conference",
  booktitle = 	 "ECOOP 2008 --- Object-Oriented Programming, 22nd European
		Conference",
  year = 	 2008,
  month = 	 jul,
}
@Proceedings{ECOOP2009,
  title = 	 "ECOOP 2009 --- Object-Oriented Programming, 23rd European
		Conference",
  booktitle = 	 "ECOOP 2009 --- Object-Oriented Programming, 23rd European
		Conference",
  year = 	 2009,
  month = 	 jul,
}
@Proceedings{ECOOP2010,
  title = 	 "ECOOP 2010 --- Object-Oriented Programming, 24th European
		Conference",
  booktitle = 	 "ECOOP 2010 --- Object-Oriented Programming, 24th European
		Conference",
  year = 	 2010,
  month = 	 jun,
}
@Proceedings{ECOOP2011,
  title = 	 "ECOOP 2011 --- Object-Oriented Programming, 25th European
		Conference",
  booktitle = 	 "ECOOP 2011 --- Object-Oriented Programming, 25th European
		Conference",
  year = 	 2011,
  month = 	 jul,
}
@Proceedings{ECOOP2012,
  title = 	 "ECOOP 2012 --- Object-Oriented Programming, 26th European Conference",
  booktitle = 	 "ECOOP 2012 --- Object-Oriented Programming, 26th European Conference",
  year = 	 2012,
  month = 	 jun,
}
@Proceedings{ECOOP2013,
  title = 	 "ECOOP 2013 --- Object-Oriented Programming, 27th European
		Conference",
  booktitle = 	 "ECOOP 2013 --- Object-Oriented Programming, 27th European
		Conference",
  year = 	 2013,
  month = 	 jul,
}
@Proceedings{ECOOP2014,
  title = 	 "ECOOP 2014 --- Object-Oriented Programming, 28th European
		Conference",
  booktitle = 	 "ECOOP 2014 --- Object-Oriented Programming, 28th European
		Conference",
  year = 	 2014,
  month = 	 jul,
}
@Proceedings{ECOOP2015,
  title = 	 "ECOOP 2015 --- Object-Oriented Programming, 29th European
		Conference",
  booktitle = 	 "ECOOP 2015 --- Object-Oriented Programming, 29th European
		Conference",
  year = 	 2015,
  month = 	 jul,
}
@Proceedings{ECOOP2018,
  title = 	 "ECOOP 2018 --- Object-Oriented Programming, 32nd European Conference",
  booktitle = 	 "ECOOP 2018 --- Object-Oriented Programming, 32nd European Conference",
  year = 	 2018,
  month = 	 jul,
}
@Proceedings{ECOOP2019,
  title = 	 "ECOOP 2019 --- Object-Oriented Programming, 33rd European Conference",
  booktitle = 	 "ECOOP 2019 --- Object-Oriented Programming, 33rd European Conference",
  year = 	 2019,
  month = 	 jul,
}
@Proceedings{ECOOP2020,
  title = 	 "ECOOP 2020 --- Object-Oriented Programming, 33rd European Conference",
  booktitle = 	 "ECOOP 2020 --- Object-Oriented Programming, 33rd European Conference",
  year = 	 2020,
  month = 	 nov,
}
@Proceedings{ECOOP2022,
  title = 	 "ECOOP 2022 --- Object-Oriented Programming, 33rd European Conference",
  booktitle = 	 "ECOOP 2022 --- Object-Oriented Programming, 33rd European Conference",
  year = 	 2022,
  month = 	 jun,
}

@Proceedings{ESEM2011,
  title = 	 "ESEM",
  booktitle = 	 "ESEM",
  year = 	 2011,
  month = 	 sep,
}

% Sources vary on whether the "on" and the "in" in the title of ESORICS
% should be capitalized; standard English usage would leave them
% lowercase, but capitalizing them makes the intended acronym
% clearer. Springer seems to like lowercase, as do the more recent web
% sites.
@Proceedings{ESORICS2005,
  title = 	 "ESORICS",
  booktitle = 	 "ESORICS",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{ESORICS2010,
  title = 	 "ESORICS",
  booktitle = 	 "ESORICS",
  year = 	 2010,
  month = 	 sep,
}



@Proceedings{ESOP1990,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 1990,
  month = 	 may,
}
@Proceedings{ESOP1999,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 1999,
  month = 	 mar,
}
@Proceedings{ESOP2002,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2002,
  month = 	 apr,
}
@Proceedings{ESOP2005,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2005,
  month = 	 apr,
}
@Proceedings{ESOP2006,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2006,
  month = 	 mar,
}
@Proceedings{ESOP2007,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2007,
  month = 	 mar,
}
@Proceedings{ESOP2009,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2009,
  month = 	 mar,
}
@Proceedings{ESOP2013,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2013,
  month = 	 mar,
}
@Proceedings{ESOP2014,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2014,
  month = 	 apr,
}
@Proceedings{ESOP2018,
  title = 	 "ESOP",
  booktitle = 	 "ESOP",
  year = 	 2018,
  month = 	 apr,
}

@Proceedings{ECSCW2007,
  title = 	 "ECSCW",
  booktitle = 	 "ECSCW",
  year = 	 2007,
  month = 	 sep,
}

@Proceedings{Erlang2003,
  title = 	 "ERLANG",
  booktitle = 	 "ERLANG",
  year = 	 2003,
  month = 	 aug,
}


@Proceedings{ETX2004,
  title = 	 "2nd Eclipse Technology Exchange Workshop (eTX)",
  booktitle = 	 "2nd Eclipse Technology Exchange Workshop (eTX)",
  year = 	 2004,
  month = 	 mar,
}

% Contrary to Mihai Budiu's web site, I believe there's no umlaut in
% "Munich", which is the English name, though there is one in
% the German name "M?nchen".
% But if there were, you'd write it M{\"u}nich, note the braces.
@Proceedings{EuroPar2000,
  title = 	 "Euro-Par",
  booktitle = 	 "Euro-Par",
  year = 	 2000,
  month = 	 aug,
}

@Proceedings{EuroSys2009,
  title = 	 "EuroSys",
  booktitle = 	 "EuroSys",
  year = 	 2009,
  month = 	 mar,
}

@Proceedings{EuroSys2019,
  title = 	 "EuroSys",
  booktitle = 	 "EuroSys",
  year = 	 2019,
  month = 	 mar,
}

@Proceedings{FASE2007,
  title = 	 "FASE",
  booktitle = 	 "FASE",
  year = 	 2007,
  month = 	 mar,
}
@Proceedings{FASE2009,
  title = 	 "FASE",
  booktitle = 	 "FASE",
  year = 	 2009,
  month = 	 mar,
}
@Proceedings{FASE2011,
  title = 	 "FASE",
  booktitle = 	 "FASE",
  year = 	 2011,
  month = 	 mar,
}
@Proceedings{FASE2014,
  title = 	 "FASE",
  booktitle = 	 "FASE",
  year = 	 2014,
  month = 	 apr,
}
@Proceedings{FASE2017,
  title = 	 "FASE",
  booktitle = 	 "FASE",
  year = 	 2017,
  month = 	 apr,
}

@Proceedings{FAST2005,
  title = 	 "FAST",
  booktitle = 	 "FAST",
  year = 	 2005,
  month = 	 jul,
}

@Proceedings{FDDO2001,
  title = 	 "FDDO 2001: 4th ACM Workshop on Feedback-Directed and Dynamic
                  Optimization (FDDO)",
  booktitle = 	 "FDDO 2001: 4th ACM Workshop on Feedback-Directed and Dynamic
                  Optimization (FDDO)",
  year = 	 2001,
  month = 	 dec,
}

@Proceedings{FMCAD2010,
  title = 	 "FMCAD",
  booktitle = 	 "FMCAD",
  year = 	 2010,
  month = 	 oct,
}

@Proceedings{FMCO2004,
  title = 	 "FMCO",
  booktitle = 	 "FMCO",
  year = 	 2004,
  month = 	 nov,
}
@Proceedings{FMCO2006,
  title = 	 "FMCO",
  booktitle = 	 "FMCO",
  year = 	 2006,
  month = 	 oct,
}

@Proceedings{FME93,
  title =        "FME '93: Industrial Strength Formal Methods, First
		  International Symposium of Formal Methods Europe",
  booktitle =    "FME '93: Industrial Strength Formal Methods, First
		  International Symposium of Formal Methods Europe",
  year =         1993,
  month =     apr,
}
@Proceedings{FME01,
  title = 	 "FME '01: International Symposium on Formal Methods Europe 2001:
		  Formal Methods for Increasing Software Productivity",
  booktitle = 	 "FME '01: International Symposium on Formal Methods Europe 2001:
		  Formal Methods for Increasing Software Productivity",
  year = 	 2001,
  month = 	 mar,
}
@Proceedings{FME2003,
  title = 	 "FME",
  booktitle = 	 "FME",
  year = 	 2003,
  month = 	 mar,
}

@Proceedings{FMICS03,
  title = 	 "FMICS '03: Eighth International Workshop on Formal Methods for
                  Industrial Critical Systems (FMICS 03)",
  booktitle = 	 "FMICS '03: Eighth International Workshop on Formal Methods for
                  Industrial Critical Systems (FMICS 03)",
  year = 	 2003,
  month = 	 jun,
}

@Proceedings{FMOODS2008,
  title = 	 "FMOODS",
  booktitle = 	 "FMOODS",
  year = 	 2008,
  month = 	 jun,
}

@Proceedings{FOCS89,
  title = 	 "FOCS",
  booktitle = 	 "FOCS",
  year = 	 1989,
  month = 	 oct,
}

@Proceedings{FOOL2001,
  title = 	 "FOOL 2001: Informal Proceeings of the Eighth International
                  Workshop on Foundations of Object-Oriented Languages
                  (FOOL 8)",
  booktitle = 	 "FOOL 2001: Informal Proceeings of the Eighth International
                  Workshop on Foundations of Object-Oriented Languages
                  (FOOL 8)",
  year = 	 2001,
  month = 	 jan,
}
@Proceedings{FOOL2003,
  title = 	 "FOOL 2003: Informal Proceeings of the Tenth International
                  Workshop on Foundations of Object-Oriented Languages
                  (FOOL 10)",
  booktitle = 	 "FOOL 2003: Informal Proceeings of the Tenth International
                  Workshop on Foundations of Object-Oriented Languages
                  (FOOL 10)",
  year = 	 2003,
  month = 	 jan,
}
@Proceedings{FOOL2005,
  title = 	 "FOOL 2005: Informal Proceeings of the Twelfth International
                  Workshop on Foundations of Object-Oriented Languages
                  (FOOL 12)",
  booktitle = 	 "FOOL 2005: Informal Proceeings of the Twelfth International
                  Workshop on Foundations of Object-Oriented Languages
                  (FOOL 12)",
  year = 	 2005,
  month = 	 jan,
}

@Proceedings{FORTE2002,
  title = 	 "FORTE 2002: 22nd IFIP WG 6.1 International Conference on Formal
                  Techniques for Networked and Distributed Systems",
  booktitle = 	 "FORTE 2002: 22nd IFIP WG 6.1 International Conference on Formal
                  Techniques for Networked and Distributed Systems",
  year = 	 2002,
  month = 	 nov,
}

@Proceedings{FOSE2014,
  title = 	 "FoSE",
  booktitle = 	 "FoSE",
  year = 	 2014,
  month = 	 jun,
}

@Proceedings{FOSER2010,
  title = 	 "FoSER",
  booktitle = 	 "FoSER",
  year = 	 2010,
  month = 	 nov,
}

@Proceedings{FOVEOOS2010,
  title =        "International Conference on Formal Verification of Object-Oriented Software",
  booktitle = "International Conference on Formal Verification of Object-Oriented Software",
  year =         2010,
  month =     jun,
}

@Proceedings{FPCA85,
  title = 	 "FPCA",
  booktitle = 	 "FPCA",
  year = 	 1985,
  month = 	 sep,
}
@Proceedings{FPCA87,
  title = 	 "FPCA",
  booktitle = 	 "FPCA",
  year = 	 1987,
  month = 	 sep,
}
@Proceedings{FPCA89,
  title = 	 "FPCA",
  booktitle = 	 "FPCA",
  year = 	 1989,
  month = 	 sep,
}
@Proceedings{FPCA91,
  title = 	 "FPCA",
  booktitle = 	 "FPCA",
  year = 	 1991,
  month = 	 aug,
}
@Proceedings{FPCA93,
  title = 	 "FPCA",
  booktitle = 	 "FPCA",
  year = 	 1993,
  month = 	 jun,
}

@Proceedings{FSE94,
  title = 	 "FSE '94: Proceedings of the Second ACM SIGSOFT Symposium on
		 Foundations of Software Engineering (SIGSOFT '94)",
  booktitle = 	 "FSE '94: Proceedings of the Second ACM SIGSOFT Symposium on
		 Foundations of Software Engineering (SIGSOFT '94)",
  year = 	 1994,
  month = 	 dec,
}
@Proceedings{FSE95,
  title = 	 "FSE '95: Proceedings of SIGSOFT '95 Third ACM SIGSOFT Symposium
        	 on the Foundations of Software Engineering",
  booktitle = 	 "FSE '95: Proceedings of SIGSOFT '95 Third ACM SIGSOFT Symposium
        	 on the Foundations of Software Engineering",
  year = 	 1995,
  month = 	 oct,
}
@Proceedings{FSE96,
  title = 	 "FSE '96: Proceedings of SIGSOFT '96 Fourth ACM SIGSOFT Symposium
	on the Foundations of Software Engineering",
  booktitle = 	 "FSE '96: Proceedings of SIGSOFT '96 Fourth ACM SIGSOFT Symposium
	on the Foundations of Software Engineering",
  year = 	 1996,
  month = 	 oct,
}
@Proceedings{FSE97,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 1997,
  address = 	 Zurich,
  month = 	 sep,
}
@Proceedings{FSE98,
  title = 	 "FSE",
  booktitle = 	 "FSE",
  year = 	 1998,
  month = 	 nov,
}
% Identical to ESEC99
@Proceedings{FSE99,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 1999,
  month = 	 sep,
}
@Proceedings{FSE2000,
  title = 	 "FSE 2000: Proceedings of the {ACM} {SIGSOFT} 8th International
                 Symposium on the Foundations of Software Engineering",
  booktitle = 	 "FSE 2000: Proceedings of the {ACM} {SIGSOFT} 8th International
                 Symposium on the Foundations of Software Engineering",
  year = 	 2000,
  month = 	 nov,
}
@Proceedings{FSE2001,
  title = 	 "ESEC/FSE 2001: Proceedings of the 8th European Software Engineering
		 Conference and the 9th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "ESEC/FSE 2001: Proceedings of the 8th European Software Engineering
		 Conference and the 9th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  year = 	 2001,
  month = 	 sep,
}
@Proceedings{FSE2002,
  title = 	 "FSE 2002, Proceedings of the {ACM} {SIGSOFT} 10th International
                 Symposium on the Foundations of Software Engineering",
  booktitle = 	 "FSE 2002, Proceedings of the {ACM} {SIGSOFT} 10th International
                 Symposium on the Foundations of Software Engineering",
  year = 	 2002,
  month = 	 nov,
}
@Proceedings{FSESRF2002,
  title = 	 "FSE SRF: FSE 2002, Poster session, Student Research Forum, Proceedings of the {ACM} {SIGSOFT} 10th International
                 Symposium on the Foundations of Software Engineering",
  booktitle = 	 "FSE SRF: FSE 2002, Poster session, Student Research Forum, Proceedings of the {ACM} {SIGSOFT} 10th International
                 Symposium on the Foundations of Software Engineering",
  year = 	 2002,
  month = 	 nov,
}
@Proceedings{FSE2003,
  title = 	 "ESEC/FSE 2003: Proceedings of the 9th European Software Engineering
		 Conference and the 11th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "ESEC/FSE 2003: Proceedings of the 9th European Software Engineering
		 Conference and the 11th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  year = 	 2003,
  month = 	 sep,
}
@Proceedings{WTISD2003,
  title = 	 "Workshop on Tool-Integration in System Development",
  booktitle = 	 "Workshop on Tool-Integration in System Development",
  year = 	 2003,
  month = 	 sep,
}
@Proceedings{FSE2004,
  title = 	 "FSE 2004: Proceedings of the {ACM} {SIGSOFT} 12th Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2004: Proceedings of the {ACM} {SIGSOFT} 12th Symposium on the
                 Foundations of Software Engineering",
  year = 	 2004,
  month = 	 nov,
}
@Proceedings{FSE2005,
  title = 	 "ESEC/FSE 2005: Proceedings of the 10th European Software Engineering
		 Conference and the 13th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "ESEC/FSE 2005: Proceedings of the 10th European Software Engineering
		 Conference and the 13th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{FSE2006,
  title = 	 "FSE 2006: Proceedings of the {ACM} {SIGSOFT} 14th Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2006: Proceedings of the {ACM} {SIGSOFT} 14th Symposium on the
                 Foundations of Software Engineering",
  year = 	 2006,
  month = 	 nov,
}
@Proceedings{FSE2007,
  title = 	 "ESEC/FSE 2007: Proceedings of the 11th European Software Engineering
		 Conference and the 15th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "ESEC/FSE 2007: Proceedings of the 11th European Software Engineering
		 Conference and the 15th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  year = 	 2007,
  month = 	 sep,
}
@Proceedings{FSE2008,
  title = 	 "FSE 2008: Proceedings of the {ACM} {SIGSOFT} 16th Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2008: Proceedings of the {ACM} {SIGSOFT} 16th Symposium on the
                 Foundations of Software Engineering",
  year = 	 2008,
  month = 	 nov,
}
@Proceedings{FSE2009,
  title = 	 "ESEC/FSE 2009: The 7th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  booktitle = 	 "ESEC/FSE 2009: The 7th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  year = 	 2009,
  month = 	 aug,
}
@Proceedings{FSE2010,
  title = 	 "FSE 2010: Proceedings of the {ACM} {SIGSOFT} 18th Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2010: Proceedings of the {ACM} {SIGSOFT} 18th Symposium on the
                 Foundations of Software Engineering",
  year = 	 2010,
  month = 	 nov,
}
@Proceedings{FSE2011,
  title = 	 "ESEC/FSE 2011: The 8th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  booktitle = 	 "ESEC/FSE 2011: The 8th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  year = 	 2011,
  month = 	 sep,
}
@Proceedings{FSE2011NewIdeas,
  title = 	 "ESEC/FSE New Ideas Track: The 8th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE New Ideas Track)",
  booktitle = 	 "ESEC/FSE New Ideas Track: The 8th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE New Ideas Track)",
  year = 	 2011,
  month = 	 sep,
}
@Proceedings{FSE2012,
  title = 	 "FSE 2012: Proceedings of the {ACM} {SIGSOFT} 20th Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2012: Proceedings of the {ACM} {SIGSOFT} 20th Symposium on the
                 Foundations of Software Engineering",
  year = 	 2012,
  month = 	 nov,
}
@Proceedings{FSE2013,
  title = 	 "ESEC/FSE 2013: The 9th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  booktitle = 	 "ESEC/FSE 2013: The 9th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  year = 	 2013,
  month = 	 aug,
}
@Proceedings{FSE2014,
  title = 	 "FSE",
  booktitle = 	 "FSE",
  year = 	 2014,
  month = 	 nov,
}
@Proceedings{FSE2015,
  title = 	 "ESEC/FSE 2015: The 10th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  booktitle = 	 "ESEC/FSE 2015: The 10th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  year = 	 2015,
  month = 	 sep,
}
@Proceedings{FSE2016,
  title = 	 "FSE 2016: Proceedings of the {ACM} {SIGSOFT} 24th Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2016: Proceedings of the {ACM} {SIGSOFT} 24th Symposium on the
                 Foundations of Software Engineering",
  year = 	 2016,
  month = 	 nov,
}
@Proceedings{FSE2017,
  title = 	 "ESEC/FSE 2017: The 11th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  booktitle = 	 "ESEC/FSE 2017: The 11th joint meeting of
                   the European Software Engineering Conference (ESEC) and
                   the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)",
  year = 	 2017,
  month = 	 sep,
}
@Proceedings{FSE2018,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 2018,
  month = 	 nov,
}
@Proceedings{FSE2019,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 2019,
  month = 	 aug,
}
@Proceedings{FSE2020,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 2020,
  month = 	 nov,
}
@Proceedings{FSE2021,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 2021,
  month = 	 aug,
}
@Proceedings{FSE2022,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 2022,
  month = 	 nov,
}
@Proceedings{FSE2023,
  title = 	 "ESEC/FSE",
  booktitle = 	 "ESEC/FSE",
  year = 	 2023,
  month = 	 dec,
}


@Proceedings{FTFJP2001,
  title = 	 "FTfJP: 3rd Workshop on Formal Techniques for
                  Java-like Programs",
  booktitle = 	 "FTfJP: 3rd Workshop on Formal Techniques for
                  Java-like Programs",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{FTFJP2005,
  title = 	 "FTfJP",
  booktitle = 	 "FTfJP",
  year = 	 2005,
  month = 	 jul,
}
@Proceedings{FTFJP2012,
  title = 	 "FTfJP",
  booktitle = 	 "FTfJP",
  year = 	 2012,
  month = 	 jun,
}
@Proceedings{FTFJP2013,
  title = 	 "FTfJP",
  booktitle = 	 "FTfJP",
  year = 	 2013,
  month = 	 jul,
}
@Proceedings{FTFJP2021,
  title = 	 "FTfJP",
  booktitle = 	 "FTfJP",
  year = 	 2021,
  month = 	 jul,
}

@Proceedings{FPS2021,
  title = 	 "FPS",
  booktitle = 	 "FPS",
  year = 	 2021,
  month = 	 dec,
}

@Proceedings{FutureCSD2012,
  title = 	 "FutureCSD",
  booktitle = 	 "FutureCSD",
  year = 	 2012,
  month = 	 feb,
}

@Proceedings{GD2001,
  title = 	 "GD",
  booktitle = 	 "GD",
  year = 	 2001,
  month = 	 sep,
}
@Proceedings{GD2007,
  title = 	 "GD",
  booktitle = 	 "GD",
  year = 	 2007,
  month = 	 sep,
}

@Proceedings{GPCE2006,
  title = 	 "GPCE",
  booktitle = 	 "GPCE",
  year = 	 2006,
  month = 	 oct,
}
@Proceedings{GPCE2010,
  title = 	 "GPCE",
  booktitle = 	 "GPCE",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{GPCE2013,
  title = 	 "GPCE",
  booktitle = 	 "GPCE",
  year = 	 2013,
  month = 	 oct,
}

@Proceedings{HLD83,
  title =        "HLD",
  booktitle =    "HLD",
  year =         1983,
  NEEDaddress =   "*",
  NEEDmonth =     "*",
}

@Proceedings{HotMobile2011,
  title = 	 "HotMobile",
  booktitle = 	 "HotMobile",
  year = 	 2011,
  month = 	 mar,
}

@Proceedings{ICALEPCS2017,
  title = 	 "ICALEPCS",
  booktitle = 	 "ICALEPCS",
  year = 	 2017,
  month = 	 oct,
}

@Proceedings{ICALP2004,
  title = 	 "Automata",
  booktitle = 	 "Automata",
  year = 	 2004,
  month = 	 jul,
}

@Proceedings{ICAPS2005,
  title = 	 "ICAPS",
  booktitle = 	 "ICAPS",
  year = 	 2005,
  month = 	 jun,
}

@Proceedings{ICDCS2019,
  title = 	 "ICDCS",
  year = 	 2019,
  booktitle = "ICDCS",
  month = 	 jul,
}

@Proceedings{ICDE2002,
  title = 	 "ICDE",
  booktitle = 	 "ICDE",
  year = 	 2002,
  month = 	 feb,
}

@Proceedings{ICECCS2002,
  title = 	 "ICECCS",
  booktitle = 	 "ICECCS",
  year = 	 2002,
  month = 	 dec,
}
@Proceedings{ICECCS2005,
  title = 	 "ICECCS",
  booktitle = 	 "ICECCS",
  year = 	 2005,
  month = 	 jun,
}
@Proceedings{ICECCS2016,
  title = 	 "ICECCS",
  booktitle = 	 "ICECCS",
  year = 	 2016,
  month = 	 jun,
}

@Proceedings{ICFEM2004,
  title = 	 "ICFEM",
  booktitle = 	 "ICFEM",
  year = 	 2004,
  month = 	 nov,
}
@Proceedings{ICFEM2005,
  title = 	 "ICFEM",
  booktitle = 	 "ICFEM",
  year = 	 2005,
  month = 	 nov,
}
@Proceedings{ICFEM2006,
  title = 	 "ICFEM",
  booktitle = 	 "ICFEM",
  year = 	 2006,
  month = 	 nov,
}

@Proceedings{ICFP2000,
  title = 	 "ICFP 2000: Proceedings of the fifth ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2000: Proceedings of the fifth ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2000,
  address = 	 Montreal,
  month = 	 sep,
}
@Proceedings{ICFP2002,
  title = 	 "ICFP 2002: Proceedings of the seventh ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2002: Proceedings of the seventh ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2002,
  month = 	 oct,
}
@Proceedings{ICFP2003,
  title = 	 "ICFP 2003: Proceedings of the eighth ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2003: Proceedings of the eighth ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2003,
  month = 	 aug,
}
@Proceedings{ICFP2004,
  title = 	 "ICFP 2004: Proceedings of the ninth ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2004: Proceedings of the ninth ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2004,
  month = 	 sep,
}
@Proceedings{ICFP2006,
  title = 	 "ICFP 2006: Proceedings of the ninth ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2006: Proceedings of the ninth ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2006,
  month = 	 sep,
}
@Proceedings{ICFP2010,
  title = 	 "ICFP 2010: Proceedings of the 15th ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2010: Proceedings of the 15th ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2010,
  month = 	 sep,
}
@Proceedings{ICFP2012,
  title = 	 "ICFP 2012: Proceedings of the 17th ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2012: Proceedings of the 17th ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2012,
  month = 	 sep,
}
@Proceedings{ICFP2017,
  title = 	 "ICFP 2017: Proceedings of the 22nd ACM SIGPLAN
                  International Conference on Functional Programming",
  booktitle = 	 "ICFP 2017: Proceedings of the 22nd ACM SIGPLAN
                  International Conference on Functional Programming",
  year = 	 2017,
  month = 	 sep,
}

@Proceedings{ICISC2005,
  title = 	 "ICISC",
  booktitle = 	 "ICISC",
  year = 	 2005,
  month = 	 dec,
}
% The organizers prefer the description "Seoul, Korea" for its location,
% rather than "South Korea" or "Republic of Korea"; this seems sufficiently
% unambiguous as AFAIK there is no Seoul in North Korea.

@Proceedings{ICML96,
  title = 	 "ICML",
  booktitle = 	 "ICML",
  year = 	 1996,
  month = 	 jul,
}
@Proceedings{ICML97,
  title = 	 "ICML",
  booktitle = 	 "ICML",
  year = 	 1997,
  month = 	 jul,
}
@Proceedings{ICML2000,
  title = 	 "ICML",
  booktitle = 	 "ICML",
  year = 	 2000,
  month = 	 jun,
}


@Proceedings{ISMM2008,
  title = 	 "ISMM",
  booktitle = 	 "ISMM",
  year = 	 2008,
  month = 	 jun,
}
@Proceedings{ISMM2009,
  title = 	 "ISMM",
  booktitle = 	 "ISMM",
  year = 	 2009,
  month = 	 jun,
}


% ICPC
% WPC (workshop) came before IWPC (international workshop) came before ICPC (conference).
@Proceedings{WPC1997,
  title = 	 "WPC",
  booktitle = 	 "WPC",
  year = 	 1997,
  month = 	 may,
}
% Eventually it became an "International" workshop, hence the acronym changing. *rolleyes*
@Proceedings{IWPC2005,
  title = 	 "IWPC",
  booktitle = 	 "IWPC",
  year = 	 2005,
  month = 	 may,
}
@Proceedings{ICPC2008,
  title = 	 "ICPC",
  booktitle = 	 "ICPC",
  year = 	 2008,
  month = 	 jun,
}
@Proceedings{ICPC2012,
  title = 	 "ICPC",
  booktitle = 	 "ICPC",
  year = 	 2012,
  month = 	 jun,
}
@Proceedings{ICPC2013,
  title = 	 "ICPC",
  booktitle = 	 "ICPC",
  year = 	 2013,
  month = 	 may,
}
@Proceedings{ICPC2014,
  title = 	 "ICPC",
  booktitle = 	 "ICPC",
  year = 	 2014,
  month = 	 jun,
}
@Proceedings{ICPC2018,
  title = 	 "ICPC",
  booktitle = 	 "ICPC",
  year = 	 2018,
  month = 	 may,
}

@Proceedings{ICPP86,
  title =        "ICPP",
  booktitle =    "ICPP",
  year =         1986,
  month =     aug,
}
@Proceedings{ICPP88,
  title =        "ICPP",
  booktitle =    "ICPP",
  year =         1988,
  month =     aug,
}

@Proceedings{ICS89,
  title =        "Proceedings of the International Conference on Supercomputing",
  booktitle = "Proceedings of the International Conference on Supercomputing",
  year =         1989,
  month =     jun,
}

@Proceedings{ICTTA2008,
  title = 	 "ICTTA",
  year = 	 2008,
  booktitle = "ICTTA",
  month = 	 "apr",
}

@Proceedings{ICSE78,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1978,
  month = 	 may,
}
@Proceedings{ICSE79,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1979,
  month = 	 sep,
}
@Proceedings{ICSE81,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1981,
  month = 	 mar,
}
@Proceedings{ICSE85,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1985,
  month = 	 aug,
}
@Proceedings{ICSE89,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1989,
  month = 	 may,
}
@Proceedings{ICSE92,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1992,
  month = 	 may,
}
@Proceedings{ICSE94,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1994,
  month = 	 may,
}
@Proceedings{ICSE95,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1995,
  month = 	 apr,
}
@Proceedings{ICSE96,
  title = 	 "ICSE '96: Proceedings of the 18th International Conference on
		Software Engineering",
  booktitle = 	 "ICSE '96: Proceedings of the 18th International Conference on
		Software Engineering",
  year = 	 1996,
  month = 	 mar,
}
@Proceedings{ICSE97,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1997,
  month = 	 may,
}
@Proceedings{PMESSE97,
  title = 	 "PMSESSE",
  booktitle = 	 "PMSESSE",
  year = 	 1997,
  month = 	 may,
}
@Proceedings{ICSE98,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1998,
  month = 	 apr,
}
@Proceedings{ICSE99,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 1999,
  month = 	 may,
}
@Proceedings{ICSEDS99,
  title = 	 "ICSE '99 Doctoral Workshop",
  booktitle = 	 "ICSE '99 Doctoral Workshop",
  year = 	 1999,
  month = 	 may,
}
@Proceedings{ICSE2000,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2000,
  month = 	 jun,
}
@Proceedings{ICSE2001,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2001,
  address = 	 Montreal,
  month = 	 may,
}
@Proceedings{ICSE2002,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2002,
  month = 	 may,
}
@Proceedings{ICSE2003,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2003,
  month = 	 may,
}
@Proceedings{ICSE2004,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2004,
  month = 	 may,
}
@Proceedings{ICSEDS2004,
  title = 	 "ICSE 2004 Doctoral Symposium",
  booktitle = 	 "ICSE 2004 Doctoral Symposium",
  year = 	 2004,
  month = 	 may,
}
@Proceedings{ICSE2005,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2005,
  month = 	 may,
}
@Proceedings{ICSE2005education,
  title =        "ICSE Education and Training Track",
  booktitle =    "ICSE Education and Training Track",
  year =         2005,
  month = 	 may,
}
@Proceedings{ICSE2006,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2006,
  month = 	 may,
}
@Proceedings{ICSE2007,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2007,
  month = 	 may,
}
@Proceedings{ICSE2008,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2008,
  month = 	 may,
}
@Proceedings{ICSE2009,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2009,
  month = 	 may,
}
@Proceedings{ICSE2010,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2010,
  month = 	 may,
}
@Proceedings{ICSE2011,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2011,
  month = 	 may,
}
@Proceedings{MSE2011,
  title = 	 "Proceedings of the 4th International Workshop on Multicore Software Engineering",
  booktitle = 	 "Proceedings of the 4th International Workshop on Multicore Software Engineering",
  year = 	 2011,
  month = 	 may,
}
@Proceedings{ICSE2012,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2012,
  month = 	 jun,
}
@Proceedings{ICSENIER2012,
  title = 	 "ICSE NIER, Proceedings of the 34th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  booktitle = 	 "ICSE NIER, Proceedings of the 34th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  year = 	 2012,
  month = 	 jun,
}
@Proceedings{ICSE2013,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2013,
  month = 	 may,
}
@Proceedings{ICSENIER2013,
  title = 	 "ICSE NIER, Proceedings of the 35th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  booktitle = 	 "ICSE NIER, Proceedings of the 35th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  year = 	 2013,
  month = 	 may,
}
@Proceedings{ICSE2014,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2014,
  month = 	 jun,
}
@Proceedings{ICSENIER2014,
  title = 	 "ICSE NIER, Proceedings of the 36th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  booktitle = 	 "ICSE NIER, Proceedings of the 36th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  year = 	 2014,
  month = 	 jun,
}
@Proceedings{ICSE2015,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2015,
  month = 	 may,
}
@Proceedings{ICSENIER2015,
  title = 	 "ICSE NIER, Proceedings of the 37th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  booktitle = 	 "ICSE NIER, Proceedings of the 37th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  year = 	 2015,
  month = 	 may,
}
@Proceedings{ICSE2016,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2016,
  month = 	 may,
}
@Proceedings{ICSENIER2016,
  title = 	 "ICSE NIER, Proceedings of the 38th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  booktitle = 	 "ICSE NIER, Proceedings of the 38th International Conference on Software Engineering, New Ideas and Emerging Results Track",
  year = 	 2016,
  month = 	 may,
}
@Proceedings{ICSE2017,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2017,
  month = 	 may,
}
@Proceedings{ICSE2018,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2018,
  month = 	 may,
}
@Proceedings{ICSE2019,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2019,
  address = 	 Montreal,
  month = 	 may,
}
@Proceedings{ICSECompanion2019,
  title = 	 "ICSE Companion 2019, Companion Proceedings of the 41st International Conference on Software Engineering",
  booktitle = 	 "ICSE Companion 2019, Companion Proceedings of the 41st International Conference on Software Engineering",
  year = 	 2019,
  address = 	 Montreal,
  month = 	 may,
}
@Proceedings{ICSE2020,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2020,
  month = 	 may,
}
@Proceedings{ICSENIER2020,
  title = 	 "ICSE NIER, Proceedings of the 42nd International Conference on Software Engineering, New Ideas and Emerging Results Track",
  booktitle = 	 "ICSE NIER, Proceedings of the 42nd International Conference on Software Engineering, New Ideas and Emerging Results Track",
  year = 	 2020,
  month = 	 may,
}
@Proceedings{ICSE2021,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2021,
  month = 	 may,
}
@Proceedings{ICSE2022,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2022,
  month = 	 may,
}
@Proceedings{ICSE2023,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2023,
  month = 	 may,
}
@Proceedings{ICSE2024,
  title = 	 "ICSE",
  booktitle = 	 "ICSE",
  year = 	 2024,
  month = 	 apr,
}

% Note that in 1989, International was not in the title.
@Proceedings{ICSM89,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 1989,
  month = 	 oct,
}
@Proceedings{ICSM93,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 1993,
  month = 	 sep,
}
@Proceedings{ICSM94,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 1994,
  month = 	 sep,
}
@Proceedings{ICSM96,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 1996,
  month = 	 nov,
}
@Proceedings{ICSM98,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 1998,
  month = 	 nov,
}
@Proceedings{ICSM99,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 1999,
  month = 	 aug,
}
@Proceedings{ICSM2000,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2000,
  month = 	 oct,
}
@Proceedings{ICSM2001,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2001,
  month = 	 nov,
}
@Proceedings{ICSM2002,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2002,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{ICSM2004,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2004,
  month = 	 sep,
}
@Proceedings{ICSM2005,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{ICSM2007,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2007,
  month = 	 oct,
}
@Proceedings{ICSM2009,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2009,
  month = 	 sep,
}
@Proceedings{ICSM2010,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2010,
  month = 	 sep,
}
@Proceedings{ICSM2013,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2013,
  month = 	 sep,
}
@Proceedings{ICSM2014,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2014,
  month = 	 oct,
}
@Proceedings{ICSME2017,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2017,
  month = 	 sep,
}
@Proceedings{ICSME2021,
  title = 	 "ICSM",
  booktitle = 	 "ICSM",
  year = 	 2021,
  month = 	 sep,
}

@Proceedings{ICST2008,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2008,
  month = 	 apr,
}
@Proceedings{ICST2011,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2011,
  month = 	 mar,
}
@Proceedings{ICST2012,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2012,
  address = 	 Montreal,
  month = 	 apr,
}
@Proceedings{ICST2013,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2013,
  month = 	 apr,
}
@Proceedings{ICST2014,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2014,
  month = 	 apr,
}
@Proceedings{ICST2015,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2015,
  month = 	 apr,
}
@Proceedings{ICST2016,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2016,
  month = 	 apr,
}
@Proceedings{ICST2018,
  title = 	 "ICST",
  booktitle = 	 "ICST",
  year = 	 2018,
  month = 	 apr,
}

@Proceedings{ICTCS2016,
  title = 	 "ICTCS",
  booktitle = "ICTCS",
  year = 	 2016,
  month = 	 mar,
}

@Proceedings{ICWS2004,
  title = 	 "ICWS",
  booktitle = 	 "ICWS",
  year = 	 2004,
  month = 	 jul,
}

@Proceedings{ISESE2006,
  title = 	 "ISESE",
  booktitle = 	 "ISESE",
  year = 	 2006,
  month = 	 sep,
}

@Proceedings{ISWC2002,
  title = 	 "ISWC",
  booktitle = 	 "ISWC",
  year = 	 2002,
  month = 	 jun,
}
@Proceedings{ISWC2004,
  title = 	 "ISWC",
  booktitle = 	 "ISWC",
  year = 	 2004,
  month = 	 nov,
}

@Proceedings{IJCAI73,
  title = 	 ": Proceedings of the 3rd International Joint Conference
                 on Artificial Intelligence",
  booktitle = 	 ": Proceedings of the 3rd International Joint Conference
                 on Artificial Intelligence",
  year = 	 1973,
  month = 	 aug,
}
@Proceedings{IJCAI91,
  title = 	 "IJCAI '91: Proceedings of the 12th International Joint Conference
                 on Artificial Intelligence",
  booktitle = 	 "IJCAI '91: Proceedings of the 12th International Joint Conference
                 on Artificial Intelligence",
  year = 	 1991,
  month = 	 aug,
}
@Proceedings{IJCAI97,
  title = 	 "IJCAI '97: IJCAI-97, Proceedings of the Fifteenth International
		  Joint Conference on Artificial Intelligence",
  booktitle = 	 "IJCAI '97: IJCAI-97, Proceedings of the Fifteenth International
		  Joint Conference on Artificial Intelligence",
  year = 	 1997,
  month = 	 aug,
}

@Proceedings{INCOSE96,
  title =        "INCOSE '96: 6th Annual Symposium of the International Council on
		  Systems Engineering",
  booktitle =    "INCOSE '96: 6th Annual Symposium of the International Council on
		  Systems Engineering",
  year =         1996,
  month =     jul,
}

@Proceedings{InfoVis1995,
  title = 	 "InfoVis",
  booktitle = 	 "InfoVis",
  year = 	 1995,
  month = 	 oct,
}

@Proceedings{Internetware2022,
  title = 	 "Internetware",
  booktitle =    "Internetware",
  year = 	 2022,
  month = 	 dec,
}

@Proceedings{IP71,
  title = 	 "Information Processing",
  booktitle = 	 "Information Processing",
  year = 	 1971,
  month = 	 aug,
}

@Proceedings{IPDPS2003,
  title = 	 "IPDPS 2003: International Parallel and Distributed Processing
                  Symposium (IPDPS'03)",
  booktitle = 	 "IPDPS 2003: International Parallel and Distributed Processing
                  Symposium (IPDPS'03)",
  year = 	 2003,
  month = 	 apr,
}

@Proceedings{IPPS94,
  title =        "IPPS",
  booktitle =    "IPPS",
  year =         1994,
  month =     apr,
}

@Proceedings{ISCA92,
  title = 	 "ISCA '92: Proceedings of the 19th Annual International Symposium
                 on Computer Architecture",
  booktitle = 	 "ISCA '92: Proceedings of the 19th Annual International Symposium
                 on Computer Architecture",
  year = 	 1992,
  month = 	 jun,
}
@Proceedings{ISCA94,
  title = 	 "ISCA '94: Proceedings of the 21st Annual International Symposium
                 on Computer Architecture",
  booktitle = 	 "ISCA '94: Proceedings of the 21st Annual International Symposium
                 on Computer Architecture",
  year = 	 1994,
  month = 	 apr,
}
@Proceedings{ISCA97,
  title = 	 "ISCA '97: Proceedings of the 24th Annual International Symposium
                 on Computer Architecture",
  booktitle = 	 "ISCA '97: Proceedings of the 24th Annual International Symposium
                 on Computer Architecture",
  year = 	 1997,
  month = 	 jun,
}
@Proceedings{ISCA99,
  title = 	 "ISCA '99: Proceedings of the 26th Annual International Symposium
                 on Computer Architecture",
  booktitle = 	 "ISCA '99: Proceedings of the 26th Annual International Symposium
                 on Computer Architecture",
  year = 	 1999,
  month = 	 may,
}
@Proceedings{ISCA2003,
  title = 	 "ISCA 2003: Proceedings of the 30th Annual International Symposium
                 on Computer Architecture",
  booktitle = 	 "ISCA 2003: Proceedings of the 30th Annual International Symposium
                 on Computer Architecture",
  year = 	 2003,
  month = 	 jun,
}
@Proceedings{ISCA2005,
  title = 	 "ISCA 2005: Proceedings of the 32nd Annual International Symposium
                 on Computer Architecture",
  booktitle = 	 "ISCA 2005: Proceedings of the 32nd Annual International Symposium
                 on Computer Architecture",
  year = 	 2005,
  month = 	 jun,
}

@Proceedings{ISOLA2006,
  title = 	 "ISOLA 2006: 2nd International Symposium on Leveraging Applications
                     of Formal Methods, Verification and Validation",
  booktitle = 	 "ISOLA 2006: 2nd International Symposium on Leveraging Applications
                     of Formal Methods, Verification and Validation",
  year = 	 2006,
  month = 	 nov,
}

@Proceedings{ISSRE95,
  title = 	 "ISSRE '95: Sixth International Symposium on Software Reliability
                  Engineering",
  booktitle = 	 "ISSRE '95: Sixth International Symposium on Software Reliability
                  Engineering",
  year = 	 1995,
  month = 	 oct,
}
@Proceedings{ISSRE97,
  title = 	 "ISSRE '97: Eighth International Symposium on Software Reliability
                  Engineering",
  booktitle = 	 "ISSRE '97: Eighth International Symposium on Software Reliability
                  Engineering",
  year = 	 1997,
  month = 	 nov,
}
@Proceedings{ISSRE2003,
  title = 	 "ISSRE 2003: Fourteenth International Symposium on Software
                  Reliability Engineering",
  booktitle = 	 "ISSRE 2003: Fourteenth International Symposium on Software
                  Reliability Engineering",
  year = 	 2003,
  month = 	 nov,
}
@Proceedings{ISSRESupplementary2003,
  title = 	 "ISSRE Supplementary: Fourteenth International Symposium on Software
                  Reliability Engineering, Supplementary Proceeding",
  booktitle = 	 "ISSRE Supplementary: Fourteenth International Symposium on Software
                  Reliability Engineering, Supplementary Proceeding",
  year = 	 2003,
  month = 	 nov,
}
@Proceedings{ISSRE2004,
  title = 	 "ISSRE 2004: Fifteenth International Symposium on Software
                  Reliability Engineering",
  booktitle = 	 "ISSRE 2004: Fifteenth International Symposium on Software
                  Reliability Engineering",
  year = 	 2004,
  month = 	 nov,
}
@Proceedings{ISSRE2007,
  title = 	 "ISSRE 2007: Fifteenth International Symposium on Software
                  Reliability Engineering",
  booktitle = 	 "ISSRE 2007: Fifteenth International Symposium on Software
                  Reliability Engineering",
  year = 	 2007,
  month = 	 nov,
}
@Proceedings{ISSRE2013,
  title = 	 "ISSRE 2013: 24th International Symposium on Software
                  Reliability Engineering",
  booktitle = 	 "ISSRE 2013: 24th International Symposium on Software
                  Reliability Engineering",
  year = 	 2013,
  month = 	 nov,
}
@Proceedings{ISSRE2014,
  title = 	 "ISSRE 2014: 25th International Symposium on Software
                  Reliability Engineering",
  booktitle = 	 "ISSRE 2014: 25th International Symposium on Software
                  Reliability Engineering",
  year = 	 2014,
  month = 	 nov,
}

@Proceedings{ISSSE2006,
  title = 	 "ISSSE 2006: IEEE International Symposium on Secure Software
                  Engineering",
  booktitle = 	 "ISSSE 2006: IEEE International Symposium on Secure Software
                  Engineering",
  year = 	 2006,
  month = 	 mar,
}
% Strangely, many sources including a CFP list this as being in McLean,
% an adjacent DC suburb. The most reliable-looking website I can find
% lists the venue as the Sheraton National Hotel in Arlington.

@Proceedings{ISSTA93,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 1993,
  month = 	 jun,
}
@Proceedings{ISSTA94,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 1994,
  month = 	 aug,
}
@Proceedings{ISSTA96,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 1996,
  month = 	 jan,
}
@Proceedings{ISSTA98,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 1998,
  month = 	 mar,
}
@Proceedings{ISSTA2000,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2000,
  month = 	 aug,
}
@Proceedings{ISSTA2002,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2002,
  month = 	 jul,
}
@Proceedings{ISSTA2004,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2004,
  month = 	 jul,
}
@Proceedings{ISSTA2006,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2006,
  month = 	 jul,
}
@Proceedings{ISSTA2007,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2007,
  month = 	 jul,
}
@Proceedings{ISSTA2008,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2008,
  month = 	 jul,
}
@Proceedings{ISSTA2009,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2009,
  month = 	 jul,
}
@Proceedings{ISSTA2010,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2010,
  month = 	 jul,
}
@Proceedings{ISSTA2011,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2011,
  month = 	 jul,
}
@Proceedings{ISSTA2012,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2012,
  month = 	 jul,
}
@Proceedings{ISSTA2013,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2013,
  month = 	 jul,
}
@Proceedings{ISSTA2014,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2014,
  month = 	 jul,
}
@Proceedings{ISSTA2015,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2015,
  month = 	 jul,
}
@Proceedings{ISSTA2016,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2016,
  month = 	 jul,
}
@Proceedings{ISSTA2016DoctoralSymposium,
  title = 	 "ISSTA 2016 Doctoral Symposium",
  booktitle = 	 "ISSTA 2016 Doctoral Symposium",
  year = 	 2016,
  month = 	 jul,
}
@Proceedings{ISSTA2017,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2017,
  month = 	 jul,
}
@Proceedings{ISSTA2018,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2018,
  month = 	 jul,
}
@Proceedings{ISSTA2020,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2020,
  month = 	 jul,
}
@Proceedings{ISSTA2024,
  title = 	 "ISSTA",
  booktitle = 	 "ISSTA",
  year = 	 2024,
  month = 	 sep,
}

@Proceedings{IVME2003,
  title = 	 "IVME",
  booktitle = 	 "IVME",
  year = 	 2003,
  month = 	 jun,
}

@Proceedings{IWAOOS99,
  title = 	 "IWAOOS",
  booktitle = 	 "IWAOOS",
  year = 	 1999,
  month = 	 jun,
}

@Proceedings{IWACO2003,
  title = 	 "IWACO",
  booktitle = 	 "IWACO",
  year = 	 2003,
  month = 	 jul,
}
@Proceedings{IWACO2007,
  title = 	 "IWACO",
  booktitle = 	 "IWACO",
  year = 	 2007,
  month = 	 jul,
}
@Proceedings{IWACO2009,
  title = 	 "IWACO",
  booktitle = 	 "IWACO",
  year = 	 2009,
  month = 	 jul,
}
@Proceedings{IWACO2011,
  title = 	 "IWACO",
  booktitle = 	 "IWACO",
  year = 	 2011,
  month = 	 jul,
}

@Proceedings{JavaGrande2002,
  title = 	 "Java Grande",
  booktitle = 	 "Java Grande",
  year = 	 2002,
  month = 	 nov,
}

@Proceedings{JTRES2010,
  title = 	 "JTRES",
  booktitle = 	 "JTRES",
  year = 	 2010,
  month = 	 aug,
}

@Proceedings{LCPC2003,
  title = 	 "LCPC",
  booktitle = 	 "LCPC",
  year = 	 2003,
  month = 	 oct,
}

@Proceedings{LCTES98,
  title = 	 "LCTES",
  booktitle = 	 "LCTES",
  year = 	 1998,
  address = 	 Montreal,
  month = 	 jun,
}

@Proceedings{LFP90,
  title = 	 "LFP",
  booktitle = 	 "LFP",
  year = 	 1990,
  month = 	 jun,
}
@Proceedings{LFP92,
  title = 	 "LFP",
  booktitle = 	 "LFP",
  year = 	 1992,
  month = 	 jun,
}

@Proceedings{LICS1989,
  title = 	 "LICS '89: Proceedings of the Fourth Annual IEEE Symposium on Logic
                  in Computer Science",
  booktitle = 	 "LICS '89: Proceedings of the Fourth Annual IEEE Symposium on Logic
                  in Computer Science",
  year = 	 1989,
  month = 	 jun,
}
@Proceedings{LICS92,
  title = 	 "LICS '92: Proceedings of the Seventh Annual IEEE Symposium on Logic
                  in Computer Science",
  booktitle = 	 "LICS '92: Proceedings of the Seventh Annual IEEE Symposium on Logic
                  in Computer Science",
  year = 	 1992,
  month = 	 jun,
}
@Proceedings{LICS2001,
  title = 	 "LICS 2001: Proceedings of the Sixteenth Annual IEEE Symposium on Logic
                  in Computer Science",
  booktitle = 	 "LICS 2001: Proceedings of the Sixteenth Annual IEEE Symposium on Logic
                  in Computer Science",
  year = 	 2001,
  month = 	 jun,
}

@Proceedings{LPAR2010,
  title = 	 "LPAR",
  booktitle = 	 "LPAR",
  year = 	 2010,
  month = 	 apr,
}
@Proceedings{LPAR2015,
  title = 	 "LPAR",
  booktitle = 	 "LPAR",
  year = 	 2015,
  month = 	 nov,
}

@Proceedings{LREC2018,
  title =        "LREC",
  booktitle =    "LREC",
  year =         2018,
  month =     may,
}

@Proceedings{MASPLAS2004,
  title = 	 "MASPLAS 2004: Mid-Atlantic Student Workshop on Programming
                  Languages and Systems",
  booktitle = 	 "MASPLAS 2004: Mid-Atlantic Student Workshop on Programming
                  Languages and Systems",
  year = 	 2004,
  month = 	 apr,
}

@Proceedings{MEMOCODE2004,
  title = 	 "MEMOCODE",
  booktitle = 	 "MEMOCODE",
  year = 	 2004,
  month = 	 jun,
}

@Proceedings{MICRO94,
  title = 	 "MICRO-27: Proceedings of the 27th Annual International Symposium
                  on Microarchitecture (MICRO-27)",
  booktitle = 	 "MICRO-27: Proceedings of the 27th Annual International Symposium
                  on Microarchitecture (MICRO-27)",
  year = 	 1994,
  month = 	 nov,
}
@Proceedings{MICRO96,
  title = 	 "MICRO-29: Proceedings of the 29th Annual International Symposium
                  on Microarchitecture (MICRO-29)",
  booktitle = 	 "MICRO-29: Proceedings of the 29th Annual International Symposium
                  on Microarchitecture (MICRO-29)",
  year = 	 1996,
  month = 	 dec,
}
@Proceedings{MICRO97,
  title = 	 "MICRO-97: Proceedings of the 30th Annual International Symposium
                  on Microarchitecture (MICRO-97)",
  booktitle = 	 "MICRO-97: Proceedings of the 30th Annual International Symposium
                  on Microarchitecture (MICRO-97)",
  year = 	 1997,
  month = 	 dec,
}
@Proceedings{MICRO99,
  title = 	 "MICRO-99: Proceedings of the 32nd Annual International Symposium
                  on Microarchitecture (MICRO-99)",
  booktitle = 	 "MICRO-99: Proceedings of the 32nd Annual International Symposium
                  on Microarchitecture (MICRO-99)",
  year = 	 1999,
  month = 	 nov,
}
@Proceedings{MICRO2004,
  title = 	 "MICRO-37",
  booktitle = 	 "MICRO-37",
  year = 	 2004,
  month = 	 dec,
}
@Proceedings{MICRO2006,
  title = 	 "MICRO-39",
  booktitle = 	 "MICRO-39",
  year = 	 2006,
  month = 	 dec,
}

@Proceedings{ML2005,
  title = 	 "ML",
  booktitle = 	 "ML",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{ML2006,
  title = 	 "ML",
  booktitle = 	 "ML",
  year = 	 2006,
  month = 	 sep,
}

@Proceedings{MobiSys2011,
  title = 	 "MobiSys",
  booktitle = 	 "MobiSys",
  year = 	 2011,
  month = 	 jun,
}
@Proceedings{MobiSys2012,
  title = 	 "MobiSys",
  booktitle = 	 "MobiSys",
  year = 	 2012,
  month = 	 jun,
}

@Proceedings{MPLR2022,
  title = 	 "MPLR",
  booktitle = 	 "MPLR",
  year = 	 2022,
  month = 	 sep,
}

@Proceedings{MSPC2013,
  title = 	 "MSPC",
  booktitle = "MSPC",
  year = 	 2013,
  month = 	 jun,
}

@Proceedings{MSR2007,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2007,
  month = 	 may,
}
@Proceedings{MSR2008,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2008,
  month = 	 may,
}
@Proceedings{MSR2013,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2013,
  month = 	 may,
}
@Proceedings{MSR2015,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2015,
  month = 	 may,
}
@Proceedings{MSR2016,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2016,
  month = 	 may,
}
@Proceedings{MSR2017,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2017,
  month = 	 may,
}
@Proceedings{MSR2022,
  title = 	 "MSR",
  booktitle = 	 "MSR",
  year = 	 2022,
  month = 	 may,
}

@Proceedings{MTOOS2006,
  title = 	 "M-TOOS: 1st Workshop on Model-Based Testing and Object-Oriented
		Systems",
  booktitle = 	 "M-TOOS: 1st Workshop on Model-Based Testing and Object-Oriented
		Systems",
  year = 	 2006,
  month = 	 oct,
}

@Proceedings{NAACL-HLT2019,
  title = 	 "NAACL-HLT",
  booktitle = 	 "NAACL-HLT",
  year = 	 2019,
  month = 	 jun,
}

@Proceedings{NDSS2005,
  title = 	 "NDSS",
  booktitle = 	 "NDSS",
  year = 	 2005,
  month = 	 feb,
}
@Proceedings{NDSS2006,
  title = 	 "NDSS",
  booktitle = 	 "NDSS",
  year = 	 2006,
  month = 	 feb,
}
@Proceedings{NDSS2011,
  title = 	 "NDSS",
  booktitle = 	 "NDSS",
  year = 	 2011,
  month = 	 feb,
}
@Proceedings{NDSS2012,
  title = 	 "NDSS",
  booktitle = 	 "NDSS",
  year = 	 2012,
  month = 	 feb,
}

@Proceedings{NetPL2016,
  title = 	 "NetPL",
  booktitle = 	 "NetPL",
  year = 	 2016,
  month = 	 aug,
}

@Proceedings{NIPS2013,
  title = 	 "NIPS",
  booktitle =	 "NIPS",
  year = 	 2013,
  month = 	 dec,
}

@Proceedings{NFM2015,
  title = 	 "NFM",
  booktitle = 	 "NFM",
  year = 	 2015,
  month = 	 apr,
}
@Proceedings{NFM2016,
  title = 	 "NFM",
  booktitle = 	 "NFM",
  year = 	 2016,
  month = 	 jun,
}
@Proceedings{NFM2018,
  title = 	 "NFM",
  booktitle = 	 "NFM",
  year = 	 2018,
  month = 	 apr,
}

@Proceedings{NSDI2007,
  title = 	 "NSDI",
  booktitle = 	 "NSDI",
  year = 	 2007,
  month = 	 apr,
}
@Proceedings{NSDI2010,
  title = 	 "NSDI",
  booktitle = 	 "NSDI",
  year = 	 2010,
  month = 	 apr,
}
@Proceedings{NSDI2011,
  title = 	 "NSDI",
  booktitle = 	 "NSDI",
  year = 	 2011,
  month = 	 mar,
}
@Proceedings{NSDI2014,
  title = 	 "NSDI",
  booktitle = 	 "NSDI",
  year = 	 2014,
  month = 	 apr,
}

@Proceedings{NSPW99,
  title = 	 "NSPW",
  booktitle = 	 "NSPW",
  year = 	 1999,
  month = 	 sep,
}
@Proceedings{NSPW2003,
  title = 	 "NSPW",
  booktitle = 	 "NSPW",
  year = 	 2003,
  month = 	 aug,
}

@Proceedings{OOPSLA86,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1986,
  month = 	 sep,
}
@Proceedings{OOPSLA87,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1987,
  month = 	 oct,
}
@Proceedings{OOPSLA89,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1989,
  month = 	 oct,
}
@Proceedings{OOPSLA90,
  title = 	 "OOPSLA/ECOOP",
  booktitle = 	 "OOPSLA/ECOOP",
  year = 	 1990,
  month = 	 oct,
}
@Proceedings{OOPSLA91,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1991,
  month = 	 oct,
}
@Proceedings{OOPSLA93,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1993,
  month = 	 sep,
}
@Proceedings{OOPSLA94,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1994,
  month = 	 oct,
}
@Proceedings{OOPSLA95,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1995,
  month = 	 oct,
}
@Proceedings{OOPSLA96,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1996,
  month = 	 oct,
}
@Proceedings{OOPSLA97,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1997,
  month = 	 oct,
}
@Proceedings{OOPSLA98,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1998,
  month = 	 oct,
}
@Proceedings{OOPSLA99,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 1999,
  month = 	 nov,
}
@Proceedings{OOPSLA2000,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2000,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2000,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2000,
  month = 	 oct,
}
@Proceedings{OOPSLA2001,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2001,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2001,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2001,
  month = 	 oct,
}
@Proceedings{OOPSLA2002,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2002,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2002,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2002,
  month = 	 oct,
}
@Proceedings{OOPSLA2003,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2003,
  month = 	 nov,
}
@Proceedings{OOPSLACompanion2003,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2003,
  month = 	 nov,
}
@Proceedings{OOPSLA2004,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2004,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2004,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2004,
  month = 	 oct,
}
@Proceedings{OOPSLA2005,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2005,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2005,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2005,
  month = 	 oct,
}
@Proceedings{OOPSLA2006,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2006,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2006,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2006,
  month = 	 oct,
}
@Proceedings{OOPSLA2007,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2007,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2007,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2007,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{OOPSLA2008,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2008,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2008,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2008,
  month = 	 oct,
}
@Proceedings{OOPSLA2009,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2009,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2009,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2009,
  month = 	 oct,
}
@Proceedings{OOPSLA2010,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2010,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{OOPSLA2011,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2011,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{OOPSLA2012,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2012,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2012,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2012,
  month = 	 oct,
}
@Proceedings{OOPSLA2013,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2013,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2013,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2013,
  month = 	 oct,
}
@Proceedings{OOPSLA2014,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2014,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2014,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2014,
  month = 	 oct,
}
@Proceedings{OOPSLA2015,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2015,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2015,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2015,
  month = 	 oct,
}
@Proceedings{OOPSLA2016,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2016,
  month = 	 nov,
}
@Proceedings{OOPSLACompanion2016,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2016,
  month = 	 nov,
}
@Proceedings{OOPSLA2017,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2017,
  month = 	 oct,
}
@Proceedings{OOPSLA2018,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2018,
  month = 	 nov,
}
@Proceedings{OOPSLA2019,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2019,
  month = 	 oct,
}
@Proceedings{OOPSLA2020,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2020,
  month = 	 nov,
}
@Proceedings{OOPSLACompanion2020,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2020,
  month = 	 nov,
}
@Proceedings{OOPSLA2021,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2021,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2021,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2021,
  month = 	 oct,
}
@Proceedings{OOPSLA2022,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2022,
  month = 	 dec,
}
@Proceedings{OOPSLACompanion2022,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2022,
  month = 	 dec,
}
@Proceedings{OOPSLA2023,
  title = 	 "OOPSLA",
  booktitle = 	 "OOPSLA",
  year = 	 2023,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2023,
  title = 	 "OOPSLA Companion",
  booktitle = 	 "OOPSLA Companion",
  year = 	 2023,
  month = 	 oct,
}

@Proceedings{Onward2010,
  title = 	 "Proceedings of {Onward!} 2010",
  booktitle = 	 "Proceedings of {Onward!} 2010",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{Onward2012,
  title = 	 "Proceedings of {Onward!} 2012",
  booktitle = 	 "Proceedings of {Onward!} 2012",
  year = 	 2012,
  month = 	 oct,
}
@Proceedings{Onward2013,
  title = 	 "Proceedings of {Onward!} 2013",
  booktitle = 	 "Proceedings of {Onward!} 2013",
  year = 	 2013,
  month = 	 oct,
}
@Proceedings{Onward2014,
  title = 	 "Onward!\",
  booktitle = "Onward!\",
  year = 	 2014,
  month = 	 oct,
}

@Proceedings{OSDI96,
  title = 	 "OSDI",
  booktitle = 	 "OSDI",
  year = 	 1996,
  month = 	 oct,
}
@Proceedings{OSDI2002,
  title = 	 "OSDI",
  booktitle = 	 "OSDI",
  year = 	 2002,
  month = 	 dec,
}
@Proceedings{OSDI2004,
  title = 	 "OSDI",
  booktitle = 	 "OSDI",
  year = 	 2004,
  month = 	 dec,
}
@Proceedings{OSDI2006,
  title = 	 "OSDI",
  booktitle = 	 "OSDI",
  year = 	 2006,
  month = 	 nov,
}
@Proceedings{OSDI2008,
  title = 	 "OSDI",
  booktitle = 	 "OSDI",
  year = 	 2008,
  month = 	 dec,
}
@Proceedings{OSDI2010,
  title = 	 "OSDI",
  booktitle = 	 "OSDI",
  year = 	 2010,
  month = 	 oct,
}

@Proceedings{PACT2001,
  title = 	 "PACT",
  booktitle = 	 "PACT",
  year = 	 2001,
  month = 	 sep,
}
@Proceedings{PACT2003,
  title = 	 "PACT",
  booktitle = 	 "PACT",
  year = 	 2003,
  month = 	 sep,
}

@Proceedings{PADD88,
  title = 	 "PADD",
  booktitle = 	 "PADD",
  year = 	 1988,
  month = 	 nov,
}

@Proceedings{PADL2002,
  title = 	 "PADL",
  booktitle = 	 "PADL",
  year = 	 2002,
  month = 	 jan,
}

@Proceedings{PASTE98,
  title = 	 "PASTE '98: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE '98)",
  booktitle = 	 "PASTE '98: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE '98)",
  year = 	 1998,
  address = 	 Montreal,
  month = 	 jun,
}
@Proceedings{PASTE99,
  title = 	 "PASTE '99: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE '99)",
  booktitle = 	 "PASTE '99: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE '99)",
  year = 	 1999,
  month = 	 sep,
}
@Proceedings{PASTE2001,
  title = 	 "PASTE 2001: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE'01)",
  booktitle = 	 "PASTE 2001: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE'01)",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{PASTE2002,
  title = 	 "PASTE 2002: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE'02)",
  booktitle = 	 "PASTE 2002: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE'02)",
  year = 	 2002,
  month = 	 nov,
}
@Proceedings{PASTE2004,
  title = 	 "PASTE 2004: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE'04)",
  booktitle = 	 "PASTE 2004: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE'04)",
  year = 	 2004,
  month = 	 jun,
}
@Proceedings{PASTE2005,
  title = 	 "PASTE 2005: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE 2005)",
  booktitle = 	 "PASTE 2005: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE 2005)",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{PASTE2007,
  title = 	 "PASTE 2007: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE 2007)",
  booktitle = 	 "PASTE 2007: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for
		  Software Tools and Engineering (PASTE 2007)",
  year = 	 2007,
  month = 	 jun,
}

@Proceedings{PATMOS2008,
  title = 	 "PATMOS",
  booktitle = 	 "PATMOS",
  year = 	 2008,
  month = 	 sep,
}

@Proceedings{PCODA2005,
  title = 	 "PCODA 2005: 1st Workshop on Program Comprehension through Dynamic
		Analysis",
  booktitle = 	 "PCODA 2005: 1st Workshop on Program Comprehension through Dynamic
		Analysis",
  year = 	 2005,
  month = 	 nov,
}

@Proceedings{PEPM95,
  title = 	 "Proc.\ ACM SIGPLAN Workshop on Partial Evaluation and
		 Semantics-Based Program Manipulation",
  booktitle = 	 "Proc.\ ACM SIGPLAN Workshop on Partial Evaluation and
		 Semantics-Based Program Manipulation",
  year = 	 1995,
  month = 	 jun,
}
@Proceedings{PEPM97,
  title = 	 "PEPM",
  booktitle = 	 "PEPM",
  year = 	 1997,
  month = 	 jun,
}

@Proceedings{PLAS2006,
  title = 	 "PLAS",
  booktitle = 	 "PLAS",
  year = 	 2006,
  month = 	 jun,
}
@Proceedings{PLAS2007,
  title = 	 "PLAS",
  booktitle = 	 "PLAS",
  year = 	 2007,
  month = 	 jun,
}
@Proceedings{PLAS2008,
  title = 	 "PLAS",
  booktitle = 	 "PLAS",
  year = 	 2008,
  month = 	 jun,
}
@Proceedings{PLAS2009,
  title = 	 "PLAS",
  booktitle = 	 "PLAS",
  year = 	 2009,
  month = 	 jun,
}
@Proceedings{PLAS2016,
  title = 	 "PLAS",
  booktitle = 	 "PLAS",
  year = 	 2016,
  month = 	 oct,
}

@Proceedings{PLATEAU2009,
  title = 	 "PLATEAU",
  booktitle = 	 "PLATEAU",
  year = 	 2009,
  month = 	 oct,
}
@Proceedings{PLATEAU2010,
  title = 	 "PLATEAU",
  booktitle = 	 "PLATEAU",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{PLATEAU2011,
  title = 	 "PLATEAU",
  booktitle = 	 "PLATEAU",
  year = 	 2011,
  month = 	 oct,
}

%% PLDI (formerly known as Compiler Construction)
@Proceedings{CC82,
  title = 	 "Proceedings of the SIGPLAN '82 Symposium on Compiler Construction",
  booktitle = 	 "Proceedings of the SIGPLAN '82 Symposium on Compiler Construction",
  year = 	 1984,
  month = 	 jun,
}
@Proceedings{CC84,
  title = 	 "Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction",
  booktitle = 	 "Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction",
  year = 	 1984,
  address = 	 Montreal,
  month = 	 jun,
}
@Proceedings{CC86,
  title = 	 "Proceedings of the ACM SIGPLAN '86 Conference on Compiler Construction",
  booktitle = 	 "Proceedings of the ACM SIGPLAN '86 Conference on Compiler Construction",
  year = 	 1984,
  month = 	 jun,
}
@Proceedings{PLDI88,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1988,
  month = 	 jun,
}
@Proceedings{PLDI89,
  title = 	 "PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on
		 Programming Language Design and Implementation",
  booktitle = 	 "PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on
		 Programming Language Design and Implementation",
  year = 	 1989,
  month = 	 jun,
}
@Proceedings{PLDI90,
  title = 	 "PLDI '90: Proceedings of the SIGPLAN '90 Conference on
		 Programming Language Design and Implementation",
  booktitle = 	 "PLDI '90: Proceedings of the SIGPLAN '90 Conference on
		 Programming Language Design and Implementation",
  year = 	 1990,
  month = 	 jun,
}
@Proceedings{PLDI91,
  title = 	 "PLDI '91: Proceedings of the SIGPLAN '91 Conference on
		 Programming Language Design and Implementation",
  booktitle = 	 "PLDI '91: Proceedings of the SIGPLAN '91 Conference on
		 Programming Language Design and Implementation",
  year = 	 1991,
  month = 	 jun,
}
@Proceedings{PLDI92,
  title = 	 "PLDI '92: Proceedings of the SIGPLAN '92 Conference on
		 Programming Language Design and Implementation",
  booktitle = 	 "PLDI '92: Proceedings of the SIGPLAN '92 Conference on
		 Programming Language Design and Implementation",
  year = 	 1992,
  month = 	 jun,
}
@Proceedings{PLDI93,
  title = 	 "PLDI '93: Proceedings of the SIGPLAN '93 Conference on
		 Programming Language Design and Implementation",
  booktitle = 	 "PLDI '93: Proceedings of the SIGPLAN '93 Conference on
		 Programming Language Design and Implementation",
  year = 	 1993,
  month = 	 jun,
}
@Proceedings{PLDI94,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1994,
  month = 	 jun,
}
@Proceedings{PLDI95,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1995,
  month = 	 jun,
}
@Proceedings{PLDI96,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1996,
  month = 	 may,
}
@Proceedings{PLDI97,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1997,
  month = 	 jun,
}
@Proceedings{PLDI98,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1998,
  address = 	 Montreal,
  month = 	 jun,
}
@Proceedings{PLDI99,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 1999,
  month = 	 may,
}
@Proceedings{PLDI2000,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 2000,
  month = 	 jun,
}
@Proceedings{PLDI2001,
  title = 	 "PLDI",
  booktitle = 	 "PLDI",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{PLDI2002,
  title = 	 "PLDI 2002: Proceedings of the {ACM} {SIGPLAN} 2002 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2002: Proceedings of the {ACM} {SIGPLAN} 2002 Conference on
                 Programming Language Design and Implementation",
  year = 	 2002,
  month = 	 jun,
}
@Proceedings{PLDI2003,
  title = 	 "PLDI 2003: Proceedings of the {ACM} {SIGPLAN} 2003 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2003: Proceedings of the {ACM} {SIGPLAN} 2003 Conference on
                 Programming Language Design and Implementation",
  year = 	 2003,
  month = 	 jun,
}
@Proceedings{PLDI2004,
  title = 	 "PLDI 2004: Proceedings of the {ACM} {SIGPLAN} 2004 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2004: Proceedings of the {ACM} {SIGPLAN} 2004 Conference on
                 Programming Language Design and Implementation",
  year = 	 2004,
  month = 	 jun,
}
@Proceedings{PLDI2005,
  title = 	 "PLDI 2005: Proceedings of the {ACM} {SIGPLAN} 2005 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2005: Proceedings of the {ACM} {SIGPLAN} 2005 Conference on
                 Programming Language Design and Implementation",
  year = 	 2005,
  month = 	 jun,
}
@Proceedings{PLDI2006,
  title = 	 "PLDI 2006: Proceedings of the {ACM} {SIGPLAN} 2006 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2006: Proceedings of the {ACM} {SIGPLAN} 2006 Conference on
                 Programming Language Design and Implementation",
  year = 	 2006,
  month = 	 jun,
}
@Proceedings{PLDI2007,
  title = 	 "PLDI 2007: Proceedings of the {ACM} {SIGPLAN} 2007 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2007: Proceedings of the {ACM} {SIGPLAN} 2007 Conference on
                 Programming Language Design and Implementation",
  year = 	 2007,
  month = 	 jun,
}
@Proceedings{PLDI2008,
  title = 	 "PLDI 2008: Proceedings of the {ACM} {SIGPLAN} 2008 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2008: Proceedings of the {ACM} {SIGPLAN} 2008 Conference on
                 Programming Language Design and Implementation",
  year = 	 2008,
  month = 	 jun,
}
@Proceedings{PLDI2009,
  title = 	 "PLDI 2009: Proceedings of the {ACM} {SIGPLAN} 2009 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2009: Proceedings of the {ACM} {SIGPLAN} 2009 Conference on
                 Programming Language Design and Implementation",
  year = 	 2009,
  month = 	 jun,
}
@Proceedings{PLDI2010,
  title = 	 "PLDI 2010: Proceedings of the {ACM} {SIGPLAN} 2010 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2010: Proceedings of the {ACM} {SIGPLAN} 2010 Conference on
                 Programming Language Design and Implementation",
  year = 	 2010,
  month = 	 jun,
}
@Proceedings{PLDI2011,
  title = 	 "PLDI 2011: Proceedings of the {ACM} {SIGPLAN} 2011 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2011: Proceedings of the {ACM} {SIGPLAN} 2011 Conference on
                 Programming Language Design and Implementation",
  year = 	 2011,
  month = 	 jun,
}
@Proceedings{PLDI2013,
  title = 	 "PLDI 2013: Proceedings of the {ACM} {SIGPLAN} 2013 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2013: Proceedings of the {ACM} {SIGPLAN} 2013 Conference on
                 Programming Language Design and Implementation",
  year = 	 2013,
  month = 	 jun,
}
@Proceedings{PLDI2014,
  title = 	 "PLDI 2014: Proceedings of the {ACM} {SIGPLAN} 2014 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2014: Proceedings of the {ACM} {SIGPLAN} 2014 Conference on
                 Programming Language Design and Implementation",
  year = 	 2014,
  month = 	 jun,
}
@Proceedings{PLDI2015,
  title = 	 "PLDI 2015: Proceedings of the {ACM} {SIGPLAN} 2015 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2015: Proceedings of the {ACM} {SIGPLAN} 2015 Conference on
                 Programming Language Design and Implementation",
  year = 	 2015,
  month = 	 jun,
}
@Proceedings{PLDI2016,
  title = 	 "PLDI 2016: Proceedings of the {ACM} {SIGPLAN} 2016 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2016: Proceedings of the {ACM} {SIGPLAN} 2016 Conference on
                 Programming Language Design and Implementation",
  year = 	 2016,
  month = 	 jun,
}
@Proceedings{PLDI2018,
  title = 	 "PLDI 2018: Proceedings of the {ACM} {SIGPLAN} 2016 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2018: Proceedings of the {ACM} {SIGPLAN} 2016 Conference on
                 Programming Language Design and Implementation",
  year = 	 2018,
  month = 	 jun,
}
@Proceedings{PLDI2019,
  title = 	 "PLDI 2019: Proceedings of the {ACM} {SIGPLAN} 2016 Conference on
                 Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2019: Proceedings of the {ACM} {SIGPLAN} 2016 Conference on
                 Programming Language Design and Implementation",
  year = 	 2019,
  month = 	 jun,
}

@Proceedings{PLID2005,
  title = 	 "PLID",
  booktitle = 	 "PLID",
  year = 	 2005,
  month = 	 sep,
}

@Proceedings{PLOS2011,
  title = 	 "PLOS",
  booktitle = 	 "PLOS",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{PLOS2013,
  title = 	 "PLOS",
  booktitle = 	 "PLOS",
  year = 	 2013,
  month = 	 nov,
}

@Proceedings{PODC84,
  title = 	 "PODC",
  booktitle = 	 "PODC",
  year = 	 1984,
  month = 	 aug,
}
@Proceedings{PODC87,
  title = 	 "PODC",
  booktitle = 	 "PODC",
  year = 	 1987,
  month = 	 aug,
}

@Proceedings{PODS2008,
  title = 	 "PODS",
  booktitle = 	 "PODS",
  year = 	 2008,
  month = 	 jun,
}

% Does "Annual" belong in POPL77?
% Should all of the "Proceedings" be "Conference Record"?
@Proceedings{POPL73,
  title = 	 "POPL '73: Proceedings of the 1st Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '73: Proceedings of the 1st Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1973,
  month = 	 jan,
}
@Proceedings{POPL76,
  title = 	 "POPL '76: Proceedings of the Third Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '76: Proceedings of the Third Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1977,
  month = 	 jan,
}
@Proceedings{POPL77,
  title = 	 "POPL '77: Proceedings of the Fourth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '77: Proceedings of the Fourth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1977,
  month = 	 jan,
}
@Proceedings{POPL78,
  title = 	 "POPL '78: Proceedings of the Fifth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '78: Proceedings of the Fifth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1978,
  month = 	 jan,
}
@Proceedings{POPL79,
  title = 	 "POPL '79: Proceedings of the Sixth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '79: Proceedings of the Sixth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1979,
  month = 	 jan,
}
@Proceedings{POPL80,
  title = 	 "POPL '80: Proceedings of the Seventh Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '80: Proceedings of the Seventh Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1980,
  month = 	 jan,
}
@Proceedings{POPL81,
  title = 	 "POPL '81: Proceedings of the Eighth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '81: Proceedings of the Eighth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1981,
  month = 	 jan,
}
@Proceedings{POPL82,
  title = 	 "POPL '82: Proceedings of the Ninth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '82: Proceedings of the Ninth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1982,
  month = 	 jan,
}
@Proceedings{POPL83,
  title = 	 "POPL '83: Proceedings of the Tenth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '83: Proceedings of the Tenth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1983,
  month = 	 jan,
}
@Proceedings{POPL84,
  title = 	 "POPL '84: Proceedings of the Eleventh Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '84: Proceedings of the Eleventh Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1984,
  month = 	 jan,
}
@Proceedings{POPL85,
  title = 	 "POPL '85: Proceedings of the Twelfth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '85: Proceedings of the Twelfth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1985,
  month = 	 jan,
}
@Proceedings{POPL86,
  title = 	 "POPL '86: Proceedings of the Thirteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '86: Proceedings of the Thirteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1986,
  month = 	 jan,
}
@Proceedings{POPL87,
  title = 	 "POPL '87: Proceedings of the Fourteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '87: Proceedings of the Fourteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1987,
  month = 	 jan,
}
@Proceedings{POPL88,
  title = 	 "POPL '88: Proceedings of the Fifteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '88: Proceedings of the Fifteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1988,
  month = 	 jan,
}
@Proceedings{POPL89,
  title = 	 "POPL '89: Proceedings of the Sixteenth Annual ACM Symposium
		 on Principles of Programming Languages",
  booktitle = 	 "POPL '89: Proceedings of the Sixteenth Annual ACM Symposium
		 on Principles of Programming Languages",
  year = 	 1989,
  month = 	 jan,
}
@Proceedings{POPL90,
  title = 	 "POPL '90: Proceedings of the Seventeenth Annual ACM Symposium
		 on Principles of Programming Languages",
  booktitle = 	 "POPL '90: Proceedings of the Seventeenth Annual ACM Symposium
		 on Principles of Programming Languages",
  year = 	 1990,
  month = 	 jan,
}
@Proceedings{POPL91,
  title = 	 "POPL '91: Proceedings of the Eighteenth Annual ACM Symposium
		 on Principles of Programming Languages",
  booktitle = 	 "POPL '91: Proceedings of the Eighteenth Annual ACM Symposium
		 on Principles of Programming Languages",
  year = 	 1991,
  month = 	 jan,
}
@Proceedings{POPL92,
  title = 	 "POPL '92: Proceedings of the Nineteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  booktitle = 	 "POPL '92: Proceedings of the Nineteenth Annual ACM Symposium on
		 Principles of Programming Languages",
  year = 	 1992,
  month = 	 jan,
}
@Proceedings{POPL93,
  title = 	 "POPL '93: Proceedings of the Twentieth Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '93: Proceedings of the Twentieth Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 1993,
  month = 	 jan,
}
% Note the change to numbered, rather than spelled out, ordinals.
@Proceedings{POPL94,
  title = 	 "POPL '94: Proceedings of the 21st Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '94: Proceedings of the 21st Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 1994,
  month = 	 jan,
}
@Proceedings{POPL95,
  title = 	 "POPL '95: Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '95: Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 1995,
  month = 	 jan,
}
@Proceedings{POPL96,
  title = 	 "POPL '96: Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '96: Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 1996,
  month = 	 jan,
}
@Proceedings{POPL97,
  title = 	 "POPL '97: Proceedings of the 24th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '97: Proceedings of the 24th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 1997,
  month = 	 jan,
}
@Proceedings{POPL98,
  title = 	 "POPL '98: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '98: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 1998,
  month = 	 jan,
}
@Proceedings{POPL99,
  title = 	 "POPL '99: Proceedings of the 26th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL '99: Proceedings of the 26th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 1999,
  month = 	 jan,
}
@Proceedings{POPL2000,
  title = 	 "POPL 2000: Proceedings of the 27th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2000: Proceedings of the 27th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 2000,
  month = 	 jan,
}
@Proceedings{POPL2001,
  title = 	 "POPL 2001: Proceedings of the 28th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2001: Proceedings of the 28th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 2001,
  month = 	 jan,
}
@Proceedings{POPL2002,
  title = 	 "POPL 2002: Proceedings of the 29th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2002: Proceedings of the 29th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 2002,
  month = 	 jan,
}
@Proceedings{POPL2003,
  title = 	 "POPL 2003: Proceedings of the 30th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2003: Proceedings of the 30th Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 2003,
  month = 	 jan,
}
@Proceedings{POPL2004,
  title = 	 "POPL 2004: Proceedings of the 31st Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2004: Proceedings of the 31st Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 2004,
  month = 	 jan,
}
@Proceedings{POPL2005,
  title = 	 "POPL 2005: Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2005: Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT
		 Symposium on Principles of Programming Languages",
  year = 	 2005,
  month = 	 jan,
}
@Proceedings{POPL2006,
  title = 	 "POPL 2006: Proceedings of the 33rd Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2006: Proceedings of the 33rd Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2006,
  month = 	 jan,
}
@Proceedings{POPL2007,
  title = 	 "POPL 2007: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2007: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2007,
  month = 	 jan,
}
@Proceedings{POPL2008,
  title = 	 "POPL 2008: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2008: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2008,
  month = 	 jan,
}
@Proceedings{POPL2009,
  title = 	 "POPL 2009: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2009: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2009,
  month = 	 jan,
}
@Proceedings{POPL2010,
  title = 	 "POPL 2010: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2010: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2010,
  month = 	 jan,
}
@Proceedings{POPL2015,
  title = 	 "POPL 2015: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2015: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2015,
  month = 	 jan,
}
@Proceedings{POPL2016,
  title = 	 "POPL 2016: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2016: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2016,
  month = 	 jan,
}
@Proceedings{POPL2017,
  title = 	 "POPL 2017: Proceedings of the 44th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2017: Proceedings of the 44th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2017,
  month = 	 jan,
}
@Proceedings{POPL2018,
  title = 	 "POPL 2018: Proceedings of the 45th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2018: Proceedings of the 45th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2018,
  month = 	 jan,
}
@Proceedings{POPL2020,
  title = 	 "POPL 2020: Proceedings of the 47th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  booktitle = 	 "POPL 2020: Proceedings of the 47th Annual ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages",
  year = 	 2020,
  month = 	 jan,
}

@Proceedings{POST2014,
  title = 	 "POST",
  booktitle = 	 "POST",
  year = 	 2014,
  month = 	 apr,
}

@Proceedings{PPDF2016,
  title = 	 "PPDP",
  booktitle = "PPDP",
  year = 	 2016,
  month = 	 sep,
}

@Proceedings{PPOPP99,
  title = 	 "PPOPP '99: Proceedings of the 7th ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming (PPOPP'99)",
  booktitle = 	 "PPOPP '99: Proceedings of the 7th ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming (PPOPP'99)",
  year = 	 1999,
  month = 	 may,
}
@Proceedings{PPOPP2001,
  title = 	 "PPOPP 2001: Proceedings of the 8th ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming",
  booktitle = 	 "PPOPP 2001: Proceedings of the 8th ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{PPOPP2003,
  title = 	 "PPOPP 2003: Proceedings of the 9th ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming",
  booktitle = 	 "PPOPP 2003: Proceedings of the 9th ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming",
  year = 	 2003,
  month = 	 jul,
}
@Proceedings{PPOPP2005,
  title = 	 "PPOPP 2005: Proceedings of the ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming",
  booktitle = 	 "PPOPP 2005: Proceedings of the ACM SIGPLAN Symposium on
		Principles and Practice of Parallel Programming",
  year = 	 2005,
  month = 	 jun,
}

@Proceedings{PPL2004,
  title = 	 "PPL",
  booktitle = 	 "PPL",
  year = 	 2004,
  month = 	 mar,
}

@Proceedings{PPPJ2006,
  title = 	 "PPPJ",
  booktitle = 	 "PPPJ",
  year = 	 2006,
  month = 	 aug,
}
@Proceedings{PPPJ2014,
  title = 	 "PPPJ",
  booktitle = 	 "PPPJ",
  year = 	 2014,
  month = 	 sep,
}
@Proceedings{PPPJ2016,
  title = 	 "PPPJ",
  booktitle = 	 "PPPJ",
  year = 	 2016,
  month = 	 jul,
}

@Proceedings{Python2000,
  title =        "Python8",
  booktitle =    "Python8",
  year =         2000,
  month =     jan,
}

@Proceedings{QAPL2001,
  title = 	 "QAPL",
  booktitle = 	 "QAPL",
  year = 	 2001,
  month = 	 sep,
}

% Some sources give this location as "Firenze", which is the Italian
% name for Florence, but we prefer English place names.
@Proceedings{QAPL2004,
  title = 	 "QAPL",
  booktitle = 	 "QAPL",
  year = 	 2004,
  month = 	 mar,
}

@Proceedings{QSIC2005,
  title =        "QSIC",
  booktitle =    "QSIC",
  year =         2005,
  month =     sep,
}

@Proceedings{REM2007,
  title = 	 "REM",
  booktitle = 	 "REM",
  year = 	 2007,
  month = 	 sep,
}

@Proceedings{RTA89,
  title = 	 "RTA-89: Proceedings of the 3rd International Conference on
                  Rewriting Techniques and Applications",
  booktitle = 	 "RTA-89: Proceedings of the 3rd International Conference on
                  Rewriting Techniques and Applications",
  year = 	 1989,
  month = 	 apr,
}

@Proceedings{RV2001,
  title = 	 "RV",
  booktitle = 	 "RV",
  year = 	 2001,
  month = 	 jul,
}
@Proceedings{RV2003,
  title = 	 "RV",
  booktitle = 	 "RV",
  year = 	 2003,
  month = 	 jul,
}
@Proceedings{RV2007,
  title = 	 "RV",
  booktitle = 	 "RV",
  year = 	 2007,
  month = 	 mar,
}

@Proceedings{SAC2000,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2000,
  month = 	 mar,
}
@Proceedings{SAC2004,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2004,
  month = 	 mar,
}
@Proceedings{SAC2005,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2005,
  month = 	 mar,
}
@Proceedings{SAC2006,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2006,
  month = 	 apr,
}
@Proceedings{SAC2008,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2008,
  month = 	 mar,
}
@Proceedings{SAC2009,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2009,
  month = 	 mar,
}
@Proceedings{SAC2010,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2010,
  month = 	 mar,
}
@Proceedings{SAC2012,
  title = 	 "SAC",
  booktitle = 	 "SAC",
  year = 	 2012,
  month = 	 mar,
}

@Proceedings{SANER2015,
  title = 	 "SANER",
  booktitle = 	 "SANER",
  year = 	 2015,
  address = 	 Montreal,
  month = 	 mar,
}

@Proceedings{SAS95,
  title = 	 "SAS '95: Proceedings of the Second International Symposium on
		  Static Analysis, SAS '95",
  booktitle = 	 "SAS '95: Proceedings of the Second International Symposium on
		  Static Analysis, SAS '95",
  year = 	 1995,
  month = 	 sep,
}
@Proceedings{SAS96,
  title = 	 "SAS '96: Proceedings of the Third International Symposium on
		  Static Analysis, SAS '96",
  booktitle = 	 "SAS '96: Proceedings of the Third International Symposium on
		  Static Analysis, SAS '96",
  year = 	 1996,
  month = 	 sep,
}
@Proceedings{SAS97,
  title = 	 "SAS '97: Proceedings of the Fourth International Symposium on
		  Static Analysis, SAS '97",
  booktitle = 	 "SAS '97: Proceedings of the Fourth International Symposium on
		  Static Analysis, SAS '97",
  year = 	 1997,
  month = 	 sep,
}
@Proceedings{SAS98,
  title = 	 "SAS '98: Proceedings of the Fifth International Symposium on
		  Static Analysis, SAS '98",
  booktitle = 	 "SAS '98: Proceedings of the Fifth International Symposium on
		  Static Analysis, SAS '98",
  year = 	 1998,
  month = 	 sep,
}
@Proceedings{SAS2000,
  title = 	 "SAS 2000: Proceedings of the Seventh International Symposium on
		  Static Analysis, SAS 2000",
  booktitle = 	 "SAS 2000: Proceedings of the Seventh International Symposium on
		  Static Analysis, SAS 2000",
  year = 	 2000,
  month = 	 jun,
}
@Proceedings{SAS2001,
  title = 	 "SAS 2001: Proceedings of the Eighth International Symposium on
		  Static Analysis, SAS 2001",
  booktitle = 	 "SAS 2001: Proceedings of the Eighth International Symposium on
		  Static Analysis, SAS 2001",
  year = 	 2001,
  month = 	 jul,
}
@Proceedings{SAS2003,
  title = 	 "SAS 2003: Proceedings of the Tenth International Symposium on
		  Static Analysis, SAS 2003",
  booktitle = 	 "SAS 2003: Proceedings of the Tenth International Symposium on
		  Static Analysis, SAS 2003",
  year = 	 2003,
  month = 	 jun,
}
@Proceedings{SAS2004,
  title = 	 "SAS 2004: Proceedings of the Eleventh International Symposium on
		  Static Analysis, SAS 2004",
  booktitle = 	 "SAS 2004: Proceedings of the Eleventh International Symposium on
		  Static Analysis, SAS 2004",
  year = 	 2004,
  month = 	 aug,
}
@Proceedings{SAS2005,
  title = 	 "SAS 2005: Proceedings of the Twelfth International Symposium on
		  Static Analysis, SAS 2005",
  booktitle = 	 "SAS 2005: Proceedings of the Twelfth International Symposium on
		  Static Analysis, SAS 2005",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{SAS2007,
  title = 	 "SAS 2007: Proceedings of the Fourteenth International Symposium on
		  Static Analysis, SAS 2007",
  booktitle = 	 "SAS 2007: Proceedings of the Fourteenth International Symposium on
		  Static Analysis, SAS 2007",
  year = 	 2007,
  month = 	 aug,
}
@Proceedings{SAS2013,
  title = 	 "SAS 2013: Proceedings of the Twentieth International Symposium on
		  Static Analysis, SAS 2013",
  booktitle = 	 "SAS 2013: Proceedings of the Twentieth International Symposium on
		  Static Analysis, SAS 2013",
  year = 	 2013,
  month = 	 jun,
}

@Proceedings{SAVCBS2004,
  title = 	 "SAVCBS 2004: Specification and Verification of
                  Component-Based Systems",
  booktitle = 	 "SAVCBS 2004: Specification and Verification of
                  Component-Based Systems",
  year = 	 2004,
  month = 	 oct,
}
@Proceedings{SAVCBS2005,
  title = 	 "SAVCBS 2005: Specification and Verification of
                  Component-Based Systems",
  booktitle = 	 "SAVCBS 2005: Specification and Verification of
                  Component-Based Systems",
  year = 	 2005,
  month = 	 sep,
}

@Proceedings{SBES2020,
  title = 	 "SBES",
  year = 	 2020,
  booktitle = "SBES",
  month = 	 "oct",
}

@Proceedings{SC1991,
  title = 	 "SC1991",
  booktitle = 	 "SC1991",
  year = 	 1991,
  month = 	 nov,
}
@Proceedings{SC1995,
  title = 	 "SC1995: Proceedings of the 1995 ACM/IEEE conference on
                  Supercomputing",
  booktitle = 	 "SC1995: Proceedings of the 1995 ACM/IEEE conference on
                  Supercomputing",
  year = 	 1995,
  month = 	 dec,
}
@Proceedings{SC2001,
  title = 	 "SC2001: Proceedings of the 2001 ACM/IEEE conference on
                  Supercomputing",
  booktitle = 	 "SC2001: Proceedings of the 2001 ACM/IEEE conference on
                  Supercomputing",
  year = 	 2001,
  month = 	 nov,
}

@Proceedings{SoftComp2012,
  title = 	 "SC",
  booktitle = 	 "SC",
  year = 	 2012,
  month = 	 may,
}

@Proceedings{SCAM2003,
  title = 	 "SCAM",
  booktitle = 	 "SCAM",
  year = 	 2003,
  month = 	 sep,
}
@Proceedings{SCAM2009,
  title = 	 "SCAM",
  booktitle = 	 "SCAM",
  year = 	 2009,
  month = 	 sep,
}
@Proceedings{SCAM2014,
  title = 	 "SCAM",
  booktitle = 	 "SCAM",
  year = 	 2014,
  month = 	 sep,
}

@Proceedings{SecDev2018,
  title =        "SecDev",
  booktitle =    "SecDev",
  year =         2018,
  month =     sep,
}

@Proceedings{SEFM2005,
  title = 	 "SEFM",
  booktitle = 	 "SEFM",
  year = 	 2005,
  month = 	 sep,
}
@Proceedings{SEFM2008,
  title = 	 "SEFM",
  booktitle = 	 "SEFM",
  year = 	 2008,
  month = 	 nov,
}
@Proceedings{SEFM2010,
  title = 	 "SEFM",
  booktitle = 	 "SEFM",
  year = 	 2010,
  month = 	 sep,
}

@Proceedings{SEKE2015,
  title = 	 "SEKE",
  booktitle = 	 "SEKE",
  year = 	 2015,
  month = 	 jul,
}

@Proceedings{SFP2006,
  title = 	 "SFP",
  booktitle = 	 "SFP",
  year = 	 2006,
  month = 	 sep,
}

@Proceedings{SLAML2010,
  title = 	 "SLAML",
  booktitle = 	 "SLAML",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{SLAML2011,
  title = 	 "SLAML",
  booktitle = 	 "SLAML",
  year = 	 2011,
  month = 	 oct,
}

@Proceedings{SIIT87,
  title = 	 "SIIT",
  booktitle = 	 "SIIT",
  year = 	 1987,
  month = 	 jun,
}

@Proceedings{SNAPL2015,
  title = 	 "SNAPL",
  booktitle = 	 "SNAPL",
  year = 	 2015,
  month = 	 may,
}
@Proceedings{SNAPL2017,
  title = 	 "SNAPL",
  booktitle = 	 "SNAPL",
  year = 	 2017,
  month = 	 may,
}

@Proceedings{IEEESnP82,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 1982,
  month = 	 apr,
}
@Proceedings{IEEESnP87,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 1987,
  month = 	 apr,
}
@Proceedings{IEEESnP91,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 1991,
  month = 	 may,
}
@Proceedings{IEEESnP94,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 1994,
  month = 	 may,
}
@Proceedings{IEEESnP97,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 1997,
  month = 	 may,
}
@Proceedings{IEEESnP2003,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 2003,
  month = 	 may,
}
@Proceedings{IEEESnP2008,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 2008,
  month = 	 may,
}
@Proceedings{IEEESnP2009,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 2009,
  month = 	 may,
}
@Proceedings{IEEESnP2012,
  title = 	 "IEEE S\&P",
  booktitle = 	 "IEEE S\&P",
  year = 	 2012,
  month = 	 may,
}
@Proceedings{IEEESnP2017Workshops,
  title = 	 "SPW",
  booktitle = 	 "SPW",
  year = 	 2017,
  month = 	 may,
}

@Proceedings{IFIP1974,
  title = 	 "IFIP",
  booktitle = 	 "IFIP",
  year = 	 1974,
  month = 	 aug,
}

@Proceedings{IFIPSEC2005,
  title = 	 "IFIP SEC",
  booktitle = 	 "IFIP SEC",
  year = 	 2005,
  month = 	 may,
}

@Proceedings{SIGCSE98,
  title = 	 "{SIGCSE}: Proceedings of the 29th {SIGCSE} Technical Symposium
                 on Computer Science Education ({SIGCSE}-98)",
  booktitle = 	 "{SIGCSE}: Proceedings of the 29th {SIGCSE} Technical Symposium
                 on Computer Science Education ({SIGCSE}-98)",
  year = 	 1998,
  month = 	 feb,
}
@Proceedings{SIGCSE2000,
  title = 	 "{SIGCSE}: Proceedings of the 31st {SIGCSE} Technical Symposium on
		Computer Science Education ({SIGCSE}-00)",
  booktitle = 	 "{SIGCSE}: Proceedings of the 31st {SIGCSE} Technical Symposium on
		Computer Science Education ({SIGCSE}-00)",
  year = 	 2000,
  month = 	 mar,
}
@Proceedings{SIGCSE2001,
  title = 	 "{SIGCSE}: Proceedings of the 32nd {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-01)",
  booktitle = 	 "{SIGCSE}: Proceedings of the 32nd {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-01)",
  year = 	 2001,
  month = 	 feb,
}
@Proceedings{SIGCSE2004,
  title = 	 "{SIGCSE}: Proceedings of the 32nd {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-04)",
  booktitle = 	 "{SIGCSE}: Proceedings of the 32nd {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-04)",
  year = 	 2004,
  month = 	 mar,
}
@Proceedings{SIGCSE2006,
  title = 	 "{SIGCSE}: Proceedings of the 32nd {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-06)",
  booktitle = 	 "{SIGCSE}: Proceedings of the 32nd {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-06)",
  year = 	 2006,
  month = 	 mar,
}
@Proceedings{SIGCSE2009,
  title = 	 "{SIGCSE}: Proceedings of the 40th {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-09)",
  booktitle = 	 "{SIGCSE}: Proceedings of the 40th {SIGCSE} Technical Symposium
                on Computer Science Education ({SIGCSE}-09)",
  year = 	 2009,
  month = 	 mar,
}
@Proceedings{SIGCSE2011,
  title = 	 "SIGCSE",
  booktitle = 	 "SIGCSE",
  year = 	 2011,
  month = 	 mar,
}
@Proceedings{SIGCSE2012,
  title = 	 "SIGCSE",
  booktitle = 	 "SIGCSE",
  year = 	 2012,
  month = 	 feb,
}
@Proceedings{SIGCSE2013,
  title = 	 "SIGCSE",
  booktitle = 	 "SIGCSE",
  year = 	 2013,
  month = 	 mar,
}
@Proceedings{SIGCSE2014,
  title = 	 "{SIGCSE}: Proceedings of the 45th ACM Technical Symposium
                on Computer Science Education",
  booktitle = 	 "{SIGCSE}: Proceedings of the 45th ACM Technical Symposium
                on Computer Science Education",
  year = 	 2014,
  month = 	 mar,
}
@Proceedings{SIGCSE2015,
  title = 	 "{SIGCSE}: Proceedings of the 46th ACM Technical Symposium
                on Computer Science Education",
  booktitle = 	 "{SIGCSE}: Proceedings of the 46th ACM Technical Symposium
                on Computer Science Education",
  year = 	 2015,
  month = 	 mar,
}

@Proceedings{ITCSE00,
  title = 	 "Proceedings of the 5th Annual SIGCSE/\discretionary{}{}{}SIGCUE Conference
		on Innovation and Technology in Computer Science Education",
  booktitle = 	 "Proceedings of the 5th Annual SIGCSE/\discretionary{}{}{}SIGCUE Conference
		on Innovation and Technology in Computer Science Education",
  year = 	 2000,
  month = 	 jul,
}

@Proceedings{SIGMETRICS2010,
  title = 	 "SIGMETRICS",
  booktitle = 	 "SIGMETRICS",
  year = 	 2010,
  month = 	 jun,
}

@Proceedings{SIPL93,
  title =        "SIPL",
  booktitle =    "SIPL",
  year =         1993,
  month =     jun,
}

@Proceedings{SODA97,
  title = 	 "SODA",
  booktitle = 	 "SODA",
  year = 	 1997,
  month = 	 jan,
}

@Proceedings{SOFSEM2005,
  title = 	 "SOFSEM",
  booktitle = 	 "SOFSEM",
  year = 	 2005,
  month = 	 jan,
}

%string{SoftVis2010 = "ACM Symposium on Software Visualization" = "SoftVis"}
%string{SoftVis2010addr = "Salt Lake City, UT, USA"}
%string{SoftVis2010date = oct # "~25--26," = oct}

@Proceedings{SoftVis2010,
  title = 	 "SoftVis",
  booktitle = 	 "SoftVis",
  year = 	 2010,
  month = 	 oct,
}

@Proceedings{SOSP93,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 1993,
  month = 	 dec,
}
@Proceedings{SOSP97,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 1997,
  month = 	 oct,
}
@Proceedings{SOSP2001,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2001,
  month = 	 oct,
}
@Proceedings{SOSP2003,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2003,
  month = 	 oct,
}
@Proceedings{SOSP2005,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2005,
  month = 	 oct,
}
@Proceedings{SOSP2007,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2007,
  month = 	 oct,
}
@Proceedings{SOSP2009,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2009,
  month = 	 oct,
}
@Proceedings{SOSP2011,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{SOSPWIP2011,
  title = 	 "SOSP WIP",
  booktitle = 	 "SOSP WIP",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{SOSP2015,
  title = 	 "SOSP",
  booktitle = 	 "SOSP",
  year = 	 2015,
  month = 	 oct,
}

@Proceedings{SPAA90,
  title =        "SPAA",
  booktitle =    "SPAA",
  year =         1990,
  month =     jul,
}

@Proceedings{SPACE2004,
  title = 	 "SPACE 2004: Informal Proceedings of the Second Workshop on Semantics,
                   Program Analysis, and Computing Environments for Memory
                   Management (SPACE 2004)",
  booktitle = 	 "SPACE 2004: Informal Proceedings of the Second Workshop on Semantics,
                   Program Analysis, and Computing Environments for Memory
                   Management (SPACE 2004)",
  year = 	 2004,
  month = 	 jan,
}

@Proceedings{SPDT98,
  title = 	 "SPDT '98: Proceedings of the SIGMETRICS Symposium on Parallel and
                  Distributed Tools (SPDT '98)",
  booktitle = 	 "SPDT '98: Proceedings of the SIGMETRICS Symposium on Parallel and
                  Distributed Tools (SPDT '98)",
  year = 	 1998,
  month = 	 aug,
}

@Proceedings{SPIN98,
  title = 	 "SPIN",
  booktitle = 	 "SPIN",
  year = 	 1998,
  month = 	 nov,
}
@Proceedings{SPIN2001,
  title = 	 "SPIN 2001: 8th International SPIN Workshop on Model Checking of
                  Software",
  booktitle = 	 "SPIN 2001: 8th International SPIN Workshop on Model Checking of
                  Software",
  year = 	 2001,
  month = 	 may,
}
@Proceedings{SPIN2003,
  title = 	 "SPIN 2003: 10th International SPIN Workshop on Model Checking of
                  Software",
  booktitle = 	 "SPIN 2003: 10th International SPIN Workshop on Model Checking of
                  Software",
  year = 	 2003,
  month = 	 may,
}

@Proceedings{SPLASH2017Companion,
  title = 	 "SPLASH Compation '17",
  booktitle = "SPLASH Compation '17",
  year = 	 2017,
  month = 	 oct,
}

@Proceedings{SPSM2011,
  title = 	 "SPSM",
  booktitle = 	 "SPSM",
  year = 	 2011,
  month = 	 oct,
}

@Proceedings{SSR99,
  title = 	 "ACM SSR'99",
  booktitle = 	 "ACM SSR'99",
  year = 	 1999,
  month = 	 may,
}

@Proceedings{SSSW2004,
  title = 	 "AAAI Spring Symposium on Semantic Web Services",
  booktitle = 	 "AAAI Spring Symposium on Semantic Web Services",
  year = 	 2004,
  month = 	 mar,
}

@Proceedings{STOC85,
  title = 	 "STOC '85: Proceedings of the Seventeenth Annual ACM Symposium on
                  Theory of Computing",
  booktitle = 	 "STOC '85: Proceedings of the Seventeenth Annual ACM Symposium on
                  Theory of Computing",
  year = 	 1985,
  month = 	 may,
}
@Proceedings{STOC93,
  title = 	 "STOC '93: Proceedings of the Twenty-Fifth Annual ACM Symposium on
                  Theory of Computing",
  booktitle = 	 "STOC '93: Proceedings of the Twenty-Fifth Annual ACM Symposium on
                  Theory of Computing",
  year = 	 1993,
  month = 	 may,
}

@Proceedings{STOP2009,
  title = 	 "STOP",
  booktitle = 	 "STOP",
  year = 	 2009,
  month = 	 jul,
}

@Proceedings{TACAS97,
  title = 	 "TACAS '97: Proceedings of the Third International Workshop on Tools
		  and Algorithms for the Construction and Analysis of
		  Systems (TACAS '97)",
  booktitle = 	 "TACAS '97: Proceedings of the Third International Workshop on Tools
		  and Algorithms for the Construction and Analysis of
		  Systems (TACAS '97)",
  year = 	 1997,
  month = 	 apr,
}
@Proceedings{TACAS2001,
  title = 	 "TACAS 2001: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  booktitle = 	 "TACAS 2001: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  year = 	 2001,
  month = 	 apr,
}
@Proceedings{TACAS2004,
  title = 	 "TACAS 2004: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  booktitle = 	 "TACAS 2004: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  year = 	 2004,
  month = 	 mar,
}
@Proceedings{TACAS2005,
  title = 	 "TACAS 2005: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  booktitle = 	 "TACAS 2005: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  year = 	 2005,
  month = 	 apr,
}
@Proceedings{TACAS2008,
  title = 	 "TACAS 2008: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  booktitle = 	 "TACAS 2008: Tools and Algorithms for the Construction and Analysis
                  of Systems (TACAS)",
  year = 	 2008,
  month = 	 mar,
}

@Proceedings{TACOS2004,
  title = 	 "TACoS: International Workshop on Test and Analysis of
                  Component Based Systems",
  booktitle = 	 "TACoS: International Workshop on Test and Analysis of
                  Component Based Systems",
  year = 	 2004,
  month = 	 mar,
}

@Proceedings{TAICPART2007,
  title = 	 "TAICPART-MUTATION",
  booktitle = 	 "TAICPART-MUTATION",
  year = 	 2007,
  month = 	 sep,
}

@Proceedings{TAP2010,
  title = 	 "TAP",
  booktitle = 	 "TAP",
  year = 	 2010,
  month = 	 jul,
}

@Proceedings{TAPSOFT95,
  title = 	 "TAPSOFT",
  booktitle = 	 "TAPSOFT",
  year = 	 1995,
  address = 	 aarhus,
  month = 	 may,
}
@Proceedings{TAPSOFT97,
  title = 	 "TAPSOFT '97: Theory and Practice of Software Development,
	         7th International Joint Conference CAAP/FASE",
  booktitle = 	 "TAPSOFT '97: Theory and Practice of Software Development,
	         7th International Joint Conference CAAP/FASE",
  year = 	 1997,
  month = 	 apr,
}

@Proceedings{TAV89,
  title = 	 "TAV3: Proceedings of the {ACM} {SIGSOFT}~'89 Third Symposium
                 on Testing, Analysis, and Verification ({TAV3})",
  booktitle = 	 "TAV3: Proceedings of the {ACM} {SIGSOFT}~'89 Third Symposium
                 on Testing, Analysis, and Verification ({TAV3})",
  year = 	 1989,
  month = 	 dec,
}
@Proceedings{TAV91,
  title = 	 "TAV4: Proceedings of the {ACM} {SIGSOFT}~'91 Fourth Symposium
                 on Testing, Analysis, and Verification ({TAV4})",
  booktitle = 	 "TAV4: Proceedings of the {ACM} {SIGSOFT}~'91 Fourth Symposium
                 on Testing, Analysis, and Verification ({TAV4})",
  year = 	 1991,
  month = 	 oct,
}

@Proceedings{TCS2004,
  title = 	 "TCS",
  booktitle = 	 "TCS",
  year = 	 2004,
  month = 	 aug,
}

@Proceedings{TCC2005,
  title = 	 "TCC",
  booktitle = 	 "TCC",
  year = 	 2005,
  month = 	 feb,
}

@Proceedings{TFP2007,
  title = 	 "TFP",
  booktitle = 	 "TFP",
  year = 	 2007,
  month = 	 apr,
}

@Proceedings{TLCA1993,
  title = 	 "TLCA",
  booktitle = 	 "TLCA",
  year = 	 1993,
  month = 	 mar,
}

@Proceedings{TLDI2003,
  title = 	 "TLDI",
  booktitle = 	 "TLDI",
  year = 	 2003,
  month = 	 jan,
}
@Proceedings{TLDI2011,
  title = 	 "TLDI",
  booktitle = 	 "TLDI",
  year = 	 2011,
  month = 	 jan,
}
@Proceedings{TLDI2012,
  title = 	 "TLDI",
  booktitle = 	 "TLDI",
  year = 	 2012,
  month = 	 jan,
}

@Proceedings{TOOLSPacific2000,
  title = 	 "TOOLS Pacific",
  booktitle = 	 "TOOLS Pacific",
  year = 	 2000,
  month = 	 nov,
}

@Proceedings{TOOLS39,
  title = 	 "TOOLS",
  booktitle = 	 "TOOLS",
  year = 	 2001,
  month = 	 jul,
}

@Proceedings{TOOLS47,
  title = 	 "TOOLS Europe",
  booktitle = 	 "TOOLS Europe",
  year = 	 2009,
  address = 	 Zurich,
  month = 	 jun,
}

@Proceedings{TOOLSEurope2008,
  title = 	 "Tools Europe",
  booktitle = 	 "Tools Europe",
  year = 	 2008,
  month = 	 jun,
}

@Proceedings{TOOLS2011,
  title = 	 "TOOLS",
  booktitle = 	 "TOOLS",
  year = 	 2011,
  month = 	 jun,
}

@Proceedings{TRUST2012,
  title = 	 "TRUST",
  booktitle = 	 "TRUST",
  year = 	 2012,
  month = 	 jun,
}

@Proceedings{UIST2008,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2008,
  month = 	 oct,
}
@Proceedings{UIST2009,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2009,
  month = 	 oct,
}
@Proceedings{UIST2010,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2010,
  month = 	 oct,
}
@Proceedings{UIST2011,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2011,
  month = 	 oct,
}
@Proceedings{UIST2012,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2012,
  month = 	 oct,
}
@Proceedings{UIST2013,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2013,
  month = 	 oct,
}
@Proceedings{UIST2015,
  title = 	 "UIST",
  booktitle = 	 "UIST",
  year = 	 2015,
  month = 	 nov,
}


@Proceedings{USENIXCxx92,
  title = 	 "USENIX C++",
  booktitle = 	 "USENIX C++",
  year = 	 1992,
  month = 	 aug,
}
@Proceedings{USENIX92Winter,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 1992,
  month = 	 jan,
}
@Proceedings{USENIX92Summer,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 1992,
  month = 	 jun,
}
@Proceedings{USENIX93Winter,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 1993,
  month = 	 jan,
}
@Proceedings{USENIXWinNT97,
  title = 	 "USENIX Windows NT Workshop",
  booktitle = 	 "USENIX Windows NT Workshop",
  year = 	 1997,
  month = 	 aug,
}
@Proceedings{USENIX99,
  title = 	 "USENIX '99: Proceedings of the 1999 USENIX Annual Technical
                  Conference",
  booktitle = 	 "USENIX '99: Proceedings of the 1999 USENIX Annual Technical
                  Conference",
  year = 	 1999,
  month = 	 jun,
}
@Proceedings{USENIX2001,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{FREENIX2001,
  title = 	 "FREENIX",
  booktitle = 	 "FREENIX",
  year = 	 2001,
  month = 	 jun,
}
@Proceedings{USENIX2002,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2002,
  month = 	 jun,
}
@Proceedings{USENIX2003,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2003,
  month = 	 jun,
}
@Proceedings{FREENIX2003,
  title = 	 "FREENIX",
  booktitle = 	 "FREENIX",
  year = 	 2003,
  month = 	 jun,
}
@Proceedings{USENIX2004,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2004,
  month = 	 jun,
}
@Proceedings{USENIX2005,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2005,
  month = 	 apr,
}
@Proceedings{USENIX2006,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2006,
  month = 	 jun,
}
@Proceedings{USENIX2008,
  title = 	 "USENIX",
  booktitle = 	 "USENIX",
  year = 	 2008,
  month = 	 jun,
}

@Proceedings{USENIXFAST2005,
  title = 	 "USENIX FAST",
  booktitle = 	 "USENIX FAST",
  year = 	 2005,
  month = 	 dec,
}

@Proceedings{USENIXSec98,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 1998,
  month = 	 jan,
}
@Proceedings{USENIXSec2001,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2001,
  month = 	 aug,
}
@Proceedings{USENIXSec2002,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2002,
  month = 	 aug,
}
@Proceedings{USENIXSec2003,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2003,
  month = 	 aug,
}
@Proceedings{USENIXSec2004,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2004,
  month = 	 aug,
}
@Proceedings{USENIXSec2005,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2005,
  month = 	 aug,
}
@Proceedings{USENIXSec2006,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2006,
  month = 	 aug,
}
@Proceedings{USENIXSec2007,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2007,
  month = 	 aug,
}
@Proceedings{USENIXSec2009,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2009,
  month = 	 aug,
}
@Proceedings{USENIXSec2012,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2012,
  month = 	 aug,
}
@Proceedings{USENIXSec2013,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2013,
  month = 	 aug,
}
@Proceedings{USENIXSec2015,
  title = 	 "USENIX Security",
  booktitle = 	 "USENIX Security",
  year = 	 2015,
  month = 	 aug,
}

@Proceedings{VaMoS2012,
  title = 	 "VaMoS",
  booktitle = 	 "VaMoS",
  year = 	 2012,
  month = 	 jan,
}

@Proceedings{VAMP2007,
  title = 	 "VAMP",
  booktitle = 	 "VAMP",
  year = 	 2007,
  month = 	 sep,
}

@Proceedings{VEE2006,
  title = 	 "VEE",
  booktitle = 	 "VEE",
  year = 	 2006,
  month = 	 jun,
}
@Proceedings{VEE2010,
  title = 	 "VEE",
  booktitle = 	 "VEE",
  year = 	 2010,
  month = 	 mar,
}

@Proceedings{VL1996,
  title = 	 "VL",
  booktitle = 	 "VL",
  year = 	 1996,
  month = 	 sep,
}

@Proceedings{VLDB2004,
  title = 	 "VLDB",
  booktitle = 	 "VLDB",
  year = 	 2004,
  month = 	 aug,
}
@Proceedings{VLDB2010,
  title = 	 "VLDB",
  booktitle = 	 "VLDB",
  year = 	 2010,
  month = 	 sep,
}

@Proceedings{VLHCC2006,
  title = 	 "VL/HCC",
  booktitle = 	 "VL/HCC",
  year = 	 2006,
  month = 	 sep,
}
@Proceedings{VLHCC2009,
  title = 	 "VL/HCC",
  booktitle = 	 "VL/HCC",
  year = 	 2009,
  month = 	 sep,
}
@Proceedings{VLHCC2011,
  title = 	 "VL/HCC",
  booktitle = 	 "VL/HCC",
  year = 	 2011,
  month = 	 sep,
}

@Proceedings{VMCAI2003,
  title = 	 "VMCAI 2003: Fourth International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  booktitle = 	 "VMCAI 2003: Fourth International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  year = 	 2003,
  month = 	 jan,
}
@Proceedings{VMCAI2005,
  title = 	 "VMCAI 2005: Sixth International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  booktitle = 	 "VMCAI 2005: Sixth International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  year = 	 2005,
  month = 	 jan,
}
@Proceedings{VMCAI2009,
  title = 	 "VMCAI 2009: Tenth International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  booktitle = 	 "VMCAI 2009: Tenth International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  year = 	 2009,
  month = 	 jan,
}
@Proceedings{VMCAI2019,
  title = 	 "VMCAI 2019: 20th International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  booktitle = 	 "VMCAI 2019: 20th International Conference on
                    Verification, Model Checking and Abstract Interpretation",
  year = 	 2019,
  month = 	 jan,
}

@Proceedings{VMIL2009,
  title = 	 "VMIL",
  booktitle = 	 "VMIL",
  year = 	 2009,
  month = 	 oct,
}

@Proceedings{VSTTE2005,
  title = 	 "VSTTE",
  booktitle = 	 "VSTTE",
  year = 	 2005,
  month = 	 oct,
}
@Proceedings{VSTTE2008,
  title = 	 "VSTTE",
  booktitle = 	 "VSTTE",
  year = 	 2008,
  month = 	 oct,
}
@Proceedings{VSTTE2014,
  title = 	 "VSTTE",
  booktitle = 	 "VSTTE",
  year = 	 2014,
  month = 	 jul,
}


@Proceedings{W2SP2011,
  title = 	 "W2SP",
  booktitle = 	 "W2SP",
  year = 	 2011,
  month = 	 may,
}


@Proceedings{WASL2008,
  title = 	 "WASL",
  booktitle = 	 "WASL",
  year = 	 2008,
  month = 	 dec,
}


@Proceedings{WCET2005,
  title = 	 "WCET",
  booktitle = 	 "WCET",
  year = 	 2005,
  month = 	 jul,
}

@Proceedings{WCRE2010,
  title = 	 "WCRE",
  booktitle = 	 "WCRE",
  year = 	 2010,
  month = 	 oct,
}

@Proceedings{WCSSS99,
  title = 	 "WCSSS",
  booktitle = 	 "WCSSS",
  year = 	 1999,
  month = 	 may,
}

%% Colocated with USENIX2010
@Proceedings{WebApps2010,
  title = 	 "WebApps",
  booktitle = 	 "WebApps",
  year = 	 2010,
  month = 	 jun,
}
%% Colocated with USENIX2011
@Proceedings{WebApps2011,
  title = 	 "WebApps",
  booktitle = 	 "WebApps",
  year = 	 2011,
  month = 	 jun,
}
%% Colocated with USENIX2012
@Proceedings{WebApps2012,
  title = 	 "WebApps",
  booktitle = 	 "WebApps",
  year = 	 2012,
  month = 	 jun,
}

@Proceedings{WDAG97,
  title = 	 "WDAG '97: Proceedings of the 11th International Workshop on
                  Distributed Algorithms",
  booktitle = 	 "WDAG '97: Proceedings of the 11th International Workshop on
                  Distributed Algorithms",
  year = 	 1997,
  month = 	 sep,
}

@Proceedings{USENIXWindows2000,
  title = 	 "USENIX Windows",
  booktitle = 	 "USENIX Windows",
  year = 	 2000,
  month = 	 aug,
}

@Proceedings{WITS2003,
  title = 	 "WITS",
  booktitle = 	 "WITS",
  year = 	 2003,
  month = 	 apr,
}

@Proceedings{WMCSA2003,
  title = 	 "WMCSA",
  booktitle = 	 "WMCSA",
  year = 	 2003,
  month = 	 oct,
}

@Proceedings{WODA2003,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2003,
  month = 	 may,
}
@Proceedings{WODA2005,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2005,
  month = 	 may,
}
@Proceedings{WODA2006,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2006,
  month = 	 may,
}
@Proceedings{WODA2007,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2007,
  month = 	 may,
}
@Proceedings{WODA2008,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2008,
  month = 	 jul,
}
@Proceedings{WODA2011,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2011,
  month = 	 jul,
}
@Proceedings{WODA2015,
  title = 	 "WODA",
  booktitle = 	 "WODA",
  year = 	 2015,
  month = 	 oct,
}

@Proceedings{WOOD2003,
  title = 	 "WOOD",
  booktitle = 	 "WOOD",
  year = 	 2003,
  month = 	 oct,
}

@Proceedings{WOOT2007,
  title = 	 "WOOT",
  booktitle = 	 "WOOT",
  year = 	 2007,
  month = 	 aug,
}
@Proceedings{WOOT2011,
  title = 	 "WOOT",
  booktitle = 	 "WOOT",
  year = 	 2011,
  month = 	 aug,
}

@Proceedings{WORLDCOMP2012,
  title = 	 "WorldComp",
  booktitle = 	 "WorldComp",
  year = 	 2012,
  NEEDaddress = 	 "*",
  NEEDmonth = 	 "*",
}

@Proceedings{WSMAI2003,
  title = 	 "WSMAI",
  booktitle = 	 "WSMAI",
  year = 	 2003,
  month = 	 apr,
}

@Proceedings{WSMATE2006,
  title = 	 "WS-MaTe",
  booktitle = 	 "WS-MaTe",
  year = 	 2006,
  month = 	 jun,
}

@Proceedings{WWW2004,
  title = 	 "WWW",
  booktitle = 	 "WWW",
  year = 	 2004,
  month = 	 may,
}
@Proceedings{WWW2010,
  title = 	 "WWW",
  booktitle = 	 "WWW",
  year = 	 2010,
  month = 	 apr,
}

@Proceedings{QTAPC2008,
  title = 	 "QTAPC",
  booktitle = 	 "QTAPC",
  year = 	 2008,
  month = 	 jun,
}


@Proceedings{XPAU2002,
  title = 	 "XP/Agile Universe: Proceedings of 2nd XP Universe and 1st Agile
                  Universe Conference (XP/Agile Universe)",
  booktitle = 	 "XP/Agile Universe: Proceedings of 2nd XP Universe and 1st Agile
                  Universe Conference (XP/Agile Universe)",
  year = 	 2002,
  month = 	 aug,
}


%% A problem with this after-save-hook is that it blows away any existing
%% *compilation* buffer.  Let's hope this isn't too big an annoyance.
%%% Local Variables:
%%% auto-fill-function: nil
%%% eval: (make-local-variable 'after-save-hook)
%%% eval: (add-hook 'after-save-hook '(lambda () (save-window-excursion (let ((compilation-ask-about-save nil)) (compile "make")))))
%%% End: