Skip to main content
Boston Computation Club

Boston Computation Club

By Max von Hippel
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.
Listen on
Where to listen
Breaker Logo

Breaker

Google Podcasts Logo

Google Podcasts

Pocket Casts Logo

Pocket Casts

RadioPublic Logo

RadioPublic

Spotify Logo

Spotify

Currently playing episode

10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM with Larkin Liu & Jun Tao Luo

Boston Computation Club

1x
10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM with Larkin Liu & Jun Tao Luo
Larkin Liu is an operations research (OR) & machine learning (ML) specialist, currently completing a PhD in Operations Research under the advisement of Stefan Minner at the Technical University of Munich.  Today Larkin joined us to present *An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM*, a recent preprint he authored with Jun Tao Luo (MS student in CS at Carnegie Mellon; also in attendance at this talk).  The paper is exactly what it sounds like, and the presentation was a lot of fun, with clear mathematical background, a solid foundation in software engineering principles, and some impressive code demos.     - Preprint: https://arxiv.org/abs/2108.10061  - Larkin: https://larkz.github.io/  - Jun: https://www.linkedin.com/in/jun-tao-luo - Video: https://youtu.be/bVpUlJU-piA
01:06:17
October 24, 2021
10/15/21: Mathematical Programming Modulo Strings with Ankit Kumar
Ankit Kumar is a PhD student in the Khoury College of Computer Science at Northeastern University, advised by Pete Manolios.  He is from Dhanbad, Jharkand, in India, and prior to joining Northeastern, he earned his MTech in Computer Science and Engineering from IIT Kanpur and his BTech in Electrical Engineering from IIT (BHU) Varanasi.  Now, Ankit's research focuses on formal methods (FM) -- particularly in ACL2Sedan -- and the use of FM to study programming languages, including writing machine-checkable proofs to prove properties.  Today Ankit joined us to present Mathematical Programming Modulo Strings, his recent FMCAD21 paper.  This presentation can be viewed as an "extended" version of the 10-minute presentation he gave at that conference.   - Ankit Kumar: https://www.khoury.northeastern.edu/people/ankit-kumar/ - FMCAD21: https://fmcad.org/FMCAD21/ - Pete Manolios: https://www.ccs.neu.edu/~pete/ - The Boston Computation Club: https://bstn.cc/ - Video form of this talk: https://youtu.be/doeauZv3JrE
45:41
October 15, 2021
10/09/21: Types in PL Research vs Types in Julia with Julia Belyakova
Julia Belyakova is a PhD student in computer science at Northeastern University, where she is currently focused on formalizing the Julia programming language.  Julia's primary primary research interests are programming languages and type theory, although she also enjoys theorem proving, generic programming, functional and object-oriented programming, software engineering, programming by contracts, software testing, and as of late, human aspects of software engineering and the interaction between humans and programming languages.  In short: Julia is quite the polymath.  Today she joined us to discuss the Julia Language's type system, in contrast to type systems in other languages, and in programming language research papers.  This was a really fun talk and also a very accessible entry-point to the topic for those without a strong PL background.  We hope you enjoy!   - Julia Belyakova's homepage: https://julbinb.github.io/ - The Julia language: https://julialang.org/ - The Boston Computation Club: https://bstn.cc/ - This talk but as a video: https://youtu.be/JNxrX2XvZIY
01:07:18
October 10, 2021
09/12/21: More Category Theory for More Cybernetics with Matteo Capucci
Matteo Capucci is a PhD student at the University of Strathclyde in the MSP group, advised by Neil Ghani and Scott Cunningham.  He studies Applied Category Theory (aka ACT), specifically Categorical Cybernetics and Applied Topos Theory.  Today Matteo joined us to discuss the foundations of Categorical Cybernetics, in a wide-ranging conversation touching on lenses, feedback systems, dynamical systems, and more.  The conversation extended these ideas to distributed systems, model checking, cyber-physical systems, program sketching, and quantum systems, among other things.  This one was an absolute blast live and we hope you enjoy it after the fact in its audio form.   You can read more about Matteo HERE.  You can read more about the Boston Computation Club HERE. You can watch this presentation in video form on YouTube HERE.
01:16:38
September 12, 2021
08/28/21: Compilation Techniques for Reconfigurable Analog Devices with Sara Archour
Sara Archour recently completed a PhD at MIT/CSAIL in Computer Science and Artificial Intelligence, and is joining Stanford University (EE) as an Associate Professor. Sara studies analog computers - how to build them; how to use them; what they're good for; how to stick them together to do interesting things; and so forth. Today, Sara joined us to discuss these things, with a smidgeon of career advice at the end :) Sara Archour's homepage can be found HERE. This presentation can also be viewed in video format HERE.
01:01:49
August 28, 2021
07/30/21: Structural Attacks on Local Routing in Payment Channel Networks with Ben Weintraub
Ben Weintraub is a PhD student in computer science at Northeastern University, advised by Cristina Nita-Rotaru.  Today he joined us to present his paper *Structural Attacks on Local Routing in Payment Channel Networks*, which was accepted to the 2021 Euro S&P Blockchain workshop.  This is a fascinating paper studying a startlingly powerful attack strategy against payment channel networks.  We really enjoyed Ben's presentation and the subsequent discussion, which involved PhD students in computer science and economics, in addition to professional engineers and mathematicians.  You can learn more about Ben and his work here: https://ben-weintraub.com/ This talk is also available on YouTube HERE.
58:42
July 30, 2021
07/24/21: Linear Haskell with Artem Pelenitsyn
Artem is a PhD student in computer science at Northeastern University, advised by Professor Jan Vitek.  Prior to joining the Khoury PhD program, Artem worked as an Assistant Professor at Southern Federal University in Russia, where he earned his MSc and BSc.  Today Artem joined us to present about linear Haskell, a version of / feature-set for Haskell allowing "linear" types.  Artem explained linearity, why it might be useful, and why adding linear types to an existing (non-linear) language can be difficult - with Haskell as a case study. You can watch a video version of Artem's talk [HERE]. You can learn more about Artem [HERE].
01:17:43
July 24, 2021
07/10/21: The Illogical Nature of Chemical Nomenclature [Biology Café #1]
"Café Events" are small, informal events where we discuss our research and our (perhaps, unfulfilled) research interests.  Our ongoing "Biology Café" series is exactly that, but focused on topics at the intersection of biology and computation.  Today's presentation by Sophia von Hippel covered the open, and very important, problem of developing a mathematical language for chemistry.  Chemistry has a great diagrammatic syntax, but a (or, multiple) terrible prose representation.  Sophia presents the problem in clear and careful detail with examples, and then we discuss.  TL;DR: we don't solve the problem.  Sophia is currently pursuing a BS in Chemistry at the University of Arizona (with Honors).  She previously interned with NASA and served as a COVID-19 vaccinator.  She is also an Emergency Medical Technician with the University of Arizona Emergency Medical Services (UAEMS).  You can also view this presentation as a video on YouTube [HERE].
01:02:55
July 10, 2021
06/13/21: Modeling Content and Context with Deep Relational Learning with Maria Leonor Pacheco
Maria is a PhD student in Computer Science at Purdue University, where she works with Dr. Dan Goldwasser on neural-symbolic methods to model natural language discourse, among other things.  Today she presented her recent project DRaiL, "an open-source declarative framework for specifying deep relational models, designed to support a variety of NLP scenarios."   [ Paper ] [ Maria ][ Code ][ Video ][ Boston Computation Club ]
55:56
June 13, 2021
05/29/21: Homotopy Type Theory 101 with Carlo Angiuli
Carlo is a postdoc in the Computer Science Department at Carnegie Mellon University, where he received a Ph.D. under Robert Harper. He previously studied at Indiana University Bloomington, where he received a B.S. in Mathematics and in Computer Science.  Today Carlo joined us to discuss Homotopy Type Theory, a new foundations for mathematics based on a recently-discovered connection between Homotopy Theory and Type Theory.  Carlo explains intuitively what Homotopy Type Theory is and how it is used, and then goes over various possible implementations of Homotopy Type Theory in a theorem-proving environment such as Coq.  Finally, he fields questions on Homotopy Type Theory, theorem-proving, and other topics from the Boston Computation Club audience. The Boston Computation Club can be found at https://bstn.cc/ Carlo Angiuli can be found at https://www.cs.cmu.edu/~cangiuli/ A video recording of this talk is available at https://youtu.be/VMqF06fDljU For more on Homotopy Type Theory refer to https://homotopytypetheory.org/book/
01:04:55
June 9, 2021