-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
178 lines (165 loc) · 8.69 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>Gershom Bazerman</title>
</head>
<body>
<div>
<img src="gbazerman.jpg" height="130px" align="left" style="padding-right:20px">
<h1>Gershom Bazerman</h1>
<p>Software Developer at Arista Networks, author of various Haskell libraries.</p>
</div>
<div style="clear:both"></div>
<h2>Talks Online</h2>
<ul>
<li>A Totally Predictable Outcome: An Investigation of
Traversals of Infinite Structures -- Haskell Symposium, Sept 2022<br>
(<A HREF="https://gbaz.github.io/papers/3546189.3549915.pdf">Paper</A>)</li>
<li>Classes of Closed Monoidal Functors which Admit Infinite Traversals -- NY Category Theory Seminar, May 2022<br>
(<A HREF="https://www.youtube.com/watch?v=kVsMQ-lJFJE">Video</A>)</li>
<li>An Invitation to Order-Theoretic Models of Package Dependencies -- PackagingCon, Nov 2021<br>
(<A HREF="https://www.youtube.com/watch?v=ssgq26w4nFs">Video</A>)</li>
<li>A Localic Approach to Dependency, Conflict, and Concurrency -- ACT@UCR, 29 April 2020<br>
(<A HREF="https://www.youtube.com/watch?v=qbesWLDQrgg">Video</A>, <A HREF="http://math.ucr.edu/home/baez/mathematical/ACTUCR/Bazerman_Localic_Semantics.pdf">Slides</A>)</li>
<li>Dependency Structures and Locales -- Category Theory Octoberfest, Oct 2019<br>
(<A HREF="https://jh.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=e3a56f9b-a2da-42c7-a065-aaf200dd639eIqlpQ06wuSE">Video</A>, <A HREF="https://ct-octoberfest.github.io/2019-slides/gbazerman.pdf">Slides</A>)</li>
<li>The Idempotent Distributive Lattice Completion and Applications in Computer Science -- MIT Category Theory Seminar, Aug 2019<br>
(<A HREF="https://www.youtube.com/watch?v=IqlpQ06wuSE">Video</A>)</li>
<li>Homological Computations for Term Rewriting Systems -- Papers We Love, Oct 2017<br>
(<A HREF="https://www.youtube.com/watch?v=WdawrT-6Qzk">Video</A>, <A HREF="http://gbaz.github.io/slides/pwl-homology-slides.pdf">Slides</A>)</li>
<li>Executable Categorical Models of Type Theory -- New Jersey Programming Languages Seminar, Sept 2016<br>
(<A HREF="https://gbaz.github.io/slides/executable-cat-theory-2016.pdf">Slides</A>)</li>
<li>Programming from Universal Properties (aka the colimits talk) -- Haskell Exchange, Oct 2015<br>
(<A HREF="https://skillsmatter.com/skillscasts/6587-programming-with-universal-properties">Video</a>, <A HREF="https://gbaz.github.io/slides/universal-properties.pdf">Slides</A>)</li>
<li>The Abstract Method, In General -- LambdaConf, May 2015<br>
(<A HREF="https://www.youtube.com/watch?v=MKog0cd4rJI">Video</A>, <A HREF="https://gbaz.github.io/slides/abstract-method-2015.pdf">Slides</A>)</li>
<li>The Art of Program Derivation and Parallel Computation (Workshop) -- LambdaConf, May 2015<br>
(<A HREF="https://www.youtube.com/watch?v=JDqD6RZpnZA">Video</A>, <A HREF="https://github.com/gbaz/works-in-progress/blob/master/algebra-of-programming/Algebraically.hs">Code</A>)</li>
<li>From Scheme to Dependent Type Theory in 100 Lines -- LispNYC, May 2015<br>
(<A HREF="https://vimeo.com/134561872">Part One</a>, <A HREF="https://vimeo.com/135746080">Part Two</a>, <A HREF="https://github.com/gbaz/mess/raw/master/scheme-to-type-theory.pdf">Slides</A>, <A HREF="https://github.com/gbaz/mess/blob/master/mess.rkt">Code</A>)</li>
<li><A HREF="https://www.youtube.com/watch?v=OupcXmLER7I">Homotopy
Type Theory: What's the Big Idea</A> -- LambdaJam Chicago,
2014</A></li>
<li><A HREF="https://www.youtube.com/watch?v=rtfbQJGQj0Q">Dynamic,
Interactive Web Applications that Scale Forever</A>, Boston Haskell
Users' Group, 2014</li>
<li><A HREF="https://vimeo.com/72870861">DSLs and Towers of
Abstraction</A> (aka the ajoints talk) -- NY Haskell Users' Group,
2013</li>
<li><A HREF="https://vimeo.com/53906049">Putting Cloud Haskell To
Work</A> -- NY Haskell User's Group, 2012</li>
</ul>
<h2>Publications, Drafts, and Conference Talks</h2>
<ul>
<li><a href="https://arxiv.org/abs/2107.01542">The Semantics of Package Management via Event Structures</a>,
arXiv preprint, July 2021</li>
<li><a href="https://arxiv.org/abs/2004.05688">The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices</a>,
arXiv preprint, April 2020</li>
<li><a href="http://gbaz.github.io/slides/buildable2014.pdf">Flipping Fold, Reformulating Reduction:
An Exercise in Categorical Design</a> -- draft presented at IFL
2014.</li>
<li><a href="http://gbaz.github.io/slides/integration.html">First
Class Differential Equations</a> -- slides from a talk at Off the Beaten
Track at POPL 2012.</li>
<li><a href="http://gbaz.github.io/slides/ode-draft-2009.pdf">Declarative Equations, Compositional Strategies:
Solving Differential Systems with Lazy Splines</a> -- draft paper, 2009.
</ul>
<h2>Various Short Articles</h2>
<ul>
<li><a
href="http://comonad.com/reader/2018/computational-quadrinitarianism-curious-correspondences-go-cubical/">Computational
Quadrinitarianism</a> -- Comonad Reader, 2018
<li><a
href="http://comonad.com/reader/2014/letter-to-a-young-haskell-enthusiast/">Letter
to a Young Haskell Enthusiast</a> -- Comonad Reader, 2014
<li><a
href="http://comonad.com/reader/2013/representing-applicatives/">Representating
Applicatives</a> -- Comonad Reader, 2013
<li><a
href="http://comonad.com/reader/2013/algebras-of-applicatives/">Algebras
of Applicatives</a> -- Comonad Reader, 2013
<li><a
href="http://comonad.com/reader/2012/abstracting-with-applicatives/">Abstracting
with Applicatives</a> -- Comonad Reader, 2012
<li><a
href="https://mail.haskell.org/pipermail/haskell-cafe/2010-June/079402.html">Deserializing
strongly typed values (four easy pieces about typechecking)</a> -- Hac
Phi, 2010</li>
</ul>
<h2>Posts Dated April First</h2>
<ul>
<li><a
href="https://mail.haskell.org/pipermail/haskell-cafe/2018-April/128845.html">Proposal:
Professionalizing GHC Development</a>, 2018
<li><a
href="https://mail.haskell.org/pipermail/haskell-cafe/2017-April/126656.html">Haskell World News</a>, 2017
<li><a
href="https://mail.haskell.org/pipermail/haskell-cafe/2015-April/118905.html">An
Easy Solution to PVP Bounds and Cabal Hell</a>, 2015
<li><a
href="https://mail.haskell.org/pipermail/haskell-cafe/2014-April/113373.html">New
Features for GHC 7.10.1 and Beyond</a>, 2014
<li><a
href="https://mail.haskell.org/pipermail/haskell-cafe/2012-April/100527.html">A
Modest Records Proposal</a>, 2012
</ul>
<h2>Code</h2>
<h3>Libraries</h3>
<ul>
<li><a
href="http://hackage.haskell.org/package/boolsimplifier">boolsimplifier</a>
-- simplification tools for propositional expressions
<li><a
href="http://hackage.haskell.org/package/cubicspline">cubicspline<a>
-- natural interpolation of cubic splines
<li><a href="http://hackage.haskell.org/package/jmacro">jmacro</a> --
EDSL for programmatic generation of JavaScript
<li><a
href="http://hackage.haskell.org/package/jmacro-rpc">jmacro-rpc</a> --
JSON-RPC interface generation and reactive client/server web
programming that scales (also see jmacro-rpc-snap and jmacro-rpc-happstack)
<li><a href="http://hackage.haskell.org/package/kmeans">kmeans</a> --
a library for k-means clustering
<li><a
href="http://hackage.haskell.org/package/lazysplines">lazysplines</a>
-- differential solving with lazy splines
<li><a
href="http://hackage.haskell.org/package/maximal-cliques">maximal-cliques</a>
-- enumerate the maximal cliques of a graph
<li><a href="http://hackage.haskell.org/package/mbox">mbox</a> -- Read and write standard mailbox (mboxrd) files.
</ul>
<h3>Software</h3>
<ul>
<li><a
href="http://hackage.haskell.org/package/cursedcsv">cursedcsv</a> --
curses-based terminal browser for reading csv files. ("less for
tabular data").
<li><a href="https://github.com/gbaz/mess">mess</a> -- the
Martin-Löf Extensible Specification and Simulator, a toy
dependent type theory embedded in scheme.
</ul>
<H2>Other</h2>
<ul>
<li>Organizer and Founder, <a
href="http://www.meetup.com/NY-Haskell/">NY Haskell Users Group</a>, 2012-ongoing
<li>Organizer, <a
href="https://groups.google.com/forum/#!forum/hott-nyc">NY Homotopy
Type Theory/Topos Theory Reading Group</a> (joint with the <A
HREF="http://www.sci.brooklyn.cuny.edu/~noson/CTseminar.html">NY
Category Theory Seminar</a>), 2013-ongoing
<li>Member, <a
href="https://wiki.haskell.org/Haskell.org_committee">Haskell.org
Committee</a>, 2013-2018
<li>Chair, <a
href="https://wiki.haskell.org/Haskell.org_committee">Haskell.org
Committee</a>, 2015-2018
<li>Organizer and Program Chair, <a
href="http://www.composeconference.org/">Compose Conference</a> 2015, 2016, 2017, 2019
<li>Co-Maintainer, <a
href="http://hackage.haskell.org/">Hackage</a> package repository, 2017-ongoing
</ul>
<h2>Contact</h2>
<ul>
<li>Email: gershomb at the email service from google</li>
</ul>
<br>
</body> </html>