venues.bib

@string{ase = {{IEEE--ACM} International Conference on Automated Software
    Engineering (ASE)}}

@string{asplos = {International Conference on Architectural Support for
    Programming Languages and Operating Systems (ASPLOS)}}

@string{date = {Design, Automation and Test in Europe (DATE)}}

@string{entcs = {Electronic Notes in Theoretical Computer Science}}

@string{fse = {{ACM} {SIGSOFT} Symposium on the Foundations of Software
    Engineering (FSE)}}

@string{eurosys = {{ACM} European Conference on Computer Systems (EuroSys)}}

@string{hotpar = {{USENIX} Workshop on Hot Topics in Parallelism (HotPar)}}

@string{hotos = {{USENIX} Workshop on Hot Topics in Operating Systems (HotOS)}}

@string{hotpower = {{USENIX} Workshop on Power-Aware Computing and Systems
    (HotPower)}}

@string{hpca = {International Symposium on High-Performance Computer
    Architecture (HPCA)}}

@string{icse = {International Conference on Software Engineering (ICSE)}}

@string{isca = {International Symposium on Computer Architecture (ISCA)}}

@string{islped = {International Symposium on Low Power Electronics and Design
(ISLPED)}}

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

@string{issta = {{ACM SIGSOFT} International Symposium on Software Testing and
    Analysis (ISSTA)}}

@string{lncs = {Lecture Notes in Computer Science}}

@string{micro = {{IEEE/ACM} International Symposium on Microarchitecture
    (MICRO)}}

@string{mobisys = {International Conference on Mobile Systems, Applications,
    and Services (MobiSys)}}

@string{mspc = {{ACM SIGPLAN} Workshop on Memory Systems Performance \&
    Correctness (MSPC)}}

@string{ndss = {Network and Distributed Systems Security Symposium (NDSS)}}

@string{nsdi = {{USENIX} Symposium on Networked Systems Design and
    Implementation (NSDI)}}

@string{oakland = {{IEEE} Symposium on Security and Privacy}}

@string{oopsla = {{ACM} Conference on Object-Oriented Programming, Systems,
    Languages, and Applications (OOPSLA)}}

@string{osdi = {{USENIX} Symposium on Operating Systems Design and
    Implementation (OSDI)}}

@string{pact = {International Conference on Parallel Architectures and
    Compilation Techniques (PACT)}}

@string{pldi = {{ACM} Conference on Programming Language Design and
    Implementation (PLDI)}}

@string{popl = {{ACM SIGPLAN--SIGACT} Symposium on Principles of Programming Languages (POPL)}}

@string{ppopp = {{ACM SIGPLAN} Symposium on Principles and Practice of Parallel
    Programming (PPoPP)}}

@string{races = {Workshop on Relaxing Synchronization for Multicore and
    Manycore Scalability (RACES)}}

@string{sas = {International Static Analysis Symposium (SAS)}}

@string{sc = {International Conference for High Performance Computing,
    Networking, Storage and Analysis (SC)}}

@string{sigmod = {{ACM SIGMOD} International Conference on Management of Data}}

@string{tecs = {{ACM} Transactions on Embedded Computing Systems (TECS)}}

@string{toc = {{IEEE} Transactions on Computers}}

@string{usenix = {{USENIX} Annual Technical Conference (ATC)}}

@string{vlsi = {{IEEE} Transactions on Very Large Scale Integration Systems
    (VLSI)}}

@string{iiswc = {{IEEE} International Symposium on Workload Characterization
    (IISWC)}}

@string{fpga = {{ACM/SIGDA} International Symposium on Field-Programmable Gate
    Arrays (FPGA)}}

@string{cav = {International Conference on Computer Aided Verification (CAV)}}

@string{sigcomm = {ACM SIGCOMM}}

@string{fast = {{USENIX} Conference on File and Storage Technologies (FAST)}}

@string{wacas = {Workshop on Approximate Computing Across the System Stack
    (WACAS)}}

@string{isscc = {{IEEE} international Solid-State Circuits Conference (ISSCC)}}

@string{icfp = {{ACM SIGPLAN} International Conference on Functional
    Programming (ICFP)}}

@string{cgo = {International Symposium on Code Generation and Optimization
    (CGO)}}

@string{aaai = {{AAAI} Conference on Artificial Intelligence (AAAI)}}

@string{iscas = {{IEEE} International Symposium on Circuits and Systems
    (ISCAS)}}

@string{ats = {Asian Test Symposium (ATS)}}

@string{memocode = {(ACM--IEEE) International Conference on Formal Methods and
    Models for Codesign (MEMOCODE)}}

@string{dsn = {{IEEE--IFIP} International Conference on Dependable Systems and
    Networks (DSN)}}

@string{ipdps = {{IEEE} International Parallel \& Distributed Processing
    Symposium}}

@string{iccad = {{IEEE--ACM} International Conference on Computer-Aided
    Design (ICCAD)}}

@string{dsd = {Euromicro Conference on Digital System Design (DSD)}}

@string{sensys = {{ACM} Conference on Embedded Networked Sensor Systems
    (SenSys)}}

@string{iccd = {{IEEE} International Conference on Computer Design}}

@string{globecom = {{IEEE} Global Communications Conference (GLOBECOM)}}

@string{rtss = {{IEEE} Real-Time Systems Symposium (RTSS)}}

@string{icpp = {{IEEE} International Conference on Parallel Processing (ICPP)}}

@string{apsec = {Asia--Pacific Software Engineering Conference (APSEC)}}

@string{pepm = {{ACM SIGPLAN} Workshop on Partial Evaluation and Program
    Manipulation (PEPM)}}

@string{ics = {{ACM SIGARCH} International Conference on Supercomputing (ICS)}}

@string{esop = {European Symposium on Programming (ESOP)}}

@string{pacs = {Workshop on Power-Aware Computer Systems (PACS)}}

@string{lctes = {{ACM SIGPLAN--SIGBED} Conference on Languages, Compilers,
    Tools and Theory for Embedded Systems (LCTES)}}

@string{iceac = {International Conference on Energy Aware Computing Systems
    \& Applications (ICEAC)}}

@string{codes = {{IEEE--ACM--IFIP} International Conference on
    Hardware/Software Codesign and System Synthesis (CODES+ISSS)}}

@string{ahs = {{NASA--ESA} Conference On Adaptive Hardware And Systems (AHS)}}

@string{uai = {Conference on Uncertainty in Artificial Intelligence (UAI)}}

@string{tldi = {{ACM SIGPLAN} International Workshop on Types in Languages
    Design and Implementation (TLDI)}}

@string{isqed = {International Symposium on Quality Electronic Design
    (ISQED)}}

@string{aspdac = {Asia and South Pacific Design Automation Conference
    (ASP-DAC)}}

@string{wddd = {Workshop on Duplicating, Deconstructing and Debunking (WDDD)}}

@string{icecs = {{IEEE} International Conference on Electronics Circuits and
    Systems (ICECS)}}

@string{iedm = {{IEEE} International Electron Devices Meeting (IEDM)}}

@string{imw = {{IEEE} International Memory Workshop (IMW)}}

@string{irps = {{IEEE} International Reliability Physics Symposium}}

@string{grc = {{IEEE} International Conference on Granular Computing (GrC)}}

@string{percom = {{IEEE} International Conference on Pervasive Computing and
    Communications (PerCom)}}

@string{aistats = {International Conference on Artificial Intelligence and
    Statistics (AISTATS)}}

@string{dsl = {{IFIP} Working Conference on Domain-Specific Languages (DSL)}}

@string{focs = {{IEEE} Symposium on Foundations of Computer Science (FOCS)}}

@string{tacas = {International Conference on Tools and Algorithms for the
    Construction and Analysis of Systems (TACAS)}}

@string{selse = {Workshop on Silicon Errors in Logic: System Effects (SELSE)}}

@string{dac = {Design Automation Conference (DAC)}}

@string{nips = {Conference on Neural Information Processing Systems (NIPS)}}

@string{cacm = {Communications of the ACM}}

@string{toplas = {{ACM} Transactions on Programming Languages and Systems
    (TOPLAS)}}

@string{tvlsi = {{IEEE} Transactions on Very Large Scale Integration (VLSI)
    Systems}}

@string{tit = {{IEEE} Transactions on Information Theory}}

@string{jssc = {{IEEE} Journal of Solid-State Circuits}}

@string{taco = {{ACM} Transactions on Architecture and Code Optimization
    (TACO)}}

@string{dls = {Dynamic Languages Symposium (DLS)}}

@string{sosp = {{ACM} Symposium on Operating Systems Principles (SOSP)}}

@string{tcad = {{IEEE} Transactions on Computer-Aided Design of Integrated
    Circuits and Systems (TCAD)}}

@string{isic = {International Symposium on Integrated Circuits (ISIC)}}