BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Logo - Back to homepage

News Articles Presentations Podcasts Guides

Topics

Development

Featured in Development

Quantum Shift: Rewiring the Tech Landscape

Teena Idnani explains the core concepts of quantum computing, its transformative potential across industries (pharmaceuticals, finance, etc.), and the current state of quantum technology. She addresses the threats (breaking RSA encryption) and opportunities, offering practical guidance on how software developers, architects, and engineering leaders can prepare for the coming quantum revolution.

All in development

Architecture & Design

Featured in Architecture & Design

Changing the Model: Why and How We Re-Architected Slack

Ian Hoffman discusses Slack's architectural evolution from workspace-centric to Unified Grid. He explains scaling challenges & Enterprise Grid complexities, and shares lessons learned during this significant architectural shift, drawing insightful parallels to the history of astronomy and emphasizing the importance of questioning foundational assumptions in software development.

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

GenAI for Productivity

Mandy Gu discusses Wealthsimple's journey leveraging generative AI, starting with employee productivity and extending to client-facing operational optimization. Learn about their LLM gateway, PII redaction, self-hosting, RAG, and the evolution of their build vs. buy strategy.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Taming Flaky Tests: Trisha Gee on Developer Productivity and Testing Best Practices

In this podcast, Shane Hastie, Lead Editor for Culture & Methods, spoke with Trisha Gee about the challenges and importance of addressing flaky tests, their impact on developer productivity and morale, best practices for testing, and broader concepts of measuring and improving developer productivity.

All in culture-methods

DevOps

Featured in DevOps

Implement the EU Cyber Resilience Act's Requirements to Strengthen Your Software Project

Eddie Knight, OSPO lead at Sonatype, discusses how the EU Cyber Resilience Act can help with improving your software project’s security and in the same time to slow down the alarming acceleration of software supply chain attacks.

All in devops

Events

Helpful links

Choose your language

InfoQ Dev Summit Boston

Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.

InfoQ Dev Summit Munich

Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.

QCon San Francisco

Explore insights, real-world best practices and solutions in software development & leadership. Register now.

QCon AI New York

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

InfoQ Homepage Interviews Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Download

37:00

Bio

Adam Wick (@acwpdx ) leads the systems software group at R&D company Galois, Inc. Galois does research in formal methods, programming languages, OS, compiler engineering, and security. Adam has worked in a variety of fields from HW synthesis to web apps, but has recently focused on network and OS security. Amongst his current jobs, he also maintains HaLVM and oversees Galois' projects using it..

About the conference

Software is Changing the World. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.

Jan 08, 2016

Interview with

Adam Wick

by

Werner Schuster

BT