FEPCert: An Open-Source Toolkit for Quality-Control, Phase Space Overlap, and Thermodynamic Cycle Closure Certification of Alchemical Free Energy Simulations
Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
FEPCert checks alchemical free-energy calculations and perturbation networks: thermodynamic integration (including paths in which several lambda components change) and BAR, the two-state MBAR overlap of neighbouring states, the agreement of TI with BAR on the same states (quadrature error), time convergence, and the closure of thermodynamic cycles with z-scores against the edge uncertainties. It reads GROMACS dhdl.xvg files, including the energy differences to the other states, or tables, and reports PASS, WARNING, FAIL or NOT_APPLICABLE for each check. Version 1.2.0 was validated on 28 analyses of real GROMACS data (alchemtest: benzene and ethanol hydration, a protein-ligand absolute binding free energy in T4 lysozyme and a water particle, with full, truncated and thinned lambda schedules) against alchemlyb and pymbar, and on the 92 perturbation maps of the public FEP+ benchmark against networkx. It corrects defects of 1.1.0 found by that validation: the overlap was computed from histograms of dH/dlambda and did not measure phase-space overlap; the cycle enumeration missed 104 of 1404 cycles; thresholds ignored the energy unit. Validation scripts and results are in the validation/ directory of the GitHub release.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The perception of the impact of agile methods is predominantly positive, and several challenge areas were discovered, but based on this study, agile methods are here to stay.
M. Laanti, O. Salo, P. Abrahamsson· Information and Software Tec...· 260 citations· ⚡20
Related blog posts
Microsoft Research Blog· microsoft.comOct 21, 2026
For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The Kannan–Lovász–Simonovits (KLS) conjecture was proposed in 1995. It asks whether, for a broad class of high-dimensional […] The post Solving a 31-year-old grand challenge in mathematics – the KLS conjecture appear…
MIT News · Artificial Intelligence· news.mit.eduOct 15, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026