conference.orig.bib

@string{ACSAC = "Annual Computer Security Applications Conference (ACSAC)"}
@string{SHORTACSAC = "Computer Security Applications (ACSAC)"}
@string{NAMEACSAC = "Computer Security Applications"}
@string{ABBREVACSAC = "ACSAC"}

@string{AIOOL = "Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL)"}
@string{SHORTAIOOL = "Abstract Interpretation of Object-Oriented Languages (AIOOL)"}
@string{NAMEAIOOL = "Abstract Interpretation of Object-Oriented Languages"}
@string{ABBREVAIOOL = "AIOOL"}

@string{APLAS = "Asian Symposium on Programming Languages and Systems (APLAS)"}
@string{SHORTAPLAS = "Asian Programming Languages and Systems (APLAS)"}
@string{NAMEAPLAS = "Asian Programming Languages and Systems"}
@string{ABBREVAPLAS = "APLAS"}

@string{APSEC = "Asia-Pacific Software Engineering Conference (APSEC)"}
@string{SHORTAPSEC = "Asia-Pacific Software Engineering Conference (APSEC)"}
@string{NAMEAPSEC = "Asia-Pacific Software Engineering Conference"}
@string{ABBREVAPSEC = "APSEC"}

@string{ASPLOS = "Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)"}
@string{SHORTAPLAS = "Architectural Support for Programming Languages and Operating Systems (ASPLOS)"}
@string{NAMEASPLAS = "Architectural Support for Programming Languages and Operating Systems"}
@string{ABBREVASPLOS = "ASPLOS"}

@string{CADE = "Conference on Automated Deduction (CADE)"}
@string{SHORTCADE = "Automated Deduction (CADE)"}
@string{ABBREVCADE = "CADE"}

@string{CAV = "Conference on Computer-Aided Verification (CAV)"}
@string{SHORTCAV = "Computer-Aided Verification (CAV)"}
@string{NAMECAV = "Computer-Aided Verification"}
@string{ABBREVCAV = "CAV"}

@string{CC = "Conference on Compiler Construction (CC)"}
@string{SHORTCC = "Compiler Construction (CC)"}
@string{NAMECC = "Compiler Construction"}
@string{ABBREVCC = "CC"}

@string{CCS = "Conference on Computer and Communications Security (CCS)"}
@string{SHORTCCS = "Computer and Communications Security (CCS)"}
@string{NAMECCS = "Computer and Communications Security"}
@string{ABBREVCCS = "CCS"}

@string{CGO = "Symposium on Code Generation and Optimization (CGO)"}
@string{SHORTCGO = "Code Generation and Optimization (CGO)"}
@string{NAMECGO = "Code Generation and Optimization"}
@string{ABBREVCGO = "CGO"}

@string{CONCUR = "Conference on Concurrency Theory (CONCUR)"}
@string{SHORTCONCUR = "Concurrency Theory (CONCUR)"}
@string{NAMECONCUR = "Concurrency Theory"}
@string{ABBREVCONCUR = "CONCUR"}

@string{CSL = "Conference of the European Association for Computer Science Logic (CSL)"}
@string{SHORTCSL = "Computer Science Logic (CSL)"}
@string{NAMECSL = "Computer Science Logic"}
@string{ABBREVCSL = "CSL"}

@string{DATE = "Design, Automation and Test in Europe (DATE)"}
@string{SHORTDATE = "Design, Automation and Test Europe (DATE)"}
@string{ABBREVDATE = "DATE"}
@string{SHORTDATE = "Design, Automation and Test in Europe (DATE)"}

@string{ECOOP = "European Conference on Object-Oriented Programming (ECOOP)"}
@string{SHORTECOOP = "Object-Oriented Programming (ECOOP)"}
@string{NAMEECOOP = "Object-Oriented Programming"}
@string{ABBREVECOOP = "ECOOP"}

@string{ESOP = "European Symposium on Programming (ESOP)"}
@string{SHORTESOP = "European Symposium on Programming (ESOP)"}
@string{NAMEESOP = "European Symposium on Programming"}
@string{ABBREVESOP = "ESOP"}

@string{ESECFSE = "European Software Engineering Conference (ESEC) held jointly with Symposium on Foundations of Software Engineering (FSE)"}
@string{SHORTESECFSE = "European Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE)"}
@string{ABBREVESECFSE = "ESEC/FSE"}

@string{ESORICS = "European Symposium on Research in Computer Security (ESORICS)"}
@string{SHORTESORICS = "European Computer Security (ESORICS)"}
@string{NAMEESORICS = "European Computer Security"}
@string{ABBREVESORICS = "ESORICS"}

@string{FASE = "Conference on Fundamental Approaches to Software Engineering (FASE)"}
@string{SHORTFASE = "Fundamental Approaches to Software Engineering (FASE)"}
@string{ABBREVFASE = "FASE"}

@string{FMCAD = "Conference on Formal Methods in Computer Aided Design (FMCAD)"}
@string{SHORTFMCAD = "Formal Methods in Computer Aided Design (FMCAD)"}
@string{NAMEFMCAD = "Formal Methods in Computer Aided Design"}
@string{ABBREVFMCAD = "FMCAD"}

@string{FMCO = "Symposium on Formal Methods for Components and Objects (FMCO)"}
@string{SHORTFMCO = "Formal Methods for Components and Objects (FMCO)"}
@string{NAMEFMCO = "Formal Methods for Components and Objects"}
@string{ABBREVFMCO = "Formal Methods for Components and Objects"}

@string{FSE = "Symposium on Foundations of Software Engineering (FSE)"}
@string{SHORTFSE = "Foundations of Software Engineering (FSE)"}
@string{NAMEFSE = "Foundations of Software Engineering"}
@string{ABBREVFSE = "FSE"}

@string{ASE = "IEEE/ACM International Conference on Automated Software Engineering (ASE)"}
@string{SHORTASE = "Automated Software Engineering (ASE)"}
@string{NAMEASE = "Automated Software Engineering (ASE)"}
@string{ABBREVASE = "ASE"}

@string{FSTTCS = "Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)"}
@string{SHORTFSTTCS = "Foundations of Software Technology and Theoretical Computer Science (FSTTCS)"}
@string{NAMEFSTTCS = "Foundations of Software Technology and Theoretical Computer Science"}
@string{ABBREVFSTTCS = "Foundations of Software Technology and Theoretical Computer Science"}

@string{GPCE ="Conference on Generative Programming and Component Engineering (GPCE)"}
@string{SHORTGPCE ="Generative Programming and Component Engineering (GPCE)"}
@string{NAMEGPCE ="Generative Programming and Component Engineering"}
@string{ABBREVGPCE ="Generative Programming and Component Engineering"}

@string{GRID = "Workshop on Grid Computing (GRID)"}
@string{SHORTGRID = "Grid Computing (GRID)"}
@string{NAMEGRID = "Grid Computing"}
@string{ABBREVGRID = "GRID"}

@string{ICCAD = "International Conference on Computer-Aided Design (ICCAD)"}
@string{SHORTICCAD = "International Conference on Computer-Aided Design (ICCAD)"}

@string{ICFP = "International Conference on Functional Programming (ICFP)"}
@string{SHORTICFP = "International Conference on Functional Programming (ICFP)"}
@string{NAMEICFP = "International Conference on Functional Programming"}
@string{ABBREVICFP = "ICFP"}

@string{ICSE = "International Conference on Software Engineering (ICSE)"}
@string{SHORTICSE = "International Conference on Software Engineering (ICSE)"}
@string{NAMEICSE = "International Conference on Software Engineering"}
@string{ABBREVICSE = "ICSE"}

@string{ICSM = "International Conference on Software Maintenance (ICSM)"}
@string{SHORTICSM = "Software Maintenance (ICSM)"}
@string{NAMEICSM = "Software Maintenance"}
@string{ABBREVICSM = "Software Maintenance"}

@string{ICST = "International Conference on Software Testing, Verification and Validation (ICST)"}
@string{SHORTICST = "Software Testing, Verification and Validation (ICST)"}
@string{NAMEICST = "Software Testing, Verification and Validation"}
@string{ABBREVICST = "ICST"}

@string{IFM = "International Conference on Integrated Formal Methods (IFM)"}
@string{SHORTIFM = "Integrated Formal Methods (IFM)"}
@string{NAMEIFM = "Integrated Formal Methods"}
@string{ABBREVIFM = "IFM"}

@string{ISC = "Information Security Conference (ISC)"}
@string{SHORTISC = "Information Security (ISC)"}

@string{IJCAI = "International Joint Conference on Artificial Intelligence (IJCAI)"}

@string{ISMM = "International Symposium on Memory Management (ISMM)"}

@string{ISSTA = "International Symposium on Software Testing and Analysis (ISSTA)"}
@string{SHORTISSTA = "Software Testing and Analysis (ISSTA)"}
@string{NAMEISSTA = "Software Testing and Analysis"}
@string{ABBREVISSTA = "ISSTA"}

@string{IWPC = "International Workshop on Program Comprehension (IWPC)"}
@string{SHORTIWPC = "Program Comprehension (IWPC)"}
@string{NAMEIWPC = "Program Comprehension"}
@string{ABBREVIWPC = "IWPC"}

@string{LICS = "Symposium on Logic in Computer Science (LICS)"}
@string{SHORTLICS = "Logic in Computer Science (LICS)"}
@string{NAMELICS = "Logic in Computer Science"}
@string{ABBREVLICS = "LICS"}

@string{MSR = "Working Conference on Mining Software Repositories, (MSR)"}
@string{SHORTMSR = "Mining Software Repositories, (MSR)"}
@string{ABBREVMSR = "MSR"}

@string{MOBISYS = "International Conference on Mobile Systems, Applications, and Services (MobiSys)"}
@string{SHORTMOBISYS = "Mobile Systems, Applications, and Services (MobiSys)"}
@string{NAMEMOBISYS = "Mobile Systems, Applications, and Services"}
@string{ABBREVMOBISYS = "MobiSys"}

@string{MOBILESOFT = "Conference on Mobile Software Engineering and Systems (MOBILESoft)"}
@string{SHORTMOBILESOFT = "Mobile Software Engineering and Systems (MOBILESoft)"}
@string{NAMEMOBILESOFT = "Mobile Software Engineering and Systems"}
@string{ABBREVMOBILESOFT = "MOBILESoft"}

@string{MPC = "International Conference on Mathematics of Program Construction (MPC)"}
@string{SHORTMPC = "Mathematics of Program Construction (MPC)"}
@string{NAMEMPC = "Mathematics of Program Construction"}
@string{ABBREVMPC = "MPC"}

@string{NFM = "NASA Formal Methods Symposium (NFM)"}
@string{SHORTNFM = "NASA Formal Methods (NFM)"}
@string{NAMENFM = "NASA Formal Methods"}
@string{ABBREVNFM = "NFM"}

@string{NDSS = "Network and Distributed System Security Symposium (NDSS)"}
@string{SHORTNDSS = "Network and Distributed System Security (NDSS)"}
@string{NAMENDSS = "Network and Distributed System Security"}
@string{ABBREVNDSS = "NDSS"}

@string{OOPSLA = "Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)"}
@string{SHORTOOPSLA = "Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)"}
@string{NAMEOOPSLA = "Object-Oriented Programming Systems, Languages, and Applications"}
@string{ABBREVOOPSLA = "OOPSLA"}

@string{PEPM = "Workshop on Partial Evaluation and Program Manipulation (PEPM)"}
@string{SHORTPEPM = "Partial Evaluation and Program Manipulation (PEPM)"}
@string{NAMEPEPM = "Partial Evaluation and Program Manipulation"}
@string{ABBREVPEPM = "PEPM"}

@string{PASTE = "Workshop on Program Analysis for Software Tools and Engineering (PASTE)"}
@string{SHORTPASTE = "Program Analysis for Software Tools and Engineering (PASTE)"}
@string{NAMEPASTE = "Program Analysis for Software Tools and Engineering"}
@string{ABBREVPASTE = "PASTE"}

@string{OSDI = "Symposium on Operating Systems Design and Implementation (OSDI)"}
@string{SHORTOSDI = "Operating Systems Design and Implementation (OSDI)"}
@string{NAMEOSDI = "Operating Systems Design and Implementation"}
@string{ABBREVOSDI = "OSDI"}

@string{PLDI = "Conference on Programming Language Design and Implementation (PLDI)"}
@string{SHORTPLDI = "Programming Language Design and Implementation (PLDI)"}
@string{JOURNALPLDI = "ACM SIGPLAN Notices: Programming Language Design and Implementation (PLDI)"}
@string{NAMEPLDI = "Programming Language Design and Implementation"}
@string{ABBREVPLDI = "PLDI"}

@string{POPL = "Symposium on Principles of Programming Languages (POPL)"}
@string{SHORTPOPL = "Principles of Programming Languages (POPL)"}
@string{JOURNALPOPL = "ACM SIGPLAN Notices: Principles of Programming Languages (POPL)"}
@string{NAMEPOPL = "Principles of Programming Languages"}
@string{ABBREVPOPL = "POPL"}

@string{SAS = "Static Analysis Symposium (SAS)"}
@string{SHORTSAS = "Static Analysis (SAS)"}
@string{NAMESAS = "Static Analysis"}
@string{ABBREVSAS = "SAS"}

@string{SAC = "Symposium on Applied Computing (SAC)"}
@string{SHORTSAC = "Applied Computing (SAC)"}
@string{ABBREVSAC = "SAC"}

@string{SOAP = "Workshop on State of the Art in Program Analysis (SOAP)"}
@string{SHORTSOAP = "State of the Art in Program Analysis (SOAP)"}
@string{ABBREVSOAP = "SOAP"}

@string{SPACE = "Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE)"}
@string{SHORTSPACE = "Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE)"}
@string{NAMESPACE = "Semantics, Program Analysis, and Computing Environments for Memory Management"}
@string{ABBREVSPACE = "SPACE"}

@string{SPIN = "International Workshop on Model Checking Software (SPIN)"}
@string{SHORTSPIN = "Model Checking Software (SPIN)"}
@string{ABBREVSPIN = "SPIN"}

@string{SPSM = "Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM@CCS)"}
@string{SHORTSPSM = "Security and Privacy in Smartphones and Mobile Devices (SPSM@CCS)"}
@string{NAMESPSM = "Security and Privacy in Smartphones and Mobile Devices"}
@string{ABBREVSPSM = "SPSM@CCS"}

@string{STTT = "International Journal on Software Tools for Technology Transfer (STTT)"}
@string{SHORTSTTT = "Int J Softw Tools Technol Transfer (STTT)"}
@string{ABBREVSTTT = "STTT"}

@string{TACAS = "Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}
@string{SHORTTACAS = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}
@string{NAMETACAS = "Tools and Algorithms for the Construction and Analysis of Systems"}
@string{ABBREVTACAS = "TACAS"}

@string{TLDI = "Workshop on Types in Language Design and Implementation (TLDI)"}
@string{SHORTTLDI = "Types in Language Design and Implementation (TLDI)"}
@string{NAMETLDI = "Types in Language Design and Implementation"}
@string{ABBREVTLDI = "TLDI"}

@string{USS = "USENIX Security Symposium"}
@string{SHORTUSS = "USENIX Security"}
@string{NAMEUSS = "USENIX Security"}
@string{ABBREVUSS = "USENIX Security"}

@string{VMCAI = "Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)"}
@string{SHORTVMCAI = "Verification, Model Checking, and Abstract Interpretation (VMCAI)"}
@string{NAMEVMCAI = "Verification, Model Checking, and Abstract Interpretation"}
@string{ABBREVVMCAI = "VMCAI"}

@string{WCRE = "Working Conference on Reverse Engineering (WCRE)"}
@string{SHORTWCRE = "Reverse Engineering (WCRE)"}
@string{NAMEWCRE = "Reverse Engineering"}
@string{ABBREVWCRE = "WCRE"}                  

@string{ICCSA = "International Conference on Computational Science and Its Applications (ICCSA)"}
@string{SHORTICCSA = "Computational Science and Its Applications (ICCSA)"}
@string{NAMEICCSA = "Computational Science and Its Applications"}
@string{ABBREVICCSA = "ICCSA"}

@string{VSTTE = "International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)"}
@string{SHORTVSTTE = "Verified Software: Theories, Tools, and Experiments (VSTTE)"}
@string{NAMEVSTTE = "Verified Software: Theories, Tools, and Experiments"}
@string{ABBREVVSTTE = "VSTTE"}

@string{CSF = "{IEEE} Computer Security Foundations Symposium (CSF)"}
@string{SHORTCSF = "{IEEE} Computer Security Foundations Symposium (CSF)"}
@string{NAMECSF = "{IEEE} Computer Security Foundations Symposium"}
@string{ABBREVCSF = "CSF"}

@string{EUROSEP = "{IEEE} European Symposium on Security and Privacy (EuroS{\&}P)"}
@string{SHORTEUROSEP = "{IEEE} European Symposium on Security and Privacy (EuroS{\&}P)"}
@string{NAMEEUROSEP = "{IEEE} European Symposium on Security and Privacy"}
@string{ABBREVEUROSEP = "EuroS{\&}P"}

@string{ESORICS = "European Symposium on Research in Computer Security (ESORICS)"}
@string{SHORTESORICS = "European Symposium on Research in Computer Security (ESORICS)"}
@string{NAMEESORICS = "European Symposium on Research in Computer Security"}
@string{ABBREVESORICS = "ESORICS"}