Max Planck Institute for Software Systems

Recent papers from Max Planck Institute for Software Systems

1. Dual Molecularly Imprinted Mesoporous Organosilica Nanoprobes for AI-Assisted Glutathione Redox Ratio SensingACS Omega · 2026
2. Quantitative Pathway-Resolved Kinetics from Neural Network-Guided Weighted Ensemble SimulationsJournal of Chemical Theory and Computation · 2026
3. Crypto airdrops as post-speculative finance: A digital methods study of platform-mediated value in digital culturesFinance and Society · 2026
4. Two-dimensional multiplicative relations involving coefficients and roots of generalized Fibonacci polynomialsEuropean Journal of Mathematics · 2026
5. RGSep under Release/Acquire ConsistencyProceedings of the ACM on Programming Languages · 2026
6. Bringing Foundational Verification to Real-World Rust CodeProceedings of the ACM on Programming Languages · 2026
7. Sound State Encodings in Translational Separation Logic VerifiersProceedings of the ACM on Programming Languages · 2026
8. A Formal Account of the Wasm 3.0 Concurrency ModelProceedings of the ACM on Programming Languages · 2026
9. IOLM-DB: Instance-optimized large language model execution for column-scale semantic operatorsInformation Systems · 2026
10. Constructive characterisations of the must -preorder for asynchronyACM Transactions on Programming Languages and Systems · 2026
11. Misquoted No More: Securely Extracting F* Programs with IOProceedings of the ACM on Programming Languages · 2026
12. Mode CrossingProceedings of the ACM on Programming Languages · 2026
13. LLM as a law professor: having a large language model write a commentary on freedom of assemblyArtificial Intelligence and Law · 2026
14. Transcendence for Pisot morphic words over an algebraic baseErgodic Theory and Dynamical Systems · 2026
15. Cost-Effective Testing of MPC CompilersProceedings of the ACM on software engineering. · 2026
16. A decade of comparing brains to DNNs: Progress and perspectivesTrends in Cognitive Sciences · 2026
17. VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type SystemProceedings of the ACM on Programming Languages · 2026
18. State Space Estimation for DPOR-Based Model CheckersProceedings of the ACM on Programming Languages · 2026
19. EFX allocations and orientations on bipartite multi-graphs: a complete pictureAutonomous Agents and Multi-Agent Systems · 2026
20. Global approaches to infectious disease surveillance and modelingNature Medicine · 2026