abstract/document/defs.bib

%%% This file has been automatically converted from "defs-src.bib"
%%% on Mon 5 Jul 2010 13:23:44 EST to contain full definitions
%%% for bibliography files.
%%% DO NOT EDIT THIS FILE, EDIT THE SOURCE FILE "defs-src.bib" INSTEAD!
%%% Converted text follows after this line:
@comment{$\relax$Id$\relax$}
@comment{
 This file contains common definitions for bibliography files.
 Every \bibliography command should list this file first.

 Do not sort this file, instead keep the address, journal and proceedings
 strings separated.
 HOWEVER, week strings sorted within the groups (or risk making Gernot angry!)
}

% NEW FEATURE

% You can now define strings with an optional argument which is the
% abbreviated version of the string. For example, the definition
% @string{blah= jan#" Bartender Conference"}
% will appear as
% @string{blah="BAR"}
% in defs-abbrev.bib while it will appear as
% @string{blah=jan#" Bartender Conference"}
% in defs.bib. This lets you avoid the automatic abbrev generation in
% cases where it does the wrong thing.


@comment{
 Written by Gernot Heiser <G.Heiser%unsw.edu.au> 1991-08-19
 $\relax$Id$\relax$
}


@comment{
 The following definition is for tricky sorting cases. Say you have
 two related entries, from different years (1971 and
 1973) and for some reason want them to appear in a
 sorted bibliography in the inverse order of the
 "year" field. You could then use the following:

 year = "{\noopsort{a}}1973}"
 and

 year = "{\noopsort{b}}1971}"}

@preamble{ "\providecommand{\noopsort}[1]{} "}
@preamble{ "\providecommand{\url}{\error{The bib files now require the `url' package!}}"}


@comment{Strings denoting organizations/addresses:}

@string{acm = "ACM"}
@string{addwes = "Addison-Wesley"}
@string{afips = "AFIPS"}
@string{iee = "IEE"}
@string{ieee = "IEEE"}
@string{ieeecs = ieee#" Computer Society"}
@string{ieeecsp = ieee#" Computer Society Press"}
@string{ieice = "IEICE"}
@string{iere = "Institution of Electronic and Radio Engineers"}
@string{kap = "Kluwer Academic Publishers"}
@string{sv = "Springer--Verlag"}
@string{tapa = "TAPA"}
@string{ukuug = "UKUUG"}
@string{usenix = "USENIX"}

@string{nicta = "NICTA"}
@string{nictaadr = "Sydney, Australia"}
@string{nictaaffil = nicta#", "#nictaadr}
@string{ertos = "Embedded, Real-Time and Operating Systems Program"}
@string{ertos_n = ertos#", "#nicta}
@string{unsw = "University of NSW"}
@string{unswadr = unsw#", Sydney 2052, Australia"}
@string{cse = "School of Computer Science and Engineering"}
@string{cseadr = cse#", "#unswadr}
@string{cseaffil = cseadr}
@string{dtj = "Digital Technical Journal"}
@string{disy_url = "\url{http://www.disy.cse.unsw.edu.au/}"}
@string{l4_url = "\url{http://www.disy.cse.unsw.edu.au/Software/L4}"}
@string{mungi_url = "\url{http://mungi.org/}"}
@string{papers_url = "publications page at "#disy_url}
@string{eecs = "School of Electrical Engineering and Computer Science"}
@string{ee = "School of Electrical Engineering"}
@string{usyd = "University of Sydney"}
@string{usydaddr = usyd#", Sydney 2006, Australia"}
@string{eie = "Electrical and Information Engineering"}
@string{eieaddr = eie#", "#usydaddr}


@comment{Strings denoting journals/magazines:}

@string{acj = "The Australian Computer Journal"}
@string{acmcs = acm#" Computing Surveys"}
@string{acmqueue = "ACM Queue"}
@string{adal = acm#" Ada Letters"}
@string{advphy = "Advances in Physics"}
@string{aeep = "Advances in Electronics and Electron Physics"}
@string{ap = "Applied Physics"}
@string{apa = ap#" A"}
@string{apl = "Applied Physics Letters"}
@string{ase = "Automated Software Engineering"}
@string{bit = "BIT"}
@string{bstj = "The Bell System Technical Journal"}
@string{byte = "Byte"}
@string{c = "Cryogenics"}
@string{cacm = "Communications of the "#acm}
@string{can = "Computer Architecture News"}
@string{ccr = "Computer Communication Review"}
@string{cgraph = "Computer Graphics"}
@string{cjp = "Canadian Journal of Physics"}
@string{cmame = "Computer Methods in Applied Mechanics and Engineering"}
@string{cnet = "Computer Networks"}
@string{cnis = "Computer Networks and ISDN Systems"}
@string{comcom = "Computer Communications"}
@string{comp = "IEEE Computer"}
@string{conc = "IEEE Concurrency"}
@string{compj = "The Computer Journal"}
@string{cpe = "Concurrency: Practice and Experience"}
@string{csse = "Computer Systems Science \& Engineering"}
@string{compsys = "Computing Systems"}
@string{ddj = "Dr.\ Dobb's Journal"}
@string{dico = "Distributed Computing"}
@string{dse = "Distributed Systems Engineering Journal"}
@string{ec = "Embedded.Com"}
@string{ecj = "Electronics and Communications in Japan"}
@string{ecj2 = ecj#", Part 2: Electronics"}
@string{ecsm = "Extended Abstracts of the Electrochemical Society"}
@string{el = "Europhysics Letters"}
@string{electronics = "Electronics"}
@string{emse = "Empirical Software Engineering"}
@string{entcs = "Electronic Notes in Computer Science"}
@string{escar = "Embedded Security in Cars Conference (escar)"}
@string{escar05 = "3rd "#escar}
@string{escar08 = "6th "#escar}
@string{etj = "Embedded Technology Journal"}
@string{we = "Electronics World"}
@string{f = "Festk{\"o}rperprobleme"}
@string{fgcs = "Future Generation Computer Systems"}
@string{hr = "Hitachi Review"}
@string{ibmjrd = "IBM Journal of Research and Development"}
@string{ibmsj = "IBM Systems Journal"}
@string{ibmtech = "IBM Technical Disclosures Bulletin"}
@string{ieeetcos = ieee#" Bulletin of the Technical Committee on Operating Systems and Application Environments"}
@string{ieeeedl = ieee#" Electron Device Letters"}
@string{ieeeic = ieee#" Internet Computing"}
@string{ieeesac = ieee#" Journal on Selected Areas in Communications"}
@string{ieeepdt = ieee#" Parallel and Distributed Technology"}
@string{ieeepc = ieee#" Pervasive Computing"}
@string{ieeesw = ieee#" Software"}
@string{ieeetc = ieee#" Transactions on Computers"}
@string{ieeetcad = ieee#" Transactions on CAD ICAS"}
@string{ieeetcom = ieee#" Transactions on Communications"}
@string{ieeeted = ieee#" Transactions on Electron Devices"}
@string{ieeetedl = ieeeted#" Letters"}
@string{ieeetit = ieee#" Transactions on Information Theory"}
@string{ieeetkde = ieee#" Transactions on Knowledge and Data Engineering"}
@string{ieeetns = ieee#" Transactions on Nuclear Science"}
@string{ieeetpds = ieee#" Transactions on Parallel and Distributed Systems"}
@string{ieeetose = ieee#" Transactions on Software Engineering"}
@string{ieeetvlsis = ieee#" Transactions on Very Large Scale Integration Systems"}
@string{ieep = "IEE Proceedings"}
@string{ieepsw = ieep#": Software"}
@string{ieicete = ieice#" Transactions on Electronics"}
@string{ietm = "IET Magazine"}
@string{ip = "Information Processing"}
@string{itc = "Intel Technology Journal"}
@string{ijpc = "International Journal on Parallel Computing"}
@string{ijes = "International Journal on Embedded Systems"}
@string{ijssc = ieee#" Journal Solid-State Circuits"}
@string{ijssc = ieee#" Journal Solid-State Circuits"}
@string{ijhsc = "International Journal of High-Speed Computing"}
@string{ijnme = "International Journal of Numerical Methods in Eng."}
@string{ijsttt = "International Journal on Software Tools for Technology Transfer"}
@string{ijsca = "International Journal of Supercomputer Applications"}
@string{ibmdscl = "IBM Technical Disclosure Bulletin"}
@string{ibmjrd = "IBM Journal for Research and Development"}
@string{iretec = "IRE Transactions on Electronic Computers"}
@string{jacm = "Journal of the ACM"}
@string{jal = "Journal of Algorithms"}
@string{jap = "Journal of Applied Physics"}
@string{japl = jap#" Letters"}
@string{jar = "Journal of Automated Reasoning"}
@string{jarosv = jar#": Special Issue on Operating System Verification"}
@string{jcphys = "Journal of Computational Physics"}
@string{jcs = "Journal of Computer Security"}
@string{jecs = "Journal of the Electrochemical Society"}
@string{jem = "Journal of Electronic Materials"}
@string{jjap = "Japanese Journal of Applied Physics"}
@string{jncs = "Journal of Non-Crystalline Solids"}
@string{joop = "Journal of Object Orientation"}
@string{jp = "Journal of Physics"}
@string{jpdc = "Journal of Parallel and Distributed Computing"}
@string{jpd = jp#" D: Applied Physics"}
@string{jpcs = "Journal of Physis and Chemistry of Solids"}
@string{jpsj = "Journal of the Physical Society of Japan"}
@string{jsac = ieee#" Journal of Selected Areas in Communications"}
@string{jss = "Journal of Systems and Software"}
@string{kaprts = "Journal of Real--Time Systems"}
@string{login = "USENIX ;login:"}
@string{mathcomp = "Mathematics of Computation"}
@string{me = "Microelectronic Engineering"}
@string{meje = "Microelectronics Journal"}
@string{micro = "IEEE Micro"}
@string{mhdl = "Mobile Handset Design Line"}
@string{mpms = "Microprocessors and Microsystems"}
@string{nummath = "Numerische Mathematik"}
@string{nsdi = "Symposium on Networked Systems Design and Implementation"}
@string{oops = "OOPS Messenger"}
@string{osr = acm#" Operating Systems Review"}
@string{pc = "Parallel Computing"}
@string{piee = "Proceedings of the "#iee}
@string{pieee = "Proceedings of the "#ieee}
@string{ppsl = "Proceedings of the Physical Society London"}
@string{prsl = "Proceedings of the Royal Society London"}
@string{per = "Performance Evaluation Review"}
@string{pipv = "Progress in Photovoltaics"}
@string{pm = "Philosophical Magazine"}
@string{pml = "Philosophical Magazine Letters"}
@string{pr = "Physical Review"}
@string{pra = pr#" A"}
@string{prb = pr#" B"}
@string{prc = pr#" C"}
@string{prd = pr#" D"}
@string{pre = pr#" E"}
@string{prl = pr#" Letters"}
@string{ps = "Progress in Semiconductors"}
@string{pss = "Physica Status Solidi"}
@string{ptp = "Progress in Theoretical Physics"}
@string{rdj = "Research Disclosure Journal"}
@string{rmp = "Reviews of Modern Physics"}
@string{rpp = "Reports on Progress in Physics"}
@string{sa = "Scientific American"}
@string{sc = "Solar Cells"}
@string{sem = "Solar Energy Materials"}
@string{semsc = "Solar Energy Materials and Solar Cells"}
@string{si = "Semiconductor International"}
@string{simax = "SIAM Journal on Matrix Analysis and Applications"}
@string{sisc = "SIAM Journal on Scientific Computing"}
@string{sissc = "SIAM Journal on Scientific and Statistical Computing"}
@string{sina = "SIAM Journal on Numerical Analysis"}
@string{siemens = "Siemens Research and Development Reports"}
@string{signum = acm#" SIGNUM Newsletter"}
@string{sigplan = "SIGPLAN Notices"}
@string{sigplanlp = "SIGPLAN Lisp Pointers"}
@string{sigsmall = acm#" SIGSMALL Newsletter"}
@string{sp = "Soviet Physics"}
@string{spe = "Software: Practice and Experience"}
@string{sps = "Soviet Physics of Semiconductors"}
@string{spss = "Soviet Physics - Solid State"}
@string{ssc = "Solid State Communications"}
@string{sse = "Solid-State Electronics"}
@string{ssp = "Solid-State Phenomena"}
@string{tcos = ieee#" Technical Committee on Operating Systems Newsletter"}
@string{tecs = acm#" Transactions on Embedded Computing Systems"}
@string{tocs = acm#" Transactions on Computer Systems"}
@string{tods = acm#" Transactions on Database Systems"}
@string{toecs = tecs}
@string{tomacs = acm#" Transactions on Modeling and Computer Simulation"}
@string{tonw = ieee#"/"#acm#" Transactions on Networking"}
@string{topls = acm#" Transactions on Programming Languages and Systems"}
@string{vldbj = "VLDB Journal"}
@string{zamm = "Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik"}
@string{zfp = "Zeitschrift f{\"u}r Physik"}


@comment{Strings denoting series:}

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


@comment{Strings denoting conferences ("booktitles"):}

@comment{Proceedings "a":}
@string{proc = "Proceedings of the "}
@string{procv = "Proceedings of "}
@string{digest = " Digest of Technical Papers"}

@string{acsac = "Australasian Computer Systems Architecture Conference"}
@comment{old names, intentionally out of alpha order:}
@string{acac = "Australasian Computer Architecture Conference"}
@string{apcsac = "Asia-Pacific Computer Systems Architecture Conference"}
@string{acac96 = proc#"1st "#acac}
@string{acac97 = proc#"2nd "#acac}
@string{acac98 = proc#"3rd "#acac}
@string{acac99 = proc#"4th "#acac}
@string{acac00 = proc#"5th "#acac}
@string{acsac01 = proc#"6th "#acsac}
@string{acsac02 = proc#"7th "#apcsac}
@string{acsac03 = proc#"8th "#apcsac}
@string{acsac04 = proc#"9th "#apcsac}
@string{acsac08 = proc#"13th IEEE "#apcsac}
@string{acsac_ = "Annual Computer Security Applications Conference"}
@string{acsac_03 = "19th "#acsac_}
@string{acsac_04 = "20ty "#acsac_}
@string{acsac_05 = "21st "#acsac_}
@string{acsac_07 = proc#"23rd "#acsac_}
@string{acsc = "Australasian Computer Science Conference"}
@comment{old name, intentionally out of alpha order:}
@string{acc = "Australasian Computer Conference"}
@string{acc78 = proc#"8th "#acc}
@string{acsc88 = proc#"11th "#acsc}
@string{acsc89 = proc#"12th "#acsc}
@string{acsc90 = proc#"13th "#acsc}
@string{acsc91 = proc#"14th "#acsc}
@string{acsc92 = proc#"15th "#acsc}
@string{acsc93 = proc#"16th "#acsc}
@string{acsc94 = proc#"17th "#acsc}
@string{acsc95 = proc#"18th "#acsc}
@string{acsc96 = proc#"19th "#acsc}
@string{acsc97 = proc#"20th "#acsc}
@string{acsc98 = proc#"21st "#acsc}
@string{acsc99 = proc#"22nd "#acsc}
@string{adc = "Australasian Database Conference"}
@string{adc05 = proc#"16th "#adc}
@string{adcom = "International Conference on Advanced Computing and Communication"}
@string{adcom07 = proc#"15th "#adcom}
@string{afipsp = afips#" Conference Proceedings, "}
@string{afipsjcc = "Joint Computer Conference"}
@string{afipsncc = "National Computer Conference"}
@string{afipsjcc61e = afipsp#"1961 Eastern "#afipsjcc}
@string{afipsjcc65f = afipsp#"1965 Fall "#afipsjcc}
@string{afipsjcc69f = afipsp#"1969 Fall "#afipsjcc}
@string{afipsjcc72s = afipsp#"1972 Spring "#afipsjcc}
@string{afipsncc73 = afipsp#"1973 "#afipsncc}
@string{afipsncc79 = afipsp#"1979 "#afipsncc}
@string{aoug = proc#"Australian Occam User Group Conference"}
@string{apsys = "Asia-Pacific Workshop on Systems"}
@string{apsys10 = proc#"1st "#apsys}
@string{aptc = "Asia-Pacific Trusted Infrastructure Technologies Conference"}
@string{aptc08 = proc#"3rd "#aptc}
@string{aspdac = "Asia and South Pacific Design Automation Conference"}
@string{aspdac07 = proc#"12th "#aspdac}
@string{asplos = "International Conference on Architectural Support for Programming Languages and Operating Systems"}
@string{asplos82 = proc#"1st "#asplos}
@string{asplos89 = proc#"3rd "#asplos}
@string{asplos91 = proc#"4th "#asplos}
@string{asplos92 = proc#"5th "#asplos}
@string{asplos94 = proc#"6th "#asplos}
@string{asplos96 = proc#"7th "#asplos}
@string{asplos98 = proc#"8th "#asplos}
@string{asplos00 = proc#"9th "#asplos}
@string{asplos02 = proc#"10th "#asplos}
@string{asplos04 = proc#"11th "#asplos}
@string{asplos06 = proc#"12th "#asplos}
@string{asplos08 = proc#"13th "#asplos}
@string{auug = "Conference for Unix, Linux and Open Source Professionals"}
@string{auug06 = proc#" "#auug}
@string{avocs = "International Workshop on Automated Verification of Critical Systems"}
@string{avocs08 = proc#"8th "#avocs}

@comment{Proceedings "b":}
@string{bctm = proc#""#ieee#" Bipolar Circuits and Technology Meeting"}

@comment{Proceedings "c":}
@string{cadted = "International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability"}
@string{cadted96 = proc#" "#cadted}
@string{cases = " International Conference on Compilers, Architecture and Synthesis for Embedded Systems"}
@string{cases02 = proc#cases}
@string{cav = " International Conference on Computer Aided Verification"}
@string{cav07 = proc#"19th "#cav}
@string{ccgrid = "International Symposium on Cluster Computing and the Grid"}
@string{ccgrid01 = proc#"1st "#ccgrid}
@string{ccgrid02 = proc#"2nd "#ccgrid}
@string{ccgrid03 = proc#"3rd "#ccgrid}
@string{ccgrid04 = proc#"4th "#ccgrid}
@string{ccgrid05 = proc#"5th "#ccgrid}
@string{ccgrid06 = proc#"6th "#ccgrid}
@string{ccnc = "IEEE Consumer Communications and Networking Conference"}
@string{ccnc08 = proc#"5th "#ccnc}
@string{ccnc09 = proc#"6th "#ccnc}
@string{cxxconf = proc#usenix#" C++ Conference"}
@string{cicc = ieee#" Custom Integrated Circuits Conference"}
@string{cluster = ieee#" International Conference on Cluster Computing"}
@string{cluster04 = proc#"6th "#cluster}
@string{codes_isss = "International Conference on Hardware/Software Codesign and System Synthesis"}
@string{codes_isss03 = proc#"1st "#codes_isss}
@string{codes_isss05 = proc#"3rd "#codes_isss}
@string{colcom = "International Conference on Collaborative Computing"}
@string{colcom05 = proc#"1st "#colcom}
@string{compcon = "COMPCON"}
@string{compcon-s = "Spring "#compcon}
@string{coots = usenix#" Conference on Object-Oriented Technologies and Systems"}
@string{coots98 = proc#"4th "#coots}
@string{cpld = acm#" Conference on Programming Language Design"}
@string{cpsc = acm#" Conference on Personal and Small Computers"}
@string{csaw = acm#" Computer Security Architecture Workshop"}
@string{csfw = ieee#" Computer Security Foundations Workshop"}
@string{csfw99 = proc#"12th "#csfw}
@string{csfw06 = proc#"19th "#csfw}
@string{csc = acm#" Computer Science Conference"}

@comment{Proceedings "d":}
@string{dac = "Design Automation Conference"}
@string{dac07 = proc#"44th "#dac}
@string{dasc = ieee#"/AIAA Digital Avionics Systems Conference"}
@string{dasc08 = proc#"27th "#dasc}
@string{date = acm#"/"#ieee#" Conference on Design, Automation and Test in Europe"}
@string{date03 = proc#"40th "#date}
@string{date04 = proc#"41st "#date}
@string{date05 = proc#"42nd "#date}
@string{date06 = proc#"43rd "#date}
@string{date07 = proc#"44th "#date}
@string{date09 = proc#"45th "#date}
@string{dares = "International Workshop on Distributed Auto-adaptive and Reconfigurable Systems"}
@string{dcca = " IFIP Working Conference on Dependable Computing for Critical Applications"}
@string{dcca92 = proc#"3rd "#dcca}
@string{drc = "Device Research Conference"}
@string{dsm06 = ccgrid06}
@string{dsn = "International Conference on Dependable Systems and Networks"}
@string{dsn04 = proc#" "#dsn}
@string{dsn05 = proc#" "#dsn}
@string{dsn07 = proc#"37th "#dsn}
@string{dsn09 = proc#"39th "#dsn}

@comment{Proceedings "e":}
@string{ecoop = "European Conference on Object Oriented Programming"}
@string{ecoop93 = proc#"7th "#ecoop}
@string{ecoop94 = proc#"8th "#ecoop}
@string{ecoop95 = proc#"9th "#ecoop}
@string{ecoop06 = proc#"20th "#ecoop}
@string{ecpvsec = "European Communities Photovoltaic Solar Energy Conference"}
@string{ecrts = "Euromicro Conference on Real-Time Systems"}
@string{ecrts97 = proc#"9th "#ecrts}
@string{ecrts98 = proc#"10th "#ecrts}
@string{ecrts99 = proc#"11th "#ecrts}
@string{ecrts00 = proc#"12th "#ecrts}
@string{ecrts01 = proc#"13th "#ecrts}
@string{ecrts02 = proc#"14th "#ecrts}
@string{ecrts03 = proc#"15th "#ecrts}
@string{ecrts04 = proc#"16th "#ecrts}
@string{ecrts05 = proc#"17th "#ecrts}
@string{ecrts06 = proc#"18th "#ecrts}
@string{ecrts07 = proc#"19th "#ecrts}
@string{ecrts08 = proc#"20th "#ecrts}
@string{eds = "IEEE Workshop on Experimantal Distributed Systems"}
@string{eds90 = proc#"IEEE Workshop on Experimental Distributed Systems"}
@comment{ejcc changed to afipsjccYYe}
@string{emsoft = "International Conference on Embedded Software"}
@string{emsoft05 = proc#"5th "#emsoft}
@string{emsoft06 = proc#"6th "#emsoft}
@string{emsoft07 = proc#"7th "#emsoft}
@string{emsoft08 = proc#"8th "#emsoft}
@string{epsec = "European Photovoltaic Solar Energy Conference"}
@string{epsec77 = proc#"1st "#ecpvsec}
@string{epsec86 = proc#"7th "#ecpvsec}
@string{epsec88 = proc#"8th "#ecpvsec}
@string{epsec89 = proc#"9th "#ecpvsec}
@string{epsec91 = proc#"10th "#ecpvsec}
@string{epsec92 = proc#"11th "#epsec}
@string{epsec94 = proc#"12th "#epsec}
@string{epsec95 = proc#"13th "#epsec}
@string{epsec97 = proc#"14th "#epsec}
@string{epsec00 = proc#"16th "#epsec}
@string{essderc = "Proceedings of ESSDERC"}
@string{esa = "European Annual Symposium on Algorithms"}
@string{esa94 = proc#"2nd "#esa}
@string{esecfse = "joint meeting of the European Software Engineering Conference and ACM SIGSOFT International Symposium on the Foundations of Software Engineering"}
@string{esecfse07 = proc#"6th "#esecfse}
@string{esop = "European Symposium on Programming"}
@string{esprit = "Proceedings of ESPRIT"}
@string{esug = "European Smalltalk User Group Conference"}
@string{esug04 = proc#"12th "#esug}
@string{euromicro = "Euromicro Conference"}
@string{euromicro98 = proc#"24th "#euromicro}
@string{europar = "Euro-Par"}
@string{europar96 = proc#" "#europar}
@string{europar98 = proc#" "#europar}
@string{europen = "EurOpen Conference"}
@string{eurosys = "EuroSys Conference"}
@string{eurosys06 = proc#"1st "#eurosys}
@string{eurosys07 = proc#"2nd "#eurosys}
@string{eurosys08 = proc#"3rd "#eurosys}
@string{eurosys09 = proc#"4th "#eurosys}
@string{eurosys10 = proc#"5th "#eurosys}
@string{eurosys11 = proc#"6th "#eurosys}
@string{ewc = "Embedded World Conference"}
@string{ewpc92 = "European Workshop on Parallel Computing"}

@comment{Proceedings "f":}
@string{fast = usenix#" Conference on File and Storage Technologies"}
@string{fast03 = proc#" 2nd "#fast}
@string{fast_ = "International Workshop on Formal Aspects of Security and Trust"}
@string{fast_09 = proc#"6th "#fast_}

@string{focs = "Annual Symposium on Foundations of Computer Science"}
@string{focs77 = proc#" 18th "#focs}
@comment{fjcc changed to afipsjccYYf}
@string{ftc = "Conference on Future of Trust in Computing"}
@string{ftc08 = proc#" 1st "#ftc}
@string{fmics ="International Workshop on Formal Methods for Industrial Critical Systems"}
@string{fmics06 = proc#"11th "#fmics}
@string{ftcs = "IEEE International Symposium on Fault-Tolerant Computing"}
@string{ftcs91 = proc#" 21st "#ftcs}
@string{ftcs95 = proc#" 25th "#ftcs}

@comment{Proceedings "g":}
@string{glsvlsi = " ACM Great Lakes Symposium on VLSI"}
@string{glsvlsi02 = proc#" 12th "#glsvlsi}

@comment{Proceedings "h":}
@string{haskellws = proc#" ACM SIGPLAN Haskell Workshop"}
@string{hcss = "Annual High-Confidence Software and Systems Conference"}
@string{hcss07 = "7th "#hcss}
@string{hpca = "IEEE Symposium on High-Performance Computer Architecture"}
@string{hpca97 = proc#" 3rd "#hpca}
@string{hpca98 = proc#" 4th "#hpca}
@string{hpca99 = proc#" 5th "#hpca}
@string{hpca00 = proc#" 6th "#hpca}
@string{hpca01 = proc#" 7th "#hpca}
@string{hpdc = "IEEE International Symposium on High Performance Distributed Computing"}
@string{hpdc96 = proc#"5th "#hpdc}
@string{hpdc01 = proc#"10th"#hpdc}
@string{hpdc08 = proc#"17th"#hpdc}
@string{hicss = "Hawaii International Conference on System Sciences"}
@string{hicss84 = proc#"17th "#hicss}
@string{hicss85 = proc#"18th "#hicss}
@string{hicss86 = proc#"19th "#hicss}
@string{hicss87 = proc#"20th "#hicss}
@string{hicss88 = proc#"21th "#hicss}
@string{hicss89 = proc#"22th "#hicss}
@string{hicss90 = proc#"23rd "#hicss}
@string{hicss91 = proc#"24th "#hicss}
@string{hicss92 = proc#"25th "#hicss}
@string{hicss93 = proc#"26th "#hicss}
@string{hicss94 = proc#"27th "#hicss}
@string{hicss95 = proc#"28th "#hicss}
@string{hicss96 = proc#"29th "#hicss}
@string{hicss97 = proc#"30th "#hicss}
@string{hicss99 = proc#"32nd "#hicss}
@string{hipeac = "International Conference on High Performance Embedded Architectures and Compilers"}
@string{hipeac08 = proc#"3rd "#hipeac}
@string{hotchips = ieee#" Hot Chips Symposium"}
@string{hotchips01 = "13th "#hotchips}
@string{hotdep = "Workshop on Hot Topics in System Dependability"}
@string{hotdep07 = proc#"3rd "#hotdep}
@string{hotdep08 = proc#"4th "#hotdep}
@string{hotos = "Workshop on Hot Topics in Operating Systems"}
@comment{hotos92 = wwos92}
@comment{hotos93 = wwos93}
@string{hotos95 = proc#"5th "#hotos}
@string{hotos97 = proc#"6th "#hotos}
@string{hotos99 = proc#"7th "#hotos}
@string{hotos01 = proc#"8th "#hotos}
@string{hotos03 = proc#"9th "#hotos}
@string{hotos05 = proc#"10th "#hotos}
@string{hotos07 = proc#"11th "#hotos}
@string{hotos09 = proc#"12th "#hotos}
@string{hotpower = "Workshop on Power Aware Computing and Systems"}
@string{hotpower08 = proc#" "#hotpower#" (HotPower'08)"}
@string{hotpower09 = proc#" "#hotpower#" (HotPower'09)"}
@string{huc = "International Symposium on Handheld and Ubiquitous Computing"}
@string{huc00 = proc#"2nd "#huc}

@comment{Proceedings "i":}
@string{ica3pp = "International Conference on Algorithms and Architectures for Parallel Processing"}
@string{ica3pp96 = proc#"2nd "#ica3pp}
@string{icac = ieee#" International Conference on Autonomic Computing"}
@string{icac04 = proc#" "#icac}
@string{icac07 = proc#" "#icac}

@string{icalp = "International Colloquium on Automata, Languages and Programming"}
@string{icalp03 = proc#"30th "#icalp}
@string{icassp = ieee#" International Conference on Acoustics, Speech, and Signal Processing"}
@string{icassp05 = proc#" "#icassp}
@string{iccc = "ICCC"}
@string{iccd = "ICCD"}
@string{iccds = "International Conference on Configurable Distributed Systems"}
@string{iccds96 = proc#"3rd "#iccds}
@string{iccds98 = proc#"4th "#iccds}
@string{iccs = "International Conference on Computational Sciences"}
@string{iccs01 = proc#iccs}
@string{iccw = "International Conference on Computers and Workstations"}
@string{icdcs = ieee#" International Conference on Distributed Computing Systems"}
@string{icdcs84 = proc#"4th "#icdcs}
@string{icdcs85 = proc#"5th "#icdcs}
@string{icdcs86 = proc#"6th "#icdcs}
@string{icdcs87 = proc#"7th "#icdcs}
@string{icdcs88 = proc#"8th "#icdcs}
@string{icdcs89 = proc#"9th "#icdcs}
@string{icdcs90 = proc#"10th "#icdcs}
@string{icdcs91 = proc#"11th "#icdcs}
@string{icdcs92 = proc#"12th "#icdcs}
@string{icdcs93 = proc#"13th "#icdcs}
@string{icdcs94 = proc#"14th "#icdcs}
@string{icdcs95 = proc#"15th "#icdcs}
@string{icdcs96 = proc#"16th "#icdcs}
@string{icdcs97 = proc#"17th "#icdcs}
@string{icdcs98 = proc#"18th "#icdcs}
@string{icdcs99 = proc#"19th "#icdcs}
@string{icdcs00 = proc#"20th "#icdcs}
@string{icdcs01 = proc#"21th "#icdcs}
@string{icdcs02 = proc#"22th "#icdcs}
@string{icdcs03 = proc#"23th "#icdcs}
@string{icdcs04 = proc#"24th "#icdcs}
@string{dares04 = icdcs04#" Workshops (4th "#dares#")"}
@string{icdcs05 = proc#"25th "#icdcs}
@string{icds = "International Conference on Defects in Semiconductors"}
@string{icds84 = proc#"13th "#icds}
@string{icfp = "International Conference on Functional Programming"}
@string{icfp01 = proc#icfp}
@string{icfp05 = proc#"10th "#icfp}
@string{icfp09 = proc#"14th "#icfp}
@string{icifm = "International Conference on Integrated Formal Methods"}
@string{icifm04 = proc#"4th "#icifm}
@string{icmcs = ieee#" International Conference on Multimedia Computing and Systems"}
@string{icmcs99 = proc#"5th "#icmcs}
@string{icpaa = "International Conference on Parallel Architectures and Algorithms"}
@string{icpaa96 = proc#"1st "#icpaa}
@string{icpact = "International Conference on Parallel Architectures and Compilation Techniques"}
@string{icpact05 = proc#"14th "#icpact}
@string{icpdis = "International Conference on Parallel and Distributed Information Systems"}
@string{icpdis94 = proc#"3rd "#icpdis}
@string{icpp = "International Conference on Parallel Processing"}
@string{icpp91 = proc#"1991 "#icpp}
@string{icpp93 = proc#"1993 "#icpp}
@string{icpp95 = proc#"1995 "#icpp}
@string{icps = "International Conference on Physics of Semiconductors"}
@string{icps84 = proc#"17th "#icps}
@string{icps86 = proc#"18th "#icps}
@string{icps88 = proc#"19th "#icps}
@string{icps90 = proc#"20th "#icps}
@string{icpssn = "International Conference on Private Switching Systems and Networks"}
@string{icsamos = "International Conference on {Embedded Computer Systems: Architectures, Modeling and Simulation}"}
@string{icsamos07 = proc#"2007 "#icsamos}
@string{icse = "ICSE"}
@string{icse76 = proc#"2nd "#icse}
@string{icse78 = proc#"3rd "#icse}
@string{icse99 = proc#"21st "#icse}
@string{icsefm = ieee#" International Conference on Software Engineering and Formal Methods"}
@string{icsefm05 = proc#"3rd "#icsefm}
@string{icsm = ieee#" International Conference on Software Maintenance"}
@string{icsm02 = proc#" "#icsm}
@string{icssdm = "Extended Abstracts of ICSSDM"}
@string{iedm = "International Electron Devices Meeting"}
@string{iedm78 = iedm}
@string{iedm88 = iedm}
@string{ieeesrsp = ieeecs#" Symposium on Research in Security and Privacy"}
@string{ieeesrsp91 = proc#"1991 "#ieeesrsp}
@string{ieeesrsp93 = proc#"1993 "#ieeesrsp}
@string{ieeesrsp94 = proc#"1994 "#ieeesrsp}
@string{ieeessp = ieee#" Symposium on Security and Privacy"}
@string{ieeessp82 = proc#ieeessp}
@string{ieeessp87 = proc#ieeessp}
@string{ieeessp89 = proc#ieeessp}
@string{ieeessp92 = proc#ieeessp}
@string{ieeessp93 = proc#ieeessp}
@string{ieeessp95 = proc#ieeessp}
@string{ieeessp97 = proc#ieeessp}
@string{ieeessp00 = proc#ieeessp}

@comment{Not just FAST as to avoid clashing with the file system conf -sjw}
@string{ifipfast = "International Workshop on Formal Aspect of Security and Trust"}
@string{ifipfast05 = "3rd "#ifipfast}
@string{iids = "Workshop on Isolation and Integration for Dependable Systems"}
@string{iies = "Workshop on Isolation and Integration in Embedded Systems"}
@string{iies08 = "1st "#iies}
@string{iies09 = "2nd "#iies}
@string{iiswc = ieee#" International Symposium on Workload Characterization"}
@string{iiswc05 = proc#iiswc#" 2005"}
@string{ijcai = "International Joint Conference on Artificial Intelligence"}
@string{ijcai73 = proc#"3rd "#ijcai}
@string{infocom = ieee#" INFOCOM"}
@string{infocom95 = proc#"14th "#infocom}
@string{infocom96 = proc#"15th "#infocom}
@string{infocom97 = proc#"16th "#infocom}
@string{infocom98 = proc#"17th "#infocom}
@string{infocom98 = proc#"18th "#infocom}
@string{infocom00 = proc#"19th "#infocom}
@string{infocom01 = proc#"20th "#infocom}
@string{infocom03 = proc#"22nd "#infocom}
@string{ipccc = ieee#" International Performance, Computing, and Communications Conference"}
@string{ipccc00 = proc#" "#ipccc}
@string{iscs = "International Symposium on Circuits and Systems"}
@string{iscs06 = proc#" "#iscs}
@string{isca = "International Symposium on Computer Architecture"}
@string{isca80 = proc#"7th "#isca}
@string{isca81 = proc#"8th "#isca}
@string{isca82 = proc#"9th "#isca}
@string{isca83 = proc#"10th "#isca}
@string{isca84 = proc#"11th "#isca}
@string{isca85 = proc#"12th "#isca}
@string{isca86 = proc#"13th "#isca}
@string{isca87 = proc#"14th "#isca}
@string{isca88 = proc#"15th "#isca}
@string{isca89 = proc#"16th "#isca}
@string{isca90 = proc#"17th "#isca}
@string{isca91 = proc#"18th "#isca}
@string{isca92 = proc#"19th "#isca}
@string{isca93 = proc#"20th "#isca}
@string{isca94 = proc#"21st "#isca}
@string{isca95 = proc#"22nd "#isca}
@string{isca96 = proc#"23rd "#isca}
@string{isca97 = proc#"24th "#isca}
@string{isca98 = proc#"25th "#isca}
@string{isca99 = proc#"26th "#isca}
@string{isca00 = proc#"27th "#isca}
@string{isca01 = proc#"28th "#isca}
@string{isca02 = proc#"29th "#isca}
@string{isca03 = proc#"30th "#isca}
@string{isca09 = proc#"36th "#isca}
@string{isftc = "ISFTC"}
@string{iss = "International Switching Symposium"}
@string{iss72 = proc#iss}
@string{islped = "International Symposium on Low Power Electronics and Design"}
@string{islped97 = proc#" "#islped}
@string{islped98 = proc#" "#islped}
@string{islped04 = proc#" "#islped}
@string{islped05 = proc#" "#islped}
@string{islped07 = proc#" "#islped}
@string{ismm = "International Symposium on Memory Management"}
@string{ismm98 = proc#ismm}
@string{isos = "International Symposium on Operating Systems"}
@string{isos78 = proc#"2nd "#isos}
@string{ispp = "International Symposium on Parallel Processing"}
@string{ispass = ieee#" International Symposium on Performance Analysis of Systems and Software"}
@string{ispass07 = proc#" "#ispass}
@string{ispse = "International Symposium on Principles of Software Evolution"}
@string{ispse00 = proc#" "#ispse}
@string{isscc = "International Solid-State Circuits Conference"}
@string{iwcasspi = "International Workshop on Computer Architectures to Support Security and Persistence of Information"}
@string{iwmm = "International Workshop on Memory Management"}
@string{iwmm92 = proc#iwmm#", LCS \#637"}
@string{iwmm95 = proc#iwmm#", LCS \#986"}
@string{iwooos = ieee#" International Workshop on Object Orientation in Operating Systems"}
@string{iwooos90 = proc#"Workshop on Operating Systems and Object Orientation at ECOOP-OOPSLA"}
@string{iwooos91 = proc#"1st "#iwooos}
@string{iwooos92 = proc#"2nd "#iwooos}
@string{iwooos93 = proc#"3rd "#iwooos}
@string{iwooos95 = proc#"4th "#iwooos}
@string{iwooos96 = proc#"5th "#iwooos}
@string{iwwc = ieee#" Annual Workshop on Workload Characterization"}
@string{iwwc01 = proc#"4th "#iwwc}
@string{iiwwc = ieee#" International Workshop on Workload Characterization"}
@string{iiwwc04 = proc#"2004 "#iiwwc}

@comment{Proceedings "j":}

@comment{Proceedings "k":}

@comment{Proceedings "l":}
@string{lacsi = "Los Alamos Computer Science Institute Symposium"}
@string{lacsi02 = proc#"3rd "#lacsi}
@string{lca = "Linux.Conf.Au"}
@string{lca99 = proc#"1st "#lca}
@string{lca01 = proc#"2nd "#lca}
@string{lca02 = proc#"3rd "#lca}
@string{lca03 = proc#"4th "#lca}
@string{lca04 = proc#"5th "#lca}
@string{lca05 = proc#"6th "#lca}
@string{lca06 = proc#"7th "#lca}
@string{lca07 = proc#"8th "#lca}
@string{lca08 = "9th "#lca} @comment{no proceedings}
@string{lctes = "Conference on Language, Compiler and Tool Support for Embedded Systems"}
@string{lctes04 = proc#lctes#"'04"}
@string{lctes02 = proc#lctes#"'02"}
@string{lopstr = "International Symposium on Logic-Based Program Synthesis and Transformation"}
@string{lopstr06 = proc#"16th "#lopstr}
@string{lpar = "International Conference on Logic for Programming, Artificial Intelligence and Reasoning"}
@string{lpar05 = proc#"12th "#lpar}

@comment{Proceedings "m":}
@string{mmcs = "Workshop on Managed Many-Core Systems"}
@string{mmcs08 = proc#"1st "#mmcs}
@string{mmcs09 = proc#"2nd "#mmcs}
@string{micro = "ACM/IEE International Symposium on Microarchitecture"}
@string{micro06 = proc#"39th "#micro}
@string{microc = "IEEE Micro"}
@string{microc95 = proc#" "#microc}
@string{mikes = "International Workshop on Microkernels for Embedded Systems"}
@string{mikes07 = proc#"1st "#mikes}

@string{mobicom = acm#"/"#ieee#" International Conference on Mobile Computing and Networking"}
@string{mobicom95 = proc#"1st "#mobicom}
@string{mobicom97 = proc#"3rd "#mobicom}
@string{mobicom99 = proc#"5th "#mobicom}
@string{mobicom09 = proc#"15th "#mobicom}
@string{mobide = acm#" International Workshop on Data Engineering for Wireless and Mobile Access"}
@string{mobide01 = proc#"2nd "#mobide}
@string{mobisys = "International Conference on Mobile Systems, Applications and Services"}
@string{mobisys05 = proc#"3rd "#mobisys}
@string{mobs = " Workshop on Modeling, Benchmarking and Simulation"}
@string{mobs06 = proc#"2nd "#mobs}
@string{mse = ieee#" International Symposium on Multimedia Software Engineering"}
@string{mse02 = proc#"4th "#mse}
@string{msr = "International Workshop on Mining Software Repositories"}
@string{msr04 = proc#"1st "#msr}
@string{msr05 = proc#"2nd "#msr}
@string{mw = "International Middleware Conference"}
@string{mw07 = proc#"8th"#mw}

@comment{Proceedings "n":}
@string{nasecode = "International Conference on Numerical Analysis of Semiconductor Devices"}
@string{nasecode83 = proc#"3rd "#nasecode}
@string{nasecode85 = proc#"4th "#nasecode}
@string{nasecode87 = proc#"5th "#nasecode}
@string{ncsc = "National Computer Security Conference"}
@string{ncsc85 = proc#"8th "#ncsc}
@string{niss = "International Conference on New Trends in Information and Service Science"}
@string{niss09 = proc#"1st "#niss}
@string{nissc = "National Information Systems Security Conference"}
@string{nissc95 = proc#"18th "#nissc}
@string{nissc98 = proc#"21st "#nissc}
@string{nossdav = "International Workshop on Network and Operating Systems Support for Digital Audio and Video"}
@string{nossdav98 = proc#"8th "#nossdav}
@string{nossdav01 = proc#"11th "#nossdav}
@string{nosv = "NICTA Workshop on Operating System Verification"}
@string{nosv04 = "1st "#nosv}
@string{nsdi = "Symposium on Networked Systems Design and Implementation"}
@string{nsdi04 = proc#"1st "#nsdi}
@string{nupad = "International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits"}
@string{nupad90 = "3rd "#nupad}
@string{nupad92 = "4th "#nupad}
@string{nupad94 = "5th "#nupad}

@comment{Proceedings "o":}
@string{oasis = "Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure"}
@string{oasis04 = proc#"1st "#oasis}
@string{ols = "Ottawa Linux Symposium"}
@string{ols01 = proc#" 2001 "#ols}
@string{ols02 = proc#" 2002 "#ols}
@string{ols03 = proc#" 2003 "#ols}
@string{ols04 = proc#" 2004 "#ols}
@string{ols05 = proc#" 2005 "#ols}
@string{ols06 = proc#" 2006 "#ols}
@string{ols07 = proc#" 2007 "#ols}
@string{oopsla = acm#" Symposium on Object-Oriented Programming Systems, Languages, and Applications"}
@string{oopsla89 = proc#oopsla}
@string{oopsla92 = proc#oopsla}
@string{oopsla00 = proc#oopsla}
@string{oopsla03 = proc#oopsla}
@string{oopsla93-mmgc = "OOPSLA Workshop on Memory Management and Garbage Collection"}
@string{oopsla95-od = "OOPSLA Workshop on Object Database Behavior, Benchmarks and Performance"}
@string{osdi = usenix#" Symposium on Operating Systems Design and Implementation"}
@string{osdi94 = proc#"1st "#osdi}
@string{osdi96 = proc#"2nd "#osdi}
@string{osdi99 = proc#"3rd "#osdi}
@string{osdi00 = proc#"4th "#osdi}
@string{osdi02 = proc#"5th "#osdi}
@string{osdi04 = proc#"6th "#osdi}
@string{osdi06 = proc#"7th "#osdi}
@string{osdi08 = proc#"8th "#osdi}
@string{ospert = "Workshop on Operating System Platforms for Embedded Real-Time Applications"}
@string{ospert05 = proc#"1st "#ospert}
@string{ospert06 = proc#"2nd "#ospert}
@string{ospert07 = proc#"3rd "#ospert}
@string{ospert08 = proc#"4th "#ospert}
@string{oug = proc#"Occam User Group Conference"}

@comment{Proceedings "p":}
@string{pacta = "PACTA"}
@string{pacs = "Workshop on Power-Aware Computer Systems"}
@string{pacs00 = proc#"2000 "#pacs}
@string{pacs02 = proc#"2002 "#pacs}
@string{pacs04 = proc#"2004 "#pacs}
@string{parc = "Workshop on Power Aware Real-time Computing"}
@string{parc05 = proc#"2005 "#parc}
@string{pcs = proc#"Polycrystalline Semiconductors"}
@string{pdc = acm#" Symposium Principles of Distributed Computing"}
@string{pdcs-iasted = "IASTED International Conference on Parallel and Distributed Computing and Systems"}
@string{pdcs-iasted98 = proc#"10th "#pdcs-iasted}
@string{pdcs-isca = "ISCA International Conference on Parallel and Distributed Computing Systems"}
@string{pdpta = "International Conference on Parallel and Distributed Processing Techniques and Applications"}
@string{pdpta96 = pdpta}
@string{pervasive = "International Conference on Pervasive Computing"}
@string{pervasive02 = proc#"1st "#pervasive}
@string{pjw = "International Workshop on Persistence and Java"}
@string{pjw97 = proc#"2nd "#pjw}
@string{pldi = "ACM SIGPLAN Conference on Programming Language Design and Implementation"}
@string{pldi96 = proc#pldi}
@string{pldi97 = proc#pldi}
@string{pldi98 = proc#pldi}
@string{pldi99 = proc#pldi}
@string{pldi00 = proc#pldi}
@string{pldi01 = proc#pldi}
@string{pldi03 = proc#pldi}
@string{plos = "Workshop on Programming Languages and Operating Systems"}
@string{plos05 = proc#"2nd "#plos}
@string{plos07 = proc#"4th "#plos}
@string{podc = acm#" Annual Symposium on Principles of Distributed Computing"}
@string{podc97 = proc#"16th "#podc}
@string{podc99 = proc#"18th "#podc}
@string{popl = acm#" SIGPLAN-SIGACT Symposium on Principles of Programming Languages"}
@string{popl84 = proc#"11th "#popl}
@string{popl96 = proc#"23th "#popl}
@string{popl99 = proc#"26th "#popl}
@string{popl01 = proc#"28th "#popl}
@string{popl05 = proc#"32nd "#popl}
@string{popl06 = proc#"33rd "#popl}
@string{popl07 = proc#"34th "#popl}
@string{pos = "International Workshop on Persistent Object Systems"}
@string{pos85 = proc#"1st "#pos}
@string{pos87 = proc#"2nd "#pos}
@string{pos88 = proc#"3rd "#pos}
@string{pos90 = proc#"4th "#pos}
@string{pos92 = proc#"5th "#pos}
@string{pos94 = proc#"6th "#pos}
@string{pos96 = proc#"7th "#pos}
@string{pos98 = proc#"8th "#pos}
@string{pos00 = proc#"9th "#pos}
@string{ppopp = "Conference on Principles and Practice of Parallel Programming"}
@string{ppopp90 = proc#"2nd "#ppopp}
@string{ppopp91 = proc#"3rd "#ppopp}
@string{ppopp05 = proc#"10th "#ppopp}
@string{ppopp06 = proc#"11th "#ppopp}
@string{prdc = "Pacific Rim International Symposium on Dependable Computing"}
@string{procos = "International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems"}
@string{procos94 = proc#"3rd "#procos}
@string{prdc08 = proc#"14th "#prdc}
@string{pvsc = ieee#" Photovoltaic Specialists Conference"}
@string{pvsc72 = proc#" "#pvsc}
@string{pvsc76 = proc#"12th "#pvsc}
@string{pvsc78 = proc#"13th "#pvsc}
@string{pvsc80 = proc#"14th "#pvsc}
@string{pvsc81 = proc#"15th "#pvsc}
@string{pvsc82 = proc#"16th "#pvsc}
@string{pvsc84 = proc#"17th "#pvsc}
@string{pvsc85 = proc#"18th "#pvsc}
@string{pvsc87 = proc#"19th "#pvsc}
@string{pvsc88 = proc#"20th "#pvsc}
@string{pvsc90 = proc#"21st "#pvsc}
@string{pvsc91 = proc#"22nd "#pvsc}
@string{pvsc93 = proc#"23rd "#pvsc}
@string{pvsc96 = proc#"25th "#pvsc}
@string{pvsc97 = proc#"26th "#pvsc}
@string{pvsec = "International Photovoltaic Science and Engineering Conference"}
@string{pvsec89 = "4th "#pvsec#digest}
@string{pvsec90 = "5th "#pvsec#digest}
@string{pvsec92 = "6th "#pvsec#digest}
@string{pvsec93 = "7th "#pvsec#digest}
@string{pvsec99 = "11th "#pvsec#digest}

@comment{Proceedings "r":}
@string{rbac = acm#" Symposium on Role-Based Access Control"}
@string{rbac95 = proc#"1st "#rbac}
@string{rbac99 = proc#"4th "#rbac}
@string{rds = "Symposium on Reliable Distributed Systems"}
@string{rds91 = proc#"10th "#rds}
@string{rds92 = proc#"11th "#rds}
@string{rds93 = proc#"12th "#rds}
@string{rds94 = proc#"13th "#rds}
@string{rds95 = proc#"14th "#rds}
@string{rtas = ieee#" Real-Time Technology and Applications Symposium"}
@string{rtasn = ieee#" Real-Time and Embedded Technology and Applications Symposium"}
@string{rtas95 = proc#"1st "#rtas}
@string{rtas96 = proc#"2nd "#rtas}
@string{rtas97 = proc#"3rd "#rtas}
@string{rtas98 = proc#"4th "#rtas}
@string{rtas99 = proc#"5th "#rtas}
@string{rtas00 = proc#"6th "#rtas}
@string{rtas01 = proc#"7th "#rtas}
@string{rtas02 = proc#"8th "#rtasn}
@string{rtas03 = proc#"9th "#rtasn}
@string{rtas04 = proc#"10th "#rtasn}
@string{rtas05 = proc#"11th "#rtasn}
@string{rtas06 = proc#"12th "#rtasn}
@string{rtas07 = proc#"13th "#rtasn}
@string{rtas08 = proc#"14th "#rtasn}
@string{rtcsa = ieee#" Conference on Embedded and Real-Time Computing and Applications"}
@string{rtcsa03 = proc#"9th "#rtcsa}
@string{rtcsa04 = proc#"10th "#rtcsa}
@string{rtcsa06 = proc#"12th "#rtcsa}
@string{rtcsa07 = proc#"13th "#rtcsa}
@string{rtcsa08 = proc#"14th "#rtcsa}
@string{rtcsa09 = proc#"15th "#rtcsa}
@string{rtlws = "Real-Time Linux Workshop"}
@string{rtlws01 = proc#"3rd "#rtlws}
@string{rtlws02 = proc#"4th "#rtlws}
@string{rtlws03 = proc#"5th "#rtlws}
@string{rtlws04 = proc#"6th "#rtlws}
@string{rtlws05 = proc#"7th "#rtlws}
@string{rtlws06 = proc#"8th "#rtlws}
@string{rtss = ieee#" Real-Time Systems Symposium"}
@string{rtss84 = proc#"5th "#rtss}
@string{rtss94 = proc#"15th "#rtss}
@string{rtss98 = proc#"19th "#rtss}
@string{rtss99 = proc#"20th "#rtss}
@string{rtss00 = proc#"21st "#rtss}
@string{rtss01 = proc#"22nd "#rtss}
@string{rtss02 = proc#"23rd "#rtss}
@string{rtss03 = proc#"24th "#rtss}
@string{rtss04 = proc#"25th "#rtss}
@string{rtss05 = proc#"26th "#rtss}
@string{rtss06 = proc#"27th "#rtss}
@string{rtss07 = proc#"28th "#rtss}
@string{rtss08 = proc#"29th "#rtss}

@comment{Proceedings "s":}
@string{sc = "International Conference on Supercomputing"}
@string{sc88 = proc#"2nd "#sc}
@string{sc01 = proc#"15th "#sc}
@string{sc02 = proc#"16th "#sc}
@string{sc03 = proc#"17th "#sc}
@string{sc08 = proc#"22nd "#sc}
@string{scopes = acm#"Workshop on Software and Compilers for Embedded Systems"}
@string{scopes05 = proc#scopes}
@string{sda = "Workshop on System Design Automation"}
@string{sda00 = proc#"3rd "#sda}
@string{slfp92 = proc#"1992 ACM Symposium on Lisp and Functional Programming"}
@string{sigcomm = acm#" Conference on Communications"}
@string{sigcomm88 = proc#""#sigcomm}
@string{sigcomm91 = proc#""#sigcomm}
@string{sigcomm94 = proc#""#sigcomm}
@string{sigcomm95 = proc#""#sigcomm}
@string{sigcomm96 = proc#""#sigcomm}
@string{sigcomm01 = proc#""#sigcomm}
@string{sigmetrics = acm#" Conference on Measurement and Modeling of Computer Systems"}
@string{sigmetrics92 = proc#sigmetrics}
@string{sigmetrics94 = proc#sigmetrics}
@string{sigmetrics98 = proc#sigmetrics}
@string{sigmetrics00 = proc#sigmetrics}
@string{sigmetrics02 = proc#sigmetrics}
@string{sigmod = acm#" International Conference on Management of Data"}
@string{sigmod93 = proc#sigmod}
@string{sigopsew = "SIGOPS European Workshop"}
@string{sigopsew92 = proc#"5th "#sigopsew}
@string{sigopsew96 = proc#"7th "#sigopsew}
@string{sigopsew98 = proc#"8th "#sigopsew}
@string{sigopsew00 = proc#"9th "#sigopsew}
@string{sigopsew02 = proc#"10th "#sigopsew}
@string{sigopsew04 = proc#"11th "#sigopsew}
@string{sisdep = "International Conference on Simulation of Semiconductor Devices and Processes"}
@string{sisdep86 = proc#"2nd "#sisdep}
@string{sisdep88 = proc#"3rd "#sisdep}
@string{sisdep91 = proc#"4th "#sisdep}
@string{sisdep93 = proc#"5th "#sisdep}
@string{sisdep95 = proc#"6th "#sisdep}
@string{sispad = "International Conference on Simulation of Semiconductor Processes and Devices"}
@string{sispad95 = sisdep95}
@string{sispad96 = "2nd "#sispad}
@comment{sjcc changed to afipsjccYYs}
@string{sosp = acm#" Symposium on Operating Systems Principles"}
@string{sosp67 = proc#"1st "#sosp}
@string{sosp69 = proc#"2nd "#sosp}
@string{sosp71 = proc#"3rd "#sosp}
@string{sosp73 = proc#"4th "#sosp}
@string{sosp75 = proc#"5th "#sosp}
@string{sosp77 = proc#"6th "#sosp}
@string{sosp79 = proc#"7th "#sosp}
@string{sosp81 = proc#"8th "#sosp}
@string{sosp83 = proc#"9th "#sosp}
@string{sosp85 = proc#"10th "#sosp}
@string{sosp87 = proc#"11th "#sosp}
@string{sosp89 = proc#"12th "#sosp}
@string{sosp91 = proc#"13th "#sosp}
@string{sosp93 = proc#"14th "#sosp}
@string{sosp95 = proc#"15th "#sosp}
@string{sosp97 = proc#"16th "#sosp}
@string{sosp99 = proc#"17th "#sosp}
@string{sosp01 = proc#"18th "#sosp}
@string{sosp03 = proc#"19th "#sosp}
@string{sosp05 = proc#"20th "#sosp}
@string{sosp09 = proc#"22nd "#sosp}
@string{spaa = "Annual "#acm#" Symposium on Parallel Algorithms and Architectures"}
@string{spaa95 = proc#" 7th "#spaa}
@string{spaa96 = proc#" 8th "#spaa}
@string{spdp = ieee#" Symposium on Parallel and Distributed Processing"}
@string{spdp93 = proc#"5th "#spdp}
@string{sftc = "International Symposium on Fault-Tolerant Computing"}
@string{sftc95 = proc#"25th "#sftc}
@string{srds = "Symposium on Reliable Distributed Systems"}
@string{srds95 = proc#" "#srds}
@string{srds00 = proc#"19th "#srds}
@string{ssdm = "International Conference on Solid State Devices and Materials"}
@string{ssdm89 = proc#"21st "#ssdm}
@string{ssdm90 = proc#"22nd "#ssdm}
@string{ssdm93 = proc#"25nd "#ssdm}
@string{ssdm95 = proc#"27nd "#ssdm}
@string{ssv = "Workshop on Systems Software Verification"}
@string{ssv08 = proc#"3rd "#ssv}
@string{ssv09 = proc#"4th "#ssv}
@string{stacs = "Symposium on Theoretical Aspects of Computer Science"}
@string{stacs95 = proc#"12th "#stacs}

@comment{Proceedings "t":}
@string{taocp = "The Art of Computer Programming"}
@string{tacas = procv#"Tools and Algorithms for the Construction and Analysis of Systems"}
@string{tase = "IEEE \& IFIP International Symposium on Theoretical Aspects of Software Engineering"}
@string{tase07 = proc#"1st "#tase}
@string{tphols = "International Conference on Theorem Proving in Higher Order Logics"}
@string{tphols07 = proc#"20th "#tphols}
@string{tphols08 = proc#"21st "#tphols}
@string{tphols09 = proc#"22nd "#tphols}

@comment{Proceedings "u":}
@string{ubicomp = "International Conference on Ubiquitous Computing"}
@string{ubicomp01 = proc#"3rd "#ubicomp}
@string{use = "International Workshop on Unanticipated Software Evolution"}
@string{use02 = proc#"1st "#use}
@string{use03 = proc#"2nd "#use}
@comment{Leave "USENIX" in there as is, to avoid it being removed...}
@string{usenixtc = "USENIX Technical Conference"}
@string{usenixatc = "USENIX Annual Technical Conference"}
@string{usenix85 = proc#" 1985 "#usenixtc}
@string{usenix86s = proc#" 1986 Summer "#usenixtc}
@string{usenix86w = proc#" 1986 Winter "#usenixtc}
@string{usenix87w = proc#" 1987 Winter "#usenixtc}
@string{usenix87s = proc#" 1987 Summer "#usenixtc}
@string{usenix88w = proc#" 1988 Winter "#usenixtc}
@string{usenix89w = proc#" 1989 Winter "#usenixtc}
@string{usenix89s = proc#" 1989 Summer "#usenixtc}
@string{usenix90w = proc#" 1990 Winter "#usenixtc}
@string{usenix90s = proc#" 1990 Summer "#usenixtc}
@string{usenix91w = proc#" 1991 Winter "#usenixtc}
@string{usenix91s = proc#" 1991 Summer "#usenixtc}
@string{usenix92w = proc#" 1992 Winter "#usenixtc}
@string{usenix92s = proc#" 1992 Summer "#usenixtc}
@string{usenix93w = proc#" 1993 Winter "#usenixtc}
@string{usenix93s = proc#" 1993 Summer "#usenixtc}
@string{usenix94w = proc#" 1994 Winter "#usenixtc}
@string{usenix94s = proc#" 1994 Summer "#usenixtc}
@string{usenix95 = proc#" 1995 "#usenixatc}
@string{usenix96 = proc#" 1996 "#usenixatc}
@string{usenix97 = proc#" 1997 "#usenixatc}
@string{usenix98 = proc#" 1998 "#usenixatc}
@string{usenix99 = proc#" 1999 "#usenixatc}
@string{usenix00 = proc#" 2000 "#usenixatc}
@string{usenix01 = proc#" 2001 "#usenixatc}
@string{usenix02 = proc#" 2002 "#usenixatc}
@string{usenix03 = proc#" 2003 "#usenixatc}
@string{usenix04 = proc#" 2004 "#usenixatc}
@string{usenix05 = proc#" 2005 "#usenixatc}
@string{usenix06 = proc#" 2006 "#usenixatc}
@string{usenix07 = proc#" 2007 "#usenixatc}
@string{usenix08 = proc#" 2008 "#usenixatc}
@string{usenix09 = proc#" 2009 "#usenixatc}
@string{usenix10 = proc#" 2010 "#usenixatc}
@comment{FREENIX is just a track of USENIX, same proceedings}
@string{freenixt = ", FREENIX Track"}
@string{freenix01 = usenix01#freenixt}
@string{freenix03 = usenix03#freenixt}
@string{freenix05 = usenix05#freenixt}
@string{usenixbsd = "USENIX BSDCon"}
@string{usenixbsd03 = usenixbsd#" '03"}
@string{usenixdms = "USENIX Workshop on Experiences with Building Distributed and Multiprocessor Systems"}
@string{usenixes = "USENIX Embedded Systems Workshop"}
@string{usenixes99 = proc#" 1999 "#usenixes}
@string{usenixlisa = "USENIX Large Installation System Administration Conference"}
@string{usenixlisa91 = proc#" 5th "#usenixlisa}
@string{usenixlisa04 = proc#" 18th "#usenixlisa}
@string{usenixlisa05 = proc#" 19th "#usenixlisa}
@string{usenixlisa06 = proc#" 20th "#usenixlisa}
@string{usenixmach90 = proc#" USENIX Mach Workshop"}
@string{usenixmach91 = proc#" USENIX Mach Symposium"}
@string{usenixmach93 = proc#" USENIX Mach III Symposium"}
@string{usenixmk = "USENIX Workshop on Microkernels and other Kernel Architectures"}
@string{usenixmk92 = proc#usenixmk}
@string{usenixmk93 = proc#" 2nd "#usenixmk}
@string{usenixnordu = "NORDU/USENIX Conference"}
@string{usenixnordu03 = "5th "#usenixnordu}
@string{usenixnt = "USENIX Windows NT Workshop"}
@string{usenixnt97 = proc#" 1st "#usenixnt}
@string{usenixnt98 = proc#" 2nd "#usenixnt}
@string{usenixnt99 = proc#" 3rd "#usenixnt}
@string{usenixsec = "USENIX Security Symposium"}
@string{usenixsec93 = proc#" 4th "#usenixsec}
@string{usenixsec95 = proc#" 5th "#usenixsec}
@string{usenixsec96 = proc#" 6th "#usenixsec}
@string{usenixsec98 = proc#" 7th "#usenixsec}
@string{usenixsec99 = proc#" 8th "#usenixsec}
@string{usenixsec00 = proc#" 9th "#usenixsec}
@string{usenixsec01 = proc#" 10th "#usenixsec}
@string{usenixsec03 = proc#" 12th "#usenixsec}
@string{usenixsec04 = proc#" 13th "#usenixsec}
@string{usenixsec05 = proc#" 14th "#usenixsec}
@string{usenixvee = "USENIX Symposium on Virtual Execution Environments"}
@string{usenixvee05 = proc#" 1st "#usenixvee}
@string{usenixvee06 = proc#" 2nd "#usenixvee}
@string{usenixvee07 = proc#" 3rd "#usenixvee}
@string{usenixvm = "USENIX Virtual Machine Symposium (USENIX-VM)"}
@string{usenixvm04 = proc#" 3rd "#usenixvm}

@comment{Proceedings "v":}
@string{vee = "International Conference on Virtual Execution Environments"}
@string{vee06 = proc#"2nd "#vee}
@string{vee07 = proc#"3rd "#vee}
@string{verify = "International Verification Workshop"}
@string{verify07 = proc#"4th "#verify}
@string{verify08 = proc#"5th "#verify}
@string{verify10 = proc#"6th "#verify}
@string{vldb = "VLDB Conference"}
@string{vldb96 = proc#"22nd "#vldb}
@string{vldb02 = proc#"28nd "#vldb}
@string{vlsitech = "International Symposium on VLSI Technology Systems and Applications"}
@string{vm = "Virtual Machine Research and Technology Symposium"}
@string{vm04 = proc#"3rd "#vm}
@string{vstte = "Verified Software: Theories, Tools and Experiments"}
@string{vstte08 = procv#vstte#" 2008"}

@comment{Proceedings "w":}
@string{wae = "Workshop on Alorithmic Engineering"}
@string{wae98 = "2nd "#wae}
@string{wcet = "Workshop on Worst-Case Execution-Time Analysis"}
@string{wcet01 = proc#"1st "#wcet}
@string{wcet02 = proc#"2nd "#wcet}
@string{wcet03 = proc#"3rd "#wcet}
@string{wcet04 = proc#"4th "#wcet}
@string{wcet05 = proc#"5th "#wcet}
@string{wcet06 = proc#"6th "#wcet}
@string{wcet07 = proc#"7th "#wcet}
@string{wcet01note = "Satellite Workshop of the 13th "#ecrts}
@string{wcet02note = "Satellite Workshop of the 14th "#ecrts}
@string{wcet03note = "Satellite Workshop of the 15th "#ecrts}
@string{wcet04note = "Satellite Workshop of the 16th "#ecrts}
@string{wcet05note = "Satellite Workshop of the 17th "#ecrts}
@string{wcet06note = "Satellite Workshop of the 18th "#ecrts}
@string{wcet07note = "Satellite Workshop of the 19th "#ecrts}
@string{wcpec = "World Conference on Photovoltaic Energy Conversion"}
@string{wcpec94 = "1st "#wcpec}
@string{wcpec98 = "2nd "#wcpec}
@string{weiss = usenix#" Workshop on Industrial Experiences with Systems Software"}
@string{weiss00 = "1st "#weiss}
@string{woss = acm#" SIGSOFT Workshop on Self-Healing Systems"}
@string{woss02 = proc#woss}
@string{wossa = " Workshop on Object Systems and Software Architectures "}
@string{wossa04 = proc#wossa#"2004"}
@string{wossa06 = proc#"2nd International"#wossa}
@string{wpdp = "International Workshop on Parallel and Distributed Processing"}
@string{wmcsa = ieee#" Workshop on Mobile Computing Systems and Applications"}
@string{wmcsa94 = proc#"1st "#wmcsa}
@string{wmcsa00 = proc#"3rd "#wmcsa}
@string{wmrd = "Workshop on the Management of Replicated Data"}
@string{wmrd92 = proc#"2nd "#wmrd}
@string{wwos = "Workshop on Workstation Operating Systems"}
@string{wwos92 = proc#"3rd "#wwos}
@string{wwos93 = proc#"4th "#wwos}

@comment{Proceedings "x":}

@comment{Proceedings "y":}

@comment{Proceedings "z":}