@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)}}

%% 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},

}

%% ----------------------------------------------------------------------

%% 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},

}

%% ----------------------------------------------------------------------

%% 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},

}

%% ----------------------------------------------------------------------

%% 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}

}

%% ----------------------------------------------------------------------

%% 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,