added missing entries plus custom tags for al-folio

Signed-off-by: Konstantin Läufer <[email protected]>
klaeufer · Nov 2, 2024 · 46a141a · 46a141a
1 parent a7f4e56
commit 46a141a
Show file tree

Hide file tree

Showing 8 changed files with 26 additions and 7 deletions.
diff --git a/bibs/inproceedings/2019-inproceedings-10.1145_3337932.3338814.bib b/bibs/inproceedings/2019-inproceedings-10.1145_3337932.3338814.bib
@@ -16,7 +16,8 @@ @inproceedings{Scala_2019
  series = {Scala '19},
  title = {Tests as Maintainable Assets via Auto-Generated Spies: A Case Study Involving the Scala Collections Library's Iterator Trait},
  url = {https://doi.org/10.1145/3337932.3338814},
- year = {2019}, bibtex_show=1}
-
-
+ year = {2019},
+ code = {https://github.com/klaeufer/issue10709-scala},
+ bibtex_show=1
+ }
 
diff --git a/bibs/inproceedings/2022-inproceedings-eduhpc22.bib b/bibs/inproceedings/2022-inproceedings-eduhpc22.bib
@@ -7,7 +7,11 @@ @InProceedings{EduHPC22
   month = 	 nov,
   address = 	 {Dallas, TX, USA},
   note = 	 {held in conjunction with SC22},
-  url =          {https://ecommons.luc.edu/cs_facpubs/314/}, bibtex_show=1}
+  url =          {https://ecommons.luc.edu/cs_facpubs/314/},
+  website =      {https://unoapi.org},
+  code =         {https://github.com/LoyolaChicagoCode/unoapi-dpcpp-examples},
+  bibtex_show=1
+}
 
 
 
diff --git a/bibs/inproceedings/2024-inproceedings-fie24.bib b/bibs/inproceedings/2024-inproceedings-fie24.bib
@@ -1,11 +1,16 @@
 @misc{laufer2024fie,
       abbr = {FIE},
       title={WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+}, 
-      author={Konstantin Läufer and Gunda Mertin and George K. Thiruvathukal},
+      author={Läufer, Konstantin and Mertin, Gunda and Thiruvathukal, George K.},
       year={2024},
       eprint={2407.21152},
+      arxiv={2407.21152},
       archivePrefix={arXiv},
       primaryClass={cs.SE},
-      url={https://arxiv.org/abs/2407.21152}, bibtex_show=1}
+      url={https://arxiv.org/abs/2407.21152},
+      website = {https://lucformalmethodscourse.github.io},
+      code = {https://colab.research.google.com/drive/1c3YccNdvV73wSWcz-3h6-NQFvJYIdn0V},
+      bibtex_show=1
+}
 
 
diff --git a/bibs/magazine/2024-article-computer.bib b/bibs/magazine/2024-article-computer.bib
@@ -6,6 +6,11 @@ @article{laufer2024computer
       year={2024},
       volume={57},
       number={12},
-      doi={10.1109/MC.2024.3462188}, bibtex_show=1}
+      doi={10.1109/MC.2024.3462188},
+      website = {https://lucformalmethodscourse.github.io},
+      code = {https://colab.research.google.com/drive/1c3YccNdvV73wSWcz-3h6-NQFvJYIdn0V},
+      bibtex_show=1
+
+}
 
 
diff --git a/bibs/patents/2003-misc-lucent-1.bib b/bibs/patents/2003-misc-lucent-1.bib
@@ -1,4 +1,5 @@
 @patent{ball2003method1,
+  abbr = {Patent},
   title={Method and apparatus for providing interactive services with multiple interfaces},
   author={Ball, Thomas J and Danielsen, Peter John and Jagadeesan, Lalita Jategaonkar and Läufer, Konstantin and Mataga, Peter Andrew and Rehor, Kenneth G},
   year={2003},

diff --git a/bibs/patents/2003-misc-lucent-2.bib b/bibs/patents/2003-misc-lucent-2.bib
@@ -1,4 +1,5 @@
 @patent{ball2003method2,
+  abbr = {Patent},
   title={Method and apparatus for providing interactive services with multiple interfaces},
   author={Ball, Thomas J and Danielsen, Peter John and Jagadeesan, Lalita Jategaonkar and Läufer, Konstantin and Mataga, Peter Andrew and Rehor, Kenneth G},
   year={2003},

diff --git a/bibs/techreport/1996-techreport-purdue.bib b/bibs/techreport/1996-techreport-purdue.bib
@@ -8,6 +8,7 @@ @TechReport{BaumgartnerLauferRusso_Interactions_1996
   number =       "CSD-TR-96-020",
   month =        feb,
   eprint = {1905.13674},
+  arxiv = {1905.13674},
   eprinttype = {arXiv},
   url = {http://arxiv.org/abs/1905.13674},
   volume = {abs/1905.13674}, bibtex_show=1}

diff --git a/bibs/techreport/2018-article-DBLP_journals_corr_abs-1804-02053.bib b/bibs/techreport/2018-article-DBLP_journals_corr_abs-1804-02053.bib
@@ -10,6 +10,7 @@ @article{DBLP:journals/corr/abs-1804-02053
   url       = {http://arxiv.org/abs/1804.02053},
   eprinttype = {arXiv},
   eprint    = {1804.02053},
+  arxiv     = {1804.02053},
   timestamp = {Mon, 13 Aug 2018 16:47:28 +0200},
   biburl    = {https://dblp.org/rec/journals/corr/abs-1804-02053.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}, bibtex_show=1}