Notes
-Here are notes about a variety of topics and issues I care
-about.
-They are also available via
+
Here are notes about a variety of topics and issues I care about.
+They're also available via
Atom
diff --git a/projects.m4 b/projects.m4
new file mode 100644
index 0000000..b34ae41
--- /dev/null
+++ b/projects.m4
@@ -0,0 +1,28 @@
+dnl -*- html -*-
+define(__title, `Projects')dnl
+define(__slug, `projects')dnl
+include(header.html)dnl
+
+
+Projects
+
+
+- refinery-theme
+- A refined, minimalist, layered colour theme for GNU Emacs
+
+- george-mode
+- Emacs major mode for editing George files
+
+- alloy-catalyst
+- Framework for performance analysis of Alloy models
+
+- unitb-web
+- Web interface for Unit-B
+
+- tex2png-hs
+- Library and CLI for converting TeX and LaTeX to PNG images
+
+
+
+define(__copy, `2020')dnl
+include(footer.html)dnl
diff --git a/static/Makefile b/static/Makefile
index 112de86..70ec972 100644
--- a/static/Makefile
+++ b/static/Makefile
@@ -1,5 +1,6 @@
publications-partial.html: bandali.bib bandali-bib-*.txt
- bibtex2html --citefile bandali-bib-citefile.txt \
+ bibtex2html --citefile bandali-bib-citefile.txt --html-entities \
+ --named-field slides slides --named-field poster poster \
--nodoc --no-header --no-footer --no-doi \
--reverse-sort --revkeys --sort-by-date --unicode \
--output publications \
diff --git a/static/bandali-bib-citefile.txt b/static/bandali-bib-citefile.txt
index ce2448a..034e7a9 100644
--- a/static/bandali-bib-citefile.txt
+++ b/static/bandali-bib-citefile.txt
@@ -1,2 +1,4 @@
-DBLP:conf/re/AbbassiBDS18
bandali2020
+DBLP:conf/re/AbbassiBDS18
+bandali-magic-lassonde-2017
+bandali-magic-cucsc-2017
diff --git a/static/bandali-bib-partial.html b/static/bandali-bib-partial.html
index eb58572..390682c 100644
--- a/static/bandali-bib-partial.html
+++ b/static/bandali-bib-partial.html
@@ -1,4 +1,20 @@
-
+
+@mastersthesis{bandali2020,
+ type = {{MMath} thesis},
+ author = {Amin Bandali},
+ title = {{A Comprehensive Study of Declarative Modelling Languages}},
+ school = {University of Waterloo, David R. Cheriton School of Computer Science},
+ 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
@@ -40,19 +56,33 @@
}
-
-@mastersthesis{bandali2020,
- type = {{MMath} thesis},
- author = {Amin Bandali},
- title = {{A Comprehensive Study of Declarative Modelling Languages}},
- school = {University of Waterloo, David R. Cheriton School of Computer Science},
- 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}
}
diff --git a/static/bandali.bib b/static/bandali.bib
index c617b4c..ef7cd7e 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
@@ -33,7 +47,7 @@
timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
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}
}
diff --git a/static/publications-partial.html b/static/publications-partial.html
index 0650d32..8d5cf21 100644
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -2,7 +2,7 @@
-[2]
+[4]
|
Amin Bandali.
@@ -21,7 +21,7 @@
|
-[1]
+[3]
|
Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna.
@@ -35,6 +35,38 @@ Ali Abbassi, Amin Bandali, http |
.pdf ]
+ |
+
+
+
+
+
+[2]
+ |
+
+Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
+ The magic of specifications and type systems.
+ Presented at the 2017 Lassonde Undergraduate Summer Student Research
+ Conference, York University, Toronto, Canada, August 2017.
+[ bib |
+poster ]
+
+ |
+
+
+
+
+
+[1]
+ |
+
+Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
+ The magic of specifications and type systems.
+ Presented at the Canadian Undergraduate Computer Science Conference
+ 2017, University of Toronto, Canada, June 2017.
+[ bib |
+slides ]
+
|
\ No newline at end of file
diff --git a/static/publications-sed.txt b/static/publications-sed.txt
index 0287ec8..2d423bd 100644
--- a/static/publications-sed.txt
+++ b/static/publications-sed.txt
@@ -5,6 +5,12 @@
# take the rename into consideration
s/publications_bib.html#/bandali-bib#/
+# delete and
+# s|||
+# s|||
+
# linkify author names
s|Amin Bandali|&|
s|Nancy A. Day|&|
+s|Simon Hudon|&|
+s|Jonathan S. Ostroff|&|
diff --git a/static/style.css b/static/style.css
index fdcea52..6dfa97e 100644
--- a/static/style.css
+++ b/static/style.css
@@ -105,6 +105,15 @@ article h3 {
text-align: center;
}
+sup, sub {
+ position: relative;
+ top: -0.4em;
+ vertical-align: baseline;
+}
+sub {
+ top: 0.4em;
+}
+
blockquote#abstract {
font-size: 0.95em;
text-align: justify;
@@ -176,6 +185,9 @@ small, dd, .small, .bibtexnumber, .bibtexitem, .bibtex2html {
.inbox, .bibtex2html {
margin-top: 2em;
}
+.justify {
+ text-align: justify;
+}
li, dd {
margin-bottom: 0.25em;
--
2.20.1