conf.bib

@string{POT       = {Proceedings of the }}

%% System
@string{SOSP      = { ACM Symposium on Operating Systems Principles (SOSP)}}
@string{OSDI      = { USENIX Symposium on Operating Systems Design and Implementation (OSDI)}}
@string{ATC       = { USENIX Annual Technical Conference (ATC)}}
@string{EUROSYS   = { European Conference on Computer Systems (EuroSys)}}
@string{FAST      = { USENIX Conference on File and Storage Technologies (FAST)}}
@string{MOBISYS   = { ACM International Conference on Mobile Computing Systems (MobiSys)}}
@string{SOCC      = { ACM Symposium on Cloud Computing (SoCC)}}
@string{APSYS     = { Asia-Pacific Workshop on Systems (APSys)}}
@string{PODC      = { ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)}}
@string{HOTOS     = { USENIX Workshop on Hot Topics in Operating Systems (HotOS)}}
@string{HOTPOWER  = { Workshop on Power-Aware Computing and Systems (HotPower)}}
@string{ICDCS     = { International Conference on Distributed Computing Systems (ICDCS)}}
@string{SC        = { International Conference for High Performance Computing, Networking, Storage and Analysis (SC)}}
@string{TACAS     = { International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}}
@string{TOCS      = { ACM Transactions on Computer Systems}}
@string{OSR       = { ACM SIGOPS Operating System Review}}
@string{OLS       = { Linux Symposium }}
@string{EURODW    = { EuroSys Doctoral Workshop (EuroDW) }}

%% Security
@string{SP        = { IEEE Symposium on Security and Privacy (Oakland)}}
@string{SEC       = { USENIX Security Symposium (Security)}}
@string{CCS       = { ACM Conference on Computer and Communications Security (CCS)}}
@string{NDSS      = { Annual Network and Distributed System Security Symposium (NDSS)}}
@string{RAID      = { International Symposium on Research in Attacks, Intrusions and Defenses (RAID)}}
@string{ESORICS   = { European Symposium on Research in Computer Security (ESORICS)}}
@string{ACSAC     = { Annual Computer Security Applications Conference (ACSAC)}}
@string{DSN       = { International Conference on Dependable Systems and Networks (DSN)}}
@string{WOOT      = { USENIX Workshop on Offensive Technologies (WOOT)}}
@string{DIMVA     = { Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)}}
@string{ASIACCS   = { ACM Symposium on Information, Computer and Communications Security (ASIACCS)}}
@string{BLACKHAT  = { Black Hat USA Briefings (Black Hat USA)}}
@string{BLACKHATASIA  = { Black Hat Asia Briefings (Black Hat Asia Arsenal)}}
@string{SDNNFVSEC = { ACM International Workshop on Security in SDN and NFV}}
@string{WUSEC     = { Workshop on Usable Security (USEC)}}
@string{ISC       = { Information Security Conference (ISC)}}
@string{SOUPS     = { ACM Symposium on Usable Privacy and Security (SOUPS)}}
@string{TISSEC    = { ACM Transactions on Information and System Security}}
@string{SYSTEX    = { Workshop on System Software for Trusted Execution (SysTEX)}}
@string{SALAD     = { Workshop on SoftwAre debLoating And Delayering}}

%% PL/Compiler
@string{POPL      = { ACM Symposium on Principles of Programming Languages (POPL)}}
@string{PLDI      = { ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}}
@string{CC        = { International Conference on Compiler Construction (CC)}}
@string{CGO       = { International Symposium on Code Generation and Optimization (CGO)}}
@string{OOPSLA    = { Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)}}
@string{PPOPP     = { ACM Symposium on Principles and Practice of Parallel Programming (PPOPP)}}
@string{ISMM      = { International Symposium on Memory Management (ISMM)}}
@string{TOPLAS    = { ACM Transactions on Programming Languages and Systems}}

%% SE
@string{ICSE      = { International Conference on Software Engineering (ICSE)}}
@string{FSE       = { ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)}}
@string{ASE       = { IEEE/ACM International Conference on Automated Software Engineering (ASE)}}
@string{ISSTA     = { International Symposium on Software Testing and Analysis (ISSTA)}}
@string{ESEC      = { European Software Engineering Conference (ESEC)}}
@string{CAV       = { International Conference on Computer Aided Verification (CAV)}}

%% Web
@string{WWW       = { International World Wide Web Conference (WWW)}}

%% Arch
@string{ISCA      = { ACM/IEEE International Symposium on Computer Architecture (ISCA)}}
@string{MICRO     = { Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)}}
@string{ASPLOS    = { ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)}}
@string{HPCA      = { IEEE Symposium on High Performance Computer Architecture (HPCA)}}
@string{PACT      = { International Conference on Parallel Architectures and Compilation Techniques (PACT)}}

%% Crypto
@string{CRYPTO    = { International Cryptology Conference (CRYPTO)}}
@string{EUROCRYPT = { Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT)}}
@string{ASIACRYPT = { Annual International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)}}
@string{CTRSA     = { The Cryptographer's Track at the RSA Conference (CT-RSA)}}
@string{CHES      = { Cryptographic Hardware and Embedded Systems (CHES)}}

%% Network
@string{SIGCOMM   = { ACM SIGCOMM}}
@string{NSDI      = { USENIX Symposium on Networked Systems Design and Implementation (NSDI)}}
@string{HOTNETS   = { ACM Workshop on Hot Topics in Networks (HotNets)}}
@string{CACM      = { Communications of the ACM}}

%% DB/Mining
@string{VLDB      = { International Conference on Very Large Data Bases (VLDB)}}
@string{SIGMOD    = { ACM SIGMOD/PODS Conference}}
@string{ICDE      = { IEEE International Conference on Data Engineering (ICDE)}}
@string{CIDR      = { biennial Conference on Innovative Data Systems Research (CIDR)}}

%% File Systems
@string{TOS       = { ACM Transactions on Storage }}

%% ML/AI
@string{MLPA      = { Machine Learning for Program Aanalysis (MLPA)}}

%% Else
@string{STOC      = { Annual ACM Symposium on Theory of Computing (STOC)}}
@string{WCSE      = { International Workshop on Computer Science and Engineering (WCSE)}}
@string{ICEEI     = { International Conference on Electrical Engineering and Informatics (ICEEI)}}
@string{SAC       = { ACM Symposium on Applied Computing (SAC)}}
@string{KDD       = { ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) Project Showcase}}
%% ----------------------------------------------------------------------
%% SOSP
%% ----------------------------------------------------------------------
@Proceedings{SOSP72,
  title        = POT # " 3rd " # SOSP,
  booktitle    = POT # " 3rd " # SOSP,
  year         = 1972,
  month        = mar,
}

@Proceedings{SOSP75,
  title        = POT # " 5th " # SOSP,
  booktitle    = POT # " 5th " # SOSP,
  year         = 1975,
  month        = nov,
  address      = {Austin, TX},
}

@Proceedings{SOSP77,
  title        = POT # " 6th " # SOSP,
  booktitle    = POT # " 6th " # SOSP,
  year         = 1977,
  address      = {West Lafayette, IN},
}

@Proceedings{SOSP81,
  title        = POT # " 8th " # SOSP,
  booktitle    = POT # " 8th " # SOSP,
  year         = 1981,
  month        = dec,
  address      = {Pacific Grove, CA},
}

@Proceedings{SOSP83,
  title        = POT # " 9th " # SOSP,
  booktitle    = POT # " 9th " # SOSP,
  year         = 1983,
}

@Proceedings{SOSP85,
  title        = POT # " 10th " # SOSP,
  booktitle    = POT # " 10th " # SOSP,
  address      = {Orcas Island, WA},
  year         = 1985,
  month        = Dec,
}

@Proceedings{SOSP89,
  title        = POT # " 12th " # SOSP,
  booktitle    = POT # " 12th " # SOSP,
  year         = 1989,
}

@Proceedings{SOSP91,
  title        = POT # " 13th " # SOSP,
  booktitle    = POT # " 13th " # SOSP,
  year         = 1991,
  month        = Oct,
  address      = {Pacific Grove, CA},
}

@Proceedings{SOSP93,
  title        = POT # " 14th " # SOSP,
  booktitle    = POT # " 14th " # SOSP,
  year         = 1993,
  month        = dec,
  address      = {Asheville, NC},
}

@Proceedings{SOSP95,
  title        = POT # " 15th " # SOSP,
  booktitle    = POT # " 15th " # SOSP,
  year         = 1995,
  month        = dec,
  address      = {Copper Mountain, CO},
}

@Proceedings{SOSP97,
  title        = POT # " 16th " # SOSP,
  booktitle    = POT # " 16th " # SOSP,
  month        = oct,
  year         = 1997,
  address      = {Saint-Malo, France},
}

@Proceedings{SOSP99,
  title        = POT # " 17th " # SOSP,
  booktitle    = POT # " 17th " # SOSP,
  month        = dec,
  year         = 1999,
  address      = {Kiawa Island, SC},
}

@Proceedings{SOSP01,
  title        = POT # " 18th " # SOSP,
  booktitle    = POT # " 18th " # SOSP,
  month        = oct,
  year         = 2001,
  address      = {Chateau Lake Louise, Banff, Canada},
}

@Proceedings{SOSP03,
  title        = POT # " 19th " # SOSP,
  booktitle    = POT # " 19th " # SOSP,
  month        = oct,
  year         = 2003,
  address      = {Bolton Landing, NY},
}

@Proceedings{SOSP05,
  title        = POT # " 20th " # SOSP,
  booktitle    = POT # " 20th " # SOSP,
  month        = oct,
  year         = 2005,
  address      = {Brighton, UK},
}

@Proceedings{SOSP07,
  title        = POT # " 21st " # SOSP,
  booktitle    = POT # " 21st " # SOSP,
  month        = oct,
  year         = 2007,
  address      = {Stevenson, WA},
}

@Proceedings{SOSP09,
  title        = POT # " 22nd " # SOSP,
  booktitle    = POT # " 22nd " # SOSP,
  month        = oct,
  year         = 2009,
  address      = {Big Sky, MT},
}

@Proceedings{SOSP11,
  title        = POT # " 23rd " # SOSP,
  booktitle    = POT # " 23rd " # SOSP,
  month        = oct,
  year         = 2011,
  address      = {Cascais, Portugal},
}

@Proceedings{SOSP13,
  title        = POT # " 24th " # SOSP,
  booktitle    = POT # " 24th " # SOSP,
  month        = nov,
  year         = 2013,
  address      = {Farmington, PA},
}

@Proceedings{SOSP15,
  title        = POT # " 25th " # SOSP,
  booktitle    = POT # " 25th " # SOSP,
  month        = oct,
  year         = 2015,
  address      = {Monterey, CA},
}

@Proceedings{SOSP17,
  title        = POT # " 26th " # SOSP,
  booktitle    = POT # " 26th " # SOSP,
  month        = oct,
  year         = 2017,
  address      = {Shanghai, China},
}

@Proceedings{SOSP19,
  title        = POT # " 27th " # SOSP,
  booktitle    = POT # " 27th " # SOSP,
  month        = oct,
  year         = 2019,
  address      = {Ontario, Canada},
}

@Proceedings{SOSP21,
  title        = POT # " 28th " # SOSP,
  booktitle    = POT # " 28th " # SOSP,
  month        = oct,
  year         = 2021,
  address      = {Koblenz, Germany},
}

@Proceedings{SOSP23,
  title        = POT # " 29th " # SOSP,
  booktitle    = POT # " 29th " # SOSP,
  month        = oct,
  year         = 2023,
  address      = {Koblenz, Germany},
}

%% ----------------------------------------------------------------------
%% ATC
%% ----------------------------------------------------------------------
@Proceedings{ATC85S,
  title        = POT # " {S}ummer 1985 " # ATC,
  booktitle    = POT # " {S}ummer 1985 " # ATC,
  year         = 1985,
  address      = {Portland, OR},
}

@Proceedings{ATC86S,
  title        = POT # " {S}ummer 1986 " # ATC,
  booktitle    = POT # " {S}ummer 1986 " # ATC,
  year         = 1986,
}

@Proceedings{ATC88W,
  title        = POT # " {W}inter 1988 " # ATC,
  booktitle    = POT # " {W}inter 1988 " # ATC,
  year         = 1988,
  address      = {Dallas, TX},
}

@Proceedings{ATC89W,
  title        = POT # " {W}inter 1989 " # ATC,
  booktitle    = POT # " {W}inter 1989 " # ATC,
  year         = 1989,
}

@Proceedings{ATC90W,
  title        = POT # " {W}inter 1990 " # ATC,
  booktitle    = POT # " {W}inter 1990 " # ATC,
  year         = 1990,
  address      = {Colorado Springs, CO},
}

@Proceedings{ATC90S,
  title        = POT # " {S}ummer 1990 " # ATC,
  booktitle    = POT # " {S}ummer 1990 " # ATC,
  year         = 1990,
  address      = {Anaheim, CA},
}

@Proceedings{ATC91W,
  title        = POT # " {W}inter 1991 " # ATC,
  booktitle    = POT # " {W}inter 1991 " # ATC,
  year         = 1991,
}

@Proceedings{ATC92W,
  title        = POT # " {W}inter 1992 " # ATC,
  booktitle    = POT # " {W}inter 1992 " # ATC,
  year         = 1992,
  month        = jan,
}

@Proceedings{ATC93W,
  title        = POT # " {W}inter 1993 " # ATC,
  booktitle    = POT # " {W}inter 1993 " # ATC,
  year         = 1993,
  month        = jan,
  address      = {San Diego, CA},
}

@Proceedings{ATC93S,
  title        = POT # " {S}ummer 1993 " # ATC,
  booktitle    = POT # " {S}ummer 1993 " # ATC,
  year         = 1993,
  month        = apr,
}

@Proceedings{ATC94W,
  title        = POT # " {W}inter 1994 " # ATC,
  booktitle    = POT # " {W}inter 1994 " # ATC,
  year         = 1994,
  month        = jan,
  address      = {San Francisco, CA},
}

@Proceedings{ATC97,
  title        = POT # " 1997 " # ATC,
  booktitle    = POT # " 1997 " # ATC,
  year         = 1997,
  month        = jan,
}

@Proceedings{ATC99,
  title        = POT # " 1999 " # ATC,
  booktitle    = POT # " 1999 " # ATC,
  year         = 1999,
  month        = jun,
}

@Proceedings{ATC00,
  title        = POT # " 2000 " # ATC,
  booktitle    = POT # " 2000 " # ATC,
  year         = 2000,
  month        = jun,
}

@Proceedings{ATC01,
  title        = POT # " 2001 " # ATC,
  booktitle    = POT # " 2001 " # ATC,
  year         = 2001,
  month        = jun,
}

@Proceedings{ATC02,
  title        = POT # " 2002 " # ATC,
  booktitle    = POT # " 2002 " # ATC,
  year         = 2002,
  month        = jun,
  address      = {Monterey, CA}
}

@Proceedings{ATC03,
  title        = POT # " 2003 " # ATC,
  booktitle    = POT # " 2003 " # ATC,
  month        = jun,
  year         = 2003,
  address      = {San Antonio, TX},
}

@Proceedings{ATC04,
  title        = POT # " 2004 " # ATC,
  booktitle    = POT # " 2004 " # ATC,
  month        = jun # {--} # jul,
  year         = 2004,
  address      = {Boston, MA},
}

@Proceedings{ATC06,
  title        = POT # " 2006 " # ATC,
  booktitle    = POT # " 2006 " # ATC,
  month        = may # {--} # jun,
  year         = 2006,
  address      = {Boston, MA},
}

@Proceedings{ATC07,
  title        = POT # " 2007 " # ATC,
  booktitle    = POT # " 2007 " # ATC,
  month        = jun,
  year         = 2007,
  address      = {Santa Clara, CA},
}

@Proceedings{ATC08,
  title        = POT # " 2008 " # ATC,
  booktitle    = POT # " 2008 " # ATC,
  month        = jun,
  year         = 2008,
  address      = {Boston, MA},
}

@Proceedings{ATC09,
  title        = POT # " 2009 " # ATC,
  booktitle    = POT # " 2009 " # ATC,
  month        = jun,
  year         = 2009,
  address      = {San Diego, CA},
}

@Proceedings{ATC10,
  title        = POT # " 2010 " # ATC,
  booktitle    = POT # " 2010 " # ATC,
  month        = jun,
  year         = 2010,
  address      = {Boston, MA},
}

@Proceedings{ATC12,
  title        = POT # " 2012 " # ATC,
  booktitle    = POT # " 2012 " # ATC,
  month        = jun,
  year         = 2012,
  address      = {Boston, MA},
}

@Proceedings{ATC13,
  title        = POT # " 2013 " # ATC,
  booktitle    = POT # " 2013 " # ATC,
  month        = jun,
  year         = 2013,
  address      = {San Jose, CA},
}

@Proceedings{ATC14,
  title        = POT # " 2014 " # ATC,
  booktitle    = POT # " 2014 " # ATC,
  month        = jun,
  year         = 2014,
  address      = {Philadelphia, PA},
}

@Proceedings{ATC15,
  title        = POT # " 2015 " # ATC,
  booktitle    = POT # " 2015 " # ATC,
  month        = jul,
  year         = 2015,
  address      = {Santa Clara, CA},
}

@Proceedings{ATC16,
  title        = POT # " 2016 " # ATC,
  booktitle    = POT # " 2016 " # ATC,
  month        = jun,
  year         = 2016,
  address      = {Denver, CO},
}

@Proceedings{ATC17,
  title        = POT # " 2017 " # ATC,
  booktitle    = POT # " 2017 " # ATC,
  month        = jul,
  year         = 2017,
  address      = {Santa Clara, CA},
}

@Proceedings{ATC18,
  title        = POT # " 2018 " # ATC,
  booktitle    = POT # " 2018 " # ATC,
  month        = jul,
  year         = 2018,
  address      = {Boston, MA},
}

@Proceedings{ATC19,
  title        = POT # " 2019 " # ATC,
  booktitle    = POT # " 2019 " # ATC,
  month        = jul,
  year         = 2019,
  address      = {Renton, WA},
}

@Proceedings{ATC20,
  title        = POT # " 2020 " # ATC,
  booktitle    = POT # " 2020 " # ATC,
  month        = jul,
  year         = 2020,
  address      = {Virtual},
}
@Proceedings{ATC21,
  title        = POT # " 2021 " # ATC,
  booktitle    = POT # " 2021 " # ATC,
  month        = jul,
  year         = 2021,
  address      = {Virtual},
}

%% ----------------------------------------------------------------------
%% NSDI
%% ----------------------------------------------------------------------
@Proceedings{NSDI04,
  title        = POT # { 1st } # NSDI,
  booktitle    = POT # { 1st } # NSDI,
  month        = mar,
  year         = 2004,
  address      = {San Francisco, CA},
}

@Proceedings{NSDI05,
  title        = POT # { 2nd } # NSDI,
  booktitle    = POT # { 2nd } # NSDI,
  month        = may,
  year         = 2005,
  address      = {Boston, MA},
}

@Proceedings{NSDI06,
  title        = POT # { 3rd } # NSDI,
  booktitle    = POT # { 3rd } # NSDI,
  month        = may,
  year         = 2006,
  address      = {San Jose, CA},
}

@Proceedings{NSDI07,
  title        = POT # { 4th } # NSDI,
  booktitle    = POT # { 4th } # NSDI,
  month        = apr,
  year         = 2007,
  address      = {Cambridge, MA},
}

@Proceedings{NSDI08,
  title        = POT # { 5th } # NSDI,
  booktitle    = POT # { 5th } # NSDI,
  month        = apr,
  year         = 2008,
  address      = {San Francisco, CA},
}

@Proceedings{NSDI09,
  title        = POT # { 6th } # NSDI,
  booktitle    = POT # { 6th } # NSDI,
  month        = apr,
  year         = 2009,
  address      = {Boston, MA},
}

@Proceedings{NSDI10,
  title        = POT # { 7th } # NSDI,
  booktitle    = POT # { 7th } # NSDI,
  month        = apr,
  year         = 2010,
  address      = {San Jose, CA},
}

@Proceedings{NSDI12,
  title        = POT # { 9th } # NSDI,
  booktitle    = POT # { 9th } # NSDI,
  month        = apr,
  year         = 2012,
  address      = {San Jose, CA},
}

@Proceedings{NSDI13,
  title        = POT # { 10th } # NSDI,
  booktitle    = POT # { 10th } # NSDI,
  month        = apr,
  year         = 2013,
  address      = {Lombard, IL},
}

@Proceedings{NSDI14,
  title        = POT # { 11th } # NSDI,
  booktitle    = POT # { 11th } # NSDI,
  month        = mar,
  year         = 2014,
  address      = {Seattle, WA},
}

@Proceedings{NSDI15,
  title        = POT # { 12th } # NSDI,
  booktitle    = POT # { 12th } # NSDI,
  month        = may,
  year         = 2015,
  address      = {Oakland, CA},
}

@Proceedings{NSDI16,
  title        = POT # { 13th } # NSDI,
  booktitle    = POT # { 13th } # NSDI,
  month        = mar,
  year         = 2016,
  address      = {Santa Clara, CA},
}

@Proceedings{NSDI17,
  title        = POT # { 14th } # NSDI,
  booktitle    = POT # { 14th } # NSDI,
  month        = mar,
  year         = 2017,
  address      = {Boston, MA},
}

%% ----------------------------------------------------------------------
%% PLDI
%% ----------------------------------------------------------------------
@Proceedings{PLDI90,
  title        = POT # { 1990 } # PLDI,
  booktitle    = POT # { 1990 } # PLDI,
  month        = jun,
  year         = 1990,
  address      = {White Plains, NY},
}

@Proceedings{PLDI95,
  title        = POT # { 1995 } # PLDI,
  booktitle    = POT # { 1995 } # PLDI,
  month        = jun,
  year         = 1995,
  address      = {La Jolla, CA},
}

@Proceedings{PLDI96,
  title        = POT # { 1996 } # PLDI,
  booktitle    = POT # { 1996 } # PLDI,
  month        = jun,
  year         = 1996,
  address      = {Philadelphia, PA},
}

@Proceedings{PLDI97,
  title        = POT # { 1997 } # PLDI,
  booktitle    = POT # { 1997 } # PLDI,
  month        = jun,
  year         = 1997,
  address      = {Las Vegas, NV},
}

@Proceedings{PLDI00,
  title        = POT # { 2000 } # PLDI,
  booktitle    = POT # { 2000 } # PLDI,
  month        = jun,
  year         = 2000,
  address      = {Vancouver, Canada},
}

@Proceedings{PLDI01,
  title        = POT # { 2001 } # PLDI,
  booktitle    = POT # { 2001 } # PLDI,
  month        = jun,
  year         = 2001,
  address      = {Snowbird, Utah},
}
@Proceedings{PLDI02,
  title        = POT # { 2002 } # PLDI,
  booktitle    = POT # { 2002 } # PLDI,
  month        = jun,
  year         = 2002,
  address      = {Berlin, Germany},
}

@Proceedings{PLDI03,
  title        = POT # { 2003 } # PLDI,
  booktitle    = POT # { 2003 } # PLDI,
  month        = jun,
  year         = 2003,
  address      = {San Diego, CA},
}

@Proceedings{PLDI04,
  title        = POT # { 2004 } # PLDI,
  booktitle    = POT # { 2004 } # PLDI,
  month        = jun,
  year         = 2004,
  address      = {Washington, DC},
}

@Proceedings{PLDI05,
  title        = POT # { 2005 } # PLDI,
  booktitle    = POT # { 2005 } # PLDI,
  month        = jun,
  year         = 2005,
  address      = {Chicago, IL},
}

@Proceedings{PLDI06,
  title        = POT # { 2006 } # PLDI,
  booktitle    = POT # { 2006 } # PLDI,
  month        = jun,
  year         = 2006,
  address      = {Ottawa, Canada},
}

@Proceedings{PLDI07,
  title        = POT # { 2007 } # PLDI,
  booktitle    = POT # { 2007 } # PLDI,
  month        = jun,
  year         = 2007,
  address      = {San Diego, CA},
}

@Proceedings{PLDI09,
  title        = POT # { 2009 } # PLDI,
  booktitle    = POT # { 2009 } # PLDI,
  month        = jun,
  year         = 2009,
  address      = {Dublin, Ireland},
}

@Proceedings{PLDI11,
  title        = POT # { 2011 } # PLDI,
  booktitle    = POT # { 2011 } # PLDI,
  month        = jun,
  year         = 2011,
  address      = {San Jose, CA},
}

@Proceedings{PLDI12,
  title        = POT # { 2012 } # PLDI,
  booktitle    = POT # { 2012 } # PLDI,
  month        = jun,
  year         = 2012,
  address      = {Beijing, China},
}

@Proceedings{PLDI13,
  title        = POT # { 2013 } # PLDI,
  booktitle    = POT # { 2013 } # PLDI,
  month        = jun,
  year         = 2013,
  address      = {Seattle, WA},
}

@Proceedings{PLDI14,
  title        = POT # { 2014 } # PLDI,
  booktitle    = POT # { 2014 } # PLDI,
  month        = jun,
  year         = 2014,
  address      = {Edinburgh, UK},
}

@Proceedings{PLDI15,
  title        = POT # { 2015 } # PLDI,
  booktitle    = POT # { 2015 } # PLDI,
  month        = jun,
  year         = 2015,
  address      = {Portland, OR},
}
%% ----------------------------------------------------------------------
%% OSDI
%% ----------------------------------------------------------------------
@Proceedings{OSDI99,
  title        = POT # { 3rd } # OSDI,
  booktitle    = POT # { 3rd } # OSDI,
  month        = feb,
  year         = 1999,
  address      = {New Orleans, LA},
}

@Proceedings{OSDI00,
  title        = POT # { 4th } # OSDI,
  booktitle    = POT # { 4th } # OSDI,
  month        = oct,
  year         = 2000,
  address      = {San Diego, CA},
}

@Proceedings{OSDI02,
  title        = POT # { 5th } # OSDI,
  booktitle    = POT # { 5th } # OSDI,
  month        = dec,
  year         = 2002,
  address      = {Boston, MA},
}

@Proceedings{OSDI04,
  title        = POT # { 6th } # OSDI,
  booktitle    = POT # { 6th } # OSDI,
  month        = dec,
  year         = 2004,
  address      = {San Francisco, CA},
}

@Proceedings{OSDI06,
  title        = POT # { 7th } # OSDI,
  booktitle    = POT # { 7th } # OSDI,
  month        = nov,
  year         = 2006,
  address      = {Seattle, WA},
}

@Proceedings{OSDI08,
  title        = POT # { 8th } # OSDI,
  booktitle    = POT # { 8th } # OSDI,
  month        = dec,
  year         = 2008,
  address      = {San Diego, CA},
}

@Proceedings{OSDI10,
  title        = POT # { 9th } # OSDI,
  booktitle    = POT # { 9th } # OSDI,
  month        = oct,
  year         = 2010,
  address      = {Vancouver, Canada},
}

@Proceedings{OSDI12,
  title        = POT # { 10th } # OSDI,
  booktitle    = POT # { 10th } # OSDI,
  month        = oct,
  year         = 2012,
  address      = {Hollywood, CA},
}

@Proceedings{OSDI14,
  title        = POT # { 11th } # OSDI,
  booktitle    = POT # { 11th } # OSDI,
  month        = oct,
  year         = 2014,
  address      = {Broomfield, Colorado},
}

@Proceedings{OSDI16,
  title        = POT # { 12th } # OSDI,
  booktitle    = POT # { 12th } # OSDI,
  month        = nov,
  year         = 2016,
  address      = {Savannah, GA},
}

@Proceedings{OSDI18,
  title        = POT # { 13th } # OSDI,
  booktitle    = POT # { 13th } # OSDI,
  month        = oct,
  year         = 2018,
  address      = {Carlsbad, CA},
}

@Proceedings{OSDI20,
  title        = POT # { 14th } # OSDI,
  booktitle    = POT # { 14th } # OSDI,
  month        = oct,
  year         = 2020,
  address      = {Virtual},
}

@Proceedings{OSDI21,
  title        = POT # { 15th } # OSDI,
  booktitle    = POT # { 15th } # OSDI,
  month        = oct,
  year         = 2021,
  address      = {Virtual},
}

@Proceedings{OSDI22,
  title        = POT # { 16th } # OSDI,
  booktitle    = POT # { 16th } # OSDI,
  month        = jul,
  year         = 2022,
  address      = {Carlsbad, CA},
}

@Proceedings{OSDI23,
  title        = POT # { 17th } # OSDI,
  booktitle    = POT # { 17th } # OSDI,
  month        = jul,
  year         = 2023,
  address      = {Boston, MA},
}

%% ----------------------------------------------------------------------
%% EUROSYS
%% ----------------------------------------------------------------------
@Proceedings{EUROSYS06,
  title        = POT # { 1st } # EUROSYS,
  booktitle    = POT # { 1st } # EUROSYS,
  month        = apr,
  year         = 2006,
  address      = {Leuven, Belgium},
}

@Proceedings{EUROSYS07,
  title        = POT # { 2nd } # EUROSYS,
  booktitle    = POT # { 2nd } # EUROSYS,
  month        = mar,
  year         = 2007,
  address      = {Lisbon, Portugal},
}

@Proceedings{EUROSYS08,
  title        = POT # { 3rd } # EUROSYS,
  booktitle    = POT # { 3rd } # EUROSYS,
  month        = mar,
  year         = 2008,
  address      = {Glasgow, Scotland},
}

@Proceedings{EUROSYS09,
  title        = POT # { 4th } # EUROSYS,
  booktitle    = POT # { 4th } # EUROSYS,
  month        = mar,
  year         = 2009,
  address      = {Nuremberg, Germany},
}

@Proceedings{EUROSYS10,
  title        = POT # { 5th } # EUROSYS,
  booktitle    = POT # { 5th } # EUROSYS,
  month        = apr,
  year         = 2010,
  address      = {Paris, France},
}

@Proceedings{EUROSYS11,
  title        = POT # { 6th } # EUROSYS,
  booktitle    = POT # { 6th } # EUROSYS,
  month        = apr,
  year         = 2011,
  address      = {Salzburg, Austria},
}

@Proceedings{EUROSYS12,
  title        = POT # { 7th } # EUROSYS,
  booktitle    = POT # { 7th } # EUROSYS,
  month        = apr,
  year         = 2012,
  address      = {Bern, Switzerland},
}

@Proceedings{EUROSYS13,
  title        = POT # { 8th } # EUROSYS,
  booktitle    = POT # { 8th } # EUROSYS,
  month        = apr,
  year         = 2013,
  address      = {Prague, Czech Republic},
}

@Proceedings{EUROSYS14,
  title        = POT # { 9th } # EUROSYS,
  booktitle    = POT # { 9th } # EUROSYS,
  month        = apr,
  year         = 2014,
  address      = {Amsterdam, The Netherlands},
}

@Proceedings{EUROSYS15,
  title        = POT # { 10th } # EUROSYS,
  booktitle    = POT # { 10th } # EUROSYS,
  month        = apr,
  year         = 2015,
  address      = {Bordeaux, France}
}

@Proceedings{EUROSYS16,
  title        = POT # { 11th } # EUROSYS,
  booktitle    = POT # { 11th } # EUROSYS,
  month        = apr,
  year         = 2016,
  address      = {London, UK}
}

@Proceedings{EUROSYS17,
  title        = POT # { 12th } # EUROSYS,
  booktitle    = POT # { 12th } # EUROSYS,
  month        = apr,
  year         = 2017,
  address      = {Belgrade, RS}
}

@Proceedings{EUROSYS18,
  title        = POT # { 13th } # EUROSYS,
  booktitle    = POT # { 13th } # EUROSYS,
  month        = apr,
  year         = 2018,
  address      = {Porto, Portugal}
}

@Proceedings{EUROSYS22,
  title        = POT # { 17th } # EUROSYS,
  booktitle    = POT # { 17th } # EUROSYS,
  month        = apr,
  year         = 2022,
  address      = {Rennes, France}
}

@Proceedings{EUROSYS23,
  title        = POT # { 18th } # EUROSYS,
  booktitle    = POT # { 18th } # EUROSYS,
  month        = apr,
  year         = 2023,
  address      = {Rome, Italy}
}


@Proceedings{EUROSYS24,
  title        = POT # { 19th } # EUROSYS,
  booktitle    = POT # { 19th } # EUROSYS,
  month        = apr,
  year         = 2024,
  address      = {Athens, Greece}
}

%% ----------------------------------------------------------------------
%% EuroDW
%% ----------------------------------------------------------------------

@Proceedings{EURODW18,
  title        = { 12th } # EURODW,
  booktitle    = { 12th } # EURODW,
  month        = apr,
  year         = 2018,
  address      = {Porto, Portugal}
}

%% ----------------------------------------------------------------------
%% ASPLOS
%% ----------------------------------------------------------------------
@Proceedings{ASPLOS02,
  title        = POT # { 10th } # ASPLOS,
  booktitle    = POT # { 10th } # ASPLOS,
  month        = oct,
  year         = 2002,
  address      = {San Jose, CA},
}

@Proceedings{ASPLOS06,
  title        = POT # { 12th } # ASPLOS,
  booktitle    = POT # { 12th } # ASPLOS,
  month        = oct,
  year         = 2006,
  address      = {San Jose, CA},
}

@Proceedings{ASPLOS08,
  title        = POT # { 13th } # ASPLOS,
  booktitle    = POT # { 13th } # ASPLOS,
  month        = mar,
  year         = 2008,
  address      = {Seattle, WA},
}

@Proceedings{ASPLOS09,
  title        = POT # { 14th } # ASPLOS,
  booktitle    = POT # { 14th } # ASPLOS,
  month        = mar,
  year         = 2009,
  address      = {Washington, DC},
}

@Proceedings{ASPLOS11,
  title        = POT # { 16th } # ASPLOS,
  booktitle    = POT # { 16th } # ASPLOS,
  month        = mar,
  year         = 2011,
  address      = {Newport Beach, CA},
}

@Proceedings{ASPLOS12,
  title        = POT # { 17th } # ASPLOS,
  booktitle    = POT # { 17th } # ASPLOS,
  month        = mar,
  year         = 2012,
  address      = {London, UK},
}

@Proceedings{ASPLOS13,
  title        = POT # { 18th } # ASPLOS,
  booktitle    = POT # { 18th } # ASPLOS,
  month        = mar,
  year         = 2013,
  address      = {Houston, TX},
}

@Proceedings{ASPLOS15,
  title        = POT # { 20th } # ASPLOS,
  booktitle    = POT # { 20th } # ASPLOS,
  month        = mar,
  year         = 2015,
  address      = {Istanbul, Turkey},
}

@Proceedings{ASPLOS16,
  title        = POT # { 21st } # ASPLOS,
  booktitle    = POT # { 21st } # ASPLOS,
  month        = apr,
  year         = 2016,
  address      = {Atlanta, GA},
}

@Proceedings{ASPLOS17,
  title        = POT # { 22nd } # ASPLOS,
  booktitle    = POT # { 22nd } # ASPLOS,
  month        = apr,
  year         = 2017,
  address      = {Xi'an, China},
}

@Proceedings{ASPLOS18,
  title        = POT # { 23rd } # ASPLOS,
  booktitle    = POT # { 23rd } # ASPLOS,
  month        = mar,
  year         = 2018,
  address      = {Williamsburg, VA},
}

@Proceedings{ASPLOS19,
  title        = POT # { 24th } # ASPLOS,
  booktitle    = POT # { 24th } # ASPLOS,
  month        = apr,
  year         = 2019,
  address      = {Providence, RI},
}

@Proceedings{ASPLOS20,
  title        = POT # { 25th } # ASPLOS,
  booktitle    = POT # { 25th } # ASPLOS,
  month        = apr,
  year         = 2020,
  address      = {Virtual},
}


@Proceedings{ASPLOS21,
  title        = POT # { 26th } # ASPLOS,
  booktitle    = POT # { 26th } # ASPLOS,
  month        = apr,
  year         = 2021,
  address      = {Virtual},
}


%% ----------------------------------------------------------------------
%% CCS
%% ----------------------------------------------------------------------
@Proceedings{CCS94,
  title        = POT # { 2nd } # CCS,
  booktitle    = POT # { 2nd } # CCS,
  month        = nov,
  year         = 1994,
  address      = {Fairfax, VA},
}

@Proceedings{CCS00,
  title        = POT # { 7th } # CCS,
  booktitle    = POT # { 7th } # CCS,
  month        = oct,
  year         = 2000,
  address      = {Athens, Greece},
}
@Proceedings{CCS03,
  title        = POT # { 10th } # CCS,
  booktitle    = POT # { 10th } # CCS,
  month        = oct,
  year         = 2003,
  address      = {Washington, DC},
}

@Proceedings{CCS04,
  title        = POT # { 11th } # CCS,
  booktitle    = POT # { 11th } # CCS,
  month        = oct,
  year         = 2004,
  address      = {Washington, DC},
}

@Proceedings{CCS05,
  title        = POT # { 12th } # CCS,
  booktitle    = POT # { 12th } # CCS,
  month        = nov,
  year         = 2005,
  address      = {Alexandria, VA},
}

@Proceedings{CCS06,
  title        = POT # { 13th } # CCS,
  booktitle    = POT # { 13th } # CCS,
  month        = oct # {--} # nov,
  year         = 2006,
  address      = {Alexandria, VA},
}

@Proceedings{CCS07,
  title        = POT # { 14th } # CCS,
  booktitle    = POT # { 14th } # CCS,
  month        = oct # {--} # nov,
  year         = 2007,
  address      = {Alexandria, VA},
}

@Proceedings{CCS09,
  title        = POT # { 16th } # CCS,
  booktitle    = POT # { 16th } # CCS,
  month        = nov,
  year         = 2009,
  address      = {Chicago, IL},
}

@Proceedings{CCS10,
  title        = POT # { 17th } # CCS,
  booktitle    = POT # { 17th } # CCS,
  month        = nov,
  year         = 2010,
  address      = {Chicago, IL},
}

@Proceedings{CCS11,
  title        = POT # { 18th } # CCS,
  booktitle    = POT # { 18th } # CCS,
  month        = oct,
  year         = 2011,
  address      = {Chicago, Illinois},
}

@Proceedings{CCS12,
  title        = POT # { 19th } # CCS,
  booktitle    = POT # { 19th } # CCS,
  month        = oct,
  year         = 2012,
  address      = {Raleigh, NC},
}
@Proceedings{CCS13,
  title        = POT # { 20th } # CCS,
  booktitle    = POT # { 20th } # CCS,
  month        = oct,
  year         = 2013,
  address      = {Berlin, Germany},
}

@Proceedings{CCS14,
  title        = POT # { 21st } # CCS,
  booktitle    = POT # { 21st } # CCS,
  month        = nov,
  year         = 2014,
  address      = {Scottsdale, Arizona},
}

@Proceedings{CCS15,
  title        = POT # { 22nd } # CCS,
  booktitle    = POT # { 22nd } # CCS,
  month        = oct,
  year         = 2015,
  address      = {Denver, Colorado},
}

@Proceedings{CCS16,
  title        = POT # { 23rd } # CCS,
  booktitle    = POT # { 23rd } # CCS,
  month        = oct,
  year         = 2016,
  address      = {Vienna, Austria},
}

@Proceedings{CCS17,
  title        = POT # { 24th } # CCS,
  booktitle    = POT # { 24th } # CCS,
  month        = oct # {--} # nov,
  year         = 2017,
  address      = {Dallas, TX},
}

@Proceedings{CCS18,
  title        = POT # { 25th } # CCS,
  booktitle    = POT # { 25th } # CCS,
  month        = oct,
  year         = 2018,
  address      = {Toronto, ON, Canada},
}

@Proceedings{CCS19,
  title        = POT # { 26th } # CCS,
  booktitle    = POT # { 26th } # CCS,
  month        = nov,
  year         = 2019,
  address      = {London, UK},
}

@Proceedings{CCS20,
  title        = POT # { 27th } # CCS,
  booktitle    = POT # { 27th } # CCS,
  month        = nov,
  year         = 2020,
  address      = {Orlando, FL},
}
%% ----------------------------------------------------------------------
%% SEC
%% ----------------------------------------------------------------------

@Proceedings{SEC96,
  title        = POT # { 6th } # SEC,
  booktitle    = POT # { 6th } # SEC,
  month        = jul,
  year         = 1996,
  address      = {San Jose, CA},
}

@Proceedings{SEC98,
  title        = POT # { 7th } # SEC,
  booktitle    = POT # { 7th } # SEC,
  month        = jan,
  year         = 1998,
  address      = {San Antonio, TX},
}

@Proceedings{SEC01,
  title        = POT # { 10th } # SEC,
  booktitle    = POT # { 10th } # SEC,
  month        = aug,
  year         = 2001,
  address      = {Washington, DC},
}
@Proceedings{SEC02,
  title        = POT # { 11th } # SEC,
  booktitle    = POT # { 11th } # SEC,
  month        = aug,
  year         = 2002,
  address      = {San Francisco, CA},
}

@Proceedings{SEC03,
  title        = POT # { 12th } # SEC,
  booktitle    = POT # { 12th } # SEC,
  month        = aug,
  year         = 2003,
  address      = {Washington, DC},
}

@Proceedings{SEC05,
  title        = POT # { 14th } # SEC,
  booktitle    = POT # { 14th } # SEC,
  month        = aug,
  year         = 2005,
  address      = {Baltimore, MD},
}

@Proceedings{SEC06,
  title        = POT # { 15th } # SEC,
  booktitle    = POT # { 15th } # SEC,
  month        = jul,
  year         = 2006,
  address      = {Vancouver, Canada},
}

@Proceedings{SEC07,
  title        = POT # { 16th } # SEC,
  booktitle    = POT # { 16th } # SEC,
  month        = aug,
  year         = 2007,
  address      = {Boston, MA},
}

@Proceedings{SEC08,
  title        = POT # { 17th } # SEC,
  booktitle    = POT # { 17th } # SEC,
  month        = jul # {--} # aug,
  year         = 2008,
  address      = {San Jose, CA},
}

@Proceedings{SEC09,
  title        = POT # { 18th } # SEC,
  booktitle    = POT # { 18th } # SEC,
  month        = aug,
  year         = 2009,
  address      = {Montreal, Canada},
}

@Proceedings{SEC10,
  title        = POT # { 19th } # SEC,
  booktitle    = POT # { 19th } # SEC,
  month        = aug,
  year         = 2010,
  address      = {Washington, DC},
}

@Proceedings{SEC11,
  title        = POT # { 20th } # SEC,
  booktitle    = POT # { 20th } # SEC,
  month        = aug,
  year         = 2011,
  address      = {San Francisco, CA},
}

@Proceedings{SEC12,
  title        = POT # { 21st } # SEC,
  booktitle    = POT # { 21st } # SEC,
  month        = aug,
  year         = 2012,
  address      = {Bellevue, WA},
}

@Proceedings{SEC13,
  title       = POT # { 22th } # SEC,
  booktitle   = POT # { 22th } # SEC,
  month       = aug,
  year        = 2013,
  address     = {Washington, DC},
}

@Proceedings{SEC14,
  title       = POT # { 23rd } # SEC,
  booktitle   = POT # { 23rd } # SEC,
  month       = aug,
  year        = 2014,
  address     = {San Diego, CA},
}

@Proceedings{SEC15,
  title       = POT # { 24th } # SEC,
  booktitle   = POT # { 24th } # SEC,
  month       = aug,
  year        = 2015,
  address     = {Washington, DC},
}

@Proceedings{SEC16,
  title       = POT # { 25th } # SEC,
  booktitle   = POT # { 25th } # SEC,
  month       = aug,
  year        = 2016,
  address     = {Austin, TX},
}

@Proceedings{SEC17,
  title       = POT # { 26th } # SEC,
  booktitle   = POT # { 26th } # SEC,
  month       = aug,
  year        = 2017,
  address     = {Vancouver, Canada},
}

@Proceedings{SEC18,
  title       = POT # { 27th } # SEC,
  booktitle   = POT # { 27th } # SEC,
  month       = aug,
  year        = 2018,
  address     = {Baltimore, MD},
}

@Proceedings{SEC19,
  title       = POT # { 28th } # SEC,
  booktitle   = POT # { 28th } # SEC,
  month       = aug,
  year        = 2019,
  address     = {Santa Clara, CA},
}

@Proceedings{SEC20,
  title       = POT # { 29th } # SEC,
  booktitle   = POT # { 29th } # SEC,
  month       = aug,
  year        = 2020,
  address     = {Boston, MA},
}

@Proceedings{SEC21,
  title       = POT # { 30th } # SEC,
  booktitle   = POT # { 30th } # SEC,
  month       = aug,
  year        = 2021,
  address     = {Vancouver, B.C., Canada},
}


%% ----------------------------------------------------------------------
%% OAKLAND
%% ----------------------------------------------------------------------
@Proceedings{SP81,
  title        = POT # { 2nd } # SP,
  booktitle    = POT # { 2nd } # SP,
  month        = may,
  year         = 1981,
  address      = {Oakland, CA},
}

@Proceedings{SP82,
  title        = POT # { 3rd } # SP,
  booktitle    = POT # { 3rd } # SP,
  month        = apr,
  year         = 1982,
  address      = {Oakland, CA},
}

@Proceedings{SP84,
  title        = POT # { 5th } # SP,
  booktitle    = POT # { 5th } # SP,
  month        = apr # {--} # may,
  year         = 1984,
  address      = {Oakland, CA},
}

@Proceedings{SP85,
  title        = POT # { 6th } # SP,
  booktitle    = POT # { 6th } # SP,
  month        = apr,
  year         = 1985,
  address      = {Oakland, CA},
}

@Proceedings{SP86,
  title        = POT # { 7th } # SP,
  booktitle    = POT # { 7th } # SP,
  month        = apr,
  year         = 1986,
  address      = {Oakland, CA},
}

@Proceedings{SP87,
  title        = POT # { 8th } # SP,
  booktitle    = POT # { 8th } # SP,
  month        = apr,
  year         = 1987,
  address      = {Oakland, CA},
}

@Proceedings{SP88,
  title        = POT # { 9th } # SP,
  booktitle    = POT # { 9th } # SP,
  month        = apr,
  year         = 1988,
  address      = {Oakland, CA},
}

@Proceedings{SP89,
  title        = POT # { 10th } # SP,
  booktitle    = POT # { 10th } # SP,
  month        = may,
  year         = 1989,
  address      = {Oakland, CA},
}

@Proceedings{SP90,
  title        = POT # { 11th } # SP,
  booktitle    = POT # { 11th } # SP,
  month        = may,
  year         = 1990,
  address      = {Oakland, CA},
}

@Proceedings{SP91,
  title        = POT # { 12th } # SP,
  booktitle    = POT # { 12th } # SP,
  month        = may,
  year         = 1991,
  address      = {Oakland, CA},
}

@Proceedings{SP92,
  title        = POT # { 13th } # SP,
  booktitle    = POT # { 13th } # SP,
  month        = may,
  year         = 1992,
  address      = {Oakland, CA},
}

@Proceedings{SP93,
  title        = POT # { 14th } # SP,
  booktitle    = POT # { 14th } # SP,
  month        = may,
  year         = 1993,
  address      = {Oakland, CA},
}

@Proceedings{SP94,
  title        = POT # { 15th } # SP,
  booktitle    = POT # { 15th } # SP,
  month        = may,
  year         = 1994,
  address      = {Oakland, CA},
}

@Proceedings{SP97,
  title        = POT # { 18th } # SP,
  booktitle    = POT # { 18th } # SP,
  month        = may,
  year         = 1997,
  address      = {Oakland, CA},
}

@Proceedings{SP98,
  title        = POT # { 19th } # SP,
  booktitle    = POT # { 19th } # SP,
  month        = may,
  year         = 1998,
  address      = {Oakland, CA},
}

@Proceedings{SP99,
  title        = POT # { 20th } # SP,
  booktitle    = POT # { 20th } # SP,
  month        = may,
  year         = 1999,
  address      = {Oakland, CA},
}

@Proceedings{SP00,
  title        = POT # { 21st } # SP,
  booktitle    = POT # { 21st } # SP,
  month        = may,
  year         = 2000,
  address      = {Oakland, CA},
}

@Proceedings{SP01,
  title        = POT # { 22st } # SP,
  booktitle    = POT # { 22st } # SP,
  month        = may,
  year         = 2001,
  address      = {Oakland, CA},
}

@Proceedings{SP02,
  title        = POT # { 23rd } # SP,
  booktitle    = POT # { 23rd } # SP,
  month        = may,
  year         = 2002,
  address      = {Oakland, CA},
}

@Proceedings{SP03,
  title        = POT # { 24th } # SP,
  booktitle    = POT # { 24th } # SP,
  month        = may,
  year         = 2003,
  address      = {Oakland, CA},
}

@Proceedings{SP04,
  title        = POT # { 25th } # SP,
  booktitle    = POT # { 25th } # SP,
  month        = may,
  year         = 2004,
  address      = {Oakland, CA},
}

@Proceedings{SP05,
  title        = POT # { 26th } # SP,
  booktitle    = POT # { 26th } # SP,
  month        = may,
  year         = 2005,
  address      = {Oakland, CA},
}

@Proceedings{SP06,
  title        = POT # { 27th } # SP,
  booktitle    = POT # { 27th } # SP,
  month        = may,
  year         = 2006,
  address      = {Oakland, CA},
}

@Proceedings{SP07,
  title        = POT # { 28th } # SP,
  booktitle    = POT # { 28th } # SP,
  month        = may,
  year         = 2007,
  address      = {Oakland, CA},
}

@Proceedings{SP08,
  title        = POT # { 29th } # SP,
  booktitle    = POT # { 29th } # SP,
  month        = may,
  year         = 2008,
  address      = {Oakland, CA},
}

@Proceedings{SP09,
  title        = POT # { 30th } # SP,
  booktitle    = POT # { 30th } # SP,
  month        = may,
  year         = 2009,
  address      = {Oakland, CA},
}

@Proceedings{SP10,
  title        = POT # { 31th } # SP,
  booktitle    = POT # { 31th } # SP,
  month        = may,
  year         = 2010,
  address      = {Oakland, CA},
}

@Proceedings{SP11,
  title        = POT # { 32nd } # SP,
  booktitle    = POT # { 32nd } # SP,
  month        = may,
  year         = 2011,
  address      = {Oakland, CA},
}

@Proceedings{SP12,
  title        = POT # { 33rd } # SP,
  booktitle    = POT # { 33rd } # SP,
  month        = may,
  year         = 2012,
  address      = {San Francisco, CA},
}

@Proceedings{SP13,
  title        = POT # { 34th } # SP,
  booktitle    = POT # { 34th } # SP,
  month        = may,
  year         = 2013,
  address      = {San Francisco, CA},
}

@Proceedings{SP14,
  title        = POT # { 35th } # SP,
  booktitle    = POT # { 35th } # SP,
  month        = may,
  year         = 2014,
  address      = {San Jose, CA},
}

@Proceedings{SP15,
  title        = POT # { 36th } # SP,
  booktitle    = POT # { 36th } # SP,
  month        = may,
  year         = 2015,
  address      = {San Jose, CA},
}

@Proceedings{SP16,
  title        = POT # { 37th } # SP,
  booktitle    = POT # { 37th } # SP,
  month        = may,
  year         = 2016,
  address      = {San Jose, CA},
}

@Proceedings{SP17,
  title       = POT # { 38th } # SP,
  booktitle   = POT # { 38th } # SP,
  month       = may,
  year        = 2017,
  address     = {San Jose, CA},
}

@Proceedings{SP18,
  title       = POT # { 39th } # SP,
  booktitle   = POT # { 39th } # SP,
  month       = may,
  year        = 2018,
  address     = {San Francisco, CA},
}

@Proceedings{SP19,
  title       = POT # { 40th } # SP,
  booktitle   = POT # { 40th } # SP,
  month       = may,
  year        = 2019,
  address     = {San Francisco, CA},
}

@Proceedings{SP20,
  title       = POT # { 41st } # SP,
  booktitle   = POT # { 41st } # SP,
  month       = may,
  year        = 2020,
  address     = {San Francisco, CA},
}
%% ----------------------------------------------------------------------
%% OLS
%% ----------------------------------------------------------------------
@Proceedings{OLS2002,
  title        = POT # OLS,
  booktitle    = POT # OLS,
  month        = jun,
  year         = 2002,
  address      = {Ottawa, Canada},
}

@Proceedings{OLS2004,
  title        = POT # OLS,
  booktitle    = POT # OLS,
  month        = jun,
  year         = 2004,
  address      = {Ottawa, Canada},
}

@Proceedings{OLS2007,
  title        = POT # OLS,
  booktitle    = POT # OLS,
  month        = jun,
  year         = 2007,
  address      = {Ottawa, Canada},
}

@Proceedings{OLS2012,
  title        = POT # OLS,
  booktitle    = POT # OLS,
  month        = jul,
  year         = 2012,
  address      = {Ottawa, Canada},
}

%% ----------------------------------------------------------------------
%% VLDB
%% ----------------------------------------------------------------------
@Proceedings{VLDB00,
  title        = POT # { 26th } # VLDB,
  booktitle    = POT # { 26th } # VLDB,
  month        = sep,
  year         = 2000,
  address      = {Cairo, Egypt},
}

@Proceedings{VLDB02,
  title        = POT # { 28th } # VLDB,
  booktitle    = POT # { 28th } # VLDB,
  month        = aug,
  year         = 2002,
  address      = {Hong Kong, China},
}

@Proceedings{VLDB04,
  title        = POT # { 30th } # VLDB,
  booktitle    = POT # { 30th } # VLDB,
  month        = aug # {--} # sep,
  year         = 2004,
  address      = {Toronto, Canada},
}

@Proceedings{VLDB05,
  title        = POT # { 31st } # VLDB,
  booktitle    = POT # { 31st } # VLDB,
  month        = aug # {--} # sep,
  year         = 2005,
  address      = {Trondheim, Norway},
}

@Proceedings{VLDB06,
  title        = POT # { 32nd } # VLDB,
  booktitle    = POT # { 32nd } # VLDB,
  month        = sep,
  year         = 2006,
  address      = {Seoul, Korea},
}

@Proceedings{VLDB07,
  title        = POT # { 33rd } # VLDB,
  booktitle    = POT # { 33rd } # VLDB,
  month        = sep,
  year         = 2007,
  address      = {Vienna, Austria},
}

@Proceedings{VLDB10,
  title        = POT # { 36th } # VLDB,
  booktitle    = POT # { 36th } # VLDB,
  month        = sep,
  year         = 2010,
  address      = {Singapore},
}

@Proceedings{VLDB13,
  title        = POT # { 39th } # VLDB,
  booktitle    = POT # { 39th } # VLDB,
  month        = aug,
  year         = 2013,
  address      = {Riva del Garda, Italy},
}

@Proceedings{VLDB20,
  title        = POT # { 46th } # VLDB,
  booktitle    = POT # { 46th } # VLDB,
  month        = aug,
  year         = 2020,
  address      = {Tokyo, Japan},
}

%% ----------------------------------------------------------------------
%% SIGMOD
%% ----------------------------------------------------------------------
@Proceedings{SIGMOD02,
  title        = POT # { 2002 } # SIGMOD,
  booktitle    = POT # { 2002 } # SIGMOD,
  month        = jun,
  year         = 2002,
  address      = {Madison, WI},
}

@Proceedings{SIGMOD04,
  title        = POT # { 2004 } # SIGMOD,
  booktitle    = POT # { 2004 } # SIGMOD,
  month        = jun,
  year         = 2004,
  address      = {Paris, France},
}

@Proceedings{SIGMOD08,
  title        = POT # { 2008 } # SIGMOD,
  booktitle    = POT # { 2008 } # SIGMOD,
  month        = jun,
  year         = 2008,
  address      = {Vancouver, Canada},
}

@Proceedings{SIGMOD09,
  title        = POT # { 2009 } # SIGMOD,
  booktitle    = POT # { 2009 } # SIGMOD,
  month        = jun # {--} # jul,
  year         = 2009,
  address      = {Providence, RI},
}

@Proceedings{SIGMOD10,
  title        = POT # { 2010 } # SIGMOD,
  booktitle    = POT # { 2010 } # SIGMOD,
  month        = jun,
  year         = 2010,
  address      = {Indianapolis, IN},
}
@Proceedings{SIGMOD11,
  title        = POT # { 2011 } # SIGMOD,
  booktitle    = POT # { 2011 } # SIGMOD,
  month        = jun,
  year         = 2011,
  address      = {Athens, Greece},
}

@Proceedings{SIGMOD14,
  title        = POT # { 2014 } # SIGMOD,
  booktitle    = POT # { 2014 } # SIGMOD,
  month        = jun,
  year         = 2014,
  address      = {Snowbird, Utah, USA},
}

@Proceedings{SIGMOD15,
  title        = POT # { 2015 } # SIGMOD,
  booktitle    = POT # { 2015 } # SIGMOD,
  month        = may,
  year         = 2015,
  address      = {Melbourne, Victoria, Australia},
}

%% ----------------------------------------------------------------------
%% APSYS
%% ----------------------------------------------------------------------
@Proceedings{APSYS11,
  title        = POT # { 2nd } # APSYS,
  booktitle    = POT # { 2nd } # APSYS,
  month        = jul,
  year         = 2011,
  address      = {Shanghai, China},
}

@Proceedings{APSYS12,
  title        = POT # { 3rd } # APSYS,
  booktitle    = POT # { 3rd } # APSYS,
  month        = jul,
  year         = 2012,
  address      = {Seoul, South Korea},
}

@Proceedings{APSYS13,
  title        = POT # { 4th } # APSYS,
  booktitle    = POT # { 4th } # APSYS,
  month        = jul,
  year         = 2013,
  address      = {Singapore},
}

@Proceedings{APSYS15,
  title        = POT # { 6th } # APSYS,
  booktitle    = POT # { 6th } # APSYS,
  month        = jul,
  year         = 2015,
  address      = {Tokyo, Japan},
}

@Proceedings{APSYS17,
  title        = POT # { 8th } # APSYS,
  booktitle    = POT # { 8th } # APSYS,
  month        = sep,
  year         = 2017,
  address      = {Mumbai, India},
}

%% ----------------------------------------------------------------------
@Proceedings{EUROCRYPT99,
  title        = POT # { 18th } # EUROCRYPT,
  booktitle    = POT # { 18th } # EUROCRYPT,
  month        = may,
  year         = 1999,
  address      = {Prague, Czech Republic},
}

@Proceedings{EUROCRYPT09,
  title        = POT # { 28th } # EUROCRYPT,
  booktitle    = POT # { 28th } # EUROCRYPT,
  month        = apr,
  year         = 2009,
  address      = {Cologne, Germany},
}

%% ----------------------------------------------------------------------
%% NDSS
%% ----------------------------------------------------------------------
@Proceedings{NDSS04,
  title        = POT # { 11th } # NDSS,
  booktitle    = POT # { 11th } # NDSS,
  month        = feb,
  year         = 2004,
  address      = {San Diego, CA},
}

@Proceedings{NDSS07,
  title        = POT # { 14th } # NDSS,
  booktitle    = POT # { 14th } # NDSS,
  month        = feb # {--} # mar,
  year         = 2007,
  address      = {San Diego, CA},
}

@Proceedings{NDSS08,
  title        = POT # { 15th } # NDSS,
  booktitle    = POT # { 15th } # NDSS,
  month        = feb,
  year         = 2008,
  address      = {San Diego, CA},
}
@Proceedings{NDSS09,
  title        = POT # { 16th } # NDSS,
  booktitle    = POT # { 16th } # NDSS,
  month        = feb,
  year         = 2009,
  address      = {San Diego, CA},
}

@Proceedings{NDSS10,
  title        = POT # { 17th } # NDSS,
  booktitle    = POT # { 17th } # NDSS,
  month        = feb # {--} # mar,
  year         = 2010,
  address      = {San Diego, CA},
}

@Proceedings{NDSS11,
  title        = POT # { 18th } # NDSS,
  booktitle    = POT # { 18th } # NDSS,
  month        = feb,
  year         = 2011,
  address      = {San Diego, CA},
}
@Proceedings{NDSS12,
  title        = POT # { 19th } # NDSS,
  booktitle    = POT # { 19th } # NDSS,
  month        = feb,
  year         = 2012,
  address      = {San Diego, CA},
}

@Proceedings{NDSS15,
  title        = POT # { 2015 } # NDSS,
  booktitle    = POT # { 2015 } # NDSS,
  month        = feb,
  year         = 2015,
  address      = {San Diego, CA},
}

@Proceedings{NDSS16,
  title        = POT # { 2016 } # NDSS,
  booktitle    = POT # { 2016 } # NDSS,
  month        = feb,
  year         = 2016,
  address      = {San Diego, CA},
}

@Proceedings{NDSS17,
  title        = POT # { 2017 } # NDSS,
  booktitle    = POT # { 2017 } # NDSS,
  month        = feb,
  year         = 2017,
  address      = {San Diego, CA},
}

@Proceedings{NDSS20,
  title        = POT # { 2020 } # NDSS,
  booktitle    = POT # { 2020 } # NDSS,
  month        = feb,
  year         = 2020,
  address      = {San Diego, CA},
}

@Proceedings{NDSS21,
  title        = POT # { 2021 } # NDSS,
  booktitle    = POT # { 2021 } # NDSS,
  month        = feb,
  year         = 2021,
  address      = {Virtual},
}


%% ----------------------------------------------------------------------
%% SIGCOMM
%% ----------------------------------------------------------------------
@Proceedings{SIGCOMM04,
  title        = POT # { 15th } # SIGCOMM,
  booktitle    = POT # { 15th } # SIGCOMM,
  month        = aug # {--} # sep,
  year         = 2004,
  address      = {Portland, OR},
}

@Proceedings{SIGCOMM06,
  title        = POT # { 17th } # SIGCOMM,
  booktitle    = POT # { 17th } # SIGCOMM,
  month        = aug,
  year         = 2006,
  address      = {Stanford, CA},
}

@Proceedings{SIGCOMM15,
  title        = POT # { 2015 } # SIGCOMM,
  booktitle    = POT # { 2015 } # SIGCOMM,
  month        = aug,
  year         = 2015,
  address      = {London, United Kingdom},
}
%% ----------------------------------------------------------------------
%% POPL
%% ----------------------------------------------------------------------
@Proceedings{POPL90,
  title        = POT # { 17th } # POPL,
  booktitle    = POT # { 17th } # POPL,
  month        = jan,
  year         = 1990,
  address      = {San Francisco, CA},
}

@Proceedings{POPL06,
  title        = POT # { 33rd } # POPL,
  booktitle    = POT # { 33rd } # POPL,
  month        = jan,
  year         = 2006,
  address      = {Charleston, South Carolina},
}

@Proceedings{POPL07,
  title        = POT # { 34th } # POPL,
  booktitle    = POT # { 34th } # POPL,
  month        = jan,
  year         = 2007,
  address      = {Nice, France},
}
@Proceedings{POPL08,
  title        = POT # { 35th } # POPL,
  booktitle    = POT # { 35th } # POPL,
  month        = jan,
  year         = 2008,
  address      = {San Francisco, CA},
}

@Proceedings{POPL11,
  title        = POT # { 38th } # POPL,
  booktitle    = POT # { 38th } # POPL,
  month        = jan,
  year         = 2011,
  address      = {Austin, TX},
}

@Proceedings{POPL12,
  title        = POT # { 39th } # POPL,
  booktitle    = POT # { 39th } # POPL,
  month        = jan,
  year         = 2012,
  address      = {Philadelphia, PA},
}

%% ----------------------------------------------------------------------
%% TACAS
%% ----------------------------------------------------------------------
@Proceedings{TACAS98,
  title        = POT # { 4th } # TACAS,
  booktitle    = POT # { 4th } # TACAS,
  month        = mar # {--} # apr,
  year         = 1998,
  address      = {Lisbon, Portugal},
}

@Proceedings{TACAS08,
  title        = POT # { 14th } # TACAS,
  booktitle    = POT # { 14th } # TACAS,
  month        = mar # {--} # apr,
  year         = 2008,
  address      = {Budapest, Hungary},
}

@Proceedings{TACAS09,
  title        = POT # { 15th } # TACAS,
  booktitle    = POT # { 15th } # TACAS,
  month        = mar,
  year         = 2009,
  address      = {York, UK},
}


@Proceedings{CC01,
  title        = POT # { 10th } # CC,
  booktitle    = POT # { 10th } # CC,
  month        = apr,
  year         = 2001,
  address      = {Genova, Italy},
}


@Proceedings{CGO04,
  title        = POT # { 2004 } # CGO,
  booktitle    = POT # { 2004 } # CGO,
  month        = mar,
  year         = 2004,
  address      = {Palo Alto, CA},
}

@Proceedings{CGO15,
  title        = POT # { 2015 } # CGO,
  booktitle    = POT # { 2015 } # CGO,
  month        = feb,
  year         = 2015,
  address      = {San Francisco, CA},
}
%% ----------------------------------------------------------------------
%% ESORICS
%% ----------------------------------------------------------------------

@Proceedings{ESORICS04,
  title        = POT # { 9th } # ESORICS,
  booktitle    = POT # { 9th } # ESORICS,
  month        = sep,
  year         = 2004,
  address      = {Sophia Antipolis, France},
}

@Proceedings{ESORICS10,
  title        = POT # { 15th } # ESORICS,
  booktitle    = POT # { 15th } # ESORICS,
  month        = sep,
  year         = 2010,
  address      = {Athens, Greece},
}

@Proceedings{ESORICS11,
  title        = POT # { 16th } # ESORICS,
  booktitle    = POT # { 16th } # ESORICS,
  month        = sep,
  year         = 2011,
  address      = {Leuven, Belgium},
}

%% ----------------------------------------------------------------------
%% OOPSLA
%% ----------------------------------------------------------------------

@Proceedings{OOPSLA13,
  title        = POT # { 24th } # OOPSLA,
  booktitle    = POT # { 24th } # OOPSLA,
  month        = oct,
  year         = 2013,
  address      = {Indianapolis, IN},
}

@Proceedings{OOPSLA04,
  title        = POT # { 15th } # OOPSLA,
  booktitle    = POT # { 15th } # OOPSLA,
  month        = oct,
  year         = 2004,
  address      = {Vancouver, Canada},
}

%% ----------------------------------------------------------------------
%% PODC
%% ----------------------------------------------------------------------

@Proceedings{PODC94,
  title        = POT # { 13th } # PODC,
  booktitle    = POT # { 13th } # PODC,
  month        = aug,
  year         = 1994,
  address      = {Los Angeles, CA},
}

@Proceedings{PODC07,
  title        = POT # { 26th } # PODC,
  booktitle    = POT # { 26th } # PODC,
  month        = aug,
  year         = 2007,
  address      = {Portland, OR},
}

%% ----------------------------------------------------------------------
%% PPOPP
%% ----------------------------------------------------------------------

@Proceedings{PPOPP08,
  title        = POT # { 13th } # PPOPP,
  booktitle    = POT # { 13th } # PPOPP,
  month        = feb,
  year         = 2008,
  address      = {Salt Lake City, UT},
}

@Proceedings{PPOPP12,
  title        = POT # { 17th } # PPOPP,
  booktitle    = POT # { 17th } # PPOPP,
  month        = feb,
  year         = 2012,
  address      = {New Orleans, LA},
}


@Proceedings{PPOPP13,
  title        = POT # { 18th } # PPOPP,
  booktitle    = POT # { 18th } # PPOPP,
  month        = feb,
  year         = 2013,
  address      = {Shenzhen, China},
}

@Proceedings{PPOPP15,
  title        = POT # { 20th } # PPOPP,
  booktitle    = POT # { 20th } # PPOPP,
  month        = feb,
  year         = 2015,
  address      = {San Francisco, CA},
}

%% ----------------------------------------------------------------------
%% SOCC
%% ----------------------------------------------------------------------
@Proceedings{SOCC10,
  title        = POT # { 1st } # SOCC,
  booktitle    = POT # { 1st } # SOCC,
  month        = jun,
  year         = 2010,
  address      = {Indianapolis, Indiana, USA},
}

@Proceedings{SOCC11,
  title        = POT # { 2nd } # SOCC,
  booktitle    = POT # { 2nd } # SOCC,
  month        = oct,
  year         = 2011,
  address      = {Cascais, Portugal},
}

@Proceedings{SOCC12,
  title        = POT # { 3rd } # SOCC,
  booktitle    = POT # { 3rd } # SOCC,
  month        = oct,
  year         = 2012,
  address      = {San Jose, CA},
}

@Proceedings{SOCC13,
  title        = POT # { 4th } # SOCC,
  booktitle    = POT # { 4th } # SOCC,
  month        = oct,
  year         = 2013,
  address      = {Santa Clara, CA},
}

@Proceedings{SOCC14,
  title        = POT # { 5th } # SOCC,
  booktitle    = POT # { 5th } # SOCC,
  month        = nov,
  year         = 2014,
  address      = {Seattle, WA},
}

@Proceedings{SOCC15,
  title        = POT # { 6th } # SOCC,
  booktitle    = POT # { 6th } # SOCC,
  month        = aug,
  year         = 2015,
  address      = {Kohala Coast, Hawaii},
}

%% ----------------------------------------------------------------------
%% SC
%% ----------------------------------------------------------------------
@Proceedings{SC14,
  title        = POT # { 2014 } # SC # { (SC'14)},
  booktitle    = POT # { 2014 } # SC # { (SC'14)},
  month        = nov,
  year         = 2014,
  address      = {New Orleans, LA},
}

@Proceedings{SC15,
  title        = POT # { 2015 } # SC # { (SC'15)},
  booktitle    = POT # { 2015 } # SC # { (SC'15)},
  month        = nov,
  year         = 2015,
  address      = {Austin, TX},
}

@Proceedings{PACT10,
  title        = POT # { 19th } # PACT,
  booktitle    = POT # { 19th } # PACT,
  month        = sep,
  year         = 2010,
  address      = {Vienna, Austria},
}

%% ----------------------------------------------------------------------
%% ISCA
%% ----------------------------------------------------------------------

@Proceedings{ISCA93,
  title        = POT # { 20th } # ISCA,
  booktitle    = POT # { 20th } # ISCA,
}
@Proceedings{ISCA10,
  title        = POT # { 37th } # ISCA,
  booktitle    = POT # { 37th } # ISCA,
  month        = jun,
  year         = 2010,
  address      = {San Jose, California, USA},
}

@Proceedings{ISCA11,
  title        = POT # { 38th } # ISCA,
  booktitle    = POT # { 38th } # ISCA,
  month        = jun,
  year         = 2011,
  address      = {San Jose, California, USA},
}


@Proceedings{ISCA14,
  title        = POT # { 41st } # ISCA,
  booktitle    = POT # { 41st } # ISCA,
  month        = jun,
  year         = 2014,
  address      = {Minneapolis, MN},
}

@Proceedings{HOTNET15,
  title        = POT # { 14th } # HOTNETS,
  booktitle    = POT # { 14th } # HOTNETS,
  month        = nov,
  year         = 2015,
  address      = {Philadelphia, PA},
}

@Proceedings{SDNNFVSEC16,
  title        = POT # { 1st } # SDNNFVSEC,
  booktitle    = POT # { 1st } # SDNNFVSEC,
  month        = mar,
  year         = 2016,
  address      = {New Orleans, LA},
}

@Proceedings{RAID12,
  title        = POT # { 15th } # RAID,
  booktitle    = POT # { 15th } # RAID,
  month        = sep,
  year         = 2012,
  address      = {Amsterdam, Netherlands},
}

@Proceedings{HOTPOWER15,
  title        = POT # HOTPOWER,
  booktitle    = POT # HOTPOWER,
  month        = oct,
  year         = 2015,
  address      = {Monterey, California},
}

%% ----------------------------------------------------------------------
%% HOTOS
%% ----------------------------------------------------------------------


@Proceedings{HOTOS15,
  title        = { 15th } # HOTOS # { (HotOS XV)},
  booktitle    = { 15th } # HOTOS # { (HotOS XV)},
  month        = may,
  year         = 2015,
  address      = {Kartause Ittingen, Switzerland},
}

@Proceedings{HOTOS21,
  title        = { 18th } # HOTOS # { (HotOS XVIII)},
  booktitle    = { 18th } # HOTOS # { (HotOS XVIII)},
  month        = may,
  year         = 2021,
  address      = {Virtual},
}

@Proceedings{HOTOS23,
  title        = { 19th } # HOTOS # { (HotOS XIX)},
  booktitle    = { 19th } # HOTOS # { (HotOS XIX)},
  month        = jun,
  year         = 2023,
  address      = {Providence, RI}
}

%% ----------------------------------------------------------------------
%% ICSE
%% ----------------------------------------------------------------------

@Proceedings{ICSE07,
  title        = POT # { 29th } # ICSE,
  booktitle    = POT # { 29th } # ICSE,
  month        = may,
  year         = 2007,
  address      = {Minneapolis, MN},
}

@Proceedings{ISMM10,
  title       = POT # { 2010 } # ISMM,
  booktitle   = POT # { 2010 } # ISMM,
  month       = jun,
  year        = 2010,
  address     = {Toronto, Canada},
}

@Proceedings{ICDCS07,
  title       = POT # { 27th } # ICDCS,
  booktitle   = POT # { 27th } # ICDCS,
  month       = jun,
  year        = 2007,
  address     = {Toronto, Canada},
}

@Proceedings{ICDCS10,
  title        = POT # { 30th } # ICDCS,
  booktitle    = POT # { 30th } # ICDCS,
  year         = 2010
}

@Proceedings{ICDCS11,
  title        = POT # { 31st } # ICDCS,
  booktitle    = POT # { 31st } # ICDCS,
  year         = 2011
}

@Proceedings{ICSE08,
  title        = POT # { 30th } # ICSE,
  booktitle    = POT # { 30th } # ICSE,
  month        = may,
  year         = 2008,
  address      = {Leipzig, Germany},
}

@Proceedings{ICSE11,
  title        = POT # { 33th } # ICSE,
  booktitle    = POT # { 33th } # ICSE,
  month        = may,
  year         = 2007,
  address      = {Honolulu, HI},
}

@Proceedings{ICSE12,
  title        = POT # { 34th } # ICSE,
  booktitle    = POT # { 34th } # ICSE,
  month        = jun,
  year         = 2012,
  address      = {Zurich, Switzerland},
}
@Proceedings{ICSE13,
  title        = POT # { 35th } # ICSE,
  booktitle    = POT # { 35th } # ICSE,
  month        = may,
  year         = 2013,
  address      = {San Francisco, CA},
}

@Proceedings{ICSE14,
  title        = POT # { 36th } # ICSE,
  booktitle    = POT # { 36th } # ICSE,
  month        = may # {--} # jun,
  year         = 2014,
  address      = {Hyderabad, India},
}

%% ----------------------------------------------------------------------
%% FSE
%% ----------------------------------------------------------------------

@Proceedings{ESECFSE05,
  title        = POT # { 10th } # ESEC # { / } # { 13th } # FSE,
  booktitle    = POT # { 10th } # ESEC # { / } # { 13th } # FSE,
  month        = sep,
  year         = 2005,
  address      = {Lisbon, Portugal},
}

@Proceedings{FSE12,
  title        = POT # { 20th } # FSE,
  booktitle    = POT # { 20th } # FSE,
  month        = nov,
  year         = 2012,
  address      = {Cary, NC},
}

@Proceedings{ESECFSE13,
  title        = POT # { 18th } # ESEC # { / } # { 21st } # FSE,
  booktitle    = POT # { 18th } # ESEC # { / } # { 21st } # FSE,
  month        = aug,
  year         = 2013,
  address      = {Saint Petersburg, Russia},
}

@Proceedings{FSE14,
  title        = POT # { 22nd } # FSE,
  booktitle    = POT # { 22nd } # FSE,
  month        = nov,
  year         = 2014,
  address      = {Hong Kong},
}

@Proceedings{ASE06,
  title        = POT # { 21st } # ASE,
  booktitle    = POT # { 21st } # ASE,
  month        = sep,
  year         = 2006,
  address      = {Tokyo, Japan},
}

@Proceedings{ASE08,
  title        = POT # { 23rd } # ASE,
  booktitle    = POT # { 23rd } # ASE,
  month        = sep,
  year         = 2008,
  address      = {L'Aquila, Italy},
}

@Proceedings{CAV11,
  title        = POT # { 23rd } # CAV,
  booktitle    = POT # { 23rd } # CAV,
  month        = jul,
  year         = 2011,
  address      = {Snowbird, UT},
}

%% ----------------------------------------------------------------------
%% ISSTA
%% ----------------------------------------------------------------------

@Proceedings{ISSTA02,
  title        = POT # { } # ISSTA,
  booktitle    = POT # { } # ISSTA,
  year         = 2007,
}

@Proceedings{ISSTA07,
  title        = POT # { } # ISSTA,
  booktitle    = POT # { } # ISSTA,
  month        = jul,
  year         = 2007,
  address      = {London, UK},
}

@Proceedings{ISSTA09,
  title        = POT # { } # ISSTA,
  booktitle    = POT # { } # ISSTA,
  month        = jul,
  year         = 2009,
  address      = {Chicago, IL},
}

@Proceedings{ISSTA11,
  title        = POT # { } # ISSTA,
  booktitle    = POT # { } # ISSTA,
  month        = jul,
  year         = 2011,
  address      = {Toronto, Canada},
}

@Proceedings{ISSTA14,
  title        = POT # { } # ISSTA,
  booktitle    = POT # { } # ISSTA,
  month        = jul,
  year         = 2014,
  address      = {San Jose, CA},
}

@Proceedings{TOPLAS10,
  title        = POT # { } # TOPLAS,
  booktitle    = POT # { } # TOPLAS,
  month        = aug,
  year         = 2010,
  address      = {},
}

@Proceedings{ASIACCS09,
  title        = POT # { 4th } # ASIACCS,
  booktitle    = POT # { 4th } # ASIACCS,
  month        = mar,
  year         = 2009,
  address      = {Sydney, Australia},
}

@Proceedings{ASIACCS16,
  title        = POT # { 11th } # ASIACCS,
  booktitle    = POT # { 11th } # ASIACCS,
  month        = may # {--} # jun,
  year         = 2016,
  address      = {Xi'an, China},
}

@Proceedings{MICRO15,
  title        = POT # { 48th } # MICRO,
  booktitle    = POT # { 48th } # MICRO,
  month        = dec,
  year         = 2015,
  address      = {Waikiki, Hawaii},
}

@Proceedings{HPCA14,
  title        = POT # { 20th } # HPCA,
  booktitle    = POT # { 20th } # HPCA,
  month        = feb,
  year         = 2014,
  address      = {Orlando, FL, USA},
}

@Proceedings{HPCA15,
  title        = POT # { 21st } # HPCA,
  booktitle    = POT # { 21st } # HPCA,
  month        = feb,
  year         = 2015,
  address      = {San Francisco, CA},
}


@Proceedings{ICDE14,
  title        = POT # { 30th } # ICDE,
  booktitle    = POT # { 30th } # ICDE,
  month        = mar # {--} # apr,
  year         = 2014,
  address      = {Chicago, IL},
}

%% ----------------------------------------------------------------------
%% WWW
%% ----------------------------------------------------------------------
@Proceedings{WWW04,
  title        = POT # { 19th } # WWW,
  booktitle    = POT # { 19th } # WWW,
  month        = apr,
  year         = 2004,
  address      = {New York, NY},
}

@Proceedings{WWW06,
  title        = POT # { 15th } # WWW,
  booktitle    = POT # { 15th } # WWW,
  month        = may,
  year         = 2006,
  address      = {Edinburgh, Scotland},
}

@Proceedings{WWW07,
  title        = POT # { 16th } # WWW,
  booktitle    = POT # { 16th } # WWW,
  month        = may,
  year         = 2007,
  address      = {Alberta, Canada},
}

@Proceedings{WWW10,
  title        = POT # { 19th } # WWW,
  booktitle    = POT # { 19th } # WWW,
  month        = apr,
  year         = 2010,
  address      = {Raleigh, NC},
}

@Proceedings{WWW11,
  title        = POT # { 20th } # WWW,
  booktitle    = POT # { 20th } # WWW,
  month        = apr,
  year         = 2011,
  address      = {Hyderabad, India},
}

@Proceedings{WWW15,
  title        = POT # { 24th } # WWW,
  booktitle    = POT # { 24th } # WWW,
  year         = 2015
}

@Proceedings{ACSAC09,
  title        = POT # { } # ACSAC,
  booktitle    = POT # { } # ACSAC,
  year         = 2009
}

@Proceedings{ACSAC11,
  title        = POT # { } # ACSAC,
  booktitle    = POT # { } # ACSAC,
  year         = 2011
}

@Proceedings{ACSAC12,
  title        = POT # { } # ACSAC,
  booktitle    = POT # { } # ACSAC,
  year         = 2012
}

@Proceedings{BLACKHAT12,
  title        = BLACKHAT,
  booktitle    = BLACKHAT,
  year         = 2012,
  month        = aug,
  address      = {Las Vegas, NV},
}

@Proceedings{BLACKHAT14,
  title        = BLACKHAT,
  booktitle    = BLACKHAT,
  year         = 2014,
  month        = aug,
  address      = {Las Vegas, NV},
}

@Proceedings{BLACKHAT16,
  title        = BLACKHAT,
  booktitle    = BLACKHAT,
  month        = aug,
  year         = 2016,
  address      = {Las Vegas, NV},
}

@Proceedings{BLACKHAT17,
  title        = BLACKHAT,
  booktitle    = BLACKHAT,
  month        = jul,
  year         = 2017,
  address      = {Las Vegas, NV},
}

@Proceedings{BLACKHATASIA19,
  title        = BLACKHATASIA,
  booktitle    = BLACKHATASIA,
  month        = mar,
  year         = 2019,
  address      = {Singapore},
}

@Proceedings{BLACKHAT20,
  title        = BLACKHAT,
  booktitle    = BLACKHAT,
  month        = aug,
  year         = 2020,
  address      = {Las Vegas, NV},
}

%% ----------------------------------------------------------------------
%% OSR
%% ----------------------------------------------------------------------
@Proceedings{OSR16,
  title        = POT # " " # OSR,
  booktitle    = POT # " " # OSR,
  journal      = {SIGOPS Oper. Syst. Rev.},
  year         = 2016,
  month        = mar,
  volume       = {50},
  number       = {1},
}

%% ----------------------------------------------------------------------
%% SysTEX
%% ----------------------------------------------------------------------
@Proceedings{SYSTEX19,
  title        = POT # { 4th } # SYSTEX,
  booktitle    = POT # { 4th } # SYSTEX,
  month        = oct,
  year         = 2019,
  address      = {Ontario, Canada},
}

@Proceedings{SYSTEX17,
  title        = POT # { 2nd } # SYSTEX,
  booktitle    = POT # { 2nd } # SYSTEX,
  month        = oct,
  year         = 2017,
  address      = {Shanghai, China},
}

%% ----------------------------------------------------------------------
%% WOOT
%% ----------------------------------------------------------------------
@Proceedings{WOOT19,
  title        = POT # { 13th } # WOOT,
  booktitle    = POT # { 13th } # WOOT,
  month        = aug,
  year         = 2019,
  address      = {Santa Clara, CA},
}

%% ----------------------------------------------------------------------
%% SALAD
%% ----------------------------------------------------------------------
@Proceedings{SALAD18,
  title        = POT # { 1st } # SALAD,
  booktitle    = POT # { 1st } # SALAD,
  month        = jul,
  year         = 2018,
  address      = {Amsterdam, Netherlands},
}

%% ----------------------------------------------------------------------
%% KDD
%% ----------------------------------------------------------------------
@Proceedings{KDD19,
  title        = POT # { 1st } # KDD,
  booktitle    = POT # { 1st } # KDD,
  month        = aug,
  year         = 2019,
  address      = {Ankorage, AK},
}

%% ----------------------------------------------------------------------
%% MLPA
%% ----------------------------------------------------------------------
@Proceedings{MLPA20,
  title        = POT # " 1st " # MLPA,
  booktitle    = POT # " 1st " # MLPA,
  year         = 2020,
  month        = jan,
  address      = {Yokohama, Japan},
}

%% ----------------------------------------------------------------------
%% FAST
%% ----------------------------------------------------------------------
@Proceedings{FAST23,
  title        = { 21st } # FAST  # { (FAST 23) },
  booktitle    = { 21st } # FAST  # { (FAST 23) },
  month        = feb,
  year         = 2023,
  address      = {Santa Clara, CA},
}