19/02/2026 SQUARE Talk – “A Type System for Privacy-by-Design with Dynamic Consent” by Chinamyi Baramashetru
Chinamyi Baramashetru is visiting SQUARE. In this SQUARE talk, Chinamyi will present her work on a type system for privacy-aware programming, focusing on enforcing GDPR-style consent and data-flow constraints through a[…]
10/02/2026 SQUARE Talk – “A brief introduction to the Java Memory Model and its use for writing thread-safe code” by Raúl Pardo Jimenez
In this SQUARE talk Raúl will discuss writing thread safe code using the Java Memory Model. SPEAKER: Raúl Pardo Jimenez, Assoc. prof. at ITU. ABSTRACT: In this talk, I will give[…]
27/01/2026 SQUARE Talk – “Using ITU’s HPC cluster for computational experiments” by Peter Sestoft
In this talk, Peter will give some concrete examples of how to use ITU’s HPC cluster. SPEAKER: Peter Sestoft, prof. at ITU. ABSTRACT: : ITU’s HPC cluster offers access to a[…]
20/01/2026 SQUARE Talk – “Introduction to GTSAM: Factor Graph Optimization for Visual SLAM” by Olaya Álvarez-Tuñón
Olaya will give a practitioner’s introduction to GTSAM, a staple in vision-based SLAM. SPEAKER: Olaya Álvarez-Tuñón ABSTRACT: This talk provides an introduction to GTSAM (Georgia Tech Smoothing And Mapping), a library[…]
13/1/2026 SQuaRe Talk – “Cost of Soundness in Mixed-Precision Tuning” by Debasmita Lohar
In this year’s first Square Talk, Debasmita discusses how sound mixed-precision tuning can achieve performance comparable to dynamic analysis while preserving correctness guarantees. This is joint work with Anastasia Isychev (TU[…]
2/12/2025 SQUARE Talk – ” How to Value Open Source Contributions? An Institutional Perspective from CERN” by Julie Skoven Hinge
In this year’s last SQUARE talk, Julie will examine the scale and broader impact of CERN’s contributions to open-source software. SPEAKER: Julie Skoven Hinge, M.Sc. student at ITU. TITLE: How to[…]
18/11/2025 SQUARE Talk – “MAC-VO: Metrics-aware Covariance for Learning-based Stereo Visual Odometry” by Olaya Alvarez Tunon
Olaya will discuss pose-graph estimation from visual odometry using metric-aware learning. SPEAKER: Olaya Alvarez Tunon, postdoc at ITU and AI & Robotics engineer at EIVA. TITLE: MAC-VO: Metrics-aware Covariance for Learning-based[…]
11/11-2025 SQUARE Talk – “Certified SLAM – An Overview” by Ola Rønning
Ola will present an overview of certification for graph-based SLAM algorithms. SPEAKER: Ola Rønning, postdoc at ITU. TITLE: Certified SLAM — An Overview ABSTRACT: When cast as an optimization problem, SLAM[…]
4/11/2025 SQUARE Talk – “Approximating Quantitative Information Flow with Gaussian-Mixtures” by Andrzej Wąsowski
Andrzej Wąsowski will present recent work on quantifying information leakage in probabilistic programs using Gaussian mixture semantics. This is joint work with Francesca Randone (TU Wien) and Raúl Pardo (ITU). SPEAKER:[…]
28/10/2025 – Talk: “ProbTest: Unit Testing for Probabilistic Programs” by Raúl Pardo
Raúl Pardo will present his SEFM 2025 paper on testing probabilistic programs, a joint work with Katrine Christensen and Mahsa Varshosaz. SPEAKER: Raúl Pardo, assoc. prof. at ITU. TITLE: ProbTest: Unit Testing[…]