crossrefs.bib

%% BibTeX crossreferences (conference (at)Proceedings entries) -- master file
%% Type "make" in the bib directory to process this with the crossrefs-abbreviate
%%   script, which creates crossferf-unabbrev.bib.
%% Each entry should have both a title and a booktitle field.


% Strings can contain, but cannot start with, a numeral
@Proceedings{ThreeGSE2015,
  title = 	 "3GSE: USENIX Summit on Gaming, Games, and Gamification in Security Education",
  booktitle = 	 "3GSE: USENIX Summit on Gaming, Games, and Gamification in Security Education",
  year = 	 2015,
  address = 	 "Washington, DC",
  month = 	 aug,
}

@Proceedings{AAAI98,
  title = 	 "AAAI '98: Proceedings of the Fifteenth National Conference on Artificial Intelligence",
  booktitle = 	 "AAAI '98: Proceedings of the Fifteenth National Conference on Artificial Intelligence",
  year = 	 1998,
  address = 	 "Madison, WI, USA",
  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,
  address = 	 "Austin, TX",
  month = 	 jul,
}
@Proceedings{AAAI2006,
  title = 	 "AAAI 2006: Proceedings of the 21st National Conference on Artificial Intelligence",
  booktitle = 	 "AAAI 2006: Proceedings of the 21st National Conference on Artificial Intelligence",
  year = 	 2006,
  address = 	 "Boston, MA, USA",
  month = 	 jul,
}
@Proceedings{AAAI2011,
  title = 	 "AAAI 2011: Proceedings of the Twenty-Fifth Conference on Artificial Intelligence",
  booktitle = 	 "AAAI 2011: Proceedings of the Twenty-Fifth Conference on Artificial Intelligence",
  year = 	 2011,
  address = 	 "San Francisco, CA, USA",
  month = 	 aug,
}

@Proceedings{AADEBUG2003,
  title = 	 "AADEBUG 2003: Fifth International Workshop on Automated and Algorithmic Debugging",
  booktitle = 	 "AADEBUG 2003: Fifth International Workshop on Automated and Algorithmic Debugging",
  year = 	 2003,
  address = 	 "Ghent, Belgium",
  month = 	 sep,
}
@Proceedings{AADEBUG2005,
  title = 	 "AADEBUG 2005: Sixth International Symposium on Automated and Algorithmic Debugging",
  booktitle = 	 "AADEBUG 2005: Sixth International Symposium on Automated and Algorithmic Debugging",
  year = 	 2005,
  address = 	 "Monterey, CA, USA",
  month = 	 sep,
}

@Proceedings{ACSAC2002,
  title = 	 "ACSAC 2002: Proceedings of the 2002 Annual Computer Security Applications Conference",
  booktitle = 	 "ACSAC 2002: Proceedings of the 2002 Annual Computer Security Applications Conference",
  year = 	 2002,
  address = 	 "Las Vegas, NV, USA",
  month = 	 dec,
}
@Proceedings{ACSAC2006,
  title = 	 "ACSAC 2006: Proceedings of the 2006 Annual Computer Security Applications Conference",
  booktitle = 	 "ACSAC 2006: Proceedings of the 2006 Annual Computer Security Applications Conference",
  year = 	 2006,
  address = 	 "Miami Beach, FL, USA",
  month = 	 dec,
}
@Proceedings{ACSAC2007,
  title = 	 "ACSAC 2007: 23rd Annual Computer Security Applications Conference",
  booktitle = 	 "ACSAC 2007: 23rd Annual Computer Security Applications Conference",
  year = 	 2007,
  address = 	 "Miami Beach, FL, USA",
  month = 	 dec,
}
@Proceedings{ACSAC2008,
  title = 	 "ACSAC 2008: 24th Annual Computer Security Applications Conference",
  booktitle = 	 "ACSAC 2008: 24th Annual Computer Security Applications Conference",
  year = 	 2008,
  address = 	 "Anaheim, CA, USA",
  month = 	 dec,
}
@Proceedings{ACSAC2009,
  title = 	 "ACSAC 2009: 25th Annual Computer Security Applications Conference",
  booktitle = 	 "ACSAC 2009: 25th Annual Computer Security Applications Conference",
  year = 	 2009,
  address = 	 "Honolulu, HI, USA",
  month = 	 dec,
}

@Proceedings{ACSC2005,
  title = 	 "ACSC 2005: Proceedings of the Twenty-eighth Australasian Conference on Computer Science",
  booktitle = 	 "ACSC 2005: Proceedings of the Twenty-eighth Australasian Conference on Computer Science",
  year = 	 2005,
  address = 	 "Newcastle, NSW, Australia",
  month = 	 feb,
}
@Proceedings{ACSC2009,
  title = 	 "ACSC 2009: Proceedings of the Thirty-Second Australasian Conference on Computer Science",
  booktitle = 	 "ACSC 2009: Proceedings of the Thirty-Second Australasian Conference on Computer Science",
  year = 	 2009,
  address = 	 "Wellington, New Zealand",
  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,
  address = 	 "Santander, Spain",
  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,
  address = 	 "Palma de Mallorca",
  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,
  address =   "Madrid, Spain",
  month =     sep,
}

@Proceedings{AIPL77,
  title = 	 "AIPL '77: ACM Symposium on Artificial Intelligence and Programming Languages",
  booktitle = 	 "AIPL '77: ACM Symposium on Artificial Intelligence and Programming Languages",
  year = 	 1977,
  address = 	 "Rochester, NY",
  month = 	 aug,
}

@Proceedings{AOSD2002,
  title = 	 "AOSD 2002: Proceedings of the First International Conference on Aspect-Oriented Software Development",
  booktitle = 	 "AOSD 2002: Proceedings of the First International Conference on Aspect-Oriented Software Development",
  year = 	 2002,
  address = 	 "Enschede, The Netherlands",
  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,
  address = 	 "Vancouver, BC, Canada",
  month = 	 mar,
}
@Proceedings{AOSD2010,
  title = 	 "AOSD 2010: Proceedings of the 9th International Conference on Aspect-Oriented Software Development",
  booktitle = 	 "AOSD 2010: Proceedings of the 9th International Conference on Aspect-Oriented Software Development",
  year = 	 2010,
  address = 	 "Rennes and Saint Malo, France",
  month = 	 mar,
}
@Proceedings{AOSD2011,
  title = 	 "AOSD 2011: Proceedings of the 10th International Conference on Aspect-Oriented Software Development",
  booktitle = 	 "AOSD 2011: Proceedings of the 10th International Conference on Aspect-Oriented Software Development",
  year = 	 2011,
  address = 	 "Porto de Galinhas, Pernambuco, Brazil",
  month = 	 mar,
}
@Proceedings{AOSD2012,
  title = 	 "AOSD 2012: Proceedings of the 11th International Conference on Aspect-Oriented Software Development",
  booktitle = 	 "AOSD 2012: Proceedings of the 11th International Conference on Aspect-Oriented Software Development",
  year = 	 2012,
  address = 	 "Potsdam, Germany",
  month = 	 mar,
}

@Proceedings{APLAS2005,
  title = 	 "APLAS 2005: Third Asian Symposium on Programming Languages and Systems",
  booktitle = 	 "APLAS 2005: Third Asian Symposium on Programming Languages and Systems",
  year = 	 2005,
  address = 	 "Tsukuba, Japan",
  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: First Applied Semantics II Workshop",
  booktitle = 	 "APPSEM-II: First Applied Semantics II Workshop",
  year = 	 2003,
  address = 	 "Nottingham, UK",
  month = 	 may,
}

@Proceedings{APSys2013,
  title = 	 "APSys 2013: 4th Asia-Pacific Workshop on Systems",
  booktitle = 	 "APSys 2013: 4th Asia-Pacific Workshop on Systems",
  year = 	 2013,
  address = 	 "Singapore",
  month = 	 jul,
}
@Proceedings{APSys2014,
  title = 	 "APSys 2014: 5th Asia-Pacific Workshop on Systems",
  booktitle = 	 "APSys 2014: 5th Asia-Pacific Workshop on Systems",
  year = 	 2014,
  address = 	 "Beijing, China",
  month = 	 jun,
}

@Proceedings{ASE98,
  title = 	 "ASE '98: Proceedings of the 13th Annual International Conference on Automated Software Engineering",
  booktitle = 	 "ASE '98: Proceedings of the 13th Annual International Conference on Automated Software Engineering",
  year = 	 1998,
  address = 	 "Honolulu, Hawaii",
  month = 	 oct,
}
@Proceedings{ASE2000,
  title = 	 "ASE 2000: Proceedings of the 15th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2000: Proceedings of the 15th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2000,
  address = 	 "Grenoble, France",
  month = 	 sep,
}
@Proceedings{ASE2001,
  title = 	 "ASE 2001: Proceedings of the 16th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2001: Proceedings of the 16th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2001,
  address = 	 "San Diego, CA, USA",
  month = 	 nov,
}
@Proceedings{ASE2003,
  title = 	 "ASE 2003: Proceedings of the 18th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2003: Proceedings of the 18th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2003,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{ASE2004,
  title = 	 "ASE 2004: Proceedings of the 19th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2004: Proceedings of the 19th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2004,
  address = 	 "Linz, Australia",
  month = 	 sep,
}
@Proceedings{ASE2005,
  title = 	 "ASE 2005: Proceedings of the 20th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2005: Proceedings of the 20th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2005,
  address = 	 "Long Beach, CA, USA",
  month = 	 nov,
}
@Proceedings{ASE2006,
  title = 	 "ASE 2006: Proceedings of the 21st Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2006: Proceedings of the 21st Annual International
                  Conference on Automated Software Engineering",
  year = 	 2006,
  address = 	 "Tokyo, Japan",
  month = 	 sep,
}
@Proceedings{ASE2007,
  title = 	 "ASE 2007: Proceedings of the 22nd Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2007: Proceedings of the 22nd Annual International
                  Conference on Automated Software Engineering",
  year = 	 2007,
  address = 	 "Atlanta, GA, USA",
  month = 	 nov,
}
@Proceedings{ASE2008,
  title = 	 "ASE 2008: Proceedings of the 23rd Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2008: Proceedings of the 23rd Annual International
                  Conference on Automated Software Engineering",
  year = 	 2008,
  address = 	 "L'Aquila, Italy",
  month = 	 sep,
}
@Proceedings{ASE2009,
  title = 	 "ASE 2009: Proceedings of the 24th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2009: Proceedings of the 24th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2009,
  address = 	 "Auckland, NZ",
  month = 	 nov,
}
@Proceedings{ASE2010,
  title = 	 "ASE 2010: Proceedings of the 25th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2010: Proceedings of the 25th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2010,
  address = 	 "Antwerp, Belgium",
  month = 	 sep,
}
@Proceedings{ASE2011,
  title = 	 "ASE 2011: Proceedings of the 26th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2011: Proceedings of the 26th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2011,
  address = 	 "Lawrence, KS, USA",
  month = 	 nov,
}
@Proceedings{ASE2012,
  title = 	 "ASE 2012: Proceedings of the 27th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2012: Proceedings of the 27th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2012,
  address = 	 "Essen, Germany",
  month = 	 sep,
}
@Proceedings{ASE2013,
  title = 	 "ASE 2013: Proceedings of the 28th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2013: Proceedings of the 28th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2013,
  address = 	 "Palo Alto, CA, USA",
  month = 	 nov,
}
@Proceedings{ASE2014,
  title = 	 "ASE 2014: Proceedings of the 29th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2014: Proceedings of the 29th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2014,
  address = 	 "V{\"a}ster\o{a}s, Sweden",
  month = 	 sep,
}
@Proceedings{ASE2015,
  title = 	 "ASE 2015: Proceedings of the 30th Annual International
                  Conference on Automated Software Engineering",
  booktitle = 	 "ASE 2015: Proceedings of the 30th Annual International
                  Conference on Automated Software Engineering",
  year = 	 2015,
  address = 	 "Lincoln, NE, USA",
  month = 	 nov,
}

@Proceedings{ASEE2004,
  title = 	 "ASEE 2004: ASEE Annual Conference",
  booktitle = 	 "ASEE 2004: ASEE Annual Conference",
  year = 	 2004,
  address = 	 "Salt Lake City, Utah",
  month = 	 jun,
}

@Proceedings{ASID2006,
  title = 	 "ASID 2006: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability",
  booktitle = 	 "ASID 2006: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability",
  year = 	 2006,
  address = 	 "San Jose, CA, USA",
  month = 	 oct,
}

@Proceedings{ASPLOS89,
  title =        "ASPLOS '89: Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle =    "ASPLOS '89: Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems",
  year =         1989,
  address =   "Boston, MA, USA",
  month =     apr,
}
@Proceedings{ASPLOS91,
  title =        "ASPLOS '91: Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle =    "ASPLOS '91: Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems",
  year =         1991,
  address =   "Santa Clara, CA, USA",
  month =     apr,
}
@Proceedings{ASPLOS92,
  title =        "ASPLOS '92: Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle =    "ASPLOS '92: Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems",
  year =         1992,
  address =   "Boston, MA, USA",
  month =     apr,
}
@Proceedings{ASPLOS94,
  title =        "ASPLOS '94: Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle =    "ASPLOS '94: Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems",
  year =         1992,
  address =   "San Jose, CA, USA",
  month =     oct,
}
@Proceedings{ASPLOS96,
  title =        "ASPLOS '96: Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle =    "ASPLOS '96: Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems",
  year =         1996,
  address =   "Cambridge, MA, USA",
  month =     oct,
}
@Proceedings{ASPLOS98,
  title = 	 "ASPLOS '98: Proceedings of the Eighth International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle = 	 "ASPLOS '98: Proceedings of the Eighth International Conference on Architectural Support for Programming Languages and Operating Systems",
  year = 	 1998,
  address = 	 "San Jose, CA",
  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,
  address = 	 "Boston, Massachusetts, USA",
  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,
  address = 	 "Seattle, WA, USA",
  month = 	 mar,
}
@Proceedings{ASPLOS2013,
  title = 	 "ASPLOS 2013: Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle = 	 "ASPLOS 2013: Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems",
  year = 	 2013,
  address = 	 "Houston, TX, USA",
  month = 	 mar,
}
@Proceedings{ASPLOS2014,
  title = 	 "ASPLOS 2014: Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems",
  booktitle = 	 "ASPLOS 2014: Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems",
  year = 	 2014,
  address = 	 "Houston, TX, USA",
  month = 	 mar,
}

@Proceedings{AST2006,
  title = 	 "AST Workshop: 1st Workshop on Automation of Software Test (AST 2006)",
  booktitle = 	 "AST Workshop: 1st Workshop on Automation of Software Test (AST 2006)",
  year = 	 2006,
  address = 	 "Shanghai, China",
  month = 	 may,
}

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

@Proceedings{AVIS2003,
  title = 	 "AVIS 2003: Workshop on Automated Verification of Infinite-State Systems",
  booktitle = 	 "AVIS 2003: Workshop on Automated Verification of Infinite-State Systems",
  year = 	 2003,
  address = 	 "Warsaw, Poland",
  month = 	 apr,
}

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

@Proceedings{ByteCode2009,
  title = 	 "ByteCode 2009: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation",
  booktitle = 	 "ByteCode 2009: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation",
  year = 	 2009,
  address = 	 "York, UK",
  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,
  address = 	 "Saratoga Springs, NY, USA",
  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,
  address = 	 "Pittsburgh, PA, USA",
  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,
  address = 	 "Warsaw, Poland",
  month = 	 aug,
}

@Proceedings{CARDIS2004,
  title =        "CARDIS 2004: Sixth Smart Card Research and Advanced Application IFIP Conference",
  booktitle =    "CARDIS 2004: Sixth Smart Card Research and Advanced Application IFIP Conference",
  year =         2004,
  address =   "Toulouse, France",
  month =     aug,
}

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

@Proceedings{CASES2005,
  title = 	 "CASES 2005: Proceedings of the 2005 International Conference on Compilers, Architectures and Synthesis for Embedded Systems",
  booktitle = 	 "CASES 2005: Proceedings of the 2005 International Conference on Compilers, Architectures and Synthesis for Embedded Systems",
  year = 	 2005,
  address = 	 "San Francisco, CA, USA",
  month = 	 sep,
}

@Proceedings{CASSIS2004,
  title = 	 "CASSIS 2004: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices",
  booktitle = 	 "CASSIS 2004: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices",
  year = 	 2004,
  address = 	 "Marseille, France",
  month = 	 mar,
}
@Proceedings{CASSIS2005,
  title = 	 "CASSIS 2005: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices",
  booktitle = 	 "CASSIS 2005: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices",
  year = 	 2005,
  address = 	 "Nice, France",
  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,
  address = 	 "Liege, Belgium",
  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,
  address = 	 "New Brunswick, NJ, USA",
  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,
  address = 	 "Paris, France",
  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,
  address = 	 "Seattle, WA, USA",
  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,
  address = 	 "Snowbird, UT, USA",
  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,
  address = 	 "Toronto, Canada",
  month = 	 jul,
}

@Proceedings{CBSE2001,
  title = 	 "CBSE4: 4th ICSE Workshop on Component-Based Software Engineering",
  booktitle = 	 "CBSE4: 4th ICSE Workshop on Component-Based Software Engineering",
  year = 	 2001,
  address = 	 "Toronto, Canada",
  month = 	 may,
}

% Compiler Construction (not to be confused with PLDI, which used to also
% be called Compiler Construction)
@Proceedings{CC94,
  title = 	 "CC '94: Compiler Construction: 4th International Conference",
  booktitle = 	 "CC '94: Compiler Construction: 4th International Conference",
  year = 	 1994,
  address = 	 "",
  month = 	 apr,
}
@Proceedings{CC96,
  title = 	 "CC '96: Compiler Construction: 6th International Conference",
  booktitle = 	 "CC '96: Compiler Construction: 6th International Conference",
  year = 	 1996,
  address = 	 "Linkoping, Sweden",
  month = 	 apr,
}
@Proceedings{CC98,
  title = 	 "CC '98: Compiler Construction: 7th International Conference",
  booktitle = 	 "CC '98: Compiler Construction: 7th International Conference",
  year = 	 1998,
  address = 	 "Lisbon, Portugal",
  month = 	 mar,
}
@Proceedings{CC2001,
  title = 	 "CC 2001: Compiler Construction: 10th International Conference",
  booktitle = 	 "CC 2001: Compiler Construction: 10th International Conference",
  year = 	 2001,
  address = 	 "Genova, Italy",
  month = 	 apr,
}
@Proceedings{CC2002,
  title = 	 "CC 2002: Compiler Construction: 11th International Conference",
  booktitle = 	 "CC 2002: Compiler Construction: 11th International Conference",
  year = 	 2002,
  address = 	 "Grenoble, France",
  month = 	 apr,
}
@Proceedings{CC2003,
  title = 	 "CC 2003: Compiler Construction: 12th International Conference",
  booktitle = 	 "CC 2003: Compiler Construction: 12th International Conference",
  year = 	 2003,
  address = 	 "Warsaw, Poland",
  month = 	 apr,
}
@Proceedings{CC2004,
  title = 	 "CC 2004: Compiler Construction: 13th International Conference",
  booktitle = 	 "CC 2004: Compiler Construction: 13th International Conference",
  year = 	 2004,
  address = 	 "Barcelona, Spain",
  month = 	 mar,
}
@Proceedings{CC2005,
  title = 	 "CC 2005: Compiler Construction: 14th International Conference",
  booktitle = 	 "CC 2005: Compiler Construction: 14th International Conference",
  year = 	 2005,
  address = 	 "Edinburgh, Scotland",
  month = 	 apr,
}
@Proceedings{CC2008,
  title = 	 "CC 2008: Compiler Construction: 14th International Conference",
  booktitle = 	 "CC 2008: Compiler Construction: 14th International Conference",
  year = 	 2008,
  address = 	 "Budapest, Hungary",
  month = 	 apr,
}

@Proceedings{CASE1993,
  title = 	 "CASE 1993: Proceedings of the Sixth International Workshop on Computer-Aided Software Engineering",
  booktitle = 	 "CASE 1993: Proceedings of the Sixth International Workshop on Computer-Aided Software Engineering",
  year = 	 1993,
  address = 	 "Singapore",
  month = 	 jul,
}

@Proceedings{CCS2005,
  title = 	 "CCS 2005: Proceedings of the 12th ACM Conference on Computer and Communications Security",
  booktitle = 	 "CCS 2005: Proceedings of the 12th ACM Conference on Computer and Communications Security",
  year = 	 2005,
  address = 	 "Alexandria, VA, USA",
  month = 	 nov,
}
@Proceedings{CCS2007,
  title = 	 "CCS 2007: Proceedings of the 14th ACM Conference on Computer and Communications Security",
  booktitle = 	 "CCS 2007: Proceedings of the 14th ACM Conference on Computer and Communications Security",
  year = 	 2007,
  address = 	 "Alexandria, VA, USA",
  month = 	 oct,
}
@Proceedings{CCS2009,
  title = 	 "CCS 2009: Proceedings of the 16th ACM Conference on Computer and Communications Security",
  booktitle = 	 "CCS 2009: Proceedings of the 16th ACM Conference on Computer and Communications Security",
  year = 	 2009,
  address = 	 "Chicago, IL, USA",
  month = 	 nov,
}
@Proceedings{CCS2011,
  title = 	 "CCS 2011: Proceedings of the 18th ACM Conference on Computer and Communications Security",
  booktitle = 	 "CCS 2011: Proceedings of the 18th ACM Conference on Computer and Communications Security",
  year = 	 2011,
  address = 	 "Chicago, IL, USA",
  month = 	 oct,
}
@Proceedings{CCS2012,
  title = 	 "CCS 2012: Proceedings of the 19th ACM Conference on Computer and Communications Security",
  booktitle = 	 "CCS 2012: Proceedings of the 19th ACM Conference on Computer and Communications Security",
  year = 	 2012,
  address = 	 "Raleigh, NC, USA",
  month = 	 oct,
}
@Proceedings{CCS2014,
  title = 	 "CCS 2014: Proceedings of the 21st ACM Conference on Computer and Communications Security",
  booktitle = 	 "CCS 2014: Proceedings of the 21st ACM Conference on Computer and Communications Security",
  year = 	 2014,
  address = 	 "Scottsdale, AZ, USA",
  month = 	 nov,
}

@Proceedings{CHASE2008,
  title = 	 "CHASE 2008: Cooperative and Human Aspects of Software Engineering",
  booktitle = 	 "CHASE 2008: Cooperative and Human Aspects of Software Engineering",
  year = 	 2008,
  address = 	 "Leipzig, Germany",
  month = 	 may,
}

@Proceedings{CHI2002,
  title = 	 "CHI 2002: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2002: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2002,
  address = 	 "Minneapolis, MN, USA",
  month = 	 apr,
}
@Proceedings{CHI2004,
  title = 	 "CHI 2004: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2004: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2004,
  address = 	 "Vienna, Austria",
  month = 	 apr,
}
@Proceedings{CHI2006,
  title = 	 "CHI 2006: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2006: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2006,
  address = 	 "Montreal, Canada",
  month = 	 apr,
}
@Proceedings{CHI2007,
  title = 	 "CHI 2007: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2007: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2007,
  address = 	 "San Jose, CA, USA",
  month = 	 apr,
}
@Proceedings{CHI2008,
  title = 	 "CHI 2008: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2008: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2008,
  address = 	 "Florence, Italy",
  month = 	 apr,
}
@Proceedings{CHI2009,
  title = 	 "CHI 2009: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2009: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2009,
  address = 	 "Boston, MA, USA",
  month = 	 apr,
}
@Proceedings{CHI2010,
  title = 	 "CHI 2010: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2010: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2010,
  address = 	 "Atlanta, GA, USA",
  month = 	 apr,
}
@Proceedings{CHI2011,
  title = 	 "CHI 2011: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2011: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2011,
  address = 	 "Vancouver, BC, Canada",
  month = 	 may,
}
@Proceedings{CHI2012,
  title = 	 "CHI 2012: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2012: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2012,
  address = 	 "Austin, TX, USA",
  month = 	 may,
}
@Proceedings{CHI2013,
  title = 	 "CHI 2013: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2013: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2013,
  address = 	 "Paris, France",
  month = 	 apr,
}
@Proceedings{CHI2014,
  title = 	 "CHI 2014: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  booktitle = 	 "CHI 2014: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems",
  year = 	 2014,
  address = 	 "Toronto, Canada",
  month = 	 apr,
}

@Proceedings{CSCW2010,
  title = 	 "CSCW 2010: The 2010 ACM Conference on Computer Supported Cooperative Work",
  booktitle = 	 "CSCW 2010: The 2010 ACM Conference on Computer Supported Cooperative Work",
  year = 	 2010,
  address = 	 "Savanna, GA, USA",
  month = 	 feb,
}

@Proceedings{CMSR2004,
  title = 	 "CMSR 2004: Eighth Euromicro Working Conference on Software Maintenance and Reengineering",
  booktitle = 	 "CMSR 2004: Eighth Euromicro Working Conference on Software Maintenance and Reengineering",
  year = 	 2004,
  address = 	 "Tampere, Finland",
  month = 	 mar,
}
@Proceedings{CMSR2005,
  title = 	 "CMSR 2005: Ninth European Conference on Software Maintenance and
		Reengineering",
  booktitle = 	 "CMSR 2005: Ninth European Conference on Software Maintenance and
		Reengineering",
  year = 	 2005,
  address = 	 "Manchester, UK",
  month = 	 mar,
}

% The "S" didn't start standing for "and Systems" until 1998
@Proceedings{COOTS97,
  title = 	 "COOTS '97: Proceedings of the Third USENIX Conference on Object-Oriented Technologies",
  booktitle = 	 "COOTS '97: Proceedings of the Third USENIX Conference on Object-Oriented Technologies",
  year = 	 1997,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "Copenhagen, Denmark",
  month = 	 apr,
}

@Proceedings{CONCUR2000,
  title = 	 "CONCUR 2000: Concurrency Theory",
  booktitle = 	 "CONCUR 2000: Concurrency Theory",
  year = 	 2000,
  address = 	 "State College, PA",
  month = 	 aug,
}

@Proceedings{CPP2016,
  title = 	 "CPP 2016: 5th ACM SIGPLAN Conference on Certified Programs and Proofs",
  booktitle = 	 "CPP 2016: 5th ACM SIGPLAN Conference on Certified Programs and Proofs",
  year = 	 2016,
  address = 	 "St.\ Petersburg, FL, USA",
  month = 	 jan,
}

@Proceedings{CSFW2002,
  title = 	 "CSFW 2002: 15th IEEE Computer Security Foundations Workshop",
  booktitle = 	 "CSFW 2002: 15th IEEE Computer Security Foundations Workshop",
  year = 	 2002,
  address = 	 "Cape Breton, Nova Scotia, Canada",
  month = 	 jun,
}
@Proceedings{CSFW2004,
  title = 	 "CSFW 2004: 17th IEEE Computer Security Foundations Workshop",
  booktitle = 	 "CSFW 2004: 17th IEEE Computer Security Foundations Workshop",
  year = 	 2004,
  address = 	 "Pacific Grove, California, USA",
  month = 	 jun,
}
@Proceedings{CSFW2005,
  title = 	 "CSFW 2005: 18th IEEE Computer Security Foundations Workshop",
  booktitle = 	 "CSFW 2005: 18th IEEE Computer Security Foundations Workshop",
  year = 	 2005,
  address = 	 "Aix-en-Provence, France",
  month = 	 jun,
}
@Proceedings{CSFW2006,
  title = 	 "CSFW 2006: 19th IEEE Computer Security Foundations Workshop",
  booktitle = 	 "CSFW 2006: 19th IEEE Computer Security Foundations Workshop",
  year = 	 2006,
  address = 	 "Venice, Italy",
  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 2008: 21st IEEE Computer Security Foundations Symposium",
  booktitle = 	 "CSF 2008: 21st IEEE Computer Security Foundations Symposium",
  year = 	 2008,
  address = 	 "Pittsburgh, PA, USA",
  month = 	 jun,
}

@Proceedings{CSCW2004,
  title = 	 "CSCW 2004: Computer Supported Cooperative Work",
  booktitle = 	 "CSCW 2004: Computer Supported Cooperative Work",
  year = 	 2004,
  address = 	 "Chicago, IL, USA",
  month = 	 nov,
}

@Proceedings{CSJP2004,
  title = 	 "CSJP 2004: Workshop on Concurrency and Synchronization in Java Programs (CSJP)",
  booktitle = 	 "CSJP 2004: Workshop on Concurrency and Synchronization in Java Programs (CSJP)",
  year = 	 2004,
  address = 	 "St. John's, Newfoundland, Canada",
  month = 	 jul,
}

@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,
  address = 	 "New Orleans, LA, USA",
  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,
  address = 	 "Anaheim, CA, USA",
  month = 	 jun,
}

@Proceedings{Defects2009,
  title = 	 "DEFECTS: Proceedings of the 2Nd International Workshop on Defects in Large Software Systems",
  booktitle = 	 "DEFECTS: Proceedings of the 2Nd International Workshop on Defects in Large Software Systems",
  year = 	 2009,
  address = 	 "Chicago, IL, USA",
  month = 	 jul,
}

@Proceedings{RDL2004,
  title = 	 "RDL 2004: Workshop on Revival of Dynamic Languages",
  booktitle = 	 "RDL 2004: Workshop on Revival of Dynamic Languages",
  year = 	 2004,
  address = 	 "Vancouver, BC, Canada",
  month = 	 oct,
}
@Proceedings{DLS2006,
  title = 	 "DLS 2006: Dynamic Languages Symposium",
  booktitle = 	 "DLS 2006: Dynamic Languages Symposium",
  year = 	 2006,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}
@Proceedings{DLS2007,
  title = 	 "DLS 2007: Dynamic Languages Symposium",
  booktitle = 	 "DLS 2007: Dynamic Languages Symposium",
  year = 	 2007,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{DLS2008,
  title = 	 "DLS 2008: Dynamic Languages Symposium",
  booktitle = 	 "DLS 2008: Dynamic Languages Symposium",
  year = 	 2008,
  address = 	 "Pathos, Cyprus",
  month = 	 jul,
}


@Proceedings{DSN2003,
  title = 	 "DSN 2003: International Conference on Dependable Systems
                  and Networks",
  booktitle = 	 "DSN 2003: International Conference on Dependable Systems
                  and Networks",
  year = 	 2003,
  address = 	 "San Fancisco, CA, USA",
  month = 	 jun,
}
@Proceedings{DSN2008,
  title = 	 "DSN 2008: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks",
  booktitle = 	 "DSN 2008: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks",
  year = 	 2008,
  address = 	 "Achorage, AK, USA",
  month = 	 jun,
}
@Proceedings{DSN2011,
  title = 	 "DSN 2011: The 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks",
  booktitle = 	 "DSN 2011: The 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks",
  year = 	 2011,
  address = 	 "Hong Kong, China",
  month = 	 jun,
}

@Proceedings{ECBS2007,
  title = 	 "ECBS 2007: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems",
  booktitle = 	 "ECBS 2007: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems",
  year = 	 2007,
  address = 	 "Tucson, AZ, USA",
  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,
  address = 	 "Geneva, Switzerland",
  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,
  address = 	 "Utrecht, The Netherlands",
  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,
  address = 	 "Kaiserslautern, Germany",
  month = 	 jul,
}
@Proceedings{ECOOP95,
  title = 	 "ECOOP '95: the 9th European Conference on Object-Oriented Programming",
  booktitle = 	 "ECOOP '95: the 9th European Conference on Object-Oriented Programming",
  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,
  address = 	 "Linz, Austria",
  month = 	 jul,
}
@Proceedings{ECOOP97,
  title = 	 "ECOOP '97: the 11th European Conference on Object-Oriented Programming",
  booktitle = 	 "ECOOP '97: the 11th European Conference on Object-Oriented Programming",
  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,
  address = 	 "Brussels, Belgium",
  month = 	 jul,
}
@Proceedings{OOR98,
  title = 	 "ECOOP '98 Workshop on OO Reengineering",
  booktitle = 	 "ECOOP '98 Workshop on OO Reengineering",
  year = 	 1998,
  address = 	 "Brussels, Belgium",
  month = 	 jul,
}
@Proceedings{ECOOP99,
  title = 	 "ECOOP '99 --- Object-Oriented Programming, 13th European
		Conference",
  booktitle = 	 "ECOOP '99 --- Object-Oriented Programming, 13th European
		Conference",
  year = 	 1999,
  address = 	 "Lisbon, Portugal",
  month = 	 jun,
}
@Proceedings{ECOOP2001,
  title = 	 "ECOOP 2001 --- Object-Oriented Programming, 15th European
		Conference",
  booktitle = 	 "ECOOP 2001 --- Object-Oriented Programming, 15th European
		Conference",
  year = 	 2001,
  address = 	 "Budapest, Hungary",
  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,
  address = 	 "Darmstadt, Germany",
  month = 	 jul,
}
@Proceedings{ECOOP2004,
  title = 	 "ECOOP 2004 --- Object-Oriented Programming, 18th European
		Conference",
  booktitle = 	 "ECOOP 2004 --- Object-Oriented Programming, 18th European
		Conference",
  year = 	 2004,
  address = 	 "Oslo, Norway",
  month = 	 jun,
}
@Proceedings{ECOOP2005,
  title = 	 "ECOOP 2005 --- Object-Oriented Programming, 19th European
		Conference",
  booktitle = 	 "ECOOP 2005 --- Object-Oriented Programming, 19th European
		Conference",
  year = 	 2005,
  address = 	 "Glasgow, Scotland",
  month = 	 jul,
}
@Proceedings{ECOOP2006,
  title = 	 "ECOOP 2006 --- Object-Oriented Programming, 20th European
		Conference",
  booktitle = 	 "ECOOP 2006 --- Object-Oriented Programming, 20th European
		Conference",
  year = 	 2006,
  address = 	 "Nantes, France",
  month = 	 jul,
}
@Proceedings{ECOOP2007,
  title = 	 "ECOOP 2007 --- Object-Oriented Programming, 21st European
		Conference",
  booktitle = 	 "ECOOP 2007 --- Object-Oriented Programming, 21st European
		Conference",
  year = 	 2007,
  address = 	 "Berlin, Germany",
  month = 	 aug,
}
@Proceedings{ECOOP2008,
  title = 	 "ECOOP 2008 --- Object-Oriented Programming, 22nd European
		Conference",
  booktitle = 	 "ECOOP 2008 --- Object-Oriented Programming, 22nd European
		Conference",
  year = 	 2008,
  address = 	 "Paphos, Cyprus",
  month = 	 jul,
}
@Proceedings{ECOOP2009,
  title = 	 "ECOOP 2009 --- Object-Oriented Programming, 23rd European
		Conference",
  booktitle = 	 "ECOOP 2009 --- Object-Oriented Programming, 23rd European
		Conference",
  year = 	 2009,
  address = 	 "Genova, Italy",
  month = 	 jul,
}
@Proceedings{ECOOP2010,
  title = 	 "ECOOP 2010 --- Object-Oriented Programming, 24th European
		Conference",
  booktitle = 	 "ECOOP 2010 --- Object-Oriented Programming, 24th European
		Conference",
  year = 	 2010,
  address = 	 "Maribor, Svlovenia",
  month = 	 jun,
}
@Proceedings{ECOOP2011,
  title = 	 "ECOOP 2011 --- Object-Oriented Programming, 25th European
		Conference",
  booktitle = 	 "ECOOP 2011 --- Object-Oriented Programming, 25th European
		Conference",
  year = 	 2011,
  address = 	 "Lancaster, UK",
  month = 	 jul,
}
@Proceedings{ECOOP2012,
  title = 	 "ECOOP 2012 --- Object-Oriented Programming, 26th European Conference",
  booktitle = 	 "ECOOP 2012 --- Object-Oriented Programming, 26th European Conference",
  year = 	 2012,
  address = 	 "Beijing, China",
  month = 	 jun,
}
@Proceedings{ECOOP2013,
  title = 	 "ECOOP 2013 --- Object-Oriented Programming, 27th European
		Conference",
  booktitle = 	 "ECOOP 2013 --- Object-Oriented Programming, 27th European
		Conference",
  year = 	 2013,
  address = 	 "Montpellier, France",
  month = 	 jul,
}
@Proceedings{ECOOP2014,
  title = 	 "ECOOP 2014 --- Object-Oriented Programming, 28th European
		Conference",
  booktitle = 	 "ECOOP 2014 --- Object-Oriented Programming, 28th European
		Conference",
  year = 	 2014,
  address = 	 "Uppsala, Sweden",
  month = 	 jul,
}
@Proceedings{ECOOP2015,
  title = 	 "ECOOP 2015 --- Object-Oriented Programming, 29th European
		Conference",
  booktitle = 	 "ECOOP 2015 --- Object-Oriented Programming, 29th European
		Conference",
  year = 	 2015,
  address = 	 "Prague, Czech Republic",
  month = 	 jul,
}

@Proceedings{ESEM2011,
  title = 	 "ESEM 2011: Proceedings of the 2011 International Symposium on Empirical Software Engineering and Measurement",
  booktitle = 	 "ESEM 2011: Proceedings of the 2011 International Symposium on Empirical Software Engineering and Measurement",
  year = 	 2011,
  address = 	 "Banff, Alberta, Canada",
  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 2005: Proceedings of the 10th European Symposium on Research in Computer Security (LNCS 3679)",
  booktitle = 	 "ESORICS 2005: Proceedings of the 10th European Symposium on Research in Computer Security (LNCS 3679)",
  year = 	 2005,
  address = 	 "Milan, Italy",
  month = 	 sep,
}

@Proceedings{ESOP1990,
  title = 	 "ESOP 1990: 7th European Symposium on Programming",
  booktitle = 	 "ESOP 1990: 7th European Symposium on Programming",
  year = 	 1990,
  address = 	 "Copenhagen, Denmark",
  month = 	 may,
}
@Proceedings{ESOP1999,
  title = 	 "ESOP 1999: 7th European Symposium on Programming",
  booktitle = 	 "ESOP 1999: 7th European Symposium on Programming",
  year = 	 1999,
  address = 	 "Amsterdam, The Netherlands",
  month = 	 mar,
}
@Proceedings{ESOP2002,
  title = 	 "ESOP 2002: 11th European Symposium on Programming",
  booktitle = 	 "ESOP 2002: 11th European Symposium on Programming",
  year = 	 2002,
  address = 	 "Grenoble, France",
  month = 	 apr,
}
@Proceedings{ESOP2005,
  title = 	 "ESOP 2005: 14th European Symposium on Programming",
  booktitle = 	 "ESOP 2005: 14th European Symposium on Programming",
  year = 	 2005,
  address = 	 "Edinburgh, Scotland",
  month = 	 apr,
}
@Proceedings{ESOP2006,
  title = 	 "ESOP 2006: 15th European Symposium on Programming",
  booktitle = 	 "ESOP 2006: 15th European Symposium on Programming",
  year = 	 2006,
  address = 	 "Vienna, Austria",
  month = 	 mar,
}
@Proceedings{ESOP2007,
  title = 	 "ESOP 2007: 16th European Symposium on Programming",
  booktitle = 	 "ESOP 2007: 16th European Symposium on Programming",
  year = 	 2007,
  address = 	 "Braga, Portugal",
  month = 	 mar,
}
@Proceedings{ESOP2009,
  title = 	 "ESOP 2009: 18th European Symposium on Programming",
  booktitle = 	 "ESOP 2009: 18th European Symposium on Programming",
  year = 	 2009,
  address = 	 "York, UK",
  month = 	 mar,
}
@Proceedings{ESOP2013,
  title = 	 "ESOP 2013: 22nd European Symposium on Programming",
  booktitle = 	 "ESOP 2013: 22nd European Symposium on Programming",
  year = 	 2013,
  address = 	 "Rome, Italy",
  month = 	 mar,
}

@Proceedings{ECSCW2007,
  title = 	 "ECSCW 2007: European Conference on Computer Supported Cooperative Work",
  booktitle = 	 "ECSCW 2007: European Conference on Computer Supported Cooperative Work",
  year = 	 2007,
  address = 	 "Limerick, Ireland",
  month = 	 sep,
}

@Proceedings{Erlang2003,
  title = 	 "ERLANG: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang",
  booktitle = 	 "ERLANG: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang",
  year = 	 2003,
  address = 	 "Uppsala, Sweden",
  month = 	 aug,
}


@Proceedings{ETX2004,
  title = 	 "2nd Eclipse Technology Exchange Workshop (eTX)",
  booktitle = 	 "2nd Eclipse Technology Exchange Workshop (eTX)",
  year = 	 2004,
  address = 	 "Barcelona, Spain",
  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: European Conference on Parallel Processing",
  booktitle = 	 "Euro-Par: European Conference on Parallel Processing",
  year = 	 2000,
  address = 	 "Munich, Germany",
  month = 	 aug,
}

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

@Proceedings{FASE2007,
  title = 	 "FASE 2007: Fundamental Approaches to Software Engineering",
  booktitle = 	 "FASE 2007: Fundamental Approaches to Software Engineering",
  year = 	 2007,
  address = 	 "Braga, Portugal",
  month = 	 mar,
}
@Proceedings{FASE2011,
  title = 	 "FASE 2011: Fundamental Approaches to Software Engineering",
  booktitle = 	 "FASE 2011: Fundamental Approaches to Software Engineering",
  year = 	 2011,
  address = 	 "Saarbr{\"u}cken, Germany",
  month = 	 mar,
}

@Proceedings{FAST2005,
  title = 	 "FAST 2005: Third International Workshop on Formal Aspects in Security and Trust",
  booktitle = 	 "FAST 2005: Third International Workshop on Formal Aspects in Security and Trust",
  year = 	 2005,
  address = 	 "Newcastle upon Tyne, UK",
  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,
  address = 	 "Austin, Texas",
  month = 	 dec,
}

@Proceedings{FMCAD2010,
  title = 	 "FMCAD 2010: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design",
  booktitle = 	 "FMCAD 2010: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design",
  year = 	 2010,
  address = 	 "Lugano, Switzerland",
  month = 	 oct,
}

@Proceedings{FMCO2004,
  title = 	 "FMCO 2004: Third International Symposium on Formal Methods for Components and Objects",
  booktitle = 	 "FMCO 2004: Third International Symposium on Formal Methods for Components and Objects",
  year = 	 2004,
  address = 	 "Leiden, The Netherlands",
  month = 	 nov,
}
@Proceedings{FMCO2006,
  title = 	 "FMCO 2006: Fifth International Symposium on Formal Methods for Components and Objects",
  booktitle = 	 "FMCO 2006: Fifth International Symposium on Formal Methods for Components and Objects",
  year = 	 2006,
  address = 	 "Amsterdam, The Netherlands",
  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,
  address =   "Odense, Denmark",
  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,
  address = 	 "Berlin, Germany",
  month = 	 mar,
}
@Proceedings{FME2003,
  title = 	 "FME 2003: International Symposium on Formal Methods Europe",
  booktitle = 	 "FME 2003: International Symposium on Formal Methods Europe",
  year = 	 2003,
  address = 	 "Berlin, Germany",
  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,
  address = 	 "Trondheim, Norway",
  month = 	 jun,
}

@Proceedings{FMOODS2008,
  title = 	 "FMOODS 2008: 10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)",
  booktitle = 	 "FMOODS 2008: 10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)",
  year = 	 2008,
  address = 	 "Oslo, Norway",
  month = 	 jun,
}

@Proceedings{FOCS89,
  title = 	 "FOCS '89: 30th Annual Symposium on Foundations of Computer Science",
  booktitle = 	 "FOCS '89: 30th Annual Symposium on Foundations of Computer Science",
  year = 	 1989,
  address = 	 "Research Triangle Park, NC, USA",
  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,
  address = 	 "London",
  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,
  address = 	 "New Orleans, LA, USA",
  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,
  address = 	 "Long Beach, CA, USA",
  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,
  address = 	 "Houston, TX",
  month = 	 nov,
}

@Proceedings{FOSER2010,
  title = 	 "FoSER: Workshop on the Future of Software Engineering Research",
  booktitle = 	 "FoSER: Workshop on the Future of Software Engineering Research",
  year = 	 2010,
  address = 	 "Santa Fe, NM, USA",
  month = 	 nov,
}

@Proceedings{FPLCA85,
  title = 	 "Functional Programming Languages and Computer Architecture",
  booktitle = 	 "Functional Programming Languages and Computer Architecture",
  year = 	 1985,
  address = 	 "Nancy, France",
  month = 	 sep,
}
@Proceedings{FPLCA87,
  title = 	 "Functional Programming Languages and Computer Architecture",
  booktitle = 	 "Functional Programming Languages and Computer Architecture",
  year = 	 1987,
  address = 	 "Portland, OH, USA",
  month = 	 sep,
}
@Proceedings{FPLCA91,
  title = 	 "Functional Programming Languages and Computer Architecture",
  booktitle = 	 "Functional Programming Languages and Computer Architecture",
  year = 	 1991,
  address = 	 "Cambridge, MA, USA",
  month = 	 aug,
}
@Proceedings{FPCA93,
  title = 	 "Functional Programming Languages and Computer Architecture",
  booktitle = 	 "Functional Programming Languages and Computer Architecture",
  year = 	 1993,
  address = 	 "Copenhagen, Denmark",
  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,
  address = 	 "New Orleans, LA, USA",
  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,
  address = 	 "Washington, DC, USA",
  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,
  address = 	 "San Francisco, CA, USA",
  month = 	 oct,
}
@Proceedings{FSE97,
  title = 	 "ESEC/FSE '97: Proceedings of the Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering",
  booktitle = 	 "ESEC/FSE '97: Proceedings of the Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering",
  year = 	 1997,
  address = 	 Zurich,
  month = 	 sep,
}
@Proceedings{FSE98,
  title = 	 "FSE '98: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering",
  booktitle = 	 "FSE '98: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering",
  year = 	 1998,
  address = 	 "Lake Buena Vista, FL, USA",
  month = 	 nov,
}
% Identical to ESEC99
@Proceedings{FSE99,
  title = 	 "ESEC/FSE '99: Proceedings of the 7th European Software Engineering
		 Conference and the 7th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "ESEC/FSE '99: Proceedings of the 7th European Software Engineering
		 Conference and the 7th {ACM} {SIGSOFT} Symposium on the
                 Foundations of Software Engineering",
  year = 	 1999,
  address = 	 "Toulouse, France",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Vienna, Austria",
  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,
  address = 	 "Charleston, SC",
  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,
  address = 	 "Charleston, SC",
  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,
  address = 	 "Helsinki, Finland",
  month = 	 sep,
}
@Proceedings{WTISD2003,
  title = 	 "Workshop on Tool-Integration in System Development",
  booktitle = 	 "Workshop on Tool-Integration in System Development",
  year = 	 2003,
  address = 	 "Helsinki, Finland",
  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,
  address = 	 "Newport Beach, CA, USA",
  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,
  address = 	 "Lisbon, Portugal",
  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,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "Dubrovnik, Croatia",
  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,
  address = 	 "Atlanta, GA, USA",
  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,
  address = 	 "Amsterdam, The Netherlands",
  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,
  address = 	 "Santa Fe, NM, USA",
  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,
  address = 	 "Szeged, Hungary",
  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,
  address = 	 "Szeged, Hungary",
  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,
  address = 	 "Cary, NC, USA",
  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,
  address = 	 "St.\ Petersburg, Russia",
  month = 	 aug,
}
@Proceedings{FSE2014,
  title = 	 "FSE 2014: Proceedings of the {ACM} {SIGSOFT} 22nd Symposium on the
                 Foundations of Software Engineering",
  booktitle = 	 "FSE 2014: Proceedings of the {ACM} {SIGSOFT} 22nd Symposium on the
                 Foundations of Software Engineering",
  year = 	 2014,
  address = 	 "Hong Kong",
  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,
  address = 	 "Bergamo, Italy",
  month = 	 sep,
}

@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,
  address = 	 "Glasgow, Scotland",
  month = 	 jun,
}
@Proceedings{FTFJP2005,
  title = 	 "FTfJP: 7th Workshop on Formal Techniques for
                  Java-like Programs",
  booktitle = 	 "FTfJP: 7th Workshop on Formal Techniques for
                  Java-like Programs",
  year = 	 2005,
  address = 	 "Glasgow, Scotland",
  month = 	 jul,
}
@Proceedings{FTFJP2012,
  title = 	 "FTfJP: 14th Workshop on Formal Techniques for
                  Java-like Programs",
  booktitle = 	 "FTfJP: 14th Workshop on Formal Techniques for
                  Java-like Programs",
  year = 	 2012,
  address = 	 "Beijing, China",
  month = 	 jun,
}
@Proceedings{FTFJP2013,
  title = 	 "FTfJP: 14th Workshop on Formal Techniques for
                  Java-like Programs",
  booktitle = 	 "FTfJP: 14th Workshop on Formal Techniques for
                  Java-like Programs",
  year = 	 2013,
  address = 	 "Montpellier, France",
  month = 	 jul,
}

@Proceedings{FutureCSD2012,
  title = 	 "FutureCSD 2012: The Future of Collaborative Software Development",
  booktitle = 	 "FutureCSD 2012: The Future of Collaborative Software Development",
  year = 	 2012,
  address = 	 "Bellevue, WA, USA",
  month = 	 feb,
}

@Proceedings{GD2001,
  title = 	 "GD 2001: 9th International Symposium on Graph Drawing",
  booktitle = 	 "GD 2001: 9th International Symposium on Graph Drawing",
  year = 	 2001,
  address = 	 "Vienna, Austria",
  month = 	 sep,
}
@Proceedings{GD2007,
  title = 	 "GD 2007: 15th International Symposium on Graph Drawing",
  booktitle = 	 "GD 2007: 15th International Symposium on Graph Drawing",
  year = 	 2007,
  address = 	 "Sydney, Australia",
  month = 	 sep,
}

@Proceedings{GPCE2010,
  title = 	 "GPCE 2010: Proceedings of the 9th International Conference on Generative Programming and Component Engineering",
  booktitle = 	 "GPCE 2010: Proceedings of the 9th International Conference on Generative Programming and Component Engineering",
  year = 	 2010,
  address = 	 "Eindhoven, The Netherlands",
  month = 	 oct,
}

@Proceedings{HLD83,
  title =        "HLD '83: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-level Debugging",
  booktitle =    "HLD '83: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-level Debugging",
  year =         1983,
  NEEDaddress =   "*",
  NEEDmonth =     "*",
}

@Proceedings{HotMobile2011,
  title = 	 "HotMobile 2011: 12th Workshop on Mobile Computing Systems and Applications",
  booktitle = 	 "HotMobile 2011: 12th Workshop on Mobile Computing Systems and Applications",
  year = 	 2011,
  address = 	 "Phoenix, AZ, USA",
  month = 	 mar,
}

@Proceedings{ICAPS2005,
  title = 	 "ICAPS 2005: ICAPS, International Conference on Automated Planning and Scheduling",
  booktitle = 	 "ICAPS 2005: ICAPS, International Conference on Automated Planning and Scheduling",
  year = 	 2005,
  address = 	 "Monterey, CA, USA",
  month = 	 jun,
}

@Proceedings{ICECCS2002,
  title = 	 "ICECCS 2002: International Conference on Engineering of Complex
		Computer Systems",
  booktitle = 	 "ICECCS 2002: International Conference on Engineering of Complex
		Computer Systems",
  year = 	 2002,
  address = 	 "Greenbelt, MD, USA",
  month = 	 dec,
}
@Proceedings{ICECCS2005,
  title = 	 "ICECCS 2005: International Conference on Engineering of Complex
		Computer Systems",
  booktitle = 	 "ICECCS 2005: International Conference on Engineering of Complex
		Computer Systems",
  year = 	 2005,
  address = 	 "Shanghai, China",
  month = 	 jun,
}

@Proceedings{ICFEM2004,
  title = 	 "ICFEM 2004: Proceedings of the 6th International
                  Conference on Formal Engineering Methods",
  booktitle = 	 "ICFEM 2004: Proceedings of the 6th International
                  Conference on Formal Engineering Methods",
  year = 	 2004,
  address = 	 "Seattle, WA, USA",
  month = 	 nov,
}
@Proceedings{ICFEM2005,
  title = 	 "ICFEM 2005: Proceedings of the 7th International
                  Conference on Formal Engineering Methods",
  booktitle = 	 "ICFEM 2005: Proceedings of the 7th International
                  Conference on Formal Engineering Methods",
  year = 	 2005,
  address = 	 "Manchester, UK",
  month = 	 nov,
}
@Proceedings{ICFEM2006,
  title = 	 "ICFEM 2006: Proceedings of the 8th International
                  Conference on Formal Engineering Methods",
  booktitle = 	 "ICFEM 2006: Proceedings of the 8th International
                  Conference on Formal Engineering Methods",
  year = 	 2006,
  address = 	 "Macau, China",
  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,
  address = 	 "Pittsburgh, PA, USA",
  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,
  address = 	 "Uppsala, Sweden",
  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,
  address = 	 "Snowbird, UT, USA",
  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,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "Baltimore, MD, USA",
  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,
  address = 	 "Copenhagen, Denmark",
  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,
  address = 	 "Oxford, UK",
  month = 	 sep,
}

@Proceedings{ICISC2005,
  title = 	 "ICISC 2005: 8th International Conference on Information Security and Cryptology",
  booktitle = 	 "ICISC 2005: 8th International Conference on Information Security and Cryptology",
  year = 	 2005,
  address = 	 "Seoul, Korea",
  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 '96: Proceedings of the Thirteenth International Conference on Machine Learning",
  booktitle = 	 "ICML '96: Proceedings of the Thirteenth International Conference on Machine Learning",
  year = 	 1996,
  address = 	 "Bari, Italy",
  month = 	 jul,
}
@Proceedings{ICML97,
  title = 	 "ICML '97: Proceedings of the Fourteenth International Conference on Machine Learning",
  booktitle = 	 "ICML '97: Proceedings of the Fourteenth International Conference on Machine Learning",
  year = 	 1997,
  address = 	 "Nashville, TN, USA",
  month = 	 jul,
}
@Proceedings{ICML2000,
  title = 	 "ICML 2000: Proceedings of the Fourteenth International Conference on Machine Learning",
  booktitle = 	 "ICML 2000: Proceedings of the Fourteenth International Conference on Machine Learning",
  year = 	 2000,
  address = 	 "Stanford, CA, USA",
  month = 	 jun,
}


@Proceedings{ISMM2008,
  title = 	 "ISMM 2008: International Symposium on Memory Management",
  booktitle = 	 "ISMM 2008: International Symposium on Memory Management",
  year = 	 2008,
  address = 	 "Tucson, AZ, USA",
  month = 	 jun,
}


% ICPC
% WPC (workshop) came before IWPC (international workshop) came before ICPC (conference).
@Proceedings{WPC1997,
  title = 	 "WPC 1997: Proceedings of the 5th Workshop on Program Comprehension",
  booktitle = 	 "WPC 1997: Proceedings of the 5th Workshop on Program Comprehension",
  year = 	 1997,
  address = 	 "Dearborn, MI, USA",
  month = 	 may,
}
% Eventually it became an "International" workshop, hence the acronym changing. *rolleyes*
@Proceedings{IWPC2005,
  title = 	 "IWPC 2005: Proceedings of the 13th IEEE International Workshop on Program Comprehension",
  booktitle = 	 "IWPC 2005: Proceedings of the 13th IEEE International Workshop on Program Comprehension",
  year = 	 2005,
  address = 	 "St.\ Louis, MO, USA",
  month = 	 may,
}
@Proceedings{ICPC2008,
  title = 	 "ICPC 2008: Proceedings of the 16th IEEE International Conference on Program Comprehension",
  booktitle = 	 "ICPC 2008: Proceedings of the 16th IEEE International Conference on Program Comprehension",
  year = 	 2008,
  address = 	 "Amsterdam, The Netherlands",
  month = 	 jun,
}
@Proceedings{ICPC2012,
  title = 	 "ICPC 2012: Proceedings of the 20th IEEE International Conference on Program Comprehension",
  booktitle = 	 "ICPC 2012: Proceedings of the 20th IEEE International Conference on Program Comprehension",
  year = 	 2012,
  address = 	 "Passau, Bavaria, Germany",
  month = 	 jun,
}
@Proceedings{ICPC2013,
  title = 	 "ICPC 2013: Proceedings of the 21st IEEE International Conference on Program Comprehension",
  booktitle = 	 "ICPC 2013: Proceedings of the 21st IEEE International Conference on Program Comprehension",
  year = 	 2013,
  address = 	 "San Francisco, CA, USA",
  month = 	 may,
}
@Proceedings{ICPC2014,
  title = 	 "ICPC 2014: Proceedings of the 22nd IEEE International Conference on Program Comprehension",
  booktitle = 	 "ICPC 2014: Proceedings of the 22nd IEEE International Conference on Program Comprehension",
  year = 	 2014,
  address = 	 "Hyderabad, India",
  month = 	 jun,
}

@Proceedings{ICPP86,
  title =        "ICPP '86: Proceedings of the International Conference on Parallel Processing",
  booktitle =    "ICPP '86: Proceedings of the International Conference on Parallel Processing",
  year =         1986,
  address =   "University Park, PA, USA",
  month =     aug,
}
@Proceedings{ICPP88,
  title =        "ICPP '88: Proceedings of the International Conference on Parallel Processing",
  booktitle =    "ICPP '88: Proceedings of the International Conference on Parallel Processing",
  year =         1988,
  address =   "University Park, PA, USA",
  month =     aug,
}

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

@Proceedings{IPPS94,
  title =        "IPPS '94: Proceedings of 8th International Parallel Processing Symposium",
  booktitle =    "IPPS '94: Proceedings of 8th International Parallel Processing Symposium",
  year =         1994,
  address =   "Canc{\'u}n, Mexico",
  month =     apr,
}
@Proceedings{ICSE78,
  title = 	 "ICSE '78: Proceedings of the 3rd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '78: Proceedings of the 3rd International Conference on
                 Software Engineering",
  year = 	 1978,
  address = 	 "Atlanta, GA, USA",
  month = 	 may,
}
@Proceedings{ICSE79,
  title = 	 "ICSE '79: Proceedings of the 3rd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '79: Proceedings of the 3rd International Conference on
                 Software Engineering",
  year = 	 1979,
  address = 	 "Munich, Germany",
  month = 	 sep,
}
@Proceedings{ICSE81,
  title = 	 "ICSE '81: Proceedings of the 5th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '81: Proceedings of the 5th International Conference on
                 Software Engineering",
  year = 	 1981,
  address = 	 "San Diego, CA, USA",
  month = 	 mar,
}
@Proceedings{ICSE85,
  title = 	 "ICSE '85: Proceedings of the 8rd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '85: Proceedings of the 8rd International Conference on
                 Software Engineering",
  year = 	 1985,
  address = 	 "London",
  month = 	 aug,
}
@Proceedings{ICSE89,
  title = 	 "ICSE '89: Proceedings of the 11th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '89: Proceedings of the 11th International Conference on
                 Software Engineering",
  year = 	 1989,
  address = 	 "Pittsburgh, PA, USA",
  month = 	 may,
}
@Proceedings{ICSE92,
  title = 	 "ICSE '92: Proceedings of the 14th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '92: Proceedings of the 14th International Conference on
                 Software Engineering",
  year = 	 1992,
  address = 	 "Melbourne, Australia",
  month = 	 may,
}
@Proceedings{ICSE94,
  title = 	 "ICSE '94: Proceedings of the 16th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '94: Proceedings of the 16th International Conference on
                 Software Engineering",
  year = 	 1994,
  address = 	 "Sorrento, Italy",
  month = 	 may,
}
@Proceedings{ICSE95,
  title = 	 "ICSE '95: Proceedings of the 15th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '95: Proceedings of the 15th International Conference on
                 Software Engineering",
  year = 	 1995,
  address = 	 "Sorrento, Italy",
  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,
  address = 	 "Berlin, Germany",
  month = 	 mar,
}
@Proceedings{ICSE97,
  title = 	 "ICSE '97: Proceedings of the 19th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '97: Proceedings of the 19th International Conference on
                 Software Engineering",
  year = 	 1997,
  address = 	 "Boston, MA",
  month = 	 may,
}
@Proceedings{PMESSE97,
  title = 	 "PMSESSE: Workshop on Process Modelling and Empirical Studies of Software Engineering",
  booktitle = 	 "PMSESSE: Workshop on Process Modelling and Empirical Studies of Software Engineering",
  year = 	 1997,
  address = 	 "Boston, MA",
  month = 	 may,
}
@Proceedings{ICSE98,
  title = 	 "ICSE '98: Proceedings of the 20th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '98: Proceedings of the 20th International Conference on
                 Software Engineering",
  year = 	 1998,
  address = 	 "Kyoto, Japan",
  month = 	 apr,
}
@Proceedings{ICSE99,
  title = 	 "ICSE '99: Proceedings of the 21st International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE '99: Proceedings of the 21st International Conference on
                 Software Engineering",
  year = 	 1999,
  address = 	 "Los Angeles, CA, USA",
  month = 	 may,
}
@Proceedings{ICSEDS99,
  title = 	 "ICSE '99 Doctoral Workshop",
  booktitle = 	 "ICSE '99 Doctoral Workshop",
  year = 	 1999,
  address = 	 "Los Angeles, CA, USA",
  month = 	 may,
}
@Proceedings{ICSE2000,
  title = 	 "ICSE 2000, Proceedings of the 22nd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2000, Proceedings of the 22nd International Conference on
                 Software Engineering",
  year = 	 2000,
  address = 	 "Limerick, Ireland",
  month = 	 jun,
}
@Proceedings{ICSE2001,
  title = 	 "ICSE 2001, Proceedings of the 23rd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2001, Proceedings of the 23rd International Conference on
                 Software Engineering",
  year = 	 2001,
  address = 	 Montreal,
  month = 	 may,
}
@Proceedings{ICSE2002,
  title = 	 "ICSE 2002, Proceedings of the 24th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2002, Proceedings of the 24th International Conference on
                 Software Engineering",
  year = 	 2002,
  address = 	 "Orlando, Florida",
  month = 	 may,
}
@Proceedings{ICSE2003,
  title = 	 "ICSE 2003, Proceedings of the 25th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2003, Proceedings of the 25th International Conference on
                 Software Engineering",
  year = 	 2003,
  address = 	 "Portland, Oregon",
  month = 	 may,
}
@Proceedings{ICSE2004,
  title = 	 "ICSE 2004, Proceedings of the 26th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2004, Proceedings of the 26th International Conference on
                 Software Engineering",
  year = 	 2004,
  address = 	 "Edinburgh, Scotland",
  month = 	 may,
}
@Proceedings{ICSEDS2004,
  title = 	 "ICSE 2004 Doctoral Symposium",
  booktitle = 	 "ICSE 2004 Doctoral Symposium",
  year = 	 2004,
  address = 	 "Edinburgh, Scotland",
  month = 	 may,
}
@Proceedings{ICSE2005,
  title = 	 "ICSE 2005, Proceedings of the 27th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2005, Proceedings of the 27th International Conference on
                 Software Engineering",
  year = 	 2005,
  address = 	 "St.\ Louis, MO, USA",
  month = 	 may,
}
@Proceedings{ICSE2005education,
  title =        "ICSE Education and Training Track: Software Engineering Education in the Modern Age: Challenges and Possibilities, PostProceedings of ICSE '05 Education and Training Track",
  booktitle =    "ICSE Education and Training Track: Software Engineering Education in the Modern Age: Challenges and Possibilities, PostProceedings of ICSE '05 Education and Training Track",
  year =         2005,
  address = 	 "St.\ Louis, MO, USA",
  month = 	 may,
}
@Proceedings{ICSE2006,
  title = 	 "ICSE 2006, Proceedings of the 28th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2006, Proceedings of the 28th International Conference on
                 Software Engineering",
  year = 	 2006,
  address = 	 "Shanghai, China",
  month = 	 may,
}
@Proceedings{ICSE2007,
  title = 	 "ICSE 2007, Proceedings of the 29th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2007, Proceedings of the 29th International Conference on
                 Software Engineering",
  year = 	 2007,
  address = 	 "Minneapolis, MN, USA",
  month = 	 may,
}
@Proceedings{ICSE2008,
  title = 	 "ICSE 2008, Proceedings of the 30th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2008, Proceedings of the 30th International Conference on
                 Software Engineering",
  year = 	 2008,
  address = 	 "Leipzig, Germany",
  month = 	 may,
}
@Proceedings{ICSE2009,
  title = 	 "ICSE 2009, Proceedings of the 31st International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2009, Proceedings of the 31st International Conference on
                 Software Engineering",
  year = 	 2009,
  address = 	 "Vancouver, BC, Canada",
  month = 	 may,
}
@Proceedings{ICSE2010,
  title = 	 "ICSE 2010, Proceedings of the 32nd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2010, Proceedings of the 32nd International Conference on
                 Software Engineering",
  year = 	 2010,
  address = 	 "Cape Town, South Africa",
  month = 	 may,
}
@Proceedings{ICSE2011,
  title = 	 "ICSE 2011, Proceedings of the 33rd International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2011, Proceedings of the 33rd International Conference on
                 Software Engineering",
  year = 	 2011,
  address = 	 "Waikiki, Hawaii, USA",
  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,
  address = 	 "Waikiki, Hawaii, USA",
  month = 	 may,
}
@Proceedings{ICSE2012,
  title = 	 "ICSE 2011, Proceedings of the 34th International Conference on Software Engineering",
  booktitle = 	 "ICSE 2011, Proceedings of the 34th International Conference on Software Engineering",
  year = 	 2012,
  address = 	 "Z{\"u}rich, Switzerland",
  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,
  address = 	 "Z{\"u}rich, Switzerland",
  month = 	 jun,
}
@Proceedings{ICSE2013,
  title = 	 "ICSE 2013, Proceedings of the 35th International Conference on
                 Software Engineering",
  booktitle = 	 "ICSE 2013, Proceedings of the 35th International Conference on
                 Software Engineering",
  year = 	 2013,
  address = 	 "San Francisco, CA, USA",
  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,
  address = 	 "San Francisco, CA, USA",
  month = 	 may,
}
@Proceedings{ICSE2014,
  title = 	 "ICSE 2014, Proceedings of the 36th International Conference on Software Engineering",
  booktitle = 	 "ICSE 2014, Proceedings of the 36th International Conference on Software Engineering",
  year = 	 2014,
  address = 	 "Hyderabad, India",
  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,
  address = 	 "Hyderabad, India",
  month = 	 jun,
}
@Proceedings{ICSE2015,
  title = 	 "ICSE 2015, Proceedings of the 37th International Conference on Software Engineering",
  booktitle = 	 "ICSE 2015, Proceedings of the 37th International Conference on Software Engineering",
  year = 	 2015,
  address = 	 "Florence, Italy",
  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,
  address = 	 "Florence, Italy",
  month = 	 may,
}
@Proceedings{ICSE2016,
  title = 	 "ICSE 2016, Proceedings of the 38th International Conference on Software Engineering",
  booktitle = 	 "ICSE 2016, Proceedings of the 38th International Conference on Software Engineering",
  year = 	 2016,
  address = 	 "Austin, TX, USA",
  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,
  address = 	 "Austin, TX, USA",
  month = 	 may,
}
@Proceedings{ICSE2017,
  title = 	 "ICSE 2017, Proceedings of the 39th International Conference on Software Engineering",
  booktitle = 	 "ICSE 2017, Proceedings of the 39th International Conference on Software Engineering",
  year = 	 2017,
  address = 	 "Buenos Aires, Argentina",
  month = 	 may,
}

% Note that in 1989, International was not in the title.
@Proceedings{ICSM89,
  title = 	 "ICSM '89: Proceedings of the Conference on Software Maintenance",
  booktitle = 	 "ICSM '89: Proceedings of the Conference on Software Maintenance",
  year = 	 1989,
  address = 	 "Miami, FL",
  month = 	 oct,
}
@Proceedings{ICSM93,
  title = 	 "ICSM '93: Proceedings of the Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM '93: Proceedings of the Conference on
                 Software Maintenance",
  year = 	 1993,
  address = 	 "Montr{\'e}al, Quebec, Canada",
  month = 	 sep,
}
@Proceedings{ICSM96,
  title = 	 "ICSM '96: Proceedings of the International Conference on Software
                 Maintenance",
  booktitle = 	 "ICSM '96: Proceedings of the International Conference on Software
                 Maintenance",
  year = 	 1996,
  address = 	 "Monterey, CA, USA",
  month = 	 nov,
}
@Proceedings{ICSM98,
  title = 	 "ICSM '98: Proceedings of the International Conference on Software
                 Maintenance",
  booktitle = 	 "ICSM '98: Proceedings of the International Conference on Software
                 Maintenance",
  year = 	 1998,
  address = 	 "Bethesda, MD, USA",
  month = 	 nov,
}
@Proceedings{ICSM99,
  title = 	 "ICSM '99: Proceedings of the International Conference on Software
                 Maintenance",
  booktitle = 	 "ICSM '99: Proceedings of the International Conference on Software
                 Maintenance",
  year = 	 1999,
  address = 	 "Oxford, England",
  month = 	 aug,
}
@Proceedings{ICSM2000,
  title = 	 "ICSM 2000: Proceedings of the International Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM 2000: Proceedings of the International Conference on
                 Software Maintenance",
  year = 	 2000,
  address = 	 "San Jose, California",
  month = 	 oct,
}
@Proceedings{ICSM2001,
  title = 	 "ICSM 2001: Proceedings of the International Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM 2001: Proceedings of the International Conference on
                 Software Maintenance",
  year = 	 2001,
  address = 	 "Florence, Italy",
  month = 	 nov,
}
@Proceedings{ICSM2002,
  title = 	 "ICSM 2002: Proceedings of the International Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM 2002: Proceedings of the International Conference on
                 Software Maintenance",
  year = 	 2002,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{ICSM2004,
  title = 	 "ICSM 2004: Proceedings of the International Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM 2004: Proceedings of the International Conference on
                 Software Maintenance",
  year = 	 2004,
  address = 	 "Chicago, Illinois",
  month = 	 sep,
}
@Proceedings{ICSM2005,
  title = 	 "ICSM 2005: Proceedings of the International Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM 2005: Proceedings of the International Conference on
                 Software Maintenance",
  year = 	 2005,
  address = 	 "Budapest, Hungary",
  month = 	 sep,
}
@Proceedings{ICSM2007,
  title = 	 "ICSM 2007: Proceedings of the International Conference on
                 Software Maintenance",
  booktitle = 	 "ICSM 2007: Proceedings of the International Conference on
                 Software Maintenance",
  year = 	 2007,
  address = 	 "Paris, France",
  month = 	 oct,
}
@Proceedings{ICSM2009,
  title = 	 "ICSM 2009: 25th IEEE International Conference on Software Maintenance",
  booktitle = 	 "ICSM 2009: 25th IEEE International Conference on Software Maintenance",
  year = 	 2009,
  address = 	 "Edmonton, Alberta, Canada",
  month = 	 sep,
}
@Proceedings{ICSM2010,
  title = 	 "ICSM 2010: 26th IEEE International Conference on Software Maintenance",
  booktitle = 	 "ICSM 2010: 26th IEEE International Conference on Software Maintenance",
  year = 	 2010,
  address = 	 "Timi\c{s}oara, Romania",
  month = 	 sep,
}
@Proceedings{ICSM2013,
  title = 	 "ICSM 2013: 29th IEEE International Conference on Software Maintenance",
  booktitle = 	 "ICSM 2013: 29th IEEE International Conference on Software Maintenance",
  year = 	 2013,
  address = 	 "Eindhoven, The Netherlands",
  month = 	 sep,
}

@Proceedings{ICST2011,
  title = 	 "ICST 2011: Fourth International Conference on Software Testing, Verification and Validation (ICST)",
  booktitle = 	 "ICST 2011: Fourth International Conference on Software Testing, Verification and Validation (ICST)",
  year = 	 2011,
  address = 	 "Berlin, Germany",
  month = 	 mar,
}
@Proceedings{ICST2012,
  title = 	 "ICST 2012: Fifth International Conference on Software Testing, Verification and Validation (ICST)",
  booktitle = 	 "ICST 2012: Fifth International Conference on Software Testing, Verification and Validation (ICST)",
  year = 	 2012,
  address = 	 Montreal,
  month = 	 apr,
}
@Proceedings{ICST2013,
  title = 	 "ICST 2013: Sixth International Conference on Software Testing, Verification and Validation (ICST)",
  booktitle = 	 "ICST 2013: Sixth International Conference on Software Testing, Verification and Validation (ICST)",
  year = 	 2013,
  address = 	 "Luxembourg",
  month = 	 apr,
}
@Proceedings{ICST2014,
  title = 	 "ICST 2014: Seventh International Conference on Software Testing, Verification and Validation (ICST)",
  booktitle = 	 "ICST 2014: Seventh International Conference on Software Testing, Verification and Validation (ICST)",
  year = 	 2014,
  address = 	 "Cleveland, OH, USA",
  month = 	 apr,
}
@Proceedings{ICST2015,
  title = 	 "ICST 2015: 8th International Conference on Software Testing, Verification and Validation (ICST)",
  booktitle = 	 "ICST 2015: 8th International Conference on Software Testing, Verification and Validation (ICST)",
  year = 	 2015,
  address = 	 "Graz, Austria",
  month = 	 apr,
}

@Proceedings{ICWS2004,
  title = 	 "ICWS 2004: IEEE International Conference on Web Services (ICWS'2004)",
  booktitle = 	 "ICWS 2004: IEEE International Conference on Web Services (ICWS'2004)",
  year = 	 2004,
  address = 	 "San Diego, California, USA",
  month = 	 jul,
}

@Proceedings{ISESE2006,
  title = 	 "ISESE 2006: International Symposium on Empirical Software Engineering",
  booktitle = 	 "ISESE 2006: International Symposium on Empirical Software Engineering",
  year = 	 2006,
  address = 	 "Rio de Janeiro, Brazil",
  month = 	 sep,
}

@Proceedings{ISWC2002,
  title = 	 "ISWC 2002: First International Semantic Web Conference",
  booktitle = 	 "ISWC 2002: First International Semantic Web Conference",
  year = 	 2002,
  address = 	 "Sardinia, Italy",
  month = 	 jun,
}
@Proceedings{ISWC2004,
  title = 	 "ISWC 2004: First International Semantic Web Conference",
  booktitle = 	 "ISWC 2004: First International Semantic Web Conference",
  year = 	 2004,
  address = 	 "Hiroshima, Japan",
  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,
  address = 	 "Stanford, CA",
  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,
  address = 	 "Sydney, Australia",
  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,
  address = 	 "Nagoya, Aichi, Japan",
  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,
  address =   "Boston, MA, USA",
  month =     jul,
}

@Proceedings{InfoVis1995,
  title = 	 "InfoVis 1995: Proceedings of the First Information Visualization Symposium",
  booktitle = 	 "InfoVis 1995: Proceedings of the First Information Visualization Symposium",
  year = 	 1995,
  address = 	 "Atlanta, GA, USA",
  month = 	 oct,
}

@Proceedings{IP71,
  title = 	 "Information Processing 71: Proceedings of IFIP Congress 71",
  booktitle = 	 "Information Processing 71: Proceedings of IFIP Congress 71",
  year = 	 1971,
  address = 	 "Ljubljana, Yugoslavia",
  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,
  address = 	 "Nice, France",
  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,
  address = 	 "Queensland, Australia",
  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,
  address = 	 "Chicago, IL, USA",
  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,
  address = 	 "Denver, CO",
  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,
  address = 	 "Atlanta, GA, USA",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Madison, WI, USA",
  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,
  address = 	 "Paphos, Cyprus",
  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,
  address = 	 "Toulouse, France",
  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,
  address = 	 "Albuquerque, NM",
  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,
  address = 	 "Denver, CO",
  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,
  address = 	 "Denver, CO",
  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,
  address = 	 "Saint-Malo, France",
  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,
  address = 	 "Trollh{\"a}ttan, Sweden",
  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,
  address = 	 "Naples, Italy",
  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,
  address = 	 "Arlington, VA, USA",
  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 '93: Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA '93: Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis",
  year = 	 1993,
  address = 	 "Cambridge, MA, USA",
  month = 	 jun,
}
@Proceedings{ISSTA94,
  title = 	 "ISSTA '94: Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA '94: Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis",
  year = 	 1994,
  address = 	 "Seattle, WA, USA",
  month = 	 aug,
}
@Proceedings{ISSTA96,
  title = 	 "ISSTA '96: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA '96: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis",
  year = 	 1996,
  address = 	 "Mission Beach, CA, USA",
  month = 	 jan,
}
@Proceedings{ISSTA98,
  title = 	 "ISSTA '98: Proceedings of the 1998 ACM SIGSOFT International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA '98: Proceedings of the 1998 ACM SIGSOFT International
                  Symposium on Software Testing and Analysis",
  year = 	 1998,
  address = 	 "Clearwater Beach, FL, USA",
  month = 	 mar,
}
@Proceedings{ISSTA2000,
  title = 	 "ISSTA 2000, Proceedings of the 2000 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2000, Proceedings of the 2000 International
                  Symposium on Software Testing and Analysis",
  year = 	 2000,
  address = 	 "Portland, OR, USA",
  month = 	 aug,
}
@Proceedings{ISSTA2002,
  title = 	 "ISSTA 2002, Proceedings of the 2002 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2002, Proceedings of the 2002 International
                  Symposium on Software Testing and Analysis",
  year = 	 2002,
  address = 	 "Rome, Italy",
  month = 	 jul,
}
@Proceedings{ISSTA2004,
  title = 	 "ISSTA 2004, Proceedings of the 2004 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2004, Proceedings of the 2004 International
                  Symposium on Software Testing and Analysis",
  year = 	 2004,
  address = 	 "Boston, MA, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2006,
  title = 	 "ISSTA 2006, Proceedings of the 2006 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2006, Proceedings of the 2006 International
                  Symposium on Software Testing and Analysis",
  year = 	 2006,
  address = 	 "Portland, ME, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2007,
  title = 	 "ISSTA 2006, Proceedings of the 2007 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2006, Proceedings of the 2007 International
                  Symposium on Software Testing and Analysis",
  year = 	 2007,
  address = 	 "London, UK",
  month = 	 jul,
}
@Proceedings{ISSTA2008,
  title = 	 "ISSTA 2008, Proceedings of the 2008 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2008, Proceedings of the 2008 International
                  Symposium on Software Testing and Analysis",
  year = 	 2008,
  address = 	 "Seattle, WA, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2009,
  title = 	 "ISSTA 2009, Proceedings of the 2009 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2009, Proceedings of the 2009 International
                  Symposium on Software Testing and Analysis",
  year = 	 2009,
  address = 	 "Chicago, IL, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2010,
  title = 	 "ISSTA 2010, Proceedings of the 2010 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2010, Proceedings of the 2010 International
                  Symposium on Software Testing and Analysis",
  year = 	 2010,
  address = 	 "Trento, Italy",
  month = 	 jul,
}
@Proceedings{ISSTA2011,
  title = 	 "ISSTA 2011, Proceedings of the 2011 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2011, Proceedings of the 2011 International
                  Symposium on Software Testing and Analysis",
  year = 	 2011,
  address = 	 "Toronto, Canada",
  month = 	 jul,
}
@Proceedings{ISSTA2012,
  title = 	 "ISSTA 2012, Proceedings of the 2012 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2012, Proceedings of the 2012 International
                  Symposium on Software Testing and Analysis",
  year = 	 2012,
  address = 	 "Minneapolis, MN, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2013,
  title = 	 "ISSTA 2013, Proceedings of the 2013 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2013, Proceedings of the 2013 International
                  Symposium on Software Testing and Analysis",
  year = 	 2013,
  address = 	 "Lugano, Switzerland",
  month = 	 jul,
}
@Proceedings{ISSTA2014,
  title = 	 "ISSTA 2014, Proceedings of the 2014 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2014, Proceedings of the 2014 International
                  Symposium on Software Testing and Analysis",
  year = 	 2014,
  address = 	 "San Jose, CA, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2015,
  title = 	 "ISSTA 2015, Proceedings of the 2015 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2015, Proceedings of the 2015 International
                  Symposium on Software Testing and Analysis",
  year = 	 2015,
  address = 	 "Baltimore, MD, USA",
  month = 	 jul,
}
@Proceedings{ISSTA2016,
  title = 	 "ISSTA 2016, Proceedings of the 2016 International
                  Symposium on Software Testing and Analysis",
  booktitle = 	 "ISSTA 2016, Proceedings of the 2016 International
                  Symposium on Software Testing and Analysis",
  year = 	 2016,
  address = 	 "Saarbr{\"u}cken, Genmany",
  month = 	 jul,
}

@Proceedings{IVME2003,
  title = 	 "IVME 2003: ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators",
  booktitle = 	 "IVME 2003: ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators",
  year = 	 2003,
  address = 	 "San Diego, California, USA",
  month = 	 jun,
}

@Proceedings{IWAOOS99,
  title = 	 "IWAOOS '99: Interontinental Workshop on Aliasing in Object-Oriented Systems",
  booktitle = 	 "IWAOOS '99: Interontinental Workshop on Aliasing in Object-Oriented Systems",
  year = 	 1999,
  address = 	 "Lisbon, Portugal",
  month = 	 jun,
}

@Proceedings{IWACO2007,
  title = 	 "IWACO 2007: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming",
  booktitle = 	 "IWACO 2007: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming",
  year = 	 2007,
  address = 	 "Berlin, Germany",
  month = 	 jul,
}
@Proceedings{IWACO2009,
  title = 	 "IWACO 2009: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming",
  booktitle = 	 "IWACO 2009: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming",
  year = 	 2009,
  address = 	 "Genova, Italy",
  month = 	 jul,
}

@Proceedings{JavaGrande2002,
  title = 	 "Java Grande: Joint ACM-ISCOPE Java Grande Conference",
  booktitle = 	 "Java Grande: Joint ACM-ISCOPE Java Grande Conference",
  year = 	 2002,
  address = 	 "Seattle, WA",
  month = 	 nov,
}

@Proceedings{JTRES2010,
  title = 	 "JTRES 2010: 8th International Workshop on Java Technologies for Real-time and Embedded Systems",
  booktitle = 	 "JTRES 2010: 8th International Workshop on Java Technologies for Real-time and Embedded Systems",
  year = 	 2010,
  address = 	 "Prague, Czech Republic",
  month = 	 aug,
}

@Proceedings{LCPC2003,
  title = 	 "LCPC 2003: 16th International Workshop on Languages and Compilers for Parallel Computing",
  booktitle = 	 "LCPC 2003: 16th International Workshop on Languages and Compilers for Parallel Computing",
  year = 	 2003,
  address = 	 "College Station, TX, USA",
  month = 	 oct,
}

@Proceedings{LCTES98,
  title = 	 "LCTES '98: ACP SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems",
  booktitle = 	 "LCTES '98: ACP SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems",
  year = 	 1998,
  address = 	 Montreal,
  month = 	 jun,
}

@Proceedings{LFP90,
  title = 	 "LFP '90: Proceedings of the 1990 ACM Conference on LISP and Functional Programming",
  booktitle = 	 "LFP '90: Proceedings of the 1990 ACM Conference on LISP and Functional Programming",
  year = 	 1990,
  address = 	 "Nice, France",
  month = 	 jun,
}
@Proceedings{LFP92,
  title = 	 "LFP '92: Proc. 1992 ACM Conf. on Lisp and Functional Programming",
  booktitle = 	 "LFP '92: Proc. 1992 ACM Conf. on Lisp and Functional Programming",
  year = 	 1992,
  address = 	 "San Francisco, CA, USA",
  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,
  address = 	 "Santa Cruz, CA",
  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,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}

@Proceedings{LPAR2010,
  title = 	 "LPAR 2010: Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning",
  booktitle = 	 "LPAR 2010: Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning",
  year = 	 2010,
  address = 	 "Dakar, Senegal",
  month = 	 apr,
}
@Proceedings{LPAR2015,
  title = 	 "LPAR 2015: Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning",
  booktitle = 	 "LPAR 2015: Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning",
  year = 	 2015,
  address = 	 "Suva, Fiji",
  month = 	 nov,
}

@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,
  address = 	 "South Orange, NJ",
  month = 	 apr,
}

@Proceedings{MEMOCODE2004,
  title = 	 "MEMOCODE 2004: Second ACM-IEEE International
                  Conference on Formal Methods and Models for Codesign",
  booktitle = 	 "MEMOCODE 2004: Second ACM-IEEE International
                  Conference on Formal Methods and Models for Codesign",
  year = 	 2004,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "San Jose, CA, USA",
  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,
  address = 	 "Paris, France",
  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,
  address = 	 "Research Triangle Park, NC, USA",
  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,
  address = 	 "Haifa, Israel",
  month = 	 nov,
}
@Proceedings{MICRO2004,
  title = 	 "MICRO-37: Proceedings of the 37th Annual {IEEE}/{ACM} International Symposium on Microarchitecture",
  booktitle = 	 "MICRO-37: Proceedings of the 37th Annual {IEEE}/{ACM} International Symposium on Microarchitecture",
  year = 	 2004,
  address = 	 "Portland, OR, USA",
  month = 	 dec,
}
@Proceedings{MICRO2006,
  title = 	 "MICRO-39: Proceedings of the 39th Annual {IEEE}/{ACM} International Symposium on Microarchitecture",
  booktitle = 	 "MICRO-39: Proceedings of the 39th Annual {IEEE}/{ACM} International Symposium on Microarchitecture",
  year = 	 2006,
  address = 	 "Orlando, FL, USA",
  month = 	 dec,
}

@Proceedings{ML2006,
  title = 	 "ML 2006: Proceedings of the 2006 workshop on ML",
  booktitle = 	 "ML 2006: Proceedings of the 2006 workshop on ML",
  year = 	 2006,
  address = 	 "Portland, OR, USA",
  month = 	 sep,
}

@Proceedings{MobiSys2011,
  title = 	 "MobiSys 2011: Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services",
  booktitle = 	 "MobiSys 2011: Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services",
  year = 	 2011,
  address = 	 "Bethesda, MD, USA",
  month = 	 jun,
}
@Proceedings{MobiSys2012,
  title = 	 "MobiSys 2012: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services",
  booktitle = 	 "MobiSys 2012: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services",
  year = 	 2012,
  address = 	 "Low Wood Bay, UK",
  month = 	 jun,
}

@Proceedings{MSR2007,
  title = 	 "MSR 2007: International Workshop on Mining Software Repositories",
  booktitle = 	 "MSR 2007: International Workshop on Mining Software Repositories",
  year = 	 2007,
  address = 	 "Minneapolis, MN, USA",
  month = 	 may,
}
@Proceedings{MSR2008,
  title = 	 "MSR 2008: 5th Working Conference on Mining Software Repositories",
  booktitle = 	 "MSR 2008: 5th Working Conference on Mining Software Repositories",
  year = 	 2008,
  address = 	 "Leipzig, Germany",
  month = 	 may,
}
@Proceedings{MSR2013,
  title = 	 "MSR 2013: 10th Working Conference on Mining Software Repositories",
  booktitle = 	 "MSR 2013: 10th Working Conference on Mining Software Repositories",
  year = 	 2013,
  address = 	 "San Francisco, CA, USA",
  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,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}

@Proceedings{NDSS2005,
  title = 	 "NDSS 2005: Annual Symposium on Network and Distributed System Security",
  booktitle = 	 "NDSS 2005: Annual Symposium on Network and Distributed System Security",
  year = 	 2005,
  address = 	 "San Diego, CA, USA",
  month = 	 feb,
}
@Proceedings{NDSS2006,
  title = 	 "NDSS 2006: 13th Annual Symposium on Network and Distributed System Security",
  booktitle = 	 "NDSS 2006: 13th Annual Symposium on Network and Distributed System Security",
  year = 	 2006,
  address = 	 "San Diego, CA, USA",
  month = 	 feb,
}
@Proceedings{NDSS2011,
  title = 	 "NDSS 2011: 18th Annual Symposium on Network and Distributed System Security",
  booktitle = 	 "NDSS 2011: 18th Annual Symposium on Network and Distributed System Security",
  year = 	 2011,
  address = 	 "San Diego, CA, USA",
  month = 	 feb,
}
@Proceedings{NDSS2012,
  title = 	 "NDSS 2012: 18th Annual Symposium on Network and Distributed System Security",
  booktitle = 	 "NDSS 2012: 18th Annual Symposium on Network and Distributed System Security",
  year = 	 2012,
  address = 	 "San Diego, CA, USA",
  month = 	 feb,
}

@Proceedings{NetPL2016,
  title = 	 "NetPL 2016: ACM SIGCOMM Workshop on Networking and Programming Languages (NetPL 2016)",
  booktitle = 	 "NetPL 2016: ACM SIGCOMM Workshop on Networking and Programming Languages (NetPL 2016)",
  year = 	 2016,
  address = 	 "Florian\'{o}polis, Brazil",
  month = 	 aug,
}

@Proceedings{NFM2016,
  title = 	 "NFM 2016: 8th NASA Formal Methods Symposium",
  booktitle = 	 "NFM 2016: 8th NASA Formal Methods Symposium",
  year = 	 2016,
  address = 	 "Minneapolis, MN, USA",
  month = 	 jun,
}

@Proceedings{NSDI2007,
  title = 	 "NSDI 2007: 4th USENIX Symposium on Networked Systems Design and Implementation",
  booktitle = 	 "NSDI 2007: 4th USENIX Symposium on Networked Systems Design and Implementation",
  year = 	 2007,
  address = 	 "Cambridge, MA, USA",
  month = 	 apr,
}
@Proceedings{NSDI2010,
  title = 	 "NSDI 2010: 7th USENIX Symposium on Networked Systems Design and Implementation",
  booktitle = 	 "NSDI 2010: 7th USENIX Symposium on Networked Systems Design and Implementation",
  year = 	 2010,
  address = 	 "San Jose, CA, USA",
  month = 	 apr,
}
@Proceedings{NSDI2011,
  title = 	 "NSDI 2011: 8th USENIX Symposium on Networked Systems Design and Implementation",
  booktitle = 	 "NSDI 2011: 8th USENIX Symposium on Networked Systems Design and Implementation",
  year = 	 2011,
  address = 	 "Boston, MA, USA",
  month = 	 mar,
}
@Proceedings{NSDI2014,
  title = 	 "NSDI 2014: 11th USENIX Symposium on Networked Systems Design and Implementation",
  booktitle = 	 "NSDI 2014: 11th USENIX Symposium on Networked Systems Design and Implementation",
  year = 	 2014,
  address = 	 "Seattle, WA, USA",
  month = 	 apr,
}

@Proceedings{NSPW99,
  title = 	 "NSPW '99: Proceedings of the 1999 New Security Paradigms Workshop",
  booktitle = 	 "NSPW '99: Proceedings of the 1999 New Security Paradigms Workshop",
  year = 	 1999,
  address = 	 "Caledon Hills, ON, Canada",
  month = 	 sep,
}
@Proceedings{NSPW2003,
  title = 	 "NSPW 2003: Proceedings of the 2003 New Security Paradigms Workshop",
  booktitle = 	 "NSPW 2003: Proceedings of the 2003 New Security Paradigms Workshop",
  year = 	 2003,
  address = 	 "Ascona, Switzerland",
  month = 	 aug,
}

@Proceedings{OOPSLA86,
  title = 	 "OOPSLA '86: Conference on Object-Oriented Programming Systems, Languages and Applications",
  booktitle = 	 "OOPSLA '86: Conference on Object-Oriented Programming Systems, Languages and Applications",
  year = 	 1986,
  address = 	 "Portland, OR, USA",
  month = 	 sep,
}
@Proceedings{OOPSLA87,
  title = 	 "OOPSLA '87: Conference on Object-Oriented Programming Systems, Languages and Applications",
  booktitle = 	 "OOPSLA '87: Conference on Object-Oriented Programming Systems, Languages and Applications",
  year = 	 1987,
  address = 	 "Orlando, FL, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA89,
  title = 	 "OOPSLA '89: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '89: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1989,
  address = 	 "New Orleans, LA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA90,
  title = 	 "OOPSLA/ECOOP '90: Conference on Object-Oriented Programming, Systems, Languages, and Applications and 4th European Conference on Object-Oriented Programming",
  booktitle = 	 "OOPSLA/ECOOP '90: Conference on Object-Oriented Programming, Systems, Languages, and Applications and 4th European Conference on Object-Oriented Programming",
  year = 	 1990,
  address = 	 "Ottawa, Canada",
  month = 	 oct,
}
@Proceedings{OOPSLA91,
  title = 	 "OOPSLA '91: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '91: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1991,
  address = 	 "Phoeniz, AZ, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA93,
  title = 	 "OOPSLA '93: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '93: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1993,
  address = 	 "Washington, DC, USA",
  month = 	 sep,
}
@Proceedings{OOPSLA94,
  title = 	 "OOPSLA '94: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '94: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1994,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA95,
  title = 	 "OOPSLA '95: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '95: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1995,
  address = 	 "Austin, TX, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA96,
  title = 	 "OOPSLA '96: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '96: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1996,
  address = 	 "San Jose, CA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA97,
  title = 	 "OOPSLA '97: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '97: Conference on Object-Oriented Programming, Systems, Languages, and Applications",
  year = 	 1997,
  address = 	 "Atlanta, GA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA98,
  title = 	 "OOPSLA '98: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '98: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 1998,
  address = 	 "Vancouver, BC, Canada",
  month = 	 oct,
}
@Proceedings{OOPSLA99,
  title = 	 "OOPSLA '99: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA '99: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 1999,
  address = 	 "Denver, Colorado",
  month = 	 nov,
}
@Proceedings{OOPSLA2000,
  title = 	 "OOPSLA 2000: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2000: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2000,
  address = 	 "Minneapolis, MN, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2000,
  title = 	 "OOPSLA Companion: Companion to Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Companion to Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2000,
  address = 	 "Minneapolis, MN, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2001,
  title = 	 "OOPSLA 2001, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2001, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2001,
  address = 	 "Tampa Bay, FL, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2001,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2001,
  address = 	 "Tampa Bay, FL, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2002,
  title = 	 "OOPSLA 2002, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2002, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2002,
  address = 	 "Seattle, WA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2002,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2002,
  address = 	 "Seattle, WA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2003,
  title = 	 "OOPSLA 2003, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2003, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2003,
  address = 	 "Anaheim, CA, USA",
  month = 	 nov,
}
@Proceedings{OOPSLACompanion2003,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2003,
  address = 	 "Anaheim, CA, USA",
  month = 	 nov,
}
@Proceedings{OOPSLA2004,
  title = 	 "OOPSLA 2004, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2004, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2004,
  address = 	 "Vancouver, BC, Canada",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2004,
  title = 	 "OOPSLA Companion: Companion to Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Companion to Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2004,
  address = 	 "Vancouver, BC, Canada",
  month = 	 oct,
}
@Proceedings{OOPSLA2005,
  title = 	 "OOPSLA 2005, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2005, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2005,
  address = 	 "San Diego, CA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2005,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2005,
  address = 	 "San Diego, CA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2006,
  title = 	 "OOPSLA 2006, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2006, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2006,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2006,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2006,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2007,
  title = 	 "OOPSLA 2007, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2007, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2007,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2007,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2007,
  address = 	 Montreal,
  month = 	 oct,
}
@Proceedings{OOPSLA2008,
  title = 	 "OOPSLA 2008, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2008, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2008,
  address = 	 "Nashville, TN, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2008,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2008,
  address = 	 "Nashville, TN, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2009,
  title = 	 "OOPSLA 2009, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2009, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2009,
  address = 	 "Orlando, FL, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2009,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2009,
  address = 	 "Orlando, FL, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2010,
  title = 	 "OOPSLA 2010, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2010, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2010,
  address = 	 "Revo, NV, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2010,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2010,
  address = 	 "Revo, NV, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2011,
  title = 	 "OOPSLA 2011, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2011, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2011,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2011,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2011,
  address = 	 "Portland, OR, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2012,
  title = 	 "OOPSLA 2012, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2012, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2012,
  address = 	 "Tucson, AZ, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2012,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2012,
  address = 	 "Tucson, AZ, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2013,
  title = 	 "OOPSLA 2013, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2013, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2013,
  address = 	 "Indianapolis, IN, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2013,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2013,
  address = 	 "Indianapolis, IN, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2015,
  title = 	 "OOPSLA 2015, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2015, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2015,
  address = 	 "Pittsburgh, PA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLACompanion2015,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2015,
  address = 	 "Pittsburgh, PA, USA",
  month = 	 oct,
}
@Proceedings{OOPSLA2016,
  title = 	 "OOPSLA 2016, Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA 2016, Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2016,
  address = 	 "Amsterdam",
  month = 	 nov,
}
@Proceedings{OOPSLACompanion2016,
  title = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  booktitle = 	 "OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications",
  year = 	 2016,
  address = 	 "Amsterdam",
  month = 	 nov,
}

% Comes after the variable it references
@Proceedings{GPCE2013,
  title = 	 "GPCE 2013: Proceedings of the 12th International Conference on Generative Programming and Component Engineering",
  booktitle = 	 "GPCE 2013: Proceedings of the 12th International Conference on Generative Programming and Component Engineering",
  year = 	 2013,
  address = 	 "Indianapolis, IN, USA",
  month = 	 oct,
}

@Proceedings{Onward2010,
  title = 	 "Proceedings of {Onward!} 2010",
  booktitle = 	 "Proceedings of {Onward!} 2010",
  year = 	 2010,
  address = 	 "Revo, NV, USA",
  month = 	 oct,
}
@Proceedings{Onward2012,
  title = 	 "Proceedings of {Onward!} 2012",
  booktitle = 	 "Proceedings of {Onward!} 2012",
  year = 	 2012,
  address = 	 "Tucson, AZ, USA",
  month = 	 oct,
}
@Proceedings{Onward2013,
  title = 	 "Proceedings of {Onward!} 2013",
  booktitle = 	 "Proceedings of {Onward!} 2013",
  year = 	 2013,
  address = 	 "Indianapolis, IN, USA",
  month = 	 oct,
}

@Proceedings{OSDI96,
  title = 	 "OSDI '96: USENIX 2nd Symposium on OS Design and Implementation",
  booktitle = 	 "OSDI '96: USENIX 2nd Symposium on OS Design and Implementation",
  year = 	 1996,
  address = 	 "Seattle, WA, USA",
  month = 	 oct,
}
@Proceedings{OSDI2002,
  title = 	 "OSDI 2002: USENIX 5th Symposium on OS Design and Implementation",
  booktitle = 	 "OSDI 2002: USENIX 5th Symposium on OS Design and Implementation",
  year = 	 2002,
  address = 	 "Boston, MA, USA",
  month = 	 dec,
}
@Proceedings{OSDI2004,
  title = 	 "OSDI 2004: USENIX 6th Symposium on OS Design and Implementation",
  booktitle = 	 "OSDI 2004: USENIX 6th Symposium on OS Design and Implementation",
  year = 	 2004,
  address = 	 "San Francisco, CA, USA",
  month = 	 dec,
}
@Proceedings{OSDI2006,
  title = 	 "OSDI 2006: USENIX 7th Symposium on OS Design and Implementation",
  booktitle = 	 "OSDI 2006: USENIX 7th Symposium on OS Design and Implementation",
  year = 	 2006,
  address = 	 "Seattle, WA, USA",
  month = 	 nov,
}
@Proceedings{OSDI2008,
  title = 	 "OSDI 2008: USENIX 8th Symposium on OS Design and Implementation",
  booktitle = 	 "OSDI 2008: USENIX 8th Symposium on OS Design and Implementation",
  year = 	 2008,
  address = 	 "San Diego, CA, USA",
  month = 	 dec,
}
@Proceedings{OSDI2010,
  title = 	 "OSDI 2010: USENIX 9th Symposium on OS Design and Implementation",
  booktitle = 	 "OSDI 2010: USENIX 9th Symposium on OS Design and Implementation",
  year = 	 2010,
  address = 	 "Vancouver, BC, Canada",
  month = 	 oct,
}

@Proceedings{PACT2001,
  title = 	 "PACT 2001: 10th International Conference on Parallel Architectures and Compilation Techniques",
  booktitle = 	 "PACT 2001: 10th International Conference on Parallel Architectures and Compilation Techniques",
  year = 	 2001,
  address = 	 "Barcelona, Spain",
  month = 	 sep,
}
@Proceedings{PACT2003,
  title = 	 "PACT 2003: 12th International Conference on Parallel Architectures and Compilation Techniques",
  booktitle = 	 "PACT 2003: 12th International Conference on Parallel Architectures and Compilation Techniques",
  year = 	 2003,
  address = 	 "New Orleans, LA, USA",
  month = 	 sep,
}

@Proceedings{PADD88,
  title = 	 "PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and Distributed Debugging",
  booktitle = 	 "PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and Distributed Debugging",
  year = 	 1988,
  address = 	 "Madison, WI, USA",
  month = 	 nov,
}

@Proceedings{PADL2002,
  title = 	 "PADL 2002: 4th Internation Symposium on Practical Aspects of Declarative Languages (PADL '02)",
  booktitle = 	 "PADL 2002: 4th Internation Symposium on Practical Aspects of Declarative Languages (PADL '02)",
  year = 	 2002,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "Toulouse, France",
  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,
  address = 	 "Snowbird, Utah, USA",
  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,
  address = 	 "Charleston, SC, USA",
  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,
  address = 	 "Washington, DC, USA",
  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,
  address = 	 "Lisbon, Portugal",
  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,
  address = 	 "San Diego, CA, USA",
  month = 	 jun,
}

@Proceedings{PATMOS2008,
  title = 	 "PATMOS 2008: International Workshop on Power and Timing Modeling, Optimization, and Simulation",
  booktitle = 	 "PATMOS 2008: International Workshop on Power and Timing Modeling, Optimization, and Simulation",
  year = 	 2008,
  address = 	 "Lisbon, Portugal",
  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,
  address = 	 "Pittsburgh, Pennsylvania, USA",
  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,
  address = 	 "La Jolla, CA",
  month = 	 jun,
}
@Proceedings{PEPM97,
  title = 	 "PEPM '97: Proc.\ ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation",
  booktitle = 	 "PEPM '97: Proc.\ ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation",
  year = 	 1997,
  address = 	 "Amsterdam, The Netherlands",
  month = 	 jun,
}

@Proceedings{PLAS2006,
  title = 	 "PLAS 2006: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  booktitle = 	 "PLAS 2006: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  year = 	 2006,
  address = 	 "Ottawa, Canada",
  month = 	 jun,
}
@Proceedings{PLAS2007,
  title = 	 "PLAS 2007: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  booktitle = 	 "PLAS 2007: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  year = 	 2007,
  address = 	 "San Diego, California, USA",
  month = 	 jun,
}
@Proceedings{PLAS2008,
  title = 	 "PLAS 2008: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  booktitle = 	 "PLAS 2008: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  year = 	 2008,
  address = 	 "Tucson, Arizona, USA",
  month = 	 jun,
}
@Proceedings{PLAS2009,
  title = 	 "PLAS 2009: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  booktitle = 	 "PLAS 2009: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  year = 	 2009,
  address = 	 "Dublin, Ireland",
  month = 	 jun,
}
@Proceedings{PLAS2016,
  title = 	 "PLAS 2016: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  booktitle = 	 "PLAS 2016: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security",
  year = 	 2016,
  address = 	 "Vienna, Austria",
  month = 	 oct,
}

@Proceedings{PLATEAU2009,
  title = 	 "PLATEAU 2009: International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) at Onward 2009",
  booktitle = 	 "PLATEAU 2009: International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) at Onward 2009",
  year = 	 2009,
  address = 	 "Orlando, FL, USA",
  month = 	 oct,
}
@Proceedings{PLATEAU2010,
  title = 	 "PLATEAU 2010: Proceedings of the 2nd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools",
  booktitle = 	 "PLATEAU 2010: Proceedings of the 2nd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools",
  year = 	 2010,
  address = 	 "Revo, NV, USA",
  month = 	 oct,
}
@Proceedings{PLATEAU2011,
  title = 	 "PLATEAU 2011: Proceedings of the 3rd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools",
  booktitle = 	 "PLATEAU 2011: Proceedings of the 3rd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools",
  year = 	 2011,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "Boston, MA, USA",
  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,
  address = 	 "Palo Alto, CA, USA",
  month = 	 jun,
}
@Proceedings{PLDI88,
  title = 	 "PLDI '88: Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '88: Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation",
  year = 	 1988,
  address = 	 "Atlanta, GA, USA",
  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,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "White Plains, NY, USA",
  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,
  address = 	 "Toronto, ON, Canada",
  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,
  address = 	 "San Francisco, CA, USA",
  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,
  address = 	 "Albuquerque, NM, USA",
  month = 	 jun,
}
@Proceedings{PLDI94,
  title = 	 "PLDI '94: Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '94: Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation",
  year = 	 1994,
  address = 	 "Orlando, FL, USA",
  month = 	 jun,
}
@Proceedings{PLDI95,
  title = 	 "PLDI '95: Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '95: Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation",
  year = 	 1995,
  address = 	 "La Jolla, CA, USA",
  month = 	 jun,
}
@Proceedings{PLDI96,
  title = 	 "PLDI '96: Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '96: Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation",
  year = 	 1996,
  address = 	 "Philadelphia, PA, USA",
  month = 	 may,
}
@Proceedings{PLDI97,
  title = 	 "PLDI '97: Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '97: Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation",
  year = 	 1997,
  address = 	 "Las Vegas, NV, USA",
  month = 	 jun,
}
@Proceedings{PLDI98,
  title = 	 "PLDI '98: Proceedings of the {ACM} {SIGPLAN}'98 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '98: Proceedings of the {ACM} {SIGPLAN}'98 Conference on Programming Language Design and Implementation",
  year = 	 1998,
  address = 	 Montreal,
  month = 	 jun,
}
@Proceedings{PLDI99,
  title = 	 "PLDI '99: Proceedings of the {ACM} {SIGPLAN} '99 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI '99: Proceedings of the {ACM} {SIGPLAN} '99 Conference on Programming Language Design and Implementation",
  year = 	 1999,
  address = 	 "Atlanta, GA, USA",
  month = 	 may,
}
@Proceedings{PLDI2000,
  title = 	 "PLDI 2000: Proceedings of the {ACM} {SIGPLAN} 2000 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2000: Proceedings of the {ACM} {SIGPLAN} 2000 Conference on Programming Language Design and Implementation",
  year = 	 2000,
  address = 	 "Vancouver, BC, Canada",
  month = 	 jun,
}
@Proceedings{PLDI2001,
  title = 	 "PLDI 2001: Proceedings of the {ACM} {SIGPLAN} 2001 Conference on Programming Language Design and Implementation",
  booktitle = 	 "PLDI 2001: Proceedings of the {ACM} {SIGPLAN} 2001 Conference on Programming Language Design and Implementation",
  year = 	 2001,
  address = 	 "Snowbird, UT, USA",
  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,
  address = 	 "Berlin, Germany",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Washington, DC, USA",
  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,
  address = 	 "Chicago, IL, USA",
  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,
  address = 	 "Ottawa, Canada",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Tucson, AZ, USA",
  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,
  address = 	 "Dublin, Ireland",
  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,
  address = 	 "Toronto, Canada",
  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,
  address = 	 "San Jose, CA, USA",
  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,
  address = 	 "Seattle, WA, USA",
  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,
  address = 	 "Edinburgh, UK",
  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,
  address = 	 "Portland, OR, USA",
  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,
  address = 	 "Santa Barbara, CA, USA",
  month = 	 jun,
}

@Proceedings{PLID2005,
  title = 	 "PLID 2005: 2nd International Workshop on Programming Language Interference and Dependence",
  booktitle = 	 "PLID 2005: 2nd International Workshop on Programming Language Interference and Dependence",
  year = 	 2005,
  address = 	 "London, UK",
  month = 	 sep,
}

@Proceedings{PLOS2011,
  title = 	 "PLOS 2011: Proceedings of the 6th Workshop on Programming Languages and Operating Systems",
  booktitle = 	 "PLOS 2011: Proceedings of the 6th Workshop on Programming Languages and Operating Systems",
  year = 	 2011,
  address = 	 "Cascais, Portugal",
  month = 	 oct,
}
@Proceedings{PLOS2013,
  title = 	 "PLOS 2013: Proceedings of the 8th Workshop on Programming Languages and Operating Systems",
  booktitle = 	 "PLOS 2013: Proceedings of the 8th Workshop on Programming Languages and Operating Systems",
  year = 	 2013,
  address = 	 "Farmington, PA, USA",
  month = 	 nov,
}

@Proceedings{PODC84,
  title = 	 "PODC '84: Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing",
  booktitle = 	 "PODC '84: Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing",
  year = 	 1984,
  address = 	 "Vancouver, BC, Canada",
  month = 	 aug,
}
@Proceedings{PODC87,
  title = 	 "PODC '87: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing",
  booktitle = 	 "PODC '87: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing",
  year = 	 1987,
  address = 	 "Vancouver, BC, Canada",
  month = 	 aug,
}

% 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,
  address = 	 "Boston, MA, USA",
  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,
  address = 	 "Atlanta, GA, USA",
  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,
  address = 	 "Los Angeles, CA",
  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,
  address = 	 "Tucson, AZ, USA",
  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,
  address = 	 "San Antonio, TX, USA",
  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,
  address = 	 "Las Vegas, NV, USA",
  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,
  address = 	 "Williamsburg, VA, USA",
  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,
  address = 	 "Albuquerque, NM, USA",
  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,
  address = 	 "Austin, TX, USA",
  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,
  address = 	 "Salt Lake City, UT, USA",
  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,
  address = 	 "New Orleans, LA, USA",
  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,
  address = 	 "St.\ Petersburg Beach, FL, USA",
  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,
  address = 	 "Munich, Germany",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Autstin, TX, USA",
  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,
  address = 	 "San Francisco, CA, USA",
  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,
  address = 	 "Orlando, FL",
  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,
  address = 	 "Albuquerque, NM, USA",
  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,
  address = 	 "Charleston, SC, USA",
  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,
  address = 	 "Portland, OR",
  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,
  address = 	 "San Francisco, CA",
  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,
  address = 	 "St.\ Petersburg Beach, FL",
  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,
  address = 	 "Paris, France",
  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,
  address = 	 "San Diego, CA",
  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,
  address = 	 "San Antonio, TX",
  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,
  address = 	 "Boston, MA, USA",
  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,
  address = 	 "London, UK",
  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,
  address = 	 "Portland, Oregon",
  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,
  address = 	 "New Orleans, LA",
  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,
  address = 	 "Venice, Italy",
  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,
  address = 	 "Long Beach, CA, USA",
  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,
  address = 	 "Charleston, SC, USA",
  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,
  address = 	 "Nice, France",
  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,
  address = 	 "San Francisco, CA, USA",
  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,
  address = 	 "Madrid, Spain",
  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,
  address = 	 "Mumbai, India",
  month = 	 jan,
}

@Proceedings{POST2014,
  title = 	 "POST 2014: Proceedings of the 3rd Conference of Security and Trust",
  booktitle = 	 "POST 2014: Proceedings of the 3rd Conference of Security and Trust",
  year = 	 2014,
  address = 	 "Grenoble, France",
  month = 	 apr,
}

@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,
  address = 	 "Atlanta, Georgia",
  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,
  address = 	 "Snowbird, Utah",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Chicago, IL, USA",
  month = 	 jun,
}

@Proceedings{PPL2004,
  title = 	 "PPL 2004: 6th JSSST Workshop on Programming and Programming Languages (PPL2004)",
  booktitle = 	 "PPL 2004: 6th JSSST Workshop on Programming and Programming Languages (PPL2004)",
  year = 	 2004,
  address = 	 "Gamagohri, Aichi, Japan",
  month = 	 mar,
}

@Proceedings{PPPJ2006,
  title = 	 "PPPJ 2006: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java",
  booktitle = 	 "PPPJ 2006: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java",
  year = 	 2006,
  address = 	 "Mannheim, Germany",
  month = 	 aug,
}

@Proceedings{Python2000,
  title =        "Python8: The 8th International Python Conference",
  booktitle =    "Python8: The 8th International Python Conference",
  year =         2000,
  address =   "Arlington, VA, USA",
  month =     jan,
}

@Proceedings{QAPL2001,
  title = 	 "QAPL 2001: Proceedings of the Workshop on Quantitative Aspects of Programming Languages (ENTCS 59)",
  booktitle = 	 "QAPL 2001: Proceedings of the Workshop on Quantitative Aspects of Programming Languages (ENTCS 59)",
  year = 	 2001,
  address = 	 "Florence, Italy",
  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 2004: Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages (ENTCS 112)",
  booktitle = 	 "QAPL 2004: Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages (ENTCS 112)",
  year = 	 2004,
  address = 	 "Barcelona, Spain",
  month = 	 mar,
}

@Proceedings{QSIC2005,
  title =        "QSIC 2005: Quality Software International Conference",
  booktitle =    "QSIC 2005: Quality Software International Conference",
  year =         2005,
  address =   "Melbourne, Australia",
  month =     sep,
}

@Proceedings{REM2007,
  title = 	 "REM 2007: The First International Workshop on Run Time Enforcement for Mobile and Distributed Systems",
  booktitle = 	 "REM 2007: The First International Workshop on Run Time Enforcement for Mobile and Distributed Systems",
  year = 	 2007,
  address = 	 "Dresden, Germany",
  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,
  address = 	 "Chapel Hill, NC",
  month = 	 apr,
}

@Proceedings{RV2001,
  title = 	 "RV 2001: Proceedings of the First Workshop on Runtime Verification",
  booktitle = 	 "RV 2001: Proceedings of the First Workshop on Runtime Verification",
  year = 	 2001,
  address = 	 "Paris, France",
  month = 	 jul,
}
@Proceedings{RV2003,
  title = 	 "RV 2003: Proceedings of the Third Workshop on Runtime Verification",
  booktitle = 	 "RV 2003: Proceedings of the Third Workshop on Runtime Verification",
  year = 	 2003,
  address = 	 "Boulder, CO, USA",
  month = 	 jul,
}
@Proceedings{RV2007,
  title = 	 "RV 2007: Proceedings of the Seventh Workshop on Runtime Verification",
  booktitle = 	 "RV 2007: Proceedings of the Seventh Workshop on Runtime Verification",
  year = 	 2007,
  address = 	 "Vancouver, BC, Canada",
  month = 	 mar,
}

@Proceedings{SAC2000,
  title = 	 "SAC 2000: Proceedings of the 2000 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2000: Proceedings of the 2000 ACM Symposium on Applied Computing",
  year = 	 2000,
  address = 	 "Como, Italy",
  month = 	 mar,
}
@Proceedings{SAC2004,
  title = 	 "SAC 2004: Proceedings of the 2004 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2004: Proceedings of the 2004 ACM Symposium on Applied Computing",
  year = 	 2004,
  address = 	 "Nicosia, Cyprus",
  month = 	 mar,
}
@Proceedings{SAC2005,
  title = 	 "SAC 2005: Proceedings of the 2005 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2005: Proceedings of the 2005 ACM Symposium on Applied Computing",
  year = 	 2005,
  address = 	 "Santa Fe, NM, USA",
  month = 	 mar,
}
@Proceedings{SAC2006,
  title = 	 "SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing",
  year = 	 2006,
  address = 	 "Dijon, France",
  month = 	 apr,
}
@Proceedings{SAC2008,
  title = 	 "SAC 2008: Proceedings of the 2008 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2008: Proceedings of the 2008 ACM Symposium on Applied Computing",
  year = 	 2008,
  address = 	 "Fortaleza, Cear\'{a}, Brazil",
  month = 	 mar,
}
@Proceedings{SAC2009,
  title = 	 "SAC 2009: Proceedings of the 2009 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2009: Proceedings of the 2009 ACM Symposium on Applied Computing",
  year = 	 2009,
  address = 	 "Honolulu, Hawaii, USA",
  month = 	 mar,
}
@Proceedings{SAC2010,
  title = 	 "SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing",
  year = 	 2010,
  address = 	 "Sierre, Switzerland",
  month = 	 mar,
}
@Proceedings{SAC2012,
  title = 	 "SAC 2012: Proceedings of the 2012 ACM Symposium on Applied Computing",
  booktitle = 	 "SAC 2012: Proceedings of the 2012 ACM Symposium on Applied Computing",
  year = 	 2012,
  address = 	 "Trento, Italy",
  month = 	 mar,
}

@Proceedings{SANER2015,
  title = 	 "SANER 2015: 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering",
  booktitle = 	 "SANER 2015: 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering",
  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,
  address = 	 "Glasgow, UK",
  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,
  address = 	 "Aachen, Germany",
  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,
  address = 	 "Paris, France",
  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,
  address = 	 "Pisa, Italy",
  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,
  address = 	 "Santa Barbara, CA, USA",
  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,
  address = 	 "Paris, France",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Verona, Italy",
  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,
  address = 	 "London, UK",
  month = 	 sep,
}
@Proceedings{SAS2007,
  title = 	 "SAS 2007: Proceedings of the Fourteenth International Symposium on
		  Static Analysis, SAS 2009",
  booktitle = 	 "SAS 2007: Proceedings of the Fourteenth International Symposium on
		  Static Analysis, SAS 2009",
  year = 	 2007,
  address = 	 "Kongens Lyngby, Denmark",
  month = 	 aug,
}

@Proceedings{SAVCBS2004,
  title = 	 "SAVCBS 2004: Specification and Verification of
                  Component-Based Systems",
  booktitle = 	 "SAVCBS 2004: Specification and Verification of
                  Component-Based Systems",
  year = 	 2004,
  address = 	 "Newport Beach, CA, USA",
  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,
  address = 	 "Lisbon, Portugal",
  month = 	 sep,
}

@Proceedings{SC1991,
  title = 	 "SC1991: Proceedings of the 1991 ACM/IEEE conference on
                  Supercomputing",
  booktitle = 	 "SC1991: Proceedings of the 1991 ACM/IEEE conference on
                  Supercomputing",
  year = 	 1991,
  address = 	 "Albuquerque, NM, USA",
  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,
  address = 	 "San Diego, CA, USA",
  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,
  address = 	 "Denver, CO, USA",
  month = 	 nov,
}

@Proceedings{SoftComp2012,
  title = 	 "SC: Proceedings of the 11th International Conference on Software Composition",
  booktitle = 	 "SC: Proceedings of the 11th International Conference on Software Composition",
  year = 	 2012,
  address = 	 "Prague, Czech Republic",
  month = 	 may,
}

@Proceedings{SCAM2003,
  title = 	 "SCAM 2003: Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03)",
  booktitle = 	 "SCAM 2003: Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03)",
  year = 	 2003,
  address = 	 "Amsterdam, The Netherlands",
  month = 	 sep,
}
@Proceedings{SCAM2009,
  title = 	 "SCAM 2009: Ninth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'09)",
  booktitle = 	 "SCAM 2009: Ninth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'09)",
  year = 	 2009,
  address = 	 "Edmonton, Canada",
  month = 	 sep,
}
@Proceedings{SCAM2014,
  title = 	 "SCAM 2014: Proceedings of the 14th International Working Conference on Soource Code Analysis and Manipulation",
  booktitle = 	 "SCAM 2014: Proceedings of the 14th International Working Conference on Soource Code Analysis and Manipulation",
  year = 	 2014,
  address = 	 "Victoria, BC, Canada",
  month = 	 sep,
}

@Proceedings{SEFM2005,
  title = 	 "SEFM 2005: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods",
  booktitle = 	 "SEFM 2005: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods",
  year = 	 2005,
  address = 	 "Koblenz, Germany",
  month = 	 sep,
}
@Proceedings{SEFM2008,
  title = 	 "SEFM 2008: Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods",
  booktitle = 	 "SEFM 2008: Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods",
  year = 	 2008,
  address = 	 "Cape Town, South Africa",
  month = 	 nov,
}
@Proceedings{SEFM2010,
  title = 	 "SEFM 2010: 8th IEEE International Conference on Software Engineering and Formal Methods",
  booktitle = 	 "SEFM 2010: 8th IEEE International Conference on Software Engineering and Formal Methods",
  year = 	 2010,
  address = 	 "Pisa, Italy",
  month = 	 sep,
}

@Proceedings{SFP2006,
  title = 	 "SFP 2006: Workshop on Scheme and Functional Programming (SFP)",
  booktitle = 	 "SFP 2006: Workshop on Scheme and Functional Programming (SFP)",
  year = 	 2006,
  address = 	 "Portland, OR, USA",
  month = 	 sep,
}

@Proceedings{SLAML2010,
  title = 	 "SLAML 2010: Workshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML '10)",
  booktitle = 	 "SLAML 2010: Workshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML '10)",
  year = 	 2010,
  address = 	 "Vancouver, BC, Canada",
  month = 	 oct,
}
@Proceedings{SLAML2011,
  title = 	 "SLAML 2011: Workshop on Managing Large-Scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques (SLAML '11)",
  booktitle = 	 "SLAML 2011: Workshop on Managing Large-Scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques (SLAML '11)",
  year = 	 2011,
  address = 	 "Cascais, Portugal",
  month = 	 oct,
}

@Proceedings{SIIT87,
  title = 	 "SIIT '87: Proceedings of the Symposium on Interpreters and Interpretive Techniques",
  booktitle = 	 "SIIT '87: Proceedings of the Symposium on Interpreters and Interpretive Techniques",
  year = 	 1987,
  address = 	 "St. Paul, MN, USA",
  month = 	 jun,
}

@Proceedings{SNAPL2015,
  title = 	 "SNAPL 2015: the Inaugural Summit oN Advances in Programming Languages",
  booktitle = 	 "SNAPL 2015: the Inaugural Summit oN Advances in Programming Languages",
  year = 	 2015,
  address = 	 "Asilomar, CA, USA",
  month = 	 may,
}
@Proceedings{SNAPL2017,
  title = 	 "SNAPL 2017: the 2nd Summit oN Advances in Programming Languages",
  booktitle = 	 "SNAPL 2017: the 2nd Summit oN Advances in Programming Languages",
  year = 	 2017,
  address = 	 "Asilomar, CA, USA",
  month = 	 may,
}

@Proceedings{IEEESnP82,
  title = 	 "IEEE S\&P: 1982 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 1982 IEEE Symposium on Security and Privacy",
  year = 	 1982,
  address = 	 "Oakland, CA, USA",
  month = 	 apr,
}
@Proceedings{IEEESnP87,
  title = 	 "IEEE S\&P: 1987 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 1987 IEEE Symposium on Security and Privacy",
  year = 	 1987,
  address = 	 "Oakland, CA, USA",
  month = 	 apr,
}
@Proceedings{IEEESnP91,
  title = 	 "IEEE S\&P: 1991 IEEE Symposium on Research in Security and Privacy",
  booktitle = 	 "IEEE S\&P: 1991 IEEE Symposium on Research in Security and Privacy",
  year = 	 1991,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}
@Proceedings{IEEESnP94,
  title = 	 "IEEE S\&P: 1994 IEEE Symposium on Research in Security and Privacy",
  booktitle = 	 "IEEE S\&P: 1994 IEEE Symposium on Research in Security and Privacy",
  year = 	 1994,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}
@Proceedings{IEEESnP97,
  title = 	 "IEEE S\&P: 1997 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 1997 IEEE Symposium on Security and Privacy",
  year = 	 1997,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}
@Proceedings{IEEESnP2003,
  title = 	 "IEEE S\&P: 2003 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 2003 IEEE Symposium on Security and Privacy",
  year = 	 2003,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}
@Proceedings{IEEESnP2008,
  title = 	 "IEEE S\&P: 2008 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 2008 IEEE Symposium on Security and Privacy",
  year = 	 2008,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}
@Proceedings{IEEESnP2009,
  title = 	 "IEEE S\&P: 2009 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 2009 IEEE Symposium on Security and Privacy",
  year = 	 2009,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}
@Proceedings{IEEESnP2012,
  title = 	 "IEEE S\&P: 2012 IEEE Symposium on Security and Privacy",
  booktitle = 	 "IEEE S\&P: 2012 IEEE Symposium on Security and Privacy",
  year = 	 2012,
  address = 	 "San Francisco, CA, USA",
  month = 	 may,
}


@Proceedings{IFIPSEC2005,
  title = 	 "IFIP SEC 2005: 20th IFIP International Information Security Conference",
  booktitle = 	 "IFIP SEC 2005: 20th IFIP International Information Security Conference",
  year = 	 2005,
  address = 	 "Chiba, Japan",
  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,
  address = 	 "Atlanta, GA, USA",
  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,
  address = 	 "Austin, TX",
  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,
  address = 	 "Charlotte, NC, USA",
  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,
  address = 	 "Norfolk, VA, USA",
  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,
  address = 	 "Houston, TX, USA",
  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,
  address = 	 "Chattanooga, TN, USA",
  month = 	 mar,
}
@Proceedings{SIGCSE2011,
  title = 	 "SIGCSE 2011: Proceedings of the 42nd ACM Technical Symposium on Computer Science Education",
  booktitle = 	 "SIGCSE 2011: Proceedings of the 42nd ACM Technical Symposium on Computer Science Education",
  year = 	 2011,
  address = 	 "Dallas, TX, USA",
  month = 	 mar,
}
@Proceedings{SIGCSE2012,
  title = 	 "SIGCSE 2012: Proceedings of the 43rd ACM Technical Symposium on Computer Science Education",
  booktitle = 	 "SIGCSE 2012: Proceedings of the 43rd ACM Technical Symposium on Computer Science Education",
  year = 	 2012,
  address = 	 "Releigh, NC, USA",
  month = 	 feb,
}
@Proceedings{SIGCSE2013,
  title = 	 "SIGCSE 2013: Proceedings of the 44th ACM Technical Symposium on Computer Science Education",
  booktitle = 	 "SIGCSE 2013: Proceedings of the 44th ACM Technical Symposium on Computer Science Education",
  year = 	 2013,
  address = 	 "Denver, CO, USA",
  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,
  address = 	 "Atlanta, GA, USA",
  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,
  address = 	 "Kansas City, MO, USA",
  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,
  address = 	 "Helsinki, Finland",
  month = 	 jul,
}

@Proceedings{SIGMETRICS2010,
  title = 	 "SIGMETRICS 2010: ACM SIGMETRICS 2010: International Conference on Measurement and Modeling of Computer Systems",
  booktitle = 	 "SIGMETRICS 2010: ACM SIGMETRICS 2010: International Conference on Measurement and Modeling of Computer Systems",
  year = 	 2010,
  address = 	 "New York, NY, USA",
  month = 	 jun,
}

@Proceedings{SIPL93,
  title =        "SIPL '93: ACM SIGPLAN Workshop on State in Programming Languages",
  booktitle =    "SIPL '93: ACM SIGPLAN Workshop on State in Programming Languages",
  year =         1993,
  address =   "Copenhagen, Denmark",
  month =     jun,
}

@Proceedings{SODA97,
  title = 	 "SODA '97: Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms",
  booktitle = 	 "SODA '97: Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms",
  year = 	 1997,
  address = 	 "New Orleans, LA, USA",
  month = 	 jan,
}

@Proceedings{SOFSEM2005,
  title = 	 "SOFSEM 2005: 31st Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)",
  booktitle = 	 "SOFSEM 2005: 31st Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)",
  year = 	 2005,
  address = 	 "Liptovsk\'y J\'an, Slovakia",
  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 2010: Proceendinsg of the 2010 ACM Symposium on Software Visualization",
  booktitle = 	 "SoftVis 2010: Proceendinsg of the 2010 ACM Symposium on Software Visualization",
  year = 	 2010,
  address = 	 "Salt Lake City, UT, USA",
  month = 	 oct,
}

@Proceedings{SOSP93,
  title = 	 "SOSP '93: Proceedings of the 14th ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP '93: Proceedings of the 14th ACM Symposium on Operating
                  Systems Principles",
  year = 	 1993,
  address = 	 "Asheville, NC, USA",
  month = 	 dec,
}
@Proceedings{SOSP97,
  title = 	 "SOSP '97: Proceedings of the 16th ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP '97: Proceedings of the 16th ACM Symposium on Operating
                  Systems Principles",
  year = 	 1997,
  address = 	 "St. Malo, France",
  month = 	 oct,
}
@Proceedings{SOSP2001,
  title = 	 "SOSP 2001, Proceedings of the 18th ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP 2001, Proceedings of the 18th ACM Symposium on Operating
                  Systems Principles",
  year = 	 2001,
  address = 	 "Banff, Alberta, Canada",
  month = 	 oct,
}
@Proceedings{SOSP2003,
  title = 	 "SOSP 2003, Proceedings of the 19th ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP 2003, Proceedings of the 19th ACM Symposium on Operating
                  Systems Principles",
  year = 	 2003,
  address = 	 "Bolton Landing, NY, USA",
  month = 	 oct,
}
@Proceedings{SOSP2005,
  title = 	 "SOSP 2005, Proceedings of the 20th ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP 2005, Proceedings of the 20th ACM Symposium on Operating
                  Systems Principles",
  year = 	 2005,
  address = 	 "Brighton, UK",
  month = 	 oct,
}
@Proceedings{SOSP2007,
  title = 	 "SOSP 2007, Proceedings of the 21st ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP 2007, Proceedings of the 21st ACM Symposium on Operating
                  Systems Principles",
  year = 	 2007,
  address = 	 "Stevenson, WA, USA",
  month = 	 oct,
}
@Proceedings{SOSP2009,
  title = 	 "SOSP 2009, Proceedings of the 22nd ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP 2009, Proceedings of the 22nd ACM Symposium on Operating
                  Systems Principles",
  year = 	 2009,
  address = 	 "Big Sky, MT, USA",
  month = 	 oct,
}
@Proceedings{SOSP2011,
  title = 	 "SOSP 2009, Proceedings of the 23rd ACM Symposium on Operating
                  Systems Principles",
  booktitle = 	 "SOSP 2009, Proceedings of the 23rd ACM Symposium on Operating
                  Systems Principles",
  year = 	 2011,
  address = 	 "Cascais, Portugal",
  month = 	 oct,
}
@Proceedings{SOSPWIP2011,
  title = 	 "SOSP WIP: Proceedings of the 23rd ACM Symposium on Operating
                  Systems Principles, Work In Progress Track",
  booktitle = 	 "SOSP WIP: Proceedings of the 23rd ACM Symposium on Operating
                  Systems Principles, Work In Progress Track",
  year = 	 2011,
  address = 	 "Cascais, Portugal",
  month = 	 oct,
}

@Proceedings{SPAA90,
  title =        "SPAA '90: Proceedings of the 2nd ACM Symposium on Parallel Algorithms and Architectures",
  booktitle =    "SPAA '90: Proceedings of the 2nd ACM Symposium on Parallel Algorithms and Architectures",
  year =         1990,
  address =   "Crete, Greece",
  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,
  address = 	 "Venice, Italy",
  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,
  address = 	 "Welches, OR, USA",
  month = 	 aug,
}

@Proceedings{SPIN98,
  title = 	 "SPIN '98: 4th International SPIN Workshop",
  booktitle = 	 "SPIN '98: 4th International SPIN Workshop",
  year = 	 1998,
  address = 	 "Paris, France",
  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,
  address = 	 "Toronto, Ontario, Canada",
  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,
  address = 	 "Portland, Oregon",
  month = 	 may,
}

@Proceedings{SPSM2011,
  title = 	 "SPSM 2011: Proceedings of the 1st ACM Workshop on Security and Privacy in Smartphones and Mobile Devices",
  booktitle = 	 "SPSM 2011: Proceedings of the 1st ACM Workshop on Security and Privacy in Smartphones and Mobile Devices",
  year = 	 2011,
  address = 	 "Chicago, IL, USA",
  month = 	 oct,
}

@Proceedings{SSR99,
  title = 	 "ACM SSR'99: ACM Symposium on Software Reusability (ACM SSR'99)",
  booktitle = 	 "ACM SSR'99: ACM Symposium on Software Reusability (ACM SSR'99)",
  year = 	 1999,
  address = 	 "Los Angeles, CA, USA",
  month = 	 may,
}

@Proceedings{SSSW2004,
  title = 	 "AAAI Spring Symposium on Semantic Web Services",
  booktitle = 	 "AAAI Spring Symposium on Semantic Web Services",
  year = 	 2004,
  address = 	 "Palo Alto, CA",
  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,
  address = 	 "Providence, RI, USA",
  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,
  address = 	 "San Diego, CA, USA",
  month = 	 may,
}

@Proceedings{STOP2009,
  title = 	 "STOP 2009: 1st Workshop on Script to Program Evolution (STOP)",
  booktitle = 	 "STOP 2009: 1st Workshop on Script to Program Evolution (STOP)",
  year = 	 2009,
  address = 	 "Genova, Italy",
  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,
  address = 	 "Enschede, The Netherlands",
  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,
  address = 	 "Genova, Italy",
  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,
  address = 	 "Barcelona, Spain",
  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,
  address = 	 "Edinburgh, UK",
  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,
  address = 	 "Budapest, Hungary",
  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,
  address = 	 "Barcelona, Spain",
  month = 	 mar,
}

@Proceedings{TAICPART2007,
  title = 	 "TAICPART-MUTATION 2007: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION",
  booktitle = 	 "TAICPART-MUTATION 2007: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION",
  year = 	 2007,
  address = 	 "Windsor, UK",
  month = 	 sep,
}

@Proceedings{TAP2010,
  title = 	 "TAP 2010: 4th International Conference on Tests And Proofs (TAP)",
  booktitle = 	 "TAP 2010: 4th International Conference on Tests And Proofs (TAP)",
  year = 	 2010,
  address = 	 "M\'alaga, Spain",
  month = 	 jul,
}

@Proceedings{TAPSOFT95,
  title = 	 "TAPSOFT '95: Theory and Practice of Software Development",
  booktitle = 	 "TAPSOFT '95: Theory and Practice of Software Development",
  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,
  address = 	 "Lille, France",
  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,
  address = 	 "Key West, FL, USA",
  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,
  address = 	 "Victoria, BC, Canada",
  month = 	 oct,
}

@Proceedings{TCS2004,
  title = 	 "TCS 2004: 3rd IFIP International Conference on Theoretical Computer Science",
  booktitle = 	 "TCS 2004: 3rd IFIP International Conference on Theoretical Computer Science",
  year = 	 2004,
  address = 	 "Toulouse, France",
  month = 	 aug,
}

@Proceedings{TCC2005,
  title = 	 "TCC 2005: 2nd Theory of Cryptography Conference",
  booktitle = 	 "TCC 2005: 2nd Theory of Cryptography Conference",
  year = 	 2005,
  address = 	 "Cambridge, MA, USA",
  month = 	 feb,
}

@Proceedings{TFP2007,
  title = 	 "TFP 2007: Symposium on Trends in Functional Programming",
  booktitle = 	 "TFP 2007: Symposium on Trends in Functional Programming",
  year = 	 2007,
  address = 	 "New York, NY, USA",
  month = 	 apr,
}

@Proceedings{TLDI2003,
  title = 	 "TLDI 2003: The {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation",
  booktitle = 	 "TLDI 2003: The {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation",
  year = 	 2003,
  address = 	 "New Orleans, LA, USA",
  month = 	 jan,
}
@Proceedings{TLDI2011,
  title = 	 "TLDI 2011: The sixth {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation",
  booktitle = 	 "TLDI 2011: The sixth {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation",
  year = 	 2011,
  address = 	 "Austin, TX, USA",
  month = 	 jan,
}
@Proceedings{TLDI2012,
  title = 	 "TLDI 2012: The seventh {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation",
  booktitle = 	 "TLDI 2012: The seventh {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation",
  year = 	 2012,
  address = 	 "Philadelphia, PA, USA",
  month = 	 jan,
}

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

@Proceedings{TOOLS39,
  title = 	 "TOOLS 39: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems",
  booktitle = 	 "TOOLS 39: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems",
  year = 	 2001,
  address = 	 "Santa Barbara, CA, USA",
  month = 	 jul,
}

@Proceedings{TOOLS47,
  title = 	 "TOOLS Europe: 47th International Conference on Objects, Models, Components, Patterns",
  booktitle = 	 "TOOLS Europe: 47th International Conference on Objects, Models, Components, Patterns",
  year = 	 2009,
  address = 	 Zurich,
  month = 	 jun,
}

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

@Proceedings{TRUST2012,
  title = 	 "TRUST 2012: Proceedings of the 5th International Conference on Trust and Trustworthy Computing",
  booktitle = 	 "TRUST 2012: Proceedings of the 5th International Conference on Trust and Trustworthy Computing",
  year = 	 2012,
  address = 	 "Vienna, Austria",
  month = 	 jun,
}

@Proceedings{UIST2008,
  title = 	 "UIST 2008: Proceedings of the 21st ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2008: Proceedings of the 21st ACM Symposium on User Interface Software and Technology",
  year = 	 2008,
  address = 	 "Monterey, CA, USA",
  month = 	 oct,
}
@Proceedings{UIST2009,
  title = 	 "UIST 2009: Proceedings of the 22nd ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2009: Proceedings of the 22nd ACM Symposium on User Interface Software and Technology",
  year = 	 2009,
  address = 	 "Victoria, BC, Canada",
  month = 	 oct,
}
@Proceedings{UIST2010,
  title = 	 "UIST 2010: Proceedings of the 23rd ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2010: Proceedings of the 23rd ACM Symposium on User Interface Software and Technology",
  year = 	 2010,
  address = 	 "New York City, NY, USA",
  month = 	 oct,
}
@Proceedings{UIST2011,
  title = 	 "UIST 2011: Proceedings of the 24th ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2011: Proceedings of the 24th ACM Symposium on User Interface Software and Technology",
  year = 	 2011,
  address = 	 "Santa Barbara, CA, USA",
  month = 	 oct,
}
@Proceedings{UIST2012,
  title = 	 "UIST 2012: Proceedings of the 25th ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2012: Proceedings of the 25th ACM Symposium on User Interface Software and Technology",
  year = 	 2012,
  address = 	 "Cambridge, MA, USA",
  month = 	 oct,
}
@Proceedings{UIST2013,
  title = 	 "UIST 2013: Proceedings of the 26th ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2013: Proceedings of the 26th ACM Symposium on User Interface Software and Technology",
  year = 	 2013,
  address = 	 "St.\ Andrews, UK",
  month = 	 oct,
}
@Proceedings{UIST2015,
  title = 	 "UIST 2015: Proceedings of the 28th ACM Symposium on User Interface Software and Technology",
  booktitle = 	 "UIST 2015: Proceedings of the 28th ACM Symposium on User Interface Software and Technology",
  year = 	 2015,
  address = 	 "Charlotte, NC, USA",
  month = 	 nov,
}


@Proceedings{USENIXCxx92,
  title = 	 "USENIX C++: USENIX C++ Conference Proceedings",
  booktitle = 	 "USENIX C++: USENIX C++ Conference Proceedings",
  year = 	 1992,
  address = 	 "Portland, OR, USA",
  month = 	 aug,
}
@Proceedings{USENIX92Winter,
  title = 	 "USENIX: Proceedings of the Winter 1992 {USENIX} Conference",
  booktitle = 	 "USENIX: Proceedings of the Winter 1992 {USENIX} Conference",
  year = 	 1992,
  address = 	 "San Francisco, CA, USA",
  month = 	 jan,
}
@Proceedings{USENIX92Summer,
  title = 	 "USENIX: Proceedings of the Summer 1992 {USENIX} Conference",
  booktitle = 	 "USENIX: Proceedings of the Summer 1992 {USENIX} Conference",
  year = 	 1992,
  address = 	 "San Antonio, TX, USA",
  month = 	 jun,
}
@Proceedings{USENIX93Winter,
  title = 	 "USENIX: Proceedings of the Winter 1993 {USENIX} Conference",
  booktitle = 	 "USENIX: Proceedings of the Winter 1993 {USENIX} Conference",
  year = 	 1993,
  address = 	 "San Diego, CA, USA",
  month = 	 jan,
}
@Proceedings{USENIXWinNT97,
  title = 	 "USENIX Windows NT Workshop",
  booktitle = 	 "USENIX Windows NT Workshop",
  year = 	 1997,
  address = 	 "Seattle, Washington, USA",
  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,
  address = 	 "Monterey, CA, USA",
  month = 	 jun,
}
@Proceedings{USENIX2001,
  title = 	 "USENIX 2001: Proceedings of the 2001 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2001: Proceedings of the 2001 USENIX Annual Technical Conference",
  year = 	 2001,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}
@Proceedings{FREENIX2001,
  title = 	 "FREENIX 2001: Proceedings of the 2001 USENIX Annual Technical Conference (FREENIX track)",
  booktitle = 	 "FREENIX 2001: Proceedings of the 2001 USENIX Annual Technical Conference (FREENIX track)",
  year = 	 2001,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}
@Proceedings{USENIX2002,
  title = 	 "USENIX 2002: Proceedings of the 2002 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2002: Proceedings of the 2002 USENIX Annual Technical Conference",
  year = 	 2002,
  address = 	 "Monterey, CA, USA",
  month = 	 jun,
}
@Proceedings{USENIX2003,
  title = 	 "USENIX 2003: Proceedings of the 2003 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2003: Proceedings of the 2003 USENIX Annual Technical Conference",
  year = 	 2003,
  address = 	 "San Antonio, TX, USA",
  month = 	 jun,
}
@Proceedings{FREENIX2003,
  title = 	 "FREENIX 2003: Proceedings of the 2003 USENIX Annual Technical Conference (FREENIX track)",
  booktitle = 	 "FREENIX 2003: Proceedings of the 2003 USENIX Annual Technical Conference (FREENIX track)",
  year = 	 2003,
  address = 	 "San Antonio, TX, USA",
  month = 	 jun,
}
@Proceedings{USENIX2004,
  title = 	 "USENIX 2004: Proceedings of the 2004 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2004: Proceedings of the 2004 USENIX Annual Technical Conference",
  year = 	 2004,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}
@Proceedings{USENIX2005,
  title = 	 "USENIX 2005: Proceedings of the 2005 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2005: Proceedings of the 2005 USENIX Annual Technical Conference",
  year = 	 2005,
  address = 	 "Anaheim, CA, USA",
  month = 	 apr,
}
@Proceedings{USENIX2006,
  title = 	 "USENIX 2006: Proceedings of the 2006 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2006: Proceedings of the 2006 USENIX Annual Technical Conference",
  year = 	 2006,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}
@Proceedings{USENIX2008,
  title = 	 "USENIX 2008: Proceedings of the 2008 USENIX Annual Technical Conference",
  booktitle = 	 "USENIX 2008: Proceedings of the 2008 USENIX Annual Technical Conference",
  year = 	 2008,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}

@Proceedings{USENIXFAST2005,
  title = 	 "USENIX FAST: 4th USENIX Conference on File and Storage Technologies",
  booktitle = 	 "USENIX FAST: 4th USENIX Conference on File and Storage Technologies",
  year = 	 2005,
  address = 	 "San Francisco, CA, USA",
  month = 	 dec,
}

@Proceedings{USENIXSec98,
  title = 	 "USENIX Security: 7th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 7th USENIX Security Symposium",
  year = 	 1998,
  address = 	 "Austin, TX, USA",
  month = 	 jan,
}
@Proceedings{USENIXSec2001,
  title = 	 "USENIX Security: 10th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 10th USENIX Security Symposium",
  year = 	 2001,
  address = 	 "Washington, DC, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2002,
  title = 	 "USENIX Security: 11th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 11th USENIX Security Symposium",
  year = 	 2002,
  address = 	 "San Francisco, CA, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2003,
  title = 	 "USENIX Security: 12th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 12th USENIX Security Symposium",
  year = 	 2003,
  address = 	 "Washington, DC, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2004,
  title = 	 "USENIX Security: 13th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 13th USENIX Security Symposium",
  year = 	 2004,
  address = 	 "San Diego, CA, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2005,
  title = 	 "USENIX Security: 14th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 14th USENIX Security Symposium",
  year = 	 2005,
  address = 	 "Baltimore, MD, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2006,
  title = 	 "USENIX Security: 15th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 15th USENIX Security Symposium",
  year = 	 2006,
  address = 	 "Vancouver, BC, Canada",
  month = 	 aug,
}
@Proceedings{USENIXSec2007,
  title = 	 "USENIX Security: 16th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 16th USENIX Security Symposium",
  year = 	 2007,
  address = 	 "Boston, MA, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2009,
  title = 	 "USENIX Security: 18th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 18th USENIX Security Symposium",
  year = 	 2009,
  address = 	 "Montreal, Canada",
  month = 	 aug,
}
@Proceedings{USENIXSec2012,
  title = 	 "USENIX Security: 21st USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 21st USENIX Security Symposium",
  year = 	 2012,
  address = 	 "Bellevue, WA, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2013,
  title = 	 "USENIX Security: 22nd USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 22nd USENIX Security Symposium",
  year = 	 2013,
  address = 	 "Washington, DC, USA",
  month = 	 aug,
}
@Proceedings{USENIXSec2015,
  title = 	 "USENIX Security: 24th USENIX Security Symposium",
  booktitle = 	 "USENIX Security: 24th USENIX Security Symposium",
  year = 	 2015,
  address = 	 "Washington, DC, USA",
  month = 	 aug,
}

@Proceedings{VaMoS2012,
  title = 	 "VaMoS 2012: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems",
  booktitle = 	 "VaMoS 2012: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems",
  year = 	 2012,
  address = 	 "Leipzig, Germany",
  month = 	 jan,
}

@Proceedings{VAMP2007,
  title = 	 "VAMP 2007: Verification and Analysis of Multi-threaded Java-like Programs (VAMP)",
  booktitle = 	 "VAMP 2007: Verification and Analysis of Multi-threaded Java-like Programs (VAMP)",
  year = 	 2007,
  address = 	 "Lisbon, Portugal",
  month = 	 sep,
}

@Proceedings{VEE2006,
  title = 	 "VEE 2006: The Second International Conference on Virtual Execution Environments",
  booktitle = 	 "VEE 2006: The Second International Conference on Virtual Execution Environments",
  year = 	 2006,
  address = 	 "Ottawa, Canada",
  month = 	 jun,
}
@Proceedings{VEE2010,
  title = 	 "VEE 2010: The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments",
  booktitle = 	 "VEE 2010: The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments",
  year = 	 2010,
  address = 	 "Pittsburgh, PA, USA",
  month = 	 mar,
}

@Proceedings{VL1996,
  title = 	 "VL 1996: IEEE Symposium on Visual Languages",
  booktitle = 	 "VL 1996: IEEE Symposium on Visual Languages",
  year = 	 1996,
  address = 	 "Boulder, CO, USA",
  month = 	 sep,
}

@Proceedings{VLDB2004,
  title = 	 "VLDB 2004: 30th International Conference on Very Large Data Bases",
  booktitle = 	 "VLDB 2004: 30th International Conference on Very Large Data Bases",
  year = 	 2004,
  address = 	 "Toronto, Canada",
  month = 	 aug,
}
@Proceedings{VLDB2010,
  title = 	 "VLDB 2010: 36th International Conference on Very Large Data Bases",
  booktitle = 	 "VLDB 2010: 36th International Conference on Very Large Data Bases",
  year = 	 2010,
  address = 	 "Singapore",
  month = 	 sep,
}

@Proceedings{VLHCC2006,
  title = 	 "VL/HCC: IEEE Symposium on Visual Languages and Human-Centric Computing",
  booktitle = 	 "VL/HCC: IEEE Symposium on Visual Languages and Human-Centric Computing",
  year = 	 2006,
  address = 	 "Brighton, UK",
  month = 	 sep,
}
@Proceedings{VLHCC2009,
  title = 	 "VL/HCC: IEEE Symposium on Visual Languages and Human-Centric Computing",
  booktitle = 	 "VL/HCC: IEEE Symposium on Visual Languages and Human-Centric Computing",
  year = 	 2009,
  address = 	 "Corvallis, OR, USA",
  month = 	 sep,
}
@Proceedings{VLHCC2011,
  title = 	 "VL/HCC: IEEE Symposium on Visual Languages and Human-Centric Computing",
  booktitle = 	 "VL/HCC: IEEE Symposium on Visual Languages and Human-Centric Computing",
  year = 	 2011,
  address = 	 "Pittsburgh, PA, USA",
  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,
  address = 	 "New York, New York",
  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,
  address = 	 "Paris, France",
  month = 	 jan,
}

@Proceedings{VMIL2009,
  title = 	 "VMIL 2009: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages",
  booktitle = 	 "VMIL 2009: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages",
  year = 	 2009,
  address = 	 "Orlando, FL, USA",
  month = 	 oct,
}

@Proceedings{VSTTE2005,
  title = 	 "VSTTE 2005:  Verified Software: Theories, Tools, Experiments",
  booktitle = 	 "VSTTE 2005:  Verified Software: Theories, Tools, Experiments",
  year = 	 2005,
  address = 	 "Z{\"u}rich, Switzerland",
  month = 	 oct,
}
@Proceedings{VSTTE2008,
  title = 	 "VSTTE 2008:  Verified Software: Theories, Tools, Experiments",
  booktitle = 	 "VSTTE 2008:  Verified Software: Theories, Tools, Experiments",
  year = 	 2008,
  address = 	 "Toronto, Canada",
  month = 	 oct,
}


@Proceedings{W2SP2011,
  title = 	 "W2SP: Web 2.0 Security and Privacy Workshop",
  booktitle = 	 "W2SP: Web 2.0 Security and Privacy Workshop",
  year = 	 2011,
  address = 	 "Oakland, CA, USA",
  month = 	 may,
}


@Proceedings{WASL2008,
  title = 	 "WASL 2008: Proceedings of the First USENIX Workshop on Analysis of System Logs",
  booktitle = 	 "WASL 2008: Proceedings of the First USENIX Workshop on Analysis of System Logs",
  year = 	 2008,
  address = 	 "San Diego, CA, USA",
  month = 	 dec,
}


@Proceedings{WCET2005,
  title = 	 "WCET 2005: 5th Euromicro International Workshop on Worst-Case Execution Time Analysis (WCET'05)",
  booktitle = 	 "WCET 2005: 5th Euromicro International Workshop on Worst-Case Execution Time Analysis (WCET'05)",
  year = 	 2005,
  address = 	 "Palma, Spain",
  month = 	 jul,
}

@Proceedings{WCRE2010,
  title = 	 "WCRE 2010: 2010 17th Working Conference on Reverse Engineering",
  booktitle = 	 "WCRE 2010: 2010 17th Working Conference on Reverse Engineering",
  year = 	 2010,
  address = 	 "Beverly, MA, USA",
  month = 	 oct,
}

@Proceedings{WCSSS99,
  title = 	 "WCSSS '99: Second ACM SIGPLAN Workshop on Compiler Support for System Software",
  booktitle = 	 "WCSSS '99: Second ACM SIGPLAN Workshop on Compiler Support for System Software",
  year = 	 1999,
  address = 	 "Atlanta, GA, USA",
  month = 	 may,
}

%% Colocated with USENIX2010
@Proceedings{WebApps2010,
  title = 	 "WebApps 2010: USENIX Conference on Web Application Development",
  booktitle = 	 "WebApps 2010: USENIX Conference on Web Application Development",
  year = 	 2010,
  address = 	 "Boston, MA, USA",
  month = 	 jun,
}
%% Colocated with USENIX2011
@Proceedings{WebApps2011,
  title = 	 "WebApps 2011: 2nd USENIX Conference on Web Application Development",
  booktitle = 	 "WebApps 2011: 2nd USENIX Conference on Web Application Development",
  year = 	 2011,
  address = 	 "Portland, OR, USA",
  month = 	 jun,
}
%% Colocated with USENIX2012
@Proceedings{WebApps2012,
  title = 	 "WebApps 2012: 3rd USENIX Conference on Web Application Development",
  booktitle = 	 "WebApps 2012: 3rd USENIX Conference on Web Application Development",
  year = 	 2012,
  address = 	 "Boston, MA, USA",
  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,
  address = 	 "Saarbrucken, Germany",
  month = 	 sep,
}

@Proceedings{USENIXWindows2000,
  title = 	 "USENIX Windows: 4th USENIX Windows System Symposium",
  booktitle = 	 "USENIX Windows: 4th USENIX Windows System Symposium",
  year = 	 2000,
  address = 	 "Seattle, WA, USA",
  month = 	 aug,
}

@Proceedings{WITS2003,
  title = 	 "WITS 2003: Workshop on Issues in the Theory of Security",
  booktitle = 	 "WITS 2003: Workshop on Issues in the Theory of Security",
  year = 	 2003,
  address = 	 "Warsaw, Poland",
  month = 	 apr,
}

@Proceedings{WMCSA2003,
  title = 	 "WMCSA 2003: 5th IEEE Workshop on Mobile Computing Systems and Applications",
  booktitle = 	 "WMCSA 2003: 5th IEEE Workshop on Mobile Computing Systems and Applications",
  year = 	 2003,
  address = 	 "Monterey, CA, USA",
  month = 	 oct,
}

@Proceedings{WODA2003,
  title = 	 "WODA 2003: Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2003: Workshop on Dynamic Analysis",
  year = 	 2003,
  address = 	 "Portland, Oregon",
  month = 	 may,
}
@Proceedings{WODA2005,
  title = 	 "WODA 2005: Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2005: Workshop on Dynamic Analysis",
  year = 	 2005,
  address = 	 "St.~Louis, MO, USA",
  month = 	 may,
}
@Proceedings{WODA2006,
  title = 	 "WODA 2006: Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2006: Workshop on Dynamic Analysis",
  year = 	 2006,
  address = 	 "Shanghai, China",
  month = 	 may,
}
@Proceedings{WODA2007,
  title = 	 "WODA 2007: Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2007: Workshop on Dynamic Analysis",
  year = 	 2007,
  address = 	 "Minneapolis, MN, USA",
  month = 	 may,
}
@Proceedings{WODA2008,
  title = 	 "WODA 2008: Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2008: Workshop on Dynamic Analysis",
  year = 	 2008,
  address = 	 "Seattle, WA, USA",
  month = 	 jul,
}
@Proceedings{WODA2011,
  title = 	 "WODA 2011: Ninth International Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2011: Ninth International Workshop on Dynamic Analysis",
  year = 	 2011,
  address = 	 "Toronto, Canada",
  month = 	 jul,
}
@Proceedings{WODA2015,
  title = 	 "WODA 2015: 13th International Workshop on Dynamic Analysis",
  booktitle = 	 "WODA 2015: 13th International Workshop on Dynamic Analysis",
  year = 	 2015,
  address = 	 "Pittsburgh, PA, USA",
  month = 	 oct,
}

@Proceedings{WOOD2003,
  title = 	 "WOOD 2003: Workshop on Object Oriented Developments",
  booktitle = 	 "WOOD 2003: Workshop on Object Oriented Developments",
  year = 	 2003,
  address = 	 "Warsaw, Poland",
  month = 	 oct,
}

@Proceedings{WOOT2007,
  title = 	 "WOOT 2007: First USENIX Workshop on Offensive Technologies",
  booktitle = 	 "WOOT 2007: First USENIX Workshop on Offensive Technologies",
  year = 	 2007,
  address = 	 "Boston, MA, USA",
  month = 	 aug,
}
@Proceedings{WOOT2011,
  title = 	 "WOOT 2011: Fifth USENIX Workshop on Offensive Technologies",
  booktitle = 	 "WOOT 2011: Fifth USENIX Workshop on Offensive Technologies",
  year = 	 2011,
  address = 	 "Washington, DC, USA",
  month = 	 aug,
}

@Proceedings{WSMAI2003,
  title = 	 "WSMAI 2003: 1st Workshop on Web Services: Modeling, Architecture and Infrastructure",
  booktitle = 	 "WSMAI 2003: 1st Workshop on Web Services: Modeling, Architecture and Infrastructure",
  year = 	 2003,
  address = 	 "Angers, France",
  month = 	 apr,
}

@Proceedings{WSMATE2006,
  title = 	 "WS-MaTe: International Workshop on Web Services --- Modeling and Testing",
  booktitle = 	 "WS-MaTe: International Workshop on Web Services --- Modeling and Testing",
  year = 	 2006,
  address = 	 "Palermo, Italy",
  month = 	 jun,
}

@Proceedings{WWW2004,
  title = 	 "WWW 2004: Proceedings of the Thirteenth International World Wide Web Conference",
  booktitle = 	 "WWW 2004: Proceedings of the Thirteenth International World Wide Web Conference",
  year = 	 2004,
  address = 	 "New York, NY, USA",
  month = 	 may,
}
@Proceedings{WWW2010,
  title = 	 "WWW 2010: Proceedings of the Ninteenth International World Wide Web Conference",
  booktitle = 	 "WWW 2010: Proceedings of the Ninteenth International World Wide Web Conference",
  year = 	 2010,
  address = 	 "Raleigh, NC, USA",
  month = 	 apr,
}

@Proceedings{QTAPC2008,
  title = 	 "QTAPC 2008: Proceeding of the 2008 Workshop on Query Technologies and Applications for Program Comprehension",
  booktitle = 	 "QTAPC 2008: Proceeding of the 2008 Workshop on Query Technologies and Applications for Program Comprehension",
  year = 	 2008,
  address = 	 "Amsterdam, The Netherlands",
  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,
  address = 	 "Chicago, IL, USA",
  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: