Events

June 16, 2025

A renewed focus on the structure of concurrent data structures

Mike Spear

Lehigh University

4:00P

- 5:00P

Location

Zoom

Virtual

Add to Calendar 2025-06-16 16:00:00 2025-06-16 17:00:00 America/New_York A renewed focus on the structure of concurrent data structures Abstract:It is common for concurrent data structure designers to treat the limitations of their chosen synchronization mechanism as the most important design characteristic. This can overly constrain programmers, especially if too much emphasis is placed on employing a single linearizing compare-and-swap.In this talk, I will discuss recent innovations in synchronization, and then argue that they enable programmers to place their focus back where it belongs: on the structure of concurrent data structures. I will describe exoTM, one (of many!) recent synchronization frameworks that blurs the line between transactional memory and multi-word compare-and-swap (MCAS). ExoTM lets programmers think of synchronization in terms of coarse-grained transactions, while retaining the ability for low-level optimization. I will then describe the Skip Hash, a shockingly simple and easy-to-verify concurrent ordered map that uses exoTM's composability and novel atomicity features to reduce many operations' complexity to O(1).---Bio:Michael Spear is an associate professor in the Computer Science and Engineering Department at Lehigh University. He received a BS from the United States Military Academy and a PhD from the University of Rochester. His research focuses on issues related to scalability and programmability for shared and distributed memory systems.---Contact:Bruce Hoppebehoppe@mit.edu---Event URL: https://fastcode.org/events/fastcode-seminar/mike-spear/---Location: Zoom (register here<https://mit.zoom.us/meeting/register/jsjIZv1HTmSW5Pp02Zxf0g>)  TBD

June 24, 2025

Boltz: Towards a Unified Approach for Biomolecular Interaction Modeling

Gabriele Corso and Jeremy Wohlwend

Part Of

Boston IEEE/ACM 2024 -2025

7:00P

- 9:00P

Location

32-G449

Add to Calendar 2025-06-24 19:00:00 2025-06-24 21:00:00 America/New_York Boltz: Towards a Unified Approach for Biomolecular Interaction Modeling 7:00 PM, Tuesday, 24 June 2025MIT Room 32-G449 (Kiva) and online via ZoomBoltz: Towards a Unified Approach for Biomolecular Interaction ModelingGabriele Corso and Jeremy WohlwendPlease register in advance for this seminar even if you plan to attend in person athttps://acm-org.zoom.us/webinar/register/9317463194385/WN_U1yhFblMQO-I4n1cBhkBFwAfter registering, you will receive a confirmation email containing information about joining the webinar.Indicate on the registration form if you plan to attend in person.  This will help us determine whether the room is close to reaching capacity. We plan to serve light refreshments (probably pizza) beforethe talk starting at around 6:30 pm. Letting us know you will come in person will help us determine how much pizza to order.                We may make some auxiliary material such as slides and access to the recording available after the seminar to people who have registered.Abstract:Understanding biomolecular interactions is fundamental to advancing fields like drug discovery and protein design. In this talk, we introduce Boltz-1, an open-source deep learning model incorporatinginnovations in model architecture, speed optimization, and data processing achieving AlphaFold3-level accuracy in predicting the 3D structures of biomolecular complexes. Boltz-1 demonstrates aperformance on-par with state-of-the-art commercial models on a range of diverse benchmarks, setting a new benchmark for commercially accessible tools in structural biology. By releasing the training andinference code, model weights, datasets, and benchmarks under the MIT open license, we aim to foster global collaboration, accelerate discoveries, and provide a robust platform for advancing biomolecularmodeling.Bio: Jeremy Wohlwend and Gabriele Corso are PhD students at the MIT Computer Science and Artificial Intelligence Laboratory where their research focuses on developing novel ML frameworks to tacklechallenging problems in drug discovery and immunology.Directions to 32-G449 - MIT Stata Center, 32 Vassar Street, Cambridge, MA: Please use the main entrance to the Stata Center at 32 Vassar Street (the entrance closest to Main street) as those doors will beunlocked. Upon entering, proceed to the elevators which will be on the right after passing a large set of stairs and a MITAC kiosk. Take the elevator to the 4th floor and turn right, following the hall to anopen area; 32-G449 will be on the left. Location of Stata on campus map.This joint meeting of the Boston Chapter of the IEEE Computer and EMBS Societies and GBC/ACM will be hybrid (in person and online).Up-to-date information about this and other talks is available online at https://ewh.ieee.org/r1/boston/computer/. You can sign up to receive updated status information about this talk and informationalemails about future talks at https://mailman.mit.edu/mailman/listinfo/ieee-cs, our self-administered mailing list.  TBD

July 09, 2025

Perfusion Imaging via Mass Transport

Peirong Liu

Martinos Center for Biomedical Imaging, MGB

Part Of

Biomedical Imaging and Analysis 2024 - 2025

11:00A

- 12:00P

Location

32-370

Add to Calendar 2025-07-09 11:00:00 2025-07-09 12:00:00 America/New_York Perfusion Imaging via Mass Transport Perfusion imaging (PI) quantifies blood flow through the brain parenchyma by serial imaging. The resulting quantitative measures help clinical diagnosis and clinical decision-making, for example, to assess acute strokes and brain tumors. Despite its benefits, the widespread use of PI still faces many challenges: (1) Current existing perfusion analysis approaches mostly depend on the arterial input function (AIF), while the selection procedure for AIF is not unified and is only a coarse approximation of the actual input tracer; (2) These approaches are performed on individual voxels, thereby disregarding spatial dependencies of tracer dynamics. In this talk, I will present a series of our PDE-based approaches from a mass transport perspective, to better understand the relations between tracer’s spatial-temporal transport and strokes, meanwhile avoiding the need of approximating AIF. We (1) proposed a variable-coefficient advection-diffusion PDE framework, which models the tracer transport from both optimization- and learning-based perspectives; (2) introduced constraint-free representations of physically meaningful velocity and diffusion fields in the tracer’s PDE system. Looking forward, I am excited to explore advanced, physics-informed formulations for dynamic modeling in real-world clinical settings. A key focus will be the development of interactive models capable of real-time prediction of patient outcomes following interventional treatments. By bridging theoretical foundations and practical applications, my long-term vision is to strengthen the robustness of machine learning, address real-world challenges in clinical data, and ultimately contribute to a safer, more reliable, and accessible healthcare system.  TBD

September 23, 2025

Explicit Lossless Vertex Expanders

Rachel Zhang

CSAIL, EECS

Part Of

Theory of Computation (ToC) 2025 - 2026

4:15P

- 5:15P

Location

32-G449

Refreshments at 4:00 PM

Add to Calendar 2025-09-23 16:15:00 2025-09-23 17:15:00 America/New_York Explicit Lossless Vertex Expanders We give the first explicit construction of lossless vertex expanders. These are d-regular graphs where every small set S of vertices has (1-eps)d|S| distinct neighbors. Previously, the strongest known explicit vertex expanders were those given by Ramanujan graphs, whose spectral properties imply that every small set S of vertices has 0.5d|S| distinct neighbors.Based on joint work with Jun-Ting Hsieh, Ting-Chun Lin, Alex Lubotzky, Sidhanth Mohanty, Ryan O'Donnell, and Assaf Reiner. TBD