# # ChangeLog for doc/bibliography/pl.bib # # Generated by Trac 1.2.1 # Mar 28, 2024, 3:54:05 PM Mon, 04 Mar 2019 18:57:24 GMT Aaron Moss [5934c5f] * doc/bibliography/pl.bib (modified) add Checked C citation to bibliography file Fri, 22 Feb 2019 23:19:09 GMT Aaron Moss [8adcfee] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) thesis: first draft of conclusion Fri, 22 Feb 2019 22:41:56 GMT Aaron Moss [d065ded] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: polish Ch.6 to first draft Fri, 25 Jan 2019 20:37:07 GMT Aaron Moss [c58bb11] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Complete background work on resolution algorithms Tue, 22 Jan 2019 21:49:23 GMT Aaron Moss [f2c5726] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: start asymptotic analysis of resolution problem Wed, 07 Nov 2018 18:30:30 GMT Peter A. Buhr [2185df1] * doc/bibliography/pl.bib (modified) formatting Tue, 23 Oct 2018 21:36:00 GMT Aaron Moss [57b0b1f] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Described persistent union-find in thesis Tue, 16 Oct 2018 23:22:39 GMT Aaron Moss [eeb0767] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Add discussion of variants of environment data structures to thesis Tue, 25 Sep 2018 21:27:15 GMT Peter A. Buhr [9805dd0] * doc/bibliography/pl.bib (modified) update bibliography for NSERC Sat, 22 Sep 2018 03:24:58 GMT Peter A. Buhr [031a88a9] * doc/bibliography/pl.bib (modified) update bibliography for NSERC Mon, 03 Sep 2018 12:33:45 GMT Peter A. Buhr [e255e69] * doc/bibliography/pl.bib (modified) updates Mon, 20 Aug 2018 11:32:05 GMT Peter A. Buhr [5346dce] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) remove proof corrections Fri, 10 Aug 2018 12:38:45 GMT Peter A. Buhr [5883914] * doc/bibliography/pl.bib (modified) change URL for SPE stack-evaluation files Mon, 23 Jul 2018 11:35:26 GMT Peter A. Buhr [460bd3a] * doc/bibliography/pl.bib (modified) update entry Wed, 27 Jun 2018 22:37:47 GMT Peter A. Buhr [b199e54] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/style/cfa-format.tex (deleted) * doc/papers/concurrency/style/style.tex (deleted) first complete draft Fri, 25 May 2018 13:42:25 GMT Peter A. Buhr [251454a0] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) more writing Thu, 24 May 2018 16:56:10 GMT Peter A. Buhr [1dc58fd] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) more writing Thu, 17 May 2018 02:50:48 GMT Peter A. Buhr [48b9b36] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) writing updates Thu, 10 May 2018 12:50:43 GMT Peter A. Buhr [a8de0f4] * doc/bibliography/pl.bib (modified) add entries Mon, 07 May 2018 17:40:24 GMT Peter A. Buhr [cfc3e0f] * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix-1510051231000.zip (moved) * doc/papers/AMA/AMA-stix/Documents/README.txt (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-AMA.bst (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/general/.gitignore (modified) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/timing.gp (modified) * doc/papers/general/response (added) referee responses Mon, 19 Mar 2018 21:25:50 GMT Peter A. Buhr [1f8865e] * doc/bibliography/pl.bib (modified) harmonize printing of Cforall name Mon, 12 Mar 2018 20:14:41 GMT Peter A. Buhr [0f9e6b20] * doc/bibliography/pl.bib (modified) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-AMA.bst (modified) fix citation format Mon, 12 Mar 2018 03:51:09 GMT Peter A. Buhr [49eb6a2] * doc/bibliography/pl.bib (modified) * doc/papers/general/AMA/AMA-stix.zip (added) * doc/papers/general/AMA/AMA-stix/Documents/.log (added) * doc/papers/general/AMA/AMA-stix/Documents/README.txt (added) * doc/papers/general/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-BoldItalic.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Italic.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Regular.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/Windows-Stix-fontinstaller.exe (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/a_axxd65.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixbb.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixfrak.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixscr.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixsf.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixcal.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixex.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixtt.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ly1sti.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra1.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra2.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra2.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra3.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra3.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ot1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ot2.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-t1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ts1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.dtx (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.fdd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.map (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.sty (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1stix.fd (added) * doc/papers/general/AMA/AMA-stix/ama/NJDnatbib.sty (added) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-AMA.bst (added) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-v2.cls (added) * doc/papers/general/AMA/AMA-stix/ama/empty.eps (added) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (added) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.bib (added) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.tex (added) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) switch to SPE latex macros Fri, 09 Mar 2018 20:44:33 GMT Aaron Moss [200b2b5] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) Add uC++, CCured & Ironclad C++ to related work Fri, 09 Mar 2018 14:30:47 GMT Peter A. Buhr [81e8ab0] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/c-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cpp-stack.hpp (modified) * doc/papers/general/evaluation/cpp-vstack.cpp (modified) * doc/papers/general/evaluation/cpp-vstack.hpp (modified) more updates Fri, 09 Mar 2018 04:04:14 GMT Peter A. Buhr [29db723] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.h (modified) * doc/papers/general/evaluation/timing.gp (modified) additional changes Thu, 08 Mar 2018 21:43:09 GMT Aaron Moss [4271a1e] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) Stub extra related work section Tue, 06 Mar 2018 20:43:42 GMT Peter A. Buhr [d893266a] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) more updates, and final open issues Fri, 02 Mar 2018 11:48:16 GMT Peter A. Buhr [507e7a2] * doc/bibliography/pl.bib (modified) update TIOBE entry Mon, 19 Feb 2018 15:43:25 GMT Peter A. Buhr [1280f95] * doc/bibliography/pl.bib (modified) add Thierry's masters thesis Sun, 18 Feb 2018 17:10:50 GMT Peter A. Buhr [c5c4096] * doc/bibliography/pl.bib (modified) update Rob's thesis entry Thu, 01 Feb 2018 15:03:35 GMT Peter A. Buhr [23c27039] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/.gitignore (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/aaron_moss/comp_II/comp_II.tex (modified) * doc/theses/rob_schluntz/.gitignore (modified) * doc/theses/rob_schluntz/Makefile (modified) * doc/theses/rob_schluntz/intro.tex (modified) * doc/theses/rob_schluntz/thesis.tex (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/theses/thierry_delisle/version (modified) * doc/theses/thierry_delisle/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) further harmonize document Makefile and documents Wed, 31 Jan 2018 22:49:36 GMT Peter A. Buhr [5ff188f] * doc/bibliography/pl.bib (moved) * doc/papers/OOPSLA17/.gitignore (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/OOPSLA17/evaluation/timing.gp (modified) * doc/papers/OOPSLA17/generic_types.tex (modified) * doc/papers/concurrency/.gitignore (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/.gitignore (modified) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/timing.gp (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/.gitignore (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.bib (deleted) * doc/refrat/refrat.tex (modified) * doc/user/.gitignore (modified) * doc/user/Makefile (modified) * doc/user/figures/Cdecl.fig (moved) * doc/user/figures/EHMHierarchy.fig (moved) * doc/user/figures/pointer1.fig (moved) * doc/user/figures/pointer2.fig (moved) * doc/user/user.tex (modified) further changes to document Makefiles