Jules Jacobs

Publications

Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom

Jules Jacobs, Stephanie Balzer, Robbert Krebbers

code

ECOOP'22

A Self-Dual Distillation of Session Types

Jules Jacobs

pdf slides code bibtex

POPL'22

Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic

Jules Jacobs, Stephanie Balzer, Robbert Krebbers

pdf slides code bibtex

Neuro-biology of Aging

Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's disease

Firat Kara, Michael E. Belloy, Rick Voncken, Zahra Sarwari, Yadav Garima, Cynthia Anckaerts, An Langbeen, Valerie Leysen, Disha Shah, Jules Jacobs, Julie Hamaide, Peter Bols, Johan Van Audekerke, Jasmijn Daans, Caroline Guglielmetti, Kejal Kantarci, Vincent Prevot, Steffen Roßner, Peter Ponsaerts, Annemie Van der Linden, Marleen Verhoye

bibtex

@article{KARA2021,
  title = {Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's disease},
  journal = {Neurobiology of Aging},
  year = {2021},
  issn = {0197-4580},
  doi = {https://doi.org/10.1016/j.neurobiolaging.2021.02.011},
  url = {https://www.sciencedirect.com/science/article/pii/S019745802100066X},
  author = {Firat Kara and Michael E. Belloy and Rick Voncken and Zahra Sarwari and Yadav Garima and Cynthia Anckaerts and An Langbeen and Valerie Leysen and Disha Shah and Jules Jacobs and Julie Hamaide and Peter Bols and Johan {Van Audekerke} and Jasmijn Daans and Caroline Guglielmetti and Kejal Kantarci and Vincent Prevot and Steffen Roßner and Peter Ponsaerts and Annemie {Van der Linden} and Marleen Verhoye},
  keywords = {Alzheimer's disease, amyloid-beta (Aβ), functional connectivity, resting state fMRI, magnetic resonance spectroscopy, Diffusion Tensor Imaging, ovariectomy, ovarian hormones, Tg2576 mice, human APP Swedish, Astrocytes},
  abstract = {ABSTRACT
  Premenopausal bilateral ovariectomy is considered to be one of the risk factors of Alzheimer's disease (AD). However, the underlying mechanisms remain unclear. Here, we aimed to investigate long-term neurological consequences of ovariectomy in a rodent AD model, TG2576 (TG), and wild-type mice (WT) that underwent an ovariectomy or sham-operation, using in vivo MRI biomarkers. An increase in osmoregulation and energy metabolism biomarkers in the hypothalamus, a decrease in white matter integrity, and a decrease in the resting-state functional connectivity was observed in ovariectomized TG mice compared to sham-operated TG mice. In addition, we observed an increase in functional connectivity in ovariectomized WT mice compared to sham-operated WT mice. Furthermore, genotype (TG vs WT) effects on imaging markers and GFAP immunoreactivity levels were observed, but there was no effect of interaction (Genotype x Surgery) on amyloid-beta-and GFAP immunoreactivity levels. Taken together, our results indicated that both genotype and ovariectomy alters imaging biomarkers associated with AD.}
}

POPL'21

Paradoxes of Probabilistic Programming
And How to Condition on Events of Measure Zero with Infinitesimal Probabilities

Jules Jacobs

pdf code slides video bibtex

Talks

Teaching

2022

Assisting with the Program Verification course at RU.

2021

Assisting with the Type Theory course at RU.

2021

Assisting with the MFOCS seminar at RU.

2020

Assisting with the Type Theory course at RU.

2020

Assisting Robbert Krebbers with the supervision of a master thesis project.

2020

Assisted Robbert Krebbers with the Software Verification course at TU Delft.

Mar. 2022	A paradoxical local minimum Jules Jacobs
Feb. 2022	Divisibility of multinomial coefficients Jules Jacobs
Dec. 2021	Coq cheatsheet Jules Jacobs
Dec. 2021	The Cartan-Dieudonné theorem Jules Jacobs
Sep. 2021	Bottom-up rewriting with smart constructors, hereditary substitution & normalization by evaluation Jules Jacobs
Sep. 2021	A quick introduction to quantum programming Jules Jacobs
Aug. 2021	The sign of a permutation is multiplicative Jules Jacobs
May. 2021	Resampling with infinitesimal probabilities Jules Jacobs
May. 2021	Bounded clause elimination Jules Jacobs
Apr. 2021	From regex to NFA and back Jules Jacobs code
Apr. 2021	How to compile pattern matching Jules Jacobs code
Apr. 2021	Arithmetic on Church numerals using a notational trick Jules Jacobs code
Apr. 2021	Gentzen's Perspective on Classical versus Intuitionistic Logic: LK vs LJ Jules Jacobs code
Apr. 2021	Induction on Derivations is Recursion Jules Jacobs code
Mar. 2021	How to prove normalisation of STLC Jules Jacobs
Dec. 2020	A simple proof of the matrix-tree theorem, upward routes, and a matrix-tree-cycle theorem Jules Jacobs
Dec. 2020	Functional Evaluation Contexts An alternative way to handle evaluation contexts in proof assistants like Coq Jules Jacobs code
Dec. 2020	Sorting Real Numbers, Constructively Jules Jacobs
Dec. 2020	Binary Search a Little Simpler & More Generic Jules Jacobs
Sep. 2020	A Magic Determinant Formula for Symmetric Polynomials of Eigenvalues Jules Jacobs code

22 June 2022	A Simple Concurrent Lambda Calculusu For Encoding Session Types TYPES'22
9 June 2022	Paradoxes of Probabilistic Programming PLDI'22 Sigplan Track
9 June 2022	A Self-Dual Distillation of Session Types ECOOP'22
2 May 2022	Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic Iris workshop
28 Apr 2022	Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic CMU plunch
25 Mar 2022	Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic Imperial College London
19 Jan 2022	Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic POPL'22
12 Oct 2021	Mechanized Deadlock Freedom for Session Types FCG, University of Groningen
19 July 2021	Pardoxes of Probabilistic Programming (and deleted scenes) VeriProP'21
12 July 2021	Mechanized Deadlock Fredom for Session Types VEST'21
3 Feb 2021	Deadlock Freedom for Session Types Using Separation Logic SWS Seminar
22 Jan 2021	Paradoxes of Probabilistic Programming POPL'21
25 Nov. 2020	Paradoxes of Probabilistic Programming PL Seminar, TU Delft
23 Nov. 2020	Paradoxes of Probabilistic Programming PPLV, University College London
28 Oct. 2020	Paradoxes of Probabilistic Programming SWS Seminar, Radboud University

Jules Jacobs

Publications

Notes

Talks

Teaching

Academic Service

2022	PLDI'22 AEC
2022	ESOP'22 AEC
2021	VCA for Behavioural Types: Bridging Theory and Practice
2020	Reviewer for ESOP'21.
2020	Reviewer for ICFP'20.