ACCU on Sea 2026 SESSION ANNOUNCEMENT: Concurrency - All the Way Down by Ofek Shilon

https://accuonsea.uk/2026/sessions/concurrency-all-the-way-down/

Register now at https://accuonsea.uk/tickets/

#concurrency #cpp #programming #coding

ACCU on Sea 2026 SESSION ANNOUNCEMENT: Concurrency - All the Way Down by Ofek Shilon

https://accuonsea.uk/2026/sessions/concurrency-all-the-way-down/

Register now at https://accuonsea.uk/tickets/

#concurrency #cpp #programming #coding

Backpressure is all you need

Hot takes and cold truths on software, startups, and the lies we tell ourselves.

Lucas F. Costa

"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018] (2018)

https://www.youtube.com/watch?v=LRn_nPfti-Y

#pwlconf #concurrency #sessiontypes

"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018]

YouTube

#Concurrency bugs rarely fail loudly — they leak resources, stall requests, & waste CPU. @BalaRawool demonstrates how #StructuredConcurrency can short-circuit failures and keep workflows consistent in #SpringBoot.

Make your services more resilient: https://javapro.io/2026/02/19/virtual-threads-structured-concurrency-and-scoped-values-putting-it-all-together/

#Java

LISTEN/NOTIFY is elegant—but NOTIFY grabs a cluster-wide exclusive lock that can cascade into timeouts under high concurrency. Jimmy Angelakos, (@vyruss) PostgreSQL Contributor, shares a real-world fix at POSETTE: An Event for Postgres 2026.

Add Livestream 4 on Thu 18 Jun to your calendar & join us in the virtual hallway track during Jimmy's talk
https://posetteconf.com/2026/talks/listen-carefully-how-notify-can-trip-up-your-database/

#PosetteConf #PostgreSQL #Postgres #Database #Community #OpenSource #ListenNotify #Concurrency #Locking

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

Quint, an executable specification language for reliable systems

Quint is an executable specification language. Write specs you can run, simulate, and verify, so subtle bugs get caught before reaching production.

This was a really nice episode by #computerphile. Earlier I knew only about race conditions. Now I know what sequential consistency and how to reason about race conditions.

https://www.youtube.com/watch?v=E3hvLz717zM

#multithreading #concurrency

Why Multi-Threaded Code Can Sometimes Misbehave (Weak Memory Concurrency) - Computerphile

YouTube

The IWOMP 2026 Call for Papers has been extended to June 5th!

The 22nd International Workshop on OpenMP takes place October 7-9, 2026 at TU Wien in Vienna, Austria. The theme this year is "OpenMP: Adaptability for Heterogeneous Multi-Device Systems."

Learn more and submit: https://www.iwomp.org/call-for-papers/
#IWOMP2026 #OpenMP #HPC #concurrency

ACCU on Sea 2026 SESSION ANNOUNCEMENT: Fearless Concurrency in C++ by Tristan Brindle

https://accuonsea.uk/2026/sessions/fearless-concurrency-in-cpp

Register now at https://accuonsea.uk/tickets/

#concurrency #cpp #programming #coding

ACCU on Sea