# # ChangeLog for doc/bibliography/pl.bib # # Generated by Trac 1.2.1 # Mar 28, 2024, 7:36:09 AM Fri, 25 Jun 2021 12:43:28 GMT Peter A. Buhr [2e19e91] * doc/bibliography/pl.bib (modified) update entries Tue, 13 Apr 2021 21:50:31 GMT Peter A. Buhr [3ada8ae] * doc/bibliography/pl.bib (modified) update bibliography entry for SP&E CFA concurrency paper Mon, 15 Mar 2021 21:37:43 GMT Peter A. Buhr [77dde15] * doc/bibliography/pl.bib (modified) change citation node for Wasik08 to use href Fri, 29 Jan 2021 13:21:02 GMT Peter A. Buhr [4dcd5ea] * doc/bibliography/pl.bib (modified) update citation Tue, 19 Jan 2021 14:01:55 GMT Peter A. Buhr [4b1c8da] * doc/bibliography/pl.bib (modified) * doc/theses/fangren_yu_COOP_F20/Report.tex (modified) proofread Fangren's co-op report, add necessary references Thu, 14 Jan 2021 03:23:02 GMT Peter A. Buhr [bace538] * doc/bibliography/pl.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/Makefile (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/runtime.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) proofread Thierry's chapter 2 and 3, update latex formatting, add ... Wed, 13 Jan 2021 16:36:57 GMT Peter A. Buhr [91571e5] * doc/bibliography/pl.bib (modified) * doc/theses/fangren_yu_COOP_F20/Makefile (added) * doc/theses/fangren_yu_COOP_F20/Report.tex (added) * doc/theses/fangren_yu_COOP_S20/cfa_developer_reference.pdf (deleted) * doc/theses/fangren_yu_COOP_S20/figures/DeepNodeSharing.fig.bak (deleted) remove unnecessary files, add Fangren Yu F20 report "Optimization of ... Fri, 27 Nov 2020 14:08:17 GMT Peter A. Buhr [1f9a4d0] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/mail (modified) * doc/papers/concurrency/mail2 (modified) changes for SP&E proofs of concurrency paper Tue, 06 Oct 2020 16:06:01 GMT Peter A. Buhr [c6391e6] * doc/bibliography/pl.bib (modified) change location of concurrency benchmark to github Mon, 05 Oct 2020 13:40:12 GMT Peter A. Buhr [079ed52] * doc/bibliography/pl.bib (modified) shorten length of reference Sat, 06 Jun 2020 20:59:19 GMT Peter A. Buhr [27125d0] * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/response2 (modified) update concurrency paper to address referee comments and generate ... Thu, 07 May 2020 00:43:31 GMT Peter A. Buhr [be91ab4] * doc/bibliography/pl.bib (modified) fix spelling mistake in paper title Fri, 17 Apr 2020 21:20:57 GMT Peter A. Buhr [5952c91] * doc/bibliography/pl.bib (modified) add bibliography entries Thu, 16 Apr 2020 13:23:02 GMT Peter A. Buhr [1c412aa] * doc/bibliography/pl.bib (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) final comments on Thierry's comp II Thu, 06 Feb 2020 15:24:10 GMT Peter A. Buhr [b0795be] * doc/bibliography/pl.bib (modified) bibliography entries added for concurrency paper Sun, 25 Aug 2019 12:48:11 GMT Peter A. Buhr [f9bf142] * doc/bibliography/pl.bib (modified) adds, updates, formatting bibliography entries Mon, 24 Jun 2019 21:00:47 GMT Peter A. Buhr [64dc36e] * benchmark/Makefile.am (modified) * benchmark/creation/qthreads.c (deleted) * benchmark/ctxswitch/qthreads.c (deleted) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) remove qthreads benchmark and correct citation name for public access ... Mon, 24 Jun 2019 03:41:59 GMT Peter A. Buhr [8f079f0] * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) Thierry changes to draft Tue, 04 Jun 2019 22:37:47 GMT Peter A. Buhr [30fe96d] * doc/bibliography/pl.bib (modified) add entries and formatting Thu, 16 May 2019 12:31:07 GMT Peter A. Buhr [e0d19f8] * doc/bibliography/pl.bib (modified) add reference to C++2- coroutines Thu, 25 Apr 2019 18:43:23 GMT Aaron Moss [f343c6b] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (modified) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Merge remote-tracking branch 'origin/aaron-thesis' Wed, 24 Apr 2019 20:06:28 GMT Aaron Moss [ec92b48] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: add comments on CFA formalization Wed, 24 Apr 2019 15:50:11 GMT Aaron Moss [71a12390] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: address comment about MaxSAT Wed, 24 Apr 2019 15:06:30 GMT Aaron Moss [6eed619] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: add reference to concurrent hash tries Wed, 24 Apr 2019 03:28:34 GMT Aaron Moss [70eaa80b] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: update discussion of Java type inference Tue, 23 Apr 2019 19:41:51 GMT Aaron Moss [c4b5486] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: integrate defence answers as clarifications into thesis Tue, 23 Apr 2019 15:52:28 GMT Aaron Moss [cf01d0b] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (modified) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: typo-fixing revisions from Werner, Ondrej Sun, 21 Apr 2019 01:40:54 GMT Aaron Moss [8f55e8e9] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: comment on general applications in conclusion, per Gregor Tue, 16 Apr 2019 20:19:48 GMT Aaron Moss [a786586] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: fix URL line breaks in References Fri, 12 Apr 2019 01:48:23 GMT Aaron Moss [5a801444] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) thesis: fix C layout citation Tue, 02 Apr 2019 19:24:44 GMT Peter A. Buhr [9be2b60] * doc/bibliography/pl.bib (modified) add Swift05, formatting Wed, 13 Mar 2019 15:35:33 GMT Peter A. Buhr [8b590a4] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/bu-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/metric-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/imgui-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/kernel-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math3-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math4-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/minmax-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/preemption-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/rational-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/searchsort-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/swap-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 13 Mar 2019 15:35:30 GMT Peter A. Buhr [1c35c78] * doc/bibliography/pl.bib (modified) add Ritchie C history paper Wed, 13 Mar 2019 14:20:24 GMT Aaron Moss [a2545593] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Add ascription casts to future work Tue, 12 Mar 2019 19:00:54 GMT Aaron Moss [53bb8f1] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/compile/empty.cfa (moved) * benchmark/creation/cfa_cor.cfa (moved) * benchmark/creation/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_cor.cfa (moved) * benchmark/ctxswitch/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_thrd2.cfa (moved) * benchmark/jenkins.sh (added) * benchmark/mutex/cfa1.cfa (moved) * benchmark/mutex/cfa2.cfa (moved) * benchmark/mutex/cfa4.cfa (moved) * benchmark/schedext/cfa1.cfa (moved) * benchmark/schedext/cfa2.cfa (moved) * benchmark/schedext/cfa4.cfa (moved) * benchmark/schedint/cfa1.cfa (moved) * benchmark/schedint/cfa2.cfa (moved) * benchmark/schedint/cfa4.cfa (moved) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/mail (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/BasicTypes-gen.cc (added) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats.h (added) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.in (modified) * tests/abort.cfa (added) * tests/array.cfa (modified) * tests/castError.cfa (modified) * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (added) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/io1.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/pybin/print-core.gdb (added) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (modified) * tools/prettyprinter/Makefile.in (modified) Merge second draft of Aaron's thesis Thu, 07 Mar 2019 20:17:13 GMT Aaron Moss [1836081] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: second draft of ch.5 Tue, 05 Mar 2019 20:28:52 GMT Aaron Moss [247c8f3] * doc/bibliography/pl.bib (modified) Fixed link in Clang citation Tue, 05 Mar 2019 18:36:51 GMT Peter A. Buhr [ca0f061f] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) second introduction update 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 Tue, 19 Feb 2019 20:31:37 GMT Peter A. Buhr [45af7e1] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) start rewrite of concurrency paper for SPE Thu, 14 Feb 2019 22:19:28 GMT Peter A. Buhr [65a7050] * doc/bibliography/pl.bib (modified) add more citations 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