add mmath thesis sources

[~bandali/bndl.org] / static / publications-partial.html

diff --git a/static/publications-partial.html b/static/publications-partial.html
index 0650d32..8d5cf21 100644 (file)
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -2,7 +2,7 @@
 
 <tr valign="top">
 <td align="right" class="bibtexnumber">
 
 <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>.
 </td>
 <td class="bibtexitem">
 <a href="https://bndl.org">Amin Bandali</a>.


@@ -21,7 +21,7 @@
 
 <tr valign="top">
 <td align="right" class="bibtexnumber">
 
 <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&nbsp;A. Day</a>, and Jos&eacute; Serna.
 </td>
 <td class="bibtexitem">
 Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy&nbsp;A. Day</a>, and Jos&eacute; Serna.


@@ -35,6 +35,38 @@ Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uw
 <a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a>&nbsp;| 
 <a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a>&nbsp;]
 
 <a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a>&nbsp;| 
 <a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a>&nbsp;]
 

+</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&nbsp;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.
+[&nbsp;<a href="bandali-bib#bandali-magic-lassonde-2017">bib</a>&nbsp;| 
+<a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a>&nbsp;]
+
+</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&nbsp;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.
+[&nbsp;<a href="bandali-bib#bandali-magic-cucsc-2017">bib</a>&nbsp;| 
+<a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a>&nbsp;]
+

 </td>
 </tr>
 </table>
\ No newline at end of file
 </td>
 </tr>
 </table>
\ No newline at end of file