<tr valign="top">
<td align="right" class="bibtexnumber">
-[<a name="bandali2020">2</a>]
+[<a name="bandali2020">4</a>]
</td>
<td class="bibtexitem">
<a href="https://bndl.org">Amin Bandali</a>.
<tr valign="top">
<td align="right" class="bibtexnumber">
-[<a name="DBLP:conf/re/AbbassiBDS18">1</a>]
+[<a name="DBLP:conf/re/AbbassiBDS18">3</a>]
</td>
<td class="bibtexitem">
Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, and José Serna.
<a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a> |
<a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a> ]
+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[<a name="bandali-magic-lassonde-2017">2</a>]
+</td>
+<td class="bibtexitem">
+<a href="https://bndl.org">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>.
+ The magic of specifications and type systems.
+ Presented at the 2017 Lassonde Undergraduate Summer Student Research
+ Conference, York University, Toronto, Canada, August 2017.
+[ <a href="bandali-bib#bandali-magic-lassonde-2017">bib</a> |
+<a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a> ]
+
+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[<a name="bandali-magic-cucsc-2017">1</a>]
+</td>
+<td class="bibtexitem">
+<a href="https://bndl.org">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>.
+ The magic of specifications and type systems.
+ Presented at the Canadian Undergraduate Computer Science Conference
+ 2017, University of Toronto, Canada, June 2017.
+[ <a href="bandali-bib#bandali-magic-cucsc-2017">bib</a> |
+<a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a> ]
+
</td>
</tr>
</table>
\ No newline at end of file