          Agree & Join LinkedIn
        
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
🚀 Excited to share that our paper 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝑺𝒒𝒖𝒆𝒆𝒛𝒊𝒏𝒆𝒔𝒔: 𝑰𝒏𝒇𝒐𝒓𝒎𝒂𝒕𝒊𝒐𝒏-𝑻𝒉𝒆𝒐𝒓𝒆𝒕𝒊𝒄 𝑭𝒐𝒖𝒏𝒅𝒂𝒕𝒊𝒐𝒏𝒔 𝒐𝒇 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝑺𝒐𝒇𝒕𝒘𝒂𝒓𝒆 𝑻𝒆𝒔𝒕𝒂𝒃𝒊𝒍𝒊𝒕𝒚 received a 𝐬𝐭𝐫𝐚𝐢𝐠𝐡𝐭 𝐚𝐜𝐜𝐞𝐩𝐭𝐚𝐧𝐜𝐞 𝐚𝐭 𝐀𝐒𝐄 2026!

Software testability has been a foundational concept in software engineering for decades, shaping how we reason about fault detection, debugging, and software quality. Yet, despite rapid advances in quantum computing, there has been no formal notion of testability for quantum software.

In this work, we take a first step toward closing that gap by introducing the 𝐟𝐢𝐫𝐬𝐭 𝐟𝐨𝐫𝐦𝐚𝐥𝐢𝐬𝐚𝐭𝐢𝐨𝐧 𝐨𝐟 𝐪𝐮𝐚𝐧𝐭𝐮𝐦 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐭𝐞𝐬𝐭𝐚𝐛𝐢𝐥𝐢𝐭𝐲. Building on classical software engineering and quantum information theory, we define 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝑺𝒒𝒖𝒆𝒆𝒛𝒊𝒏𝒆𝒔𝒔—an information-theoretic measure that captures how much information about a fault is lost as it propagates through a quantum program.

The key idea is simple: if faults are masked before they reach observable outcomes, the software becomes harder to test. Quantum Squeeziness quantifies this phenomenon, providing a rigorous foundation for reasoning about fault propagation, observability, and test effectiveness in quantum systems. Across 50,000+ mutants, we show that higher squeeziness strongly predicts lower fault detectability, while our optimized 𝑭𝒂𝒔𝒕𝑺𝒒𝒖𝒆𝒆𝒛𝒊𝒏𝒆𝒔𝒔 technique achieves a 16.9× speedup with 95% accuracy.

Beyond testing and debugging, we believe this opens new research directions at the intersection of software engineering, quantum information theory, and quantum reliability, with potential applications in 𝐞𝐫𝐫𝐨𝐫 𝐦𝐢𝐭𝐢𝐠𝐚𝐭𝐢𝐨𝐧, 𝐟𝐚𝐮𝐥𝐭 𝐭𝐨𝐥𝐞𝐫𝐚𝐧𝐜𝐞, 𝐚𝐧𝐝 𝐝𝐞𝐬𝐢𝐠𝐧-𝐟𝐨𝐫-𝐭𝐞𝐬𝐭𝐚𝐛𝐢𝐥𝐢𝐭𝐲 𝐨𝐟 𝐟𝐮𝐭𝐮𝐫𝐞 𝐪𝐮𝐚𝐧𝐭𝐮𝐦 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞.

Very proud of this contribution and grateful to my co-authors and collaborators throughout the journey.

See you in Munich for ASE 2026! 🇩🇪 Congratulations Héctor Menéndez and Mohammad Reza Mousavi!Fantastic 🎉 congratulations, Avner Bensoussan 👏👏Congratulations Avner! 🥳 To view or add a comment, sign in

            28,079 followers
        Congratulations to CISPA-Faculty Andreas Zeller, who receives the 11th Impact Paper Award of his career at the ACM International Conference on the Foundations of Software Engineering in Montréal today.

Andreas is honored for the SZZ-algorithm, which he first presented in 2005, together with Jacek Śliwerski and Thomas Zimmermann. According to the award citation, their algorithm „enabled a new generation of empirical studies, tools, and techniques for understanding and improving software quality.”

As Andreas recalls, “It was a small thing at a workshop that we didn’t think much of at the time. But after we presented our technique, hundreds of researchers picked it up and used it to conduct empirical studies. Companies like Microsoft and Google also used it and were thus able to determine under which conditions the most errors occurred.”

In our interview, Andreas also looks beyond the SZZ-algorithm to talk about his view of the academic system, his pioneering work beyond well-established fields of research, and his recipe for academic success. At the conference, Andreas was also elected into the newly formed SIGSOFT Software Engineering Academy.

    To view or add a comment, sign in
The walruses visited our group at the Technische Universität München yesterday!😉

Paul K. Faehrmann and Johannes Frank from Walrus Computing develop software that compiles high-level quantum circuits into fault-tolerant instructions for future quantum hardware. During their visit, they gave us insights into their work, the challenges that still lie ahead on the road to fault-tolerant quantum computing, and how software can help bridge the gap between algorithms and hardware. Needless to say, we fully agree that software is going to play a crucial role in realizing FTQC! 👍

A particular shoutout goes to Piper Draw, their open-source web application for creating pipe diagrams for topological quantum error correction. It is a fantastic tool—and one that we are already using in our own work.

Huge thanks for coming over! It is always a pleasure to exchange ideas with fellow quantum software enthusiasts. 🙂 To view or add a comment, sign in It’s time to celebrate! Technical publications are loudly boasting how recent ground-shaking innovations will eliminate any future need for costly programmers. The era of direct interaction between ordinary users and computers has begun!

Mind you, all of this happened 60 years ago. I wonder if any of the similar talk going on now may also encounter unforeseen barriers?

If you are curious what one of the greatest software engineering minds of all time, Bertrand Meyer, has to say about the good, the bad, and the ugly of LLM-assisted software development, the Association for Computing Machinery recently sponsored an excellent interview with Meyer on the timely (and, surprisingly to many, somewhat ancient) topic of how to make computer power easily, quickly, and safely accessible to more folks.

My thanks to Josephine Giaimo for pointing out this video, and to the video’s sponsor, ACM, Association for Computing Machinery. Bertrand Meyer, it was great to see a video from you again, and to hear Will Tracz introduce you. To view or add a comment, sign in The Substack deep dive for Chapter 2 is now available. The Age of Calculation: From Pascal to Babbage

Chapter 2 defines the transition from human reasoning to mechanical enforcement. Embedding rules and symbolic operations into physical systems establishes the trajectory of intelligent devices. The deeper Substack analysis expands this transition and demonstrates why these early constraints continue to govern modern computational design. This analysis identifies the anchor point that redefines the lineage of intelligent devices for professionals working with systems, models, or structured logic. Assess the architectural implications for your current work. Integrate the findings into your analytical approach.

Read the deeper analysis on Substack: The Age of Calculation: From Pascal to Babbage https://lnkd.in/ghBkvmKQ To view or add a comment, sign in Last week I was in Lisbon for ACM DEBS 2026. As always, DEBS was a great opportunity to catch up on the latest research in distributed systems, and in stream processing in particular, in an environment that strongly encourages discussion and interaction!

SHIELD: Evolutionary Synthesis of Privacy-Preserving Pipelines for Live Stream Data Sharing (together with Silvia Perelli and Eric Medvet) and Chill: Runtime Reconfiguration of Windowed Stream Aggregates with Semantic Guarantees (together with Jingyu Liu)

SHIELD is a framework based on Evolutionary Algorithms that automatically designs stream-processing pipelines for data anonymization. The goal is to preserve privacy while at the same time minimizing the impact of anonymization on the utility of downstream applications that rely on the data.

Chill is an algorithm that allows practitioners to define stream aggregates using a set of window sizes and a set of window advances, rather than a single configuration only, and to switch among them at runtime. The approach supports both at-most-once and exactly-once semantics, enabling trade-offs between computational cost, result freshness, and result completeness.

If you want to know more, you can find the papers here: SHIELD (https://lnkd.in/eRSrbkb6) and Chill (https://lnkd.in/eZu_jQYy) and the slides for SHIELD here: https://lnkd.in/e9UwjDQ5.

[The original blog post can be found here: https://lnkd.in/euensQ5F] To view or add a comment, sign in Happy to share our paper, “Decoding Refactoring from Commit Messages: A Multi-View Mixture-of-Experts Approach,” published in the Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2026). 📄 https://lnkd.in/eGfCyNT6 To view or add a comment, sign in

            281 followers
        We're releasing Anna/DataMatrix an open-source knowledge infrastructure platform.

This is designed to give universities, research labs, engineering organizations, and government institutions the ability to create transparent, domain-specific knowledge systems using their own collections of open data.

We know that space and time are not separate things. They exist as part of a larger structure: spacetime.

A document by itself is only a point. Its meaning comes from the relationships around it: what it references, what builds on it, what implements it, and how it evolves.

A research paper is connected to datasets. A dataset is connected to code. Code is connected to engineering systems. Engineering systems are connected to real-world applications.

The structure of those relationships creates a kind of geometry of knowledge. To view or add a comment, sign in Extended paper submission deadline - July 13, 2026.

CASCON 2026 will be held at York University’s Keele campus, which is centrally located in the Greater Toronto Area, Ontario, Canada. The conference will feature world‑class keynote speakers, inspiring technical paper presentations, stimulating panels, workforce‑building tutorials, community‑building workshops, dynamic poster sessions, and terrific networking opportunities.

CASCON is a premier academic and industrial conference where attendees can explore cutting‑edge research, trailblazing practices, and collaboration opportunities in software and computing.

Over the years, CASCON has fostered a thriving community of software practitioners, developers, researchers, industry leaders, and policymakers who share knowledge, explore new technologies, exchange insights, investigate emerging trends, and showcase next‑generation prototypes and solutions.

CASCON 2026 will focus on the dynamic and rapidly evolving modern computing landscape, including the convergence of generative AI, advanced automation, hybrid cloud computing, high‑performance computing, quantum computing, and responsible & sustainable computing. This landscape is exciting and disruptive, with unparalleled opportunities as well as ethical and regulatory challenges with your contributions and participation. Professor @ CSE, IIT Ropar | Teacher | Systems Researcher | Editor Wiley CCPE | Assoc Editor IEEE TSC. The 36th IEEE International Conference on Collaborative Advances in Software and Computing (CASCON) is being held at York University in beautiful Toronto, from November 9 - 12, 2026. Paper submissions due - June 29, 2026. Author notifications - August 10, 2026. More details available on the website - https://lnkd.in/gw7KNNCg.

Akramul Azim, PhD, PEng Luiz Fernando Bittencourt To view or add a comment, sign in

            178,253 followers
        Daniela Rus, CSAIL Director & MIT Prof., recently wrote an article w/Prabhakar Raghavan about how hardware breakthroughs & advances in software, algorithms, & system design have reshaped the world.

Read their piece for the National Academy of Engineering: https://lnkd.in/gxnJaieY To view or add a comment, sign in New article: The Feynman Guide to the CAP Theorem

Demystifying Consistency, Availability, and Partition Tolerance in distributed systems using simple analogies and the Richard Feynman Technique.

        973 followers
      
                  Create your free account or sign in to continue your search
                
                  or
                
                New to LinkedIn? Join now
              
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.