% Olin Shivers' papers						-*- BibTeX -*-
% Last commit to CVS: $Date: 2022/01/26 02:36:47 $ 
%                     $Revision: 1.22 $

% Todo: 
% - Set up URLs for oddball stuff on shivers.com.
% - booktitle vs title in proceedings
% - Ties ~ on author initials?
% - {Scheme} or {S}cheme?
% - crosscheck with physical copies where I have them
%   and mark these entries as checked. A picky thing to check:
%   is it "fifth," "5th" or "$5^{\mathrm th}$" in the conf title?
% - Add individual bibdate field for each record.

% This file contains BibTeX entries for all of my technical work.
% 
% - *All* of it. Should have every single thing I've ever published in
%   any way, shape, or form, from the trivial to the profound, taking a
%   very liberal definition of "published."
% 
% - It isn't split out by journal articles vs. conferences vs. little working
%   notes; it's listed mostly in reverse chronological order. 
% 
% - I have tried to be comprehensive in the information provided: page numbers,
%   ISBN's for the proceedings, everything.
%   
%   In general, anything I do to make these listings better -- better BibTeX
%   hackery, more accurate info, more fields -- is useful for anyone who cites
%   my papers. On the basis of this "multiplier" benefit, please send me
%   corrections or improvements to these listings.
% 
% - Because there is so much information listed for an entry, you may find
%   that your bib style renders these extra fields into references that are
%   cluttered or ugly. If so, just "comment" out the field providing the
%   unwanted info in your bibtex file by prefixing the field name with "OPT"
%   or "X" ("OPT" appears to be the standard prefix for this trick).
% 
%   Some fields are already marked with these OPT prefixes. Feel free to 
%   kill the prefix and turn the fields back on, as you like.
% 
% - The claim to reverse-chronological order above notwithstanding, this file
%   is broken into two parts. Every conference paper herein is listed using a
%   "crossref" field to link it to its containing proceedings. This will make
%   it easier for multiple papers drawn from a single proceedings to have
%   consistent listings. So proceedings are all segregated at the bottom of
%   the file. These proceedings all have crossrefonly=1 fields, except for
%   proceedings that I editted.
% 
%   N.B.: THIS MEANS THAT IF YOU CLIP A CONFERENCE PAPER OUT OF HERE, YOU
%   SHOULD MAKE SURE TO CLIP OUT ITS PROCEEDINGS ENTRY, AS WELL. Or alter
%   its crossref link to your own entry for its containing proceedings.
% 
% - Dependencies
%   + To help make it easier to clip out entries, I have *avoided* the usual
%     game of defining string variables for standard conference & journal
%     names. There are *no such* dependencies in these entries. (But you can
%     mutate them as you like to use your own conventions.)
%
%   + The few URLs that are listed are given using the \url{...} LaTeX form,
%     which means they can be typeset reasonably. This means you'll have to
%     say \usepackage{url} to use these items. Warning: bibtex breaks lines,
%     which as far as I can see, it has no business doing. It will break
%     long urls, terminating the end of line with a % in an attempt to render
%     the linebreak null&void. Modern url.sty packages will actually deal
%     with this properly. If your url.sty keeps this spurious % in the url
%     (e.g., of the long cs.cmu.edu urls), you should either upgrade your
%     url.sty or insert a couple of blanks into the url, which \url will
%     ignore.
% 
% - I've used key-name conventions I took from Olivier Danvy, which he,
%   in turn, seems to have taken from people like Andrzej Filinksi. Going
%   with some kind of convention, I hope, will make it easier to fold these
%   entries into other people's dbs.
% 
% - With a few exceptions, I have not provided URLs. URLs just aren't
%   long-lived enough. If only we had real URI's. Lots and lots of these
%   papers are on the net; try a search engine if you're looking for one.
% 
% - What's with the % in col 1 of these comments? BibTeX doesn't have a
%   comment character. I did that to visually mark comments for humans.
%       -Olin


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                  
% Need to fill these in later with page nums and physical handchecks.
% And acceptance ratio -- ugh.

% 2021/8
@article{Shen+:OOPSLA21,
  author    = {Xipeng Shen and
               Guoqiang Zhang and
               Irene Dea and
               Samantha Andow and
               Emilio Arroyo{-}Fang and
               Neal Gafter and
               Johann George and
               Melissa Grueter and
               Erik Meijer and
               Olin Grigsby Shivers and
               Steffi Stumpos and
               Alanna Tempest and
               Christy Warden and
               Shannon Yang},
  title     = {Coarsening optimization for differentiable programming},
  journal   = {Proceedings of the {ACM} on Programming Languages},
  volume    = 5,
  number    = {{OOPSLA}},
  pages     = {1--27},
  year      = 2021,
  month     = oct,
  url       = {https://doi.org/10.1145/3485507},
  doi       = {10.1145/3485507}
}
                  
@InProceedings{Slepak-Shivers-Manolios:ARRAY19,
  author    = {Justin Slepak and
               Olin Shivers and
               Panagiotis Manolios},
  title     = {Records with rank polymorphism},
  pages     = {80--92},
  url       = {https://doi.org/10.1145/3315454.3329961},
  doi       = {10.1145/3315454.3329961},
  crossref  = "ARRAY:19"
}

@article{Semantics-rank-poly-draft:Arxiv,
  author    = {Justin Slepak and
               Olin Shivers and
               Panagiotis Manolios},
  title     = {The Semantics of Rank Polymorphism},
  journal   = {CoRR},
  volume    = {abs/1907.00509},
  year      = 2019,
  month     = jul,
  url       = {http://arxiv.org/abs/1907.00509},
  eprinttype = {arXiv},
  eprint    = {1907.00509}
}       

@article{Remora-tutorial-draft:Arxiv,
  author    = {Olin Shivers and
               Justin Slepak and
               Panagiotis Manolios},
  title     = {Introduction to Rank-polymorphic Programming 
               in {Remora} ({Draft})},
  journal   = {CoRR},
  volume    = {abs/1912.13451},
  year      = 2020,
  month     = jan,
  day       = 1,
  url       = {http://arxiv.org/abs/1912.13451},
  eprinttype = {arXiv},
  eprint    = {1912.13451}
}

@InProceedings{Slepak-Manolios-Shivers:ARRAY18,
  author    = {Justin Slepak and
               Panagiotis Manolios and
               Olin Shivers},
  title     = {Rank polymorphism viewed as a constraint problem},
  pages     = {34--41},
  url       = {https://doi.org/10.1145/3219753.3219758},
  doi       = {10.1145/3219753.3219758},
  crossref  = "ARRAY:18"
}

% 2017/8
@article{Davis+:ICFP17,
  author    = {Milo Davis and William Meehan and Olin Shivers},
  title     = {No-brainer {CPS} conversion (functional pearl)},
  journal   = {Proceedings of the {ACM} on Programming Languages ({PACMPL})},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {23:1--23:25},
  month     = sep,
  year      = 2017,
  url       = {http://doi.acm.org/10.1145/3110267},
  doi       = {10.1145/3110267}
}           

% 2014/7
@misc{Shivers:names14,
  title = {What's in a name?},
  author = {Olin Shivers},
  year = 2014,
  month = jul,
  day = 10,
  howpublished = {Essay posted to Jane Street Capital's tech blog:
                  \url{https://blogs.janestreet.com/whats-in-a-name/}}
}

% 2014/4
% Best-paper award
@InProceedings{Slepak+:ESOP14,
  author = {Justin Slepak and Olin Shivers and Panagiotis Manolios},
  title = {An array-oriented language with static rank polymorphism},
  pages = {27--46},
  doi = {10.1007/978-3-642-54833-8_3},
  crossref = "ESOP:14"
}

% 2011/10
@InProceedings{DeHon+:PLOS11,
 author = {Andr{\'e} DeHon and Ben Karel and Knight, Jr., Thomas F. 
           and Gregory Malecha and Beno{\^{\i}}t Montagu and Robin Morisset
	   and Greg Morrisett and Benjamin C. Pierce and Randy Pollack
	   and Sumit Ray and Olin Shivers and Jonathan M. Smith
	   and Gregory Sullivan},
 title = {Preliminary design of the {SAFE} platform},
 pages = {4:1--4:5},
 articleno = 4,
 numpages = 5,
 doi = {10.1145/2039239.2039245},
 acmid = {2039245},
 crossref = {PLOS:11}
} 
                  
% 2011/9
@InProceedings{Shivers-Turon:ICFP11,
  author =   {Olin Shivers and Aaron Turon},
  title  =   {Modular rollback through control logging:
              {A} pair of twin functional pearls},
  pages = {58--68},
  doi   = {10.1145/2034773.2034783},
  crossref = "ICFP:11"
  }

% 2011/9
@InProceedings{Vardoulakis-Shivers:ICFP11,
  author =   {Dimitrios Vardoulakis and Olin Shivers},
  title  =   {Pushdown flow analysis of first-class control},
  pages = {69--80},
  doi   = {10.1145/2034773.2034785},
  crossref = "ICFP:11"
  }

% 2011/5
@Article{Vardoulakis-Shivers:LMCS11,
  author  = {Dimitrios Vardoulakis and Olin Shivers},
  title   = {{CFA2}: {A} context-free approach to control-flow analysis},
  journal = {Logical Methods in Computer Science}, 
  volume  = 7,
  number  = 2,
  year    = 2011,
  month   = may,
  pages   = {3:1--3:39},
  articleno = 3,
  numpages  = 39,
  doi     = {10.2168/LMCS-7(2:3)2011},
  note = {Special issue for ESOP 2010.}
  }

% 2011/1
@InProceedings{Vardoulakis-Shivers:PEPM11,
  author = {Dimitrios Vardoulakis and Olin Shivers},
  title = {Ordering multiple continuations on the stack},
  pages = {13--22},
  doi	    = {10.1145/1929501.1929504},
  crossref = "PEPM:11",
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }


% 2010
% Hand checked against physical journal issue.
@Article{Shivers-Wand:FI10,
  author  = {Olin Shivers and Mitchell Wand},
  title   = {Bottom-up $\beta$-reduction: {U}plinks and $\lambda$-{DAG}s},
  journal = {Fundamenta Informaticae},
  volume  = 103,
  number  = {1--4},
  year    = 2010,
  pages   = {247--287},
  publisher = {{IOS} Press},
  doi      = {10.3233/FI-2010-328},
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }

% 2010/3
@InProceedings{Vardoulakis-Shivers:ESOP10,
  author = {Dimitrios Vardoulakis and Olin Shivers},
  title = {{CFA2}: A context-free approach to control-flow analysis},
  pages = {570--589},
  doi = {10.2168/LMCS-7(2:3)2011},
  crossref = "ESOP:10",
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }
  
% 2008/11
@Article{Shivers:SIGPLANNotices08,
    author = {Olin Shivers},
    title = {Why teach programming languages},
    journal = {SIGPLAN Notices},
    volume = 43,
    number = 11,
    month = nov,  
    year = 2008,
    issn = {0362-1340},
    pages = {130--132},
    doi = {10.1145/1480828.1480856},
    publisher = {ACM},
    address = {New York, NY, USA},
    note ={Invited white paper for 2008 SIGPLAN Workshop on Programming Language
           Curriculum, May 2008}
    }

% 2008/10
@InProceedings{Arkoudas-Shivers:ISOLA08,
  author    = {Konstantine Arkoudas and Olin Shivers},
  title     = {Trusted theorem proving: {A} case study in {SLD}-resolution},
  pages     = {782--796},
  doi       = {10.1007/978-3-540-88479-8_56},
  crossref  = {ISOLA:08},
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }

% 2008/5-6
@Article{Might-Shivers:JFP08,
  author    = {Matthew Might and Olin Shivers},
  title     = {Exploiting reachability and cardinality in higher-order
               flow analysis},
  journal   = {Journal of Functional Programming},
  volume    = 18,
  number    = {5-6},
  year      = 2008,
  month     = {May/June},
  pages     = {821--864},
  doi        = {10.1017/S0956796808006941},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

% 2008/5-6
@Article{Fisher-Shivers:JFP08,
  author    = {David Fisher and Olin Shivers},
  title     = {Building language towers with {Ziggurat}},
  journal   = {Journal of Functional Programming},
  volume    = 18,
  issue     = {5-6},
  year      = 2008,
  month     = {May/June},
  pages     = {707--780},
  doi        = {10.1017/S0956796808006928},
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }

% 2007/5
@Article{Might-Shivers:TCS07,
  author = {Matthew Might and Olin Shivers},
  title = {Analyzing environment structure of higher-order languages 
           using frame strings},
  journal = {Theoretical Computer Science},
  pages = {137--168},
  volume = 375,
  number = {1--3},
  month = may,
  year = 2007,
  doi = {10.1016/j.tcs.2006.12.031}
  }

% 2007/1
% Hand checked against physical proceedings.
@InProceedings{Might-Shivers:VMCAI07,
  title = {Model Checking via {$\Gamma$CFA}},
  author = {Matthew Might and Benjamin Chambers and Olin Shivers},
  pages = {59--73},
  doi = {10.1007/978-3-540-69738-1_4},
  crossref = "VMCAI:07"
  }

% 2006/9
% Hand checked against physical proceedings.
@InProceedings{Might-Shivers:ICFP06,
  title = {Improving flow analyses via {$\Gamma$CFA}:
           {A}bstract garbage collection and counting},
  author = {Matthew Might and Olin Shivers},
  pages = {13--25},
  doi = {10.1016/j.tcs.2006.12.031},
  crossref = "ICFP:06"
  }

% 2006/9
% Hand checked against physical proceedings.
@InProceedings{Fisher-Shivers:ICFP06,
  title = {Static analysis for syntax objects},
  author = {David Fisher and Olin Shivers},
  pages = {111--121},
  doi = {10.1145/1159803.1159817},
  crossref = "ICFP:06"
  }

% 2006/9
% Needs: physical check
@Article{Shivers-Fisher:JFP06,
  author = {Olin Shivers and David Fisher},
  title = {Multi-return function call},
  journal = {Journal of Functional Programming},
  volume = 16,
  number = {4-5},
  pages = {547--582},
  month = {July/September},
  year = 2006,
  doi = {10.1017/S0956796806006009}
  }

% 2006/6
% Hand checked against physical proceedings.
@InProceedings{Shivers-Might:PLDI06,
  title = {Continuations and transducer composition},
  author = {Olin Shivers and Matthew Might},
  pages = {295--307},
  doi = {10.1145/1133981.1134016},
  crossref = "PLDI:06"
  }

% 2006/1
% Hand-checked against physical proceedings
@InProceedings{Might-Shivers:POPL06,
  title = {Environment analysis via {$\Delta$CFA}},
  author = {Matthew Might and Olin Shivers},
  pages = {127--140},
  doi = {10.1145/1111037.1111049},
  crossref = "POPL:06"
  }

% 2005/12
@Article{Felleisen+:HOSC2005,
  author    = {Matthias Felleisen and
               Julia L. Lawall and
               Manuel Serrano and
               Olin Shivers},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = 18,
  number    = {3-4},
  publisher = {Kluwer Academic Publishers},
  pages     = {243--244},
  year      = 2005,
  month     = dec,
  doi       = {10.1007/s10990-005-4875-6}
}

% 2005/11
@InProceedings{Spoon-Shivers:WCRE05,
  author = {S. Alexander Spoon and Olin Shivers},
  title = {Semantic navigation of large code bases in 
           higher-order, dynamically typed languages},
  pages = {219--228},
  doi = {10.1109/WCRE.2005.29},
  crossref = "WCRE:05"
  }

% 2005/10
@InProceedings{Spoon-Shivers:DLS05,
  author = {S. Alexander Spoon and Olin Shivers},
  title = {Dynamic data polyvariance using source-tagged classes},
  pages = {35--48},
  doi = {10.1145/1146841.1146845},
  crossref = "DLS:05"
  }

% 2005/9
@InProceedings{Shivers:ICFP05,
  author = {Olin Shivers},
  title = {The anatomy of a loop: a story of scope and control},
  pages = {2--14},
  doi = {10.1145/1086365.1086368},
  crossref = "ICFP:05"
  }

% 2005/7
@Unpublished{Manolios+:aclu,
  title  = {Coarse-grained integration of decision procedures with deductive
  	     reasoning for program verification},
  author = {Panagiotis Manolios and Sudarshan K. Srinivasan and Olin Shivers},
  month  = jul,
  year   = 2005,
  note =  {Current draft available at URL 
          \url{http://www.cc.gatech.edu/~shivers/papers/aclu.pdf}}
  }

% 2005/4
@InProceedings{Shivers-Wand:ESOP05,
  author = {Olin Shivers and Mitchell Wand},
  title = {Bottom-up $\beta$-reduction: {U}plinks and $\lambda$-{DAG}s},
  pages = {217--232},
  doi = {10.1007/978-3-540-31987-0_16},
  crossref = "ESOP:05"
  }

% 2004/12
@TechReport{Shivers-Wand:bubs-tr,
  author = {Olin Shivers and Mitchell Wand},
  title = {Bottom-up $\beta$-reduction: {U}plinks and $\lambda$-{DAG}s 
           (extended version)},
  type = {Research Series},
  number = {RS-04-38},
  institution = {BRICS},
  address = {Department of Computer Science, University of {\AA}rhus},
  month = dec,
  year = 2004,
  annote = {Recommended version of ESOP 2005 article.}
  }

% 2004/10
@InProceedings{Shivers:SCM04b,
    title = {Lexer and parser generators in {S}cheme},
    author = {Matthew Flatt and Benjamin McMullan 
              and Scott Owens and Olin Shivers},
    pages = {41--52},
    crossref = "Scheme:04"
    }

% 2004/10
@InProceedings{Shivers:SCM04a,
    title = {{trx}: {R}egular-tree expressions, now in {S}cheme},
    author = {Ilya Bagrak and Olin Shivers},
    pages = {21--32},
    crossref = "Scheme:04"
    }

% 2004/9
@InProceedings{Shivers-Fisher:ICFP04,
  author = {Olin Shivers and David Fisher},
  title = {Multi-return function call},
  pages = {79--89},
  doi = {10.1145/1016850.1016864},
  crossref = "ICFP:04"
  }

% 2004/6
@InProceedings{Spoon-Shivers:ECOOP04,
  author = {S. Alexander Spoon and Olin Shivers},
  title = {Demand-driven type inference with subgoal pruning:
           trading precision for scalability},
  pages = {51--74},
  doi = {10.1007/978-3-540-24851-4_3},
  crossref = "ECOOP:04"
  }

% 2004/4
@InProceedings{Shivers:PLDI20,
  author = {Olin Shivers},
  title = {Higher-order control-flow analysis in retrospect:
           {L}essons learned, lessons abandoned},
  pages = {269--270},
  doi = {10.1145/989393.989421},
  crossref = "PLDI20"
  }

% 2002
@Misc{Shivers:SRFI-33,
    title = {{SRFI} 33: {I}nteger bitwise-operation library},
    author = {Olin Shivers},
    howpublished = {Available at URL \url{http://srfi.schemers.org/srfi-33}},
    year = 2002,
    note = {Standard subsequently withdrawn.}
    }

% 2002
@Misc{Shivers:SRFI-32,
    title = {{SRFI} 32: {S}ort libraries},
    author = {Olin Shivers},
    howpublished = {Available at URL \url{http://srfi.schemers.org/srfi-32}},
    year = 2002,
    note = {Standard subsequently withdrawn.}
    }

% 2000
@Misc{Shivers:SRFI-14,
    title = {{SRFI} 14: {C}haracter-set library},
    author = {Olin Shivers},
    howpublished = {Available at URL \url{http://srfi.schemers.org/srfi-14}},
    month = dec,
    year = 2000
    }

% 2000
@Misc{Shivers:SRFI-13,
    title = {{SRFI} 13: {S}tring libraries},
    author = {Olin Shivers},
    howpublished = {Available at URL \url{http://srfi.schemers.org/srfi-13}},
    month = dec,
    year = 2000
    }

% 1999/9
@InProceedings{Shivers+:ICFP99,
  author = {Olin Shivers and James W. Clark and Roland McGrath},
  title = {Atomic heap transactions and fine-grain interrupts},
  pages = {48--59},
  doi = {10.1145/317636.317783},
  crossref = "ICFP:99"
  }

% 1998
@Misc{Shivers:SRFI-3,
    title = {{SRFI} 3: {L}ist-set library},
    author = {Olin Shivers},
    howpublished = {Available at URL \url{http://srfi.schemers.org/srfi-3}},
    year = 1998,
    note = {Standard subsequently incorporated into SRFI-1 and withdrawn.}
    }

% 1999/10
@Misc{Shivers:SRFI-1,
    title = {{SRFI} 1: {L}ist library},
    author = {Olin Shivers},
    howpublished = {Available at URL \url{http://srfi.schemers.org/srfi-1}},
    month = oct,
    year = 1999
    }

% 1998/8
@Misc{Shivers:SRE,
  author = {Olin Shivers},
  title = {The {SRE} regular-expression notation},
  howpublished = {URL \url{http://www.cc.gatech.edu/~shivers/papers/sre.txt}},
  month = aug,
  year = 1998
  }

% 1997/10
@InProceedings{Ford+:SOSP97,
  author = {Bryan Ford and Godmar Back and Greg Benson and Jay Lepreau
            and Albert Lin and Olin Shivers},
  title = {The {F}lux {OSKit}: {A} substrate for kernel and language research},
  pages = {38--51},
  doi = {10.1145/268998.266642},
  crossref = "SOSP:97"
  }

% 1997/6
@InProceedings{Shivers:ICFP97,
  author = {Olin Shivers},
  title = {Automatic management of operating-system resources},
  pages = {274--279},
  doi = {10.1145/258948.258974},
  crossref = "ICFP:97"
  }

% 1997/1
@InProceedings{Shivers:CW97,
  author = 	{Olin Shivers},
  title = 	{Continuations and threads: {E}xpressing machine concurrency
                 directly in advanced languages},
  pages = 	{2:1--15},
  crossref =    "CW:97"
  }

% 1996/12
@InProceedings{Shivers:ASIAN96,
  author = {Olin Shivers},
  title = {A universal scripting framework, 
           or {}Lambda: the ultimate ``little language''},
  pages = {254--265},
  doi = {10.1007/BFb0027798},
  crossref = "ASIAN:96"
  }

% 1996/5
% Needs: pages
@InProceedings{Shivers:DOW96,
  author = {Olin Shivers},
  title = {Supporting dynamic languages on the {J}ava virtual machine},
  note = {Also available as Technical Report AIM-1576, 
          MIT Artificial Intelligence Laboratory},
  crossref = "DOW:96"
  }

% Needs: year volume number pages
@Article{Shivers:scsh,
  author = {Olin Shivers},
  title = {A {S}cheme shell},
  journal = {Higher-order and Symbolic Computation},
  note = {To appear},
  annote = {Also available as Technical report TR-94-10,
            Dept. of Computer Science, University of Hong Kong, and
            Technical report TR-635, Laboratory for Computer Science, MIT.}
  }

% 2004/3
% Most recent version of manual is for scsh 0.6.6.
@Manual{Shivers+:scshman,
  title = {Scsh Reference Manual},
  author = {Olin Shivers and Brian D. Carlstrom and Martin Gasbichler
            and Mike Sperber},
  edition = {0.6.6},
  month = mar,
  year = 2004,
  note = {Available at \url{http://scsh.net}.}
  }

% 1994/12
% First released version of manual
@Manual{Shivers+:scshman1,
  title = {Scsh Reference Manual},
  author = {Olin Shivers and Brian D. Carlstrom},
  edition = {0.3},
  month = dec,
  year = 1994,
  note = {Current version of manual available at \url{http://scsh.net}.}
  }

% 1993/12
@TechReport{Shivers:pia-bn,
  author = {Olin Shivers},
  title = {{BodyTalk} and the {BodyNet}: 
           {A} personal information infrastructure},
  institution = {Massachussetts Institute of Technology,
                 Laboratory for Computer Science},
  type = {Personal Information Architecture Note},
  number = 1,
  month = dec,
  year = 1993,
  address = {Cambridge, Massachussetts},
  note = {Available at URL \url{http://www.cc.gatech.edu/~shivers/papers/bn.ps}}
  }

% 1991/10
@InProceedings{Shivers:WSA91,
  author    = {Olin Shivers},
  title     = {Useless-variable elimination},
  pages     = {197--201},
  crossref  = "WSA:91"
  }

% 1991/6
@InProceedings{Shivers:PEPM91,
  author = 	{Olin Shivers},
  title = 	{The semantics of {S}cheme control-flow analysis},
  pages =	{190--198},
  doi = {10.1145/115865.115884},
  crossref =    "PEPM:91"
  }

% 1991/7
% - Needs pages
% - Urgh: this entry is broken: bibtex says "Can't use both author and editor
%   fields." Peter Lee is editor; Olin Shivers wrote chapter. What to do?
@InBook{Shivers:ALIT3,
  author = {Olin Shivers},
  chapter = {3: {D}ata-flow analysis and type recovery in {S}cheme},
  note = {Also available as Technical Report CMU-CS-90-115, 
          CMU School of Computer Science.},
  crossref = "Lee:ALIT91"
  }

% 1991/5
@PhdThesis{Shivers:PhD,
  author = 	{Olin Shivers},
  title = 	{Control-Flow Analysis of Higher-Order Languages,
		 or Taming Lambda},
  school =	{School of Computer Science, Carnegie Mellon University},
  address = 	{Pittsburgh, Pennsylvania},
  month = 	may,
  year = 	1991,
  note = 	{Technical Report CMU-CS-91-145}
  }

% 1990/3
@TechReport{Shivers:ergo-typerec,
  author = {Olin Shivers},
  title = {Data-flow analysis and type recovery in {S}cheme},
  institution = {School of Computer Science, Carnegie Mellon Univesity},
  type = {Technical Report},
  number = {CMU-CS-90-115},
  month = mar,
  year = 1990,
  address = {Pittsburgh, Pennsylvania}
  }

% 1990/5
% Beware: bibtex may try to break long url, inserting percent-newline sequence.
% A modern url.sty will ignore the extra percent; older ones won't.
@TechReport{Shivers:SchemeNote3,
  author = {Olin Shivers},
  title = {Super-$\beta$: {C}opy, constant, and lambda propagation in {S}cheme},
  type = {Scheme Flow-analysis Working Note},
  number = 3,
  month = may # " 1,", 
  year = 1990,
  institution = {School of Computer Science, Carnegie Mellon Univesity},
  }

% 1990/4
% Beware: bibtex may try to break long url, inserting percent-newline sequence.
% A modern url.sty will ignore the extra percent; older ones won't.
@TechReport{Shivers:SchemeNote2,
  author = {Olin Shivers},
  title = {Useless-variable elimination},
  type = {Scheme Flow-analysis Working Note},
  number = 2,
  month = apr # " 27,", 
  year = 1990,
  institution = {School of Computer Science, Carnegie Mellon Univesity},
  }

% 1990/5
% Beware: bibtex may try to break long url, inserting percent-newline sequence.
% A modern url.sty will ignore the extra percent; older ones won't.
@TechReport{Shivers:SchemeNote1,
  author = {Olin Shivers},
  title = {{CPS} data-flow analysis example},
  type = {Scheme Flow-analysis Working Note},
  number = 1,
  month = may # " 1,", 
  year = 1990,
  institution = {School of Computer Science, Carnegie Mellon Univesity},
  }

% 1988/9
@InProceedings{Shivers:Soar88,
  author = {Olin Shivers},
  title = {Constraint satisfaction and problem-space structure in {S}oar},
  booktitle = {Proceedings of the Fifth Soar Workshop},
  month = sep # " 17,",
  year = 1988
  }

% 1988/6
@InProceedings{Shivers:PLDI88,
  author = {Olin Shivers},
  title = {Control-flow analysis in {S}cheme},
  pages = {164--174},
  note = {Reprinted in \emph{20 Years of the ACM SIGPLAN Conference on 
          Programming Language Design and Implementation (1979--1999): 
          A Selection}},
  doi = {10.1145/53990.54007},
  crossref = "PLDI:88"
  }

% 1987/6
@InProceedings{Steier+:IWML87,
  author = {David M. Steier and John E. Laird and Allen Newell
            and Paul S. Rosenbloom and Rex A. Flynn and Andrew Golding
            and Thad A. Polk and Olin Shivers and Amy Unruh and
	    Gregg R. Yost},
  title = {Varieties of learning in {S}oar: 1987},
  booktitle = {Proceedings of the Fourth International Workshop on 
               Machine Learning},
  editor = {Pat Langley},
  publisher = {Morgan Kaufmann}, 
  month = jun, 
  year = 1987,
  pages = {300--311},
  address = {University of California, Irvine},
  isbn = {0-934613-41-9},
  note = {Collected in \emph{The Soar Papers: Research on Integrated
          Intelligence}, editors P.~Rosenbloom, J.~Laird, and A.~Newell, 1993,
	  MIT Press.
          Also Tech Report AIP-6, Artificial Intelligence and Psychology
	  Reports, Psychology Department, Carnegie-Mellon University,
	  September 29, 1987}
  }

% 1987/6
@InProceedings{Shivers:Soar87,
  author = {Olin Shivers},
  title = {Modelling cryptarithmetic puzzle solving for subject {S3} of
           {\emph{Human Problem Solving}}},
  booktitle = {Proceedings of the Soar Spring 87 Workshop},
  month = jun # " 20,",
  year = 1987
  }

% 1986/11
@InProceedings{Shivers:Soar86,
  author = {Olin Shivers},
  title = {Constraint propagation and macro-compilation in {S}oar},
  booktitle = {Proceedings of the Soar Fall 86 Workshop},
  month = nov # " 22,",
  year = 1986
  }

% Proceedings
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Either I was an editor, or they contain one or more of my papers.
% The latter kind have crossrefonly=1; the former, don't.
                  
% I was editor, so do not set crossrefonly.
@Proceedings{Scheme:21,
  editor      = {Olin Shivers and William E. Bird},
  title	      = {Proceedings of the 2021 Workshop on
		 {Scheme} and Functional Programming ({Scheme} 2021)},
  booktitle   = {Proceedings of the 2021 Workshop on
		 {Scheme} and Functional Programming ({Scheme} 2021)},
  year 	      = 2021,
  month       = aug,
  day 	      = 27
  }

@Proceedings{ARRAY:19,
  editor    = {Jeremy Gibbons},
  title     = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on
               Libraries, Languages and Compilers for Array Programming
	       (ARRAY@PLDI 2019)},
  booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on
               Libraries, Languages and Compilers for Array Programming
	       (ARRAY@PLDI 2019)},
  publisher = {{ACM}},
  year      = 2019,
  month     = jun,
  day       = 22,
  url       = {https://doi.org/10.1145/3315454},
  doi       = {10.1145/3315454},
  isbn      = {978-1-4503-6717-2},
  crossrefonly=1
}

% 2018/6 -- I was editor, so do not set crossrefonly.
@Proceedings{ARRAY:18,
  editor    = {Sven{-}Bodo Scholz and Olin Shivers},
  title     = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on
               Libraries, Languages, and Compilers for Array Programming
	       ({ARRAY@PLDI} 2018)},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on
               Libraries, Languages, and Compilers for Array Programming
	       ({ARRAY@PLDI} 2018)},
  publisher = {{ACM}},
  year      = 2018,
  month     = jun,
  day       = 19,
  url       = {https://doi.org/10.1145/3219753},
  doi       = {10.1145/3219753}
}
                  
@Proceedings{ESOP:14,
  booktitle = {Proceedings of the 23rd European Symposium on Programming
               ({ESOP'14})},
  editor = {Zhong Shao},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  address   = {Grenoble, France},
  volume    = 8410,
  month     = apr,
  year      = 2014,
  crossrefonly=1
  }
                  
@Proceedings{PLOS:11,
 booktitle = {Proceedings of the 6th Workshop on
              Programming Languages and Operating Systems ({PLOS'11})},
 publisher = {ACM},
 year = 2011,
 month = oct,
 isbn = {978-1-4503-0979-0},
 address = {Cascais, Portugal},
 crossrefonly=1
}

@Proceedings{ICFP:11,
  title =	{Proceedings of the Sixteenth {ACM} {SIGPLAN} International
                 Conference on Functional Programming ({ICFP'11})},
  booktitle =	{Proceedings of the Sixteenth {ACM} {SIGPLAN} International
                 Conference on Functional Programming ({ICFP'11})},
  address =	{Tokyo},
  month =	sep,
  year =	2011,
  editor =	{Olivier Danvy},
  OPTorganization = {ACM},
  publisher =       {ACM Press},
  crossrefonly=1
  }
                  
@Proceedings{PEPM:11,
  editor    = {Siau-Cheng Khoo and Jeremy G. Siek},
  title     = {Proceedings of the 2011 ACM SIGPLAN Workshop on Partial
               Evaluation and Program Manipulation (PEPM 2011)},
  booktitle = {Proceedings of the 2011 ACM SIGPLAN Workshop on Partial
               Evaluation and Program Manipulation (PEPM 2011)},
  address   = {Austin, Texas},
  day       = {24-25},
  month     = jan,
  year      = 2011,
  publisher = {ACM Press},
  isbn      = {978-1-4503-0485-6},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossrefonly=1
}


@Proceedings{ESOP:10,
  editor    = {Andrew D. Gordon},
  title     = {Proceedings of the 19th European Symposium on Programming
               ({ESOP'10})},
  booktitle = {Proceedings of the 19th European Symposium on Programming
               ({ESOP'10})},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  address   = {Paphos, Cyprus},
  volume    = 6012,
  month     = mar,
  year      = 2010,
  isbn      = {978-3-642-11956-9},
  doi       = {10.1007/978-3-642-11957-6},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossrefonly=1
  }


@Proceedings{ISOLA:08,
  title     = {Proceedings of the Third International Symposium on Leveraging 
               Applications of Formal Methods, Verification and Validation
               ({ISoLA} 2008)},
  booktitle = {Proceedings of the Third International Symposium on Leveraging 
               Applications of Formal Methods, Verification and Validation
               (ISoLA 2008)},
  address   = {Porto Sani, Greece},
  month     = oct,
  year      = 2008,
  editor    = {Tiziana Margaria and Bernhard Steffen},
  publisher = {Springer},
  series    = {Communications in Computer and Information Science},
  volume    = 17,
  isbn      = {978-3-540-88478-1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossrefonly=1
  }


% Hand checked against physical proceedings
@Proceedings{VMCAI:07,
  title =	{Proceedings of the Eighth International Conference on
                 Verification, Model Checking and Abstract Interpretation
                 ({VMCAI'07})},
  booktitle =	{Verification, Model Checking and Abstract Interpretation,
                 8th International Conference, {VMCAI'07}},
  address =	{Nice, France},
  month =	jan,
  year =	2007,
  editor =	{Byron Cook and Andreas Podelski},
  isbn = 	{978-3-540-69735-0},
  series = 	{Lecture Notes in Computer Science},
  publisher =	{Springer},
  number =	4349,
  XAcceptanceRation = {21/85},
  crossrefonly=1
  }

% Hand checked against physical proceedings
@Proceedings{ICFP:06,
  title =	{Proceedings of the Eleventh ACM SIGPLAN International
                 Conference on Functional Programming ({ICFP'06})},
  booktitle =	{Proceedings of the Eleventh ACM SIGPLAN International
                 Conference on Functional Programming ({ICFP'06})},
  address =	{Portland, Oregon},
  month =	sep,
  year =	2006,
  editor =	{Julia Lawall},
  OPTorganization = {ACM},
  publisher =       {ACM Press},
  XAcceptanceRatio = {24/74},
  crossrefonly=1
  }

% Hand checked against physical proceedings
@Proceedings{PLDI:06,
  title =	{Proceedings of the 2006 ACM SIGPLAN Conference on
         	 Programming Language Design and Implementation ({PLDI} 2006)},
  booktitle =	{Proceedings of the 2006 ACM SIGPLAN Conference on
         	 Programming Language Design and Implementation ({PLDI} 2006)},
  address = 	{Ottawa, Canada},
  month = jun,
  year =  2006,
  editor = {Thomas Ball},
  OPTorganization = {ACM},
  publisher =       {ACM Press},
  crossrefonly=1,
  XAcceptanceRatio = {36/174}
  }

% Hand checked against physical proceedings
@Proceedings{POPL:06,
  title =	{Conference Record of POPL 2006: 
                 The 33rd ACM SIGPLAN-SIGACT Symposium on
                 Principles of Programming Languages},
  booktitle =	{Conference Record of POPL 2006: 
                 The 33rd ACM SIGPLAN-SIGACT Symposium on
                 Principles of Programming Languages},
  address = 	{Charleston, South Carolina},
  month = jan,
  year =  2006,
  editor = {Peyton Jones, Simon},
  OPTorganization = {ACM},
  publisher =       {ACM Press},
  crossrefonly=1,
  XAcceptanceRatio = {33/167}
  }

@Proceedings{DLS:05,
  title =	{Proceedings of the 2005 Symposium on Dynamic Languages ({DLS05})},
  booktitle =	{Proceedings of the Dynamic Languages Symposium ({DLS'05})},
  address = 	{San Diego, California},
  month = oct,
  year =  2005,
  editor = {Roel Wuyts},
  organization = {ACM},
  crossrefonly=1
  }

@Proceedings{WCRE:05,
  title =     {Proceedings of the 12th Working Conference on 
               Reverse Engineering ({WCRE} 2005)},
  booktitle = {Proceedings of the 12th Working Conference on 
               Reverse Engineering ({WCRE} 2005)},
  address = {Carnegie Mellon University},
  month = nov,
  year = 2005,
  editor = {Andrea {De} Lucia and Susan Elliott Sim},
  organization = {IEEE},
  crossrefonly=1
  }

% Needs: OPTseries =      {SIGPLAN Notices, Vol.~??, No.~??},
%        isbn = ??
@Proceedings{ICFP:05,
  title =     {Proceedings of the 10th {ACM} {SIGPLAN} International Conference
               on Functional Programming ({ICFP} 2005)},
  booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference
               on Functional Programming ({ICFP} 2005)},
  address = {Tallinn, Estonia}, 
  month = sep,
  year = 2005,
  editor = {Benjamin Pierce},
  OPTorganization = 	{ACM},
  publisher =   {ACM Press},
  crossrefonly=1
  }

@Proceedings{ESOP:05,
  key =		{Sagiv},
  booktitle = 	{Proceedings of the 14th European Symposium on Programming
                 ({ESOP} 2005)},
  title = 	{Proceedings of the 14th European Symposium on Programming
                 ({ESOP} 2005)},
  editor = 	{Mooly Sagiv},
  series = 	{Lecture Notes in Computer Science},
  publisher =	{Springer},
  number =	3444,
  month = 	apr,
  year = 	2005,
  address = 	{Edinburgh, Scotland},
  isbn = {3-540-25435-8},
  crossrefonly=1
  }

@Proceedings{ICFP:04,
  key =		{Fisher},
  title = 	{Proceedings of the Ninth {ACM} {SIGPLAN} International
                 Conference on Functional Programming ({ICFP} 2004)},
  booktitle = 	{Proceedings of the Ninth {ACM} {SIGPLAN} International
                 Conference on Functional Programming ({ICFP} 2004)},
  month = 	sep,
  year = 	2004,
  address = 	{Snowbird, Utah},
  editor = 	{Kathleen Fisher},
  series =      {SIGPLAN Notices, Vol.~37, No.~9},
  OPTorganization = 	{ACM},
  publisher =   {ACM Press},
  isbn = {1-58113-905-5},
  crossrefonly=1
  }

% I was editor, so do not set crossrefonly.
@Proceedings{Scheme:04,
  key =		{Shivers and Waddell},
  title = 	{Proceedings of the Fifth Workshop on
		 {Scheme} and Functional Programming ({Scheme} 2004)},
  booktitle = 	{Proceedings of the Fifth Workshop on
		 {Scheme} and Functional Programming ({Scheme} 2004)},
  month = 	oct,
  year = 	2004,
  editor = 	{Olin Shivers and Oscar Waddell},
  address = 	{Snowbird, Utah},
  OPTorganization = {ACM},
  series =	{Technical Report TR600,
		 Computer Science Department, Indiana University},
  url =         {http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR600}
  }

@Proceedings{PLDI20,
  editor    = {Kathryn S. McKinley},
  title     = {20 Years of the {ACM} {SIGPLAN} Conference on 
               Programming Language Design and Implementation (1979--1999):
               {A} Selection},
  booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on 
               Programming Language Design and Implementation (1979--1999):
               {A} Selection},
  OPTorganization = {ACM},
  publisher = {ACM Press},
  year      = 2004,
  month     = apr,
  isbn      = {1-58113-623-4},
  crossrefonly=1
  }

@Proceedings{ECOOP:04,
  booktitle = {Proceedings of the $18^{\mathrm th}$ European Conference on 
               Object-Oriented Programming ({ECOOP} 2004)},
  title     = {Proceedings of the $18^{\mathrm th}$ European Conference on 
               Object-Oriented Programming ({ECOOP} 2004)},
  month = jun,
  year = 2004,
  address = {Oslo, Norway},
  editor = {Martin Odersky},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  number    = 3086,
  isbn      = {3-540-22159-X},
  crossrefonly=1
  }

% I was editor, so do not set crossrefonly.
@Proceedings{ICFP:03,
  key =		{Shivers},
  title = 	{Proceedings of the Eighth {ACM} {SIGPLAN} International 
                 Conference on Functional Programming ({ICFP} 2003)},
  booktitle = 	{Proceedings of the Eighth {ACM} {SIGPLAN} International 
                 Conference on Functional Programming ({ICFP} 2003)},
  month = 	aug,
  year = 	2003,
  address = 	{Uppsala, Sweden},
  editor = 	{Olin Shivers},
  series =      	{SIGPLAN Notices, Vol.~37, No.~9},
  OPTorganization = 	{ACM},
  publisher =	{ACM Press},
  isbn      =	{1-58113-756-7}
  }

% I was editor, so do not set crossrefonly.
@Proceedings{Scheme:02,
  key =		{Shivers},
  title = 	{Third {ACM} {SIGPLAN} Workshop on {Scheme} and 
                 Functional Programming},
  booktitle = 	{Proceedings of the Third {ACM} {SIGPLAN} Workshop on
		 {Scheme} and Functional Programming ({Scheme} 2002)},
  year = 	2002,
  editor = 	{Olin Shivers},
  address = 	{Pittsburgh, Pennsylvania},
  month = 	oct,
  OPTorganization = {ACM},
  publisher =	{ACM Press},
  series =	{Technical Report GIT-CC-02-28,
		 College of Computing, Georgia Institute of Technology}
  }

@Proceedings{ICFP:99,
  key = {Lee},
  booktitle = {Proceedings of the Fourth {ACM} {SIGPLAN} International
               Conference on Functional Programming ({ICFP}'99)},
  title     = {Proceedings of the Fourth {ACM} {SIGPLAN} International
               Conference on Functional Programming ({ICFP}'99)},
  month   = sep,
  year    = 1999,
  editor  = 	{Peter Lee},
  address = {Paris, France},
  series  = {{SIGPLAN} Notices, Vol.~34, No.~9},
  OPTorganization = {ACM},
  publisher = {ACM Press}, 
  isbn = {1-58113-111-9},
  crossrefonly=1
  }

@Proceedings{ICFP:97,
  booktitle = {Proceedings of the Second {ACM} {SIGPLAN} International
               Conference on Functional Programming ({ICFP} '97)}, 
  title     = {Proceedings of the Second {ACM} {SIGPLAN} International
               Conference on Functional Programming ({ICFP} '97)}, 
  month = jun,
  year = 1997, 
  address = {Amsterdam, The Netherlands},
  series = {{SIGPLAN} Notices, Vol.~32, No.~8},
  OPTorganization = {ACM},
  publisher = {ACM Press}, 
  isbn = {0-89791-918-1},
  crossrefonly=1
  }

@Proceedings{SOSP:97,
  title = {Sixteenth {ACM} Symposium on Operating System Principles 
           ({SOSP}-16)},
  booktitle = {Proceedings of the Sixteenth {ACM} Symposium on 
               Operating System Principles ({SOSP}-16)},
  month = oct,
  year = 1997, 
  address = {Saint Malo, France},
  series = {Operating System Review 31(5)}, 
  OPTorganization = {ACM},
  publisher = {ACM Press}, 
  isbn = {0-89791-916-5},
  crossrefonly=1
  }

@Proceedings{CW:97,
  OPTkey =      {CW'97},
  booktitle =   {Proceedings of the Second {ACM} {SIGPLAN} Workshop on
                 Continuations ({CW} 1997)},
  title     =   {Proceedings of the Second {ACM} {SIGPLAN} Workshop on
                 Continuations ({CW} 1997)},
  editor = 	{Olivier Danvy},
  month = 	jan,
  year = 	1997,
  address = 	{Paris, France},
  series =	{Technical report BRICS-NS-96-13, University of {\AA}rhus},
  OPTorganization = {ACM},
  crossrefonly=1
  }

% Or is it
% booktitle = {Proceedings of the Second Asian Computing Science Conference
%              ({ASIAN}'96)},
% The *title* of the book is CCPNS, but it's the proceedings for ASIAN'96.
@Proceedings{ASIAN:96,
  booktitle = {Concurrency and Parallelism, Programming, Networking, and
               Security},
  title     = {Concurrency and Parallelism, Programming, Networking, and
               Security},
  series = {Lecture Notes in Computer Science},
  number = 1179, 
  editor = {Joxan Jaffar and Roland H. C. Yap}, 
  month = dec,
  year = 1996,
  address = {Singapore},
  publisher = {Springer},
  isbn = {3-540-62031-1},
  crossrefonly=1
  }

% This booktitle doesn't seem right. No date in the title?
@Proceedings{DOW:96,
  title = {Proceedings of the Dynamic Objects Workshop},
  booktitle = {Proceedings of the Dynamic Objects Workshop ({DOW'96})},
  month = may,
  year = 1996,
  address = {Boston, Massachussetts},
  crossrefonly=1
  }

@Proceedings{WSA:91,
  title = {Actes {JTASPEFL'91}},
  booktitle = {Proceedings of the Workshop on Static Analysis of Equational, 
               Functional and Logic Programs (JTASPEFL'91)},
  booktitle-real = {Actes {JTASPEFL'91}},
  month = oct,
  year = 1991,
  editor = {Michel Billaud and Pierre Cast{\'e}ran and Marc-Michel Corsini
            and Kandina Musumbu and Antoine Rauzy},
  series = {Bigre},
  volume = 74,
  publisher = {Atelier Irisa, IRISA Campus de Beaulieu},
  address = {Laboratoire Bordelais de Recherche en Informatique},
  crossrefonly=1
  }

% editor    = {Peter Lee},
@Book{Lee:ALIT91,
  title     = {Topics in Advanced Language Implementation},
  booktitle = {Topics in Advanced Language Implementation},
  publisher = {MIT Press},
  month     = jul,
  year      = 1991,
  crossrefonly=1
  }

@Proceedings{PEPM:91,
  OPTkey =	{PEPM'91},
  key =		{Hudak and Jones},
  title = 	{First {ACM} {SIGPLAN} and {IFIP} Symposium
		 on Partial Evaluation and Semantics-Based Program Manipulation
                 ({PEPM}'91)},
  booktitle =   {Proceedings of the First {ACM} {SIGPLAN} and {IFIP} Symposium 
                 on Partial Evaluation and Semantics-Based Program Manipulation
                 ({PEPM}'91)},
  month = 	jun,
  year = 	1991,
  editor = 	{Paul Hudak and Neil D. Jones},
  series =      {{SIGPLAN} Notices, Vol.~26, No.~9},
  OPTorganization = 	{ACM},
  publisher =   {ACM Press},
  address = 	{Yale University},
  crossrefonly=1
  }

@Proceedings{PLDI:88,
  key =         {Schwartz},
  title =	{{ACM} {SIGPLAN}'88 Conference on 
                 Programming Language Design and Implementation (PLDI)},
  booktitle =   {Proceedings of the {ACM} {SIGPLAN}'88 Conference on 
                 Programming Language Design and Implementation (PLDI)},
  editor = 	{Mayer D. Schwartz},
  series =      {SIGPLAN Notices, Vol.~23, No.~7},
  OPTorganization = 	{ACM},
  publisher =   {ACM Press},
  address = 	{Atlanta, Georgia},
  month = 	jun,
  year = 	1988,
  crossrefonly=1
  }