Add recent diary

tex/forest.bib

@@ -1119,3 +1119,69 @@ @book{garrity2013algebraic
   year={2013},
   publisher={American Mathematical Soc.}
 }
+
+@article{raptis2024functoriality,
+  title={Functoriality in Finitary Vacuum Einstein Gravity and Free Yang-Mills Theories from an Abstract Differential Geometric Perspective},
+  author={Raptis, Ioannis},
+  journal={arXiv preprint arXiv:2401.13283},
+  year={2024}
+}
+
+@inproceedings{shaikhha2024tensor,
+  title={A Tensor Algebra Compiler for Sparse Differentiation},
+  author={Shaikhha, Amir and Huot, Mathieu and Hashemian, Shideh},
+  booktitle={2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},
+  pages={1--12},
+  year={2024},
+  organization={IEEE}
+}
+
+@article{wang2020spores,
+  title={SPORES: sum-product optimization via relational equality saturation for large scale linear algebra},
+  author={Wang, Yisu Remy and Hutchison, Shana and Leang, Jonathan and Howe, Bill and Suciu, Dan},
+  journal={arXiv preprint arXiv:2002.07951},
+  year={2020}
+}
+
+@inproceedings{zhao2024felix,
+  title={Felix: Optimizing Tensor Programs with Gradient Descent},
+  author={Zhao, Yifan and Sharif, Hashim and Adve, Vikram and Misailovic, Sasa},
+  booktitle={Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3},
+  pages={367--381},
+  year={2024}
+}
+
+@article{shaikhha2O22functional,
+  author       = {Amir Shaikhha and
+                  Mathieu Huot and
+                  Jaclyn Smith and
+                  Dan Olteanu},
+  title        = {Functional collection programming with semi-ring dictionaries},
+  journal      = {Proc. {ACM} Program. Lang.},
+  volume       = {6},
+  number       = {{OOPSLA1}},
+  pages        = {1--33},
+  year         = {2022},
+  url          = {https://doi.org/10.1145/3527333},
+  doi          = {10.1145/3527333},
+  timestamp    = {Tue, 10 Jan 2023 16:19:51 +0100},
+  biburl       = {https://dblp.org/rec/journals/pacmpl/ShaikhhaHSO22.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}
+
+@article{schleich2023optimizing,
+  author       = {Maximilian Schleich and
+                  Amir Shaikhha and
+                  Dan Suciu},
+  title        = {Optimizing Tensor Programs on Flexible Storage},
+  journal      = {Proc. {ACM} Manag. Data},
+  volume       = {1},
+  number       = {1},
+  pages        = {37:1--37:27},
+  year         = {2023},
+  url          = {https://doi.org/10.1145/3588717},
+  doi          = {10.1145/3588717},
+  timestamp    = {Thu, 15 Jun 2023 21:57:49 +0200},
+  biburl       = {https://dblp.org/rec/journals/pacmmod/SchleichSS23.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}

trees/refs/raptis2024functoriality.tree

@@ -0,0 +1,14 @@
+% ["forest"]
+\title{Functoriality in finitary vacuum einstein gravity and free yang-mills theories from an abstract differential geometric perspective}
+\date{2024}
+\author{Ioannis Raptis}
+\taxon{reference}
+
+\meta{bibtex}{\startverb
+@article{raptis2024functoriality,
+ title = {Functoriality in Finitary Vacuum Einstein Gravity and Free Yang-Mills Theories from an Abstract Differential Geometric Perspective},
+ author = {Raptis, Ioannis},
+ year = {2024},
+ journal = {arXiv preprint arXiv:2401.13283}
+}
+\stopverb}

trees/refs/schleich2023optimizing.tree

@@ -0,0 +1,26 @@
+% ["forest"]
+\title{Optimizing tensor programs on flexible storage}
+\date{2023}
+\author{Maximilian Schleich}\author{Amir Shaikhha}\author{Dan Suciu}
+\taxon{reference}
+\meta{doi}{10.1145/3588717}
+\meta{external}{https://doi.org/10.1145/3588717}
+
+\meta{bibtex}{\startverb
+@article{schleich2023optimizing,
+ title = {Optimizing Tensor Programs on Flexible Storage},
+ author = {Maximilian Schleich and
+Amir Shaikhha and
+Dan Suciu},
+ year = {2023},
+ doi = {10.1145/3588717},
+ url = {https://doi.org/10.1145/3588717},
+ journal = {Proc. {ACM} Manag. Data},
+ volume = {1},
+ number = {1},
+ pages = {37:1--37:27},
+ bibsource = {dblp computer science bibliography, https://dblp.org},
+ biburl = {https://dblp.org/rec/journals/pacmmod/SchleichSS23.bib},
+ timestamp = {Thu, 15 Jun 2023 21:57:49 +0200}
+}
+\stopverb}

trees/refs/shaikhha2024tensor.tree

@@ -0,0 +1,16 @@
+% ["forest"]
+\title{A tensor algebra compiler for sparse differentiation}
+\date{2024}
+\author{Amir Shaikhha}\author{Mathieu Huot}\author{Shideh Hashemian}
+\taxon{reference}
+
+\meta{bibtex}{\startverb
+@inproceedings{shaikhha2024tensor,
+ title = {A Tensor Algebra Compiler for Sparse Differentiation},
+ author = {Shaikhha, Amir and Huot, Mathieu and Hashemian, Shideh},
+ year = {2024},
+ booktitle = {2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},
+ pages = {1--12},
+ organization = {IEEE}
+}
+\stopverb}

trees/refs/shaikhha2O22functional.tree

@@ -0,0 +1,27 @@
+% ["forest"]
+\title{Functional collection programming with semi-ring dictionaries}
+\date{2022}
+\author{Amir Shaikhha}\author{Mathieu Huot}\author{Jaclyn Smith}\author{Dan Olteanu}
+\taxon{reference}
+\meta{doi}{10.1145/3527333}
+\meta{external}{https://doi.org/10.1145/3527333}
+
+\meta{bibtex}{\startverb
+@article{shaikhha2O22functional,
+ title = {Functional collection programming with semi-ring dictionaries},
+ author = {Amir Shaikhha and
+Mathieu Huot and
+Jaclyn Smith and
+Dan Olteanu},
+ year = {2022},
+ doi = {10.1145/3527333},
+ url = {https://doi.org/10.1145/3527333},
+ journal = {Proc. {ACM} Program. Lang.},
+ volume = {6},
+ number = {{OOPSLA1}},
+ pages = {1--33},
+ bibsource = {dblp computer science bibliography, https://dblp.org},
+ biburl = {https://dblp.org/rec/journals/pacmpl/ShaikhhaHSO22.bib},
+ timestamp = {Tue, 10 Jan 2023 16:19:51 +0100}
+}
+\stopverb}

trees/refs/wang2020spores.tree

@@ -0,0 +1,14 @@
+% ["forest"]
+\title{SPORES: Sum-product optimization via relational equality saturation for large scale linear algebra}
+\date{2020}
+\author{Yisu Remy Wang}\author{Shana Hutchison}\author{Jonathan Leang}\author{Bill Howe}\author{Dan Suciu}
+\taxon{reference}
+
+\meta{bibtex}{\startverb
+@article{wang2020spores,
+ title = {SPORES: sum-product optimization via relational equality saturation for large scale linear algebra},
+ author = {Wang, Yisu Remy and Hutchison, Shana and Leang, Jonathan and Howe, Bill and Suciu, Dan},
+ year = {2020},
+ journal = {arXiv preprint arXiv:2002.07951}
+}
+\stopverb}

trees/refs/zhao2024felix.tree

@@ -0,0 +1,15 @@
+% ["forest"]
+\title{Felix: Optimizing tensor programs with gradient descent}
+\date{2024}
+\author{Yifan Zhao}\author{Hashim Sharif}\author{Vikram Adve}\author{Sasa Misailovic}
+\taxon{reference}
+
+\meta{bibtex}{\startverb
+@inproceedings{zhao2024felix,
+ title = {Felix: Optimizing Tensor Programs with Gradient Descent},
+ author = {Zhao, Yifan and Sharif, Hashim and Adve, Vikram and Misailovic, Sasa},
+ year = {2024},
+ booktitle = {Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3},
+ pages = {367--381}
+}
+\stopverb}

trees/uts-0018.tree

@@ -15,6 +15,17 @@
 \subtree[2024-10]{
 \title{October, 2024}
 
+\mdblock{10-15}{
+- found \citek{raptis2024functoriality}
+- found \citek{shaikhha2024tensor} and \citek{zhao2024felix}
+- SDQLite \citek{schleich2023optimizing} (based on [SDQL](https://github.com/edin-dal/sdql)) is an intermediate language that expresses sparse tensor workloads by separating the tensoropt computations from the storage formats
+- reminds me of \citek{wu2024multi}
+}
+
+\mdblock{10-11~10-14}{
+- work on [native-land](https://github.com/utensil/native-land) about GPU computation, see relavant README updates in it.
+}
+
 \mdblock{10-10}{
 - watch [Chris Biscardi - Bevy: A case study in ergonomic Rust](https://www.youtube.com/watch?v=CnoDOc6ML0Y)
 - have a better idea about the game about fly, evade, slingshot, and shoot around black holes, 4D implicit surfaces