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
MMath Thesis, University of Waterloo, David R. Cheriton
School of Computer Science, July 2020.
- pdf: https://bndl.org/mmath/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
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/2021/03/20/libreplanet-2021.html
+ 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