fa: typo fix
[~bandali/bndl.org] / bandali-cv.txt
index 2195709..02026c4 100644 (file)
@@ -84,7 +84,8 @@ PUBLICATIONS & PRESENTATIONS
       Engineering Workshop, MoDRE@RE 2018
       Copyright (c) 2018 IEEE.  All Rights Reserved.  Sadly.
 
-      pdf: https://p.bndl.org/modre2018-declarative.pdf
+      pdf: https://bndl.org/papers/modre2018-declarative.pdf
+      bib: https://bndl.org/papers/modre2018-declarative.bib
       models: https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/
 
   THESES
@@ -95,9 +96,10 @@ PUBLICATIONS & PRESENTATIONS
       MMath Thesis, University of Waterloo, David R. Cheriton
       School of Computer Science, July 2020.
 
-      pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
+      pdf: https://bndl.org/theses/bandali-mmath-thesis.pdf
+      bib: https://bndl.org/theses/bandali-mmath-thesis.bib
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath
+      http: https://bndl.org/theses/mmath.html
 
   TALKS
 
@@ -106,10 +108,11 @@ PUBLICATIONS & PRESENTATIONS
       Amin Bandali
       Presented at the LibrePlanet 2021 Conference, March 20, 2021.
 
-      slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
+      slides: https://bndl.org/talks/libreplanet-2021-jami.pdf
       slides with notes:
-       https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
-      http: https://bndl.org/libreplanet-2021
+       https://bndl.org/papers/libreplanet-2021-jami-with-notes.pdf
+      bib: https://bndl.org/talks/libreplanet-2021-jami.bib
+      http: https://bndl.org/talks/libreplanet-2021-jami.html
 
     The Magic of Specifications and Type Systems