X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/842b89b2d2d87b57442b14b4fd63477fd234137a..dcc71b98fdb8c653c2edeb9994d26d38003f4116:/static/bandali.bib

diff --git a/static/bandali.bib b/static/bandali.bib
index c617b4c..ed5f4be 100644
--- a/static/bandali.bib
+++ b/static/bandali.bib
@@ -12,9 +12,23 @@
 @string{uwaterloo-cs = uwaterloo # ", " # drc-scs}
 
 %% ===================================================================
-%% bandali's papers and talks (in chronological order)
+%% bandali's papers and talks (in reverse chronological order)
 %% ===================================================================
 
+@mastersthesis{bandali2020,
+  type      = {{MMath} thesis},
+  author    = {Amin Bandali},
+  title     = {{A Comprehensive Study of Declarative Modelling Languages}},
+  school    = uwaterloo-cs,
+  year      = 2020,
+  month     = {July},
+  publisher = "UWSpace",
+  url       = {http://hdl.handle.net/10012/16059},
+  note      = {\url{http://hdl.handle.net/10012/16059} and
+                  \url{https://bndl.org/mmath}},
+  pdf       = {https://p.bndl.org/bandali-mmath-thesis.pdf}
+}
+
 @inproceedings{DBLP:conf/re/AbbassiBDS18,
   author    = {Ali Abbassi and
                Amin Bandali and
@@ -30,10 +44,10 @@
   crossref  = {DBLP:conf/re/2018modre},
   url       = {https://doi.org/10.1109/MoDRE.2018.00008},
   doi       = {10.1109/MoDRE.2018.00008},
-  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
+  timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
   biburl    = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
   bibsource = {dblp computer science bibliography, https://dblp.org},
-  pdf       = "https://p.bndl.org/modre2018-declarative.pdf"
+  pdf       = {https://p.bndl.org/modre2018-declarative.pdf}
 }
 
 @proceedings{DBLP:conf/re/2018modre,
@@ -53,16 +67,28 @@
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }
 
-@mastersthesis{bandali2020,
-  type      = {{MMath} thesis},
-  author    = {Amin Bandali},
-  title     = {{A Comprehensive Study of Declarative Modelling Languages}},
-  school    = uwaterloo-cs,
-  year      = 2020,
-  month     = {July},
-  publisher = "UWSpace",
-  url       = {http://hdl.handle.net/10012/16059},
-  note      = {\url{http://hdl.handle.net/10012/16059} and
-                  \url{https://bndl.org/mmath}},
-  pdf       = "https://p.bndl.org/bandali-mmath-thesis.pdf"
+@misc{bandali-magic-lassonde-2017,
+  author       = {Amin Bandali and
+                  Simon Hudon and
+                  Jonathan S. Ostroff},
+  title        = {The Magic of Specifications and Type Systems},
+  year         = 2017,
+  month        = {August},
+  howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
+                  Student Research Conference, York University,
+                  Toronto, Canada},
+  poster       = {https://p.bndl.org/eecs4080-poster.pdf}
+}
+
+@misc{bandali-magic-cucsc-2017,
+  author       = {Amin Bandali and
+                  Simon Hudon and
+                  Jonathan S. Ostroff},
+  title        = {The Magic of Specifications and Type Systems},
+  year         = 2017,
+  month        = {June},
+  howpublished = {Presented at the Canadian Undergraduate Computer
+                  Science Conference 2017, University of Toronto,
+                  Canada},
+  slides       = {https://p.bndl.org/cucsc-2017-slides.pdf}
 }