BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Register Sign in

Unlock the full InfoQ experience

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources.

Log In

or

Don't have an InfoQ account?

Stay updated on topics and peers that matter to youReceive instant alerts on the latest insights and trends.
Quickly access free resources for continuous learningMinibooks, videos with transcripts, and training materials.
Save articles and read at anytimeBookmark articles to read whenever youre ready.

Logo - Back to homepage

News Articles Presentations Podcasts Guides

Topics

Development

Featured in Development

Expanding Swift from Apps to Services

Cory Benfield discusses the evolution of Swift from an app language to a critical tool for secure, high-scale services. He explains how Swift’s lack of a garbage collector eliminates tail latency and shares how its "zero-cost abstractions" rival C performance. He shares Apple’s roadmap for incremental adoption and demonstrates groundbreaking new interoperability for C++ and Java ecosystems.

All in development

Architecture & Design

Featured in Architecture & Design

Read-Copy-Update (RCU): The Secret to Lock-Free Performance

Innovative software engineer with expertise in optimizing concurrency through advanced techniques like Read-Copy-Update (RCU). Proven track record of boosting read performance by over 110% in read-heavy workloads. Skilled in leveraging RCU principles across production systems, enhancing architecture efficiency, and streamlining data handling to maximize scalability and minimize overhead.

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

Busting AI Myths and Embracing Realities in Privacy & Security

Katharine Jarmul keynotes on common myths around privacy and security in AI and explores what the realities are, covering design patterns that help build more secure, more private AI systems.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

So You’ve Decided To Do a Technical Migration

Sophie Koonin discusses the realities of large-scale technical migrations, using Monzo’s shift to TypeScript as a roadmap. She explains how to handle "bends in the road," from documentation and tooling to setting measurable milestones. Sophie shares vital lessons on balancing technical debt with feature work and provides a framework for deciding if a migration is truly worth the effort.

All in culture-methods

DevOps

Featured in DevOps

[Video Podcast] Frictionless DevEx with Nicole Forsgren

In this episode, Thomas Betts talks with Dr. Nicole Forsgren, the author of Accelerate and one of the most prominent and important minds in DevOps and developer productivity. The conversation is about identifying and removing developer friction, the subject of her new book, Frictionless.

All in devops

Events

Helpful links

Choose your language

InfoQ Architect Certification

Join Luca Mezzalira for this 5-week online cohort. Master socio-technical architecture leadership.

Register Interest.

QCon London 2026

Learn what works in AI, architecture, data, security & FinTech.

Early Bird ends March 10.

Learn how leading engineering teams run AI in production—reliably, securely, and at scale.

Early Bird ends March 10.

QCon San Francisco

Learn what's next in AI and software, from teams already doing it.

Early Bird ends March 10.

InfoQ Homepage Interviews Christian Colombo on FSM-based Monitoring and Runtime Verification

Christian Colombo on FSM-based Monitoring and Runtime Verification

Download

17:56

Bio

Christian is an assistant lecturer and a PhD student at the University of Malta with published papers in the area of runtime verification. He created the monitoring tool Larva and applied it to an industrial Java system handling financial transactions and is coordinating a national research project on applying monitoring techniques to industrial financial systems having compensating transactions.

About the conference

The Erlang Factory is an event that focuses on Erlang - the computer language that was designed to support distributed, fault-tolerant, soft-realtime applications with requirements for high availability and high concurrency. The main part of the Factory is the conference - a two-day collection of focused subject tracks with an enormous opportunity to meet the best minds in Erlang and network with experts in all its uses and applications.

Sep 23, 2011

BT