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 crossrefs-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 15th National
                  Conference on Artificial Intelligence",
  booktitle =	 "AAAI '98: Proceedings of the 15th National
                  Conference on Artificial Intelligence",
  year =	 1998,
  address =	 "Madison, WI, USA",
  month =	 jul,
}

@Proceedings{AAAI2000,
  title =	 "AAAI/IAAI: Proceedings of the 17th National
                  Conference on Artificial Intelligence and 12th
                  Conference on Innovative Applications of Artificial
                  Intelligence",
  booktitle =	 "AAAI/IAAI: Proceedings of the 17th National
                  Conference on Artificial Intelligence and 12th
                  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 25th Conference on
                  Artificial Intelligence",
  booktitle =	 "AAAI 2011: Proceedings of the 25th Conference on
                  Artificial Intelligence",
  year =	 2011,
  address =	 "San Francisco, CA, USA",
  month =	 aug,
}

@Proceedings{AADEBUG2003,
  title =	 "AADEBUG 2003: 5th International Workshop on
                  Automated and Algorithmic Debugging",
  booktitle =	 "AADEBUG 2003: 5th International Workshop on
                  Automated and Algorithmic Debugging",
  year =	 2003,
  address =	 "Ghent, Belgium",
  month =	 sep,
}

@Proceedings{AADEBUG2005,
  title =	 "AADEBUG 2005: 6th International Symposium on
                  Automated and Algorithmic Debugging",
  booktitle =	 "AADEBUG 2005: 6th 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{ACSAC2012,
  title =	 "ACSAC 2012: Proceedings of the 28th Annual Computer
                  Security Applications Conference",
  booktitle =	 "ACSAC 2012: Proceedings of the 28th Annual Computer
                  Security Applications Conference",
  year =	 2012,
  address =	 "Orlando, FL, USA",
  month =	 dec,
}

@Proceedings{ACSC2005,
  title =	 "ACSC 2005: Proceedings of the 28th Australasian
                  Conference on Computer Science",
  booktitle =	 "ACSC 2005: Proceedings of the 28th Australasian
                  Conference on Computer Science",
  year =	 2005,
  address =	 "Newcastle, NSW, Australia",
  month =	 feb,
}

@Proceedings{ACSC2009,
  title =	 "ACSC 2009: Proceedings of the 32nd Australasian
                  Conference on Computer Science",
  booktitle =	 "ACSC 2009: Proceedings of the 32nd 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 1st International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2002: Proceedings of the 1st International
                  Conference on Aspect-Oriented Software Development",
  year =	 2002,
  address =	 "Enschede, The Netherlands",
  month =	 apr,
}

@Proceedings{AOSD2007,
  title =	 "AOSD 2007: Proceedings of the 6th International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2007: Proceedings of the 6th 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: 3rd Asian Symposium on Programming
                  Languages and Systems",
  booktitle =	 "APLAS 2005: 3rd Asian Symposium on Programming
                  Languages and Systems",
  year =	 2005,
  address =	 "Tsukuba, Japan",
  month =	 nov,
}

@Proceedings{APPSEMII2003,
  title =	 "APPSEM-II: 1st Applied Semantics II Workshop",
  booktitle =	 "APPSEM-II: 1st Applied Semantics II Workshop",
  year =	 2003,
  address =	 "Nottingham, UK",
  month =	 may,
}

@Proceedings{APSEC2016,
  title =	 "APSEC 2016: Proceedings of the 23rd Asia-Pacific
                  Software Engineering Conference",
  booktitle =	 "APSEC 2016: Proceedings of the 23rd Asia-Pacific
                  Software Engineering Conference",
  year =	 2016,
  address =	 "Hamilton, New Zealand",
  month =	 dec,
}

@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{ASE2016,
  title =	 "ASE 2016: Proceedings of the 30th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2016: Proceedings of the 30th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2016,
  address =	 "Singapore, Singapore",
  month =	 sep,
}

@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 3rd International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '89: Proceedings of the 3rd 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 4th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '91: Proceedings of the 4th 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 5th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '92: Proceedings of the 5th 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 6th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '94: Proceedings of the 6th 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 7th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '96: Proceedings of the 7th 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 8th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '98: Proceedings of the 8th 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",
  booktitle =	 "AST Workshop: 1st Workshop on Automation of Software
                  Test",
  year =	 2006,
  address =	 "Shanghai, China",
  month =	 may,
}

@Proceedings{AST2011,
  title =	 "AST Workshop: 6th Workshop on Automation of Software
                  Test",
  booktitle =	 "AST Workshop: 6th Workshop on Automation of Software
                  Test",
  year =	 2011,
  address =	 "Honolulu, Hawaii, USA",
  month =	 may,
}

@Proceedings{AST2016,
  title =	 "AST Workshop:Proceedings of the 11th International
                  Workshop on Automation of Software Test",
  booktitle =	 "AST Workshop: Proceedings of the 11th International
                  Workshop on Automation of Software Test",
  year =	 2016,
  address =	 "Austin, Texas, USA",
  month =	 may,
}

@Proceedings{AST2017,
  title =	 "AST Workshop:Proceedings of the 12th International
                  Workshop on Automation of Software Test",
  booktitle =	 "AST Workshop: Proceedings of the 12th International
                  Workshop on Automation of Software Test",
  year =	 2017,
  address =	 "Buenos Aires, Argentina",
  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",
  booktitle =	 "CADE '92: Proceedings of the 11th International
                  Conference on Automated Deduction",
  year =	 1992,
  address =	 "Saratoga Springs, NY, USA",
  month =	 jun,
}

@Proceedings{CADE2000,
  title =	 "CADE 2000: Proceedings of the 17th International
                  Conference on Automated Deduction",
  booktitle =	 "CADE 2000: Proceedings of the 17th International
                  Conference on Automated Deduction",
  year =	 2000,
  address =	 "Pittsburgh, PA, USA",
  month =	 jun,
}

@Proceedings{CADE2011,
  title =	 "CADE 2011: Proceedings of the 23rd International
                  Conference on Automated Deduction",
  booktitle =	 "CADE 2011: Proceedings of the 23rd International
                  Conference on Automated Deduction",
  year =	 2011,
  address =	 "Warsaw, Poland",
  month =	 aug,
}

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

@Proceedings{CASCON1999,
  title =	 "CASCON '99: Proceedings of the 1999 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
  booktitle =	 "CASCON '99: Proceedings of the 1999 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
  year =	 1999,
  address =	 "Mississauga, Ontario, Canada",
  month =	 nov,
}

@Proceedings{CASCON2000,
  title =	 "CASCON '00: Proceedings of the 2000 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
  booktitle =	 "CASCON '00: Proceedings of the 2000 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
  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 8th International
                  Conference on Computer Aided Verification",
  booktitle =	 "CAV '96: Proceedings of the 8th International
                  Conference on Computer Aided Verification",
  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,
}

@Proceedings{CC94,
  title =	 "CC '94: Compiler Construction: 4th International
                  Conference",
  booktitle =	 "CC '94: Compiler Construction: 4th International
                  Conference",
  year =	 1994,
  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{CC2017,
  title =	 "CC 2017: 26th International Conference on Compiler
                  Construction",
  booktitle =	 "CC 2017: 26th International Conference on Compiler
                  Construction",
  year =	 2017,
  address =	 "Austin, TX, USA",
  month =	 feb,
}