%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Jay McCarthy at 2011-05-13 19:46:09 -0600 


%% Saved with string encoding Unicode (UTF-8) 


@string{aadebug = {International Workshop on Automated and Algorithmic Debugging}}

@string{acm = {Association for Computing Machinery}}

@string{addison-wesley = {Addison-Wesley}}

@string{addison-wesley-longman = {Addison Wesley Longman}}

@string{aosd = {International Conference on Aspect-Oriented Software Development}}

@string{ase = {{IEEE} International Symposium on Automated Software Engineering}}

@string{asej = {Automated Software Engineering}}

@string{aspnetpro = {asp.net{PRO}}}

@string{aug = {August}}

@string{brown-cs = {Computer Science Department, Brown University}}

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

@string{cbse = {{ICSE} Workshop on Component-Based Software Engineering}}

@string{cc = {Compiler Construction}}

@string{computing-surveys = {{ACM} Computing Surveys}}

@string{cup = {Cambridge University Press}}

@string{dec = {December}}

@string{dr-dobbs = {{Dr.\ Dobb's Journal}}}

@string{dsl = {{USENIX} Conference on Domain-Specific Languages}}

@string{ecoop = {European Conference on Object-Oriented Programming}}

@string{esec/fse = {Joint European Software Engineering Conference and {ACM SIGSOFT} Symposium on the Foundations of Software Engineering}}

@string{esop = {European Symposium on Programming}}

@string{fdpe = {Functional and Declarative Programming in Education}}

@string{foal = {Foundations of Aspect-Oriented Languages}}

@string{fool = {Foundations of Object-Oriented Languages}}

@string{fse = {{ACM SIGSOFT} International Symposium on the Foundations of Software Engineering}}

@string{fsf = {Free Software Foundation}}

@string{gcse = {International Symposium on Generative and Component-Based Software Engineering}}

@string{gpce = {International Conference on Generative Programming and Component Engineering}}

@string{hosc = {Higher-Order and Symbolic Computation}}

@string{ic = {Information \& Computation}}

@string{icalp = {International Conference on Automata, Languages and Programming}}

@string{iccc = {Internationl Conference on Compiler Construction}}

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

@string{icse = {International Conference on Software Engineering}}

@string{icsr = {International Conference on Software Reuse}}

@string{ieee-software = {{IEEE} Software}}

@string{ieee-tose = {{IEEE} Transactions on Software Engineering}}

@string{info-proc-let = {Information Processing Letters}}

@string{j-jucs = {Journal of Universal Computer Science}}

@string{jan = {January}}

@string{jcss = {Journal of Computer and System Sciences}}

@string{jfp = {Journal of Functional Programming}}

@string{jul = {July}}

@string{jun = {June}}

@string{lasc = {Lisp and Symbolic Computation}}

@string{lfp = {{ACM} Symposium on Lisp and Functional Programming}}

@string{lics = {{IEEE} Symposium on Logic in Computer Science}}

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

@string{manuscript = {Unpublished manuscript}}

@string{mar = {March}}

@string{mcgraw-hill = {McGraw-Hill}}

@string{mit-lcs = {MIT Laboratory for Computer Science}}

@string{mit-press = {{MIT} Press}}

@string{monterey2001 = {Monterey Workshop on Engineering Automation for Software Intensive System Integration}}

@string{nytimes = {New York Times}}

@string{oopsla = {{ACM SIGPLAN} Conference on Object-Oriented Programming Systems, Languages \& Applications}}

@string{padl = {Symposium on the Practical Aspects of Declarative Languages}}

@string{paste = {Workshop on Program Analysis for Software Tools and Engineering}}

@string{pepm = {{ACM SIGPLAN} Symposium on Partial Evaluation and Semantics-Based Program Manipulation}}

@string{personal = {Personal communication}}

@string{pldi = {{ACM SIGPLAN} Conference on Programming Language Design and Implementation}}

@string{plilp = {International Symposium on Programming Languages: Implementations, Logics, and Programs}}

@string{plop = {Pattern Languages of Program Design}}

@string{pls = {Programming Languages and Systems}}

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

@string{prentice-hall = {Prentice-Hall}}

@string{pws = {{PWS} Publishing}}

@string{schemecookbook = {Scheme Cookbook}}

@string{scp = {Science of Computer Programming}}

@string{sigplan-notices = {{ACM SIGPLAN} Notices}}

@string{sosp = {Symposium on Operating System Principles}}

@string{spe = {Software--Practice and Experience}}

@string{spin-sw-mc = {{SPIN} Workshop on Software Model Checking}}

@string{springer = {Springer-Verlag}}

@string{sw = {Scheme Workshop}}

@string{swconfmgmt = {International Workshop on Software Configuration Management}}

@string{sws = {{ACM} Workshop on Secure Web Services (SWS)}}

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

@string{tcs = {Theoretical Computer Science}}

@string{tocs = {{ACM} Transactions on Computer Systems}}

@string{toit = {{ACM} Transactions on Internet Technology}}

@string{tools-symp = {Technology of Object-Oriented Languages and Systems}}

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

@string{tose = {{IEEE} Transactions on Software Engineering}}

@string{tosem = {{ACM} Transactions on Software Engineering and Methodology}}

@string{tr = {Technical Report}}

@string{w3c = {{W}orld {W}ide {W}eb {C}onsortium}}

@string{wiley = {Wiley}}


@misc{cryptoeprint:2000:067,
	Author = {Ran Canetti},
	Date-Added = {2011-04-11 11:28:01 -0600},
	Date-Modified = {2011-04-11 11:29:32 -0600},
	Howpublished = {Cryptology ePrint Archive, Report 2000/067},
	Title = {Universally Composable Security: A New Paradigm for Cryptographic Protocols},
	Year = {2000}}

@inproceedings{Tobin-Hochstadt:2011fk,
	Author = {Sam Tobin-Hochstadt and Vincent St-Amour and Ryan Culpepper and Matthew Flatt and Matthias Felleisen},
	Booktitle = {PLDI},
	Date-Added = {2011-04-11 10:04:33 -0600},
	Date-Modified = {2011-04-11 10:28:07 -0600},
	Read = {1},
	Title = {Languages as Libraries},
	Year = {2011},
	Bdsk-File-1 = { }}

@unpublished{cite-key,
	Date-Added = {2011-04-11 10:04:14 -0600},
	Date-Modified = {2011-04-11 10:04:14 -0600}}

@inproceedings{Braberman:2008:PPH:1375634.1375655,
	Acmid = {1375655},
	Address = {New York, NY, USA},
	Author = {Braberman, V\'{\i}ctor and Fern\'{a}ndez, Federico and Garbervetsky, Diego and Yovine, Sergio},
	Booktitle = {Proceedings of the 7th international symposium on Memory management},
	Date-Added = {2011-02-18 10:02:51 -0700},
	Date-Modified = {2011-02-18 10:16:34 -0700},
	Doi = {http://doi.acm.org/10.1145/1375634.1375655},
	Isbn = {978-1-60558-134-7},
	Keywords = {heap consumption, heap space analysis, java, memory regions, Games, To-implement},
	Location = {Tucson, AZ, USA},
	Numpages = {10},
	Pages = {141--150},
	Publisher = {ACM},
	Read = {1},
	Series = {ISMM '08},
	Title = {Parametric prediction of heap memory requirements},
	Url = {http://doi.acm.org/10.1145/1375634.1375655},
	Year = {2008},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1375634.1375655}}

@inproceedings{Henglein:2011:REC:1926385.1926429,
	Acmid = {1926429},
	Address = {New York, NY, USA},
	Author = {Henglein, Fritz and Nielsen, Lasse},
	Booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Date-Added = {2011-02-16 12:26:15 -0700},
	Date-Modified = {2011-02-16 13:03:08 -0700},
	Doi = {http://doi.acm.org/10.1145/1926385.1926429},
	Isbn = {978-1-4503-0490-0},
	Keywords = {axiomatization, coercion, coinduction, computational interpretation, containment, equivalence, regular expression, type, To-implement},
	Location = {Austin, Texas, USA},
	Numpages = {14},
	Pages = {385--398},
	Publisher = {ACM},
	Read = {1},
	Series = {POPL '11},
	Title = {Regular expression containment: coinductive axiomatization and computational interpretation},
	Url = {http://doi.acm.org/10.1145/1926385.1926429},
	Year = {2011},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1926385.1926429}}

@inproceedings{Hofmann:2011:SL:1926385.1926428,
	Acmid = {1926428},
	Address = {New York, NY, USA},
	Author = {Hofmann, Martin and Pierce, Benjamin and Wagner, Daniel},
	Booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Date-Added = {2011-02-15 13:41:22 -0700},
	Date-Modified = {2011-02-15 14:17:16 -0700},
	Doi = {http://doi.acm.org/10.1145/1926385.1926428},
	Isbn = {978-1-4503-0490-0},
	Keywords = {algebra, category theory, lens, view-update},
	Location = {Austin, Texas, USA},
	Numpages = {14},
	Pages = {371--384},
	Publisher = {ACM},
	Read = {1},
	Series = {POPL '11},
	Title = {Symmetric lenses},
	Url = {http://doi.acm.org/10.1145/1926385.1926428},
	Year = {2011},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1926385.1926428}}

@inproceedings{Novark:2010:DSH:1866307.1866371,
	Acmid = {1866371},
	Address = {New York, NY, USA},
	Author = {Novark, Gene and Berger, Emery D.},
	Booktitle = {Proceedings of the 17th ACM conference on Computer and communications security},
	Date-Added = {2011-02-14 12:53:15 -0700},
	Date-Modified = {2011-02-14 12:53:16 -0700},
	Doi = {http://doi.acm.org/10.1145/1866307.1866371},
	Isbn = {978-1-4503-0245-6},
	Keywords = {buffer overflow, dangling pointer, dynamic memory allocation, memory errors},
	Location = {Chicago, Illinois, USA},
	Numpages = {12},
	Pages = {573--584},
	Publisher = {ACM},
	Read = {1},
	Series = {CCS '10},
	Title = {DieHarder: securing the heap},
	Url = {http://doi.acm.org/10.1145/1866307.1866371},
	Year = {2010},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1866307.1866371}}

@inproceedings{Felleisen:1987:CAH:41625.41654,
	Acmid = {41654},
	Address = {New York, NY, USA},
	Author = {Felleisen, Mattias and Friedman, D. P.},
	Booktitle = {Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
	Date-Added = {2011-02-11 13:56:52 -0700},
	Date-Modified = {2011-02-11 13:56:52 -0700},
	Doi = {http://doi.acm.org/10.1145/41625.41654},
	Isbn = {0-89791-215-2},
	Location = {Munich, West Germany},
	Pages = {314--},
	Publisher = {ACM},
	Series = {POPL '87},
	Title = {A calculus for assignments in higher-order languages},
	Url = {http://doi.acm.org/10.1145/41625.41654},
	Year = {1987},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/41625.41654}}

@article{hochreiter_long_1997,
    author = {Hochreiter, S. and Schmidhuber, J.},
    title = {Long {Short-Term} Memory},
    volume = {9},
    number = {8},
    journal = {Neural Computation},
    year = {1997},
    pages = {1735--1780}
}

@Article{py03,
     author = {Xavier D\'ecoret},
     title  = "PyBiTex",
     year   = 2003
}

@Article{key03,
  title = "A {bunch {of} braces {in}} title"
}

@Article{key01,
  author = "Simon {"}the {saint"} Templar", 
}

@Article{key01,
  title = "The history of @ sign"
}

Some {{comments} with unbalanced braces
....and a "commented" entry...

Book{landru21,
  author =	 {Landru, Henri D\'esir\'e},
  title =	 {A hundred recipes for you wife},
  publisher =	 {Culinary Expert Series},
  year =	 1921
}

..some other comments..before a valid entry...

@Book{steward03,
  author =	 { Martha Steward },
  title =	 {Cooking behind bars},
  publisher =	 {Culinary Expert Series},
  year =	 2003
}

...and finally an entry commented by the use of the special @Comment entry type.

@Comment{steward03,
  author =	 {Martha Steward},
  title =	 {Cooking behind bars},
  publisher =	 {Culinary Expert Series},
  year =	 2003
}

@Comment{
  @Book{steward03,
    author =	 {Martha Steward},
    title =	 {Cooking behind bars},
    publisher =	 {Culinary Expert Series},
    year =	 2003
  }
}

@String{mar = "march"}

@Book{sweig42,
  Author =	 { Stefan Sweig },
  title =	 { The impossible book },
  publisher =	 { Dead Poet Society},
  year =	 1942,
  month =        mar
}

@Book{sweig42a,
  month =        "1~mar"
}

@Book{sweig42b,
  month =        "1~" # mar
}

@Book{sweig42c,
  month =        "1~" # mar # "a"
}

@preamble{"This bibliography was generated on \today"}

@mastersthesis{salib:starkiller,
  author = "Michael Salib",
  title = "Starkiller: A Static Type Inferencer and Compiler for Python",
  school = "Massachusetts Institute of Technology",
  month = "May",
  year = 2004
}
