InfoQ Homepage Safety Content on InfoQ

  • Rust Hyper HTTP Library Will Contribute to Make Curl Safer

    Written in C, the popular curl and libcurl tools, which are installed in some six billion devices worldwide, are exposed to well-known security problems arising from the use of a non-memory safe language. A new initiative now aims to provide a memory-safe HTTP/HTTPS backend for curl based on Rust Hyper library.

  • C2Rust Aims to Enable C Transpilation to Rust

    C2Rust is an open-source project that aims to make it possible to migrate C99-compliant code to Rust. Working on this relatively new tool has also allowed its creators to learn a few lessons about the way C code is written and to explore the current limits to Rust possibilities of replacing it at the ABI level.

  • ZetZ is a Formally Verified Dialect of C

    ZetZ, or ZZ for short, is a Rust-inspired C dialect that is able to formally verify your code by executing it symbolically at compile time in a virtual machine. InfoQ has spoken with ZZ creator and maintainer Avid Picciani.

  • Swift 5 Will Enforce Exclusive Access to Memory

    Swift 5 will improve memory safety of Swift programs by ensuring variables cannot be accessed using a different name while they are being modified by another portion of the program. This change has important implications both on existing apps behaviour and on the Swift compiler itself.

  • Checked C Extends LLVM to Bring Spatial Memory Safety to C

    Checked C is an open, collaborative project led by Microsoft Research aimed to extend the C language so programmers can write more reliable programs free of errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. Checked C code can coexist with code written in standard C to ease porting.

  • Electric Cloud Launches Predictive Analytics for DevOps

    ElectricFlow DevOps Foresight uses deep learning to identify patterns in release pipelines, gauge the likelihood of software release success and make recommendations in order to incrementally improve pipeline performance and application quality.

  • How Testers Can Become More Technical

    Testers who are able to successfully apply technical techniques of the testing craft during testing are more valuable; they increase both the quality and productivity of their teams. To become more technical, testers can learn something about code, and they should know how to manipulate and parse text files and how to use the most important analysis tools for their application platform.

  • QConSF - Creating Awesome Teams

    Alexandre Freire’s QConSF session focused on Modern Agile’s framework and suggested ways to implement them within an organization. He emphasized that the underlying culture must support these practices, or the practices will be forced and not lead to creating awesome teams.

  • Anti-Patterns of Agile Leaders

    Regina Martins talked about anti-patterns of agile leaders at the Agile Practitioners 2016 conference. InfoQ interviewed her about what makes leadership important for agile, the key attributes that can make somebody a great leader, examples of leadership behaviour that hinder agile teams and how to deal with them, and asked her to share stories of great leadership.

  • Leadership Fit for the 21st Century: Empowering People is Impossible

    This second post in the series on leadership fit for the 21st century covers the talk given by Jenni Jepsen from goAgile in which she explains that we cannot empower people, and provides ideas for creating an organization where people feel empowered.

  • C++ Core Guidelines will Help Writing Good Modern C++

    As announced at CppCon, Bjarne Stroustrup and Herb Sutter have started working on a set of guidelines for modern C++. The goal of this effort is improving how developers use the language and help ensuring they write code that is type safe, has no resource leaks, and is as much as possible free of programming logic errors.

  • Using Pairing for Experimenting in Presentations

    In the closing keynote of the Agile Eastern Europe 2015 conference Yves Hanoulle did an experiment together with his son Joppe in pair presenting. InfoQ interviewed Joppe and Yves Hanoulle about doing experiments, checking the safety of the environment and ways to make it safer, learning from failure, and presenting in pairs at conferences.

  • Step by Step Improvement Needs Relative Safety

    At the OOP 2015 conference Colin Hood talked about bridging the gap between requirements engineering process definition and successful iterative roll-out. He presented how the introduction of improvements to requirements engineering can be done better when done step by step, and how relative safety is needed to enable people to take the steps.

  • Systems Thinking for Safety Keynote @ Velocity Conf

    The starting keynote at Velocity Conference Europe 2014 was all about how human error is too often the easiest way to explain away a failure and how a different approach is needed. Steven Shorrock, European Safety Culture Programme Leader at Eurocontrol, explained why a Systems Thinking approach applied to safety is a better answer.

  • Testing Machine to Machine Systems

    Devices are becoming increasingly interconnected through the internet where they are communicating directly with each other. Testing such machine to machine (M2M) systems can be difficult due to their complexity and the usage of different platforms, as Peter Varhol explained in his talk about testing in the M2M world at the QA&Test 2014 conference.


Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.