Sølvsten, S., van de Pol, J., Jakobsen, A. B., Rysgaard, C. M., Carstensen, E. F.
& Thomasen, M. W. B. (2021).
Adiar: An I/O-efficient implementation of Decision Diagrams. Software, GitHub.
https://doi.org/10.5281/zenodo.4718218
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022).
Adiar Binary Decision Diagrams in External Memory. In D. Fisman & G. Rosu (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 295-313). Springer.
https://doi.org/10.1007/978-3-030-99527-0_16
Sølvsten, S. & van de Pol, J. (2023).
Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. In K. Y. Rozier & S. Chaudhuri (Eds.),
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 464-471). Springer.
https://doi.org/10.1007/978-3-031-33170-1_28
Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025).
Random Access on Narrow Decision Diagrams in External Memory. In T. Neele & A. Wijs (Eds.),
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. 137–145). Springer.
https://doi.org/10.1007/978-3-031-66149-5_7
Skorstengaard, L., Devriese, D.
& Birkedal, L. (2018).
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. In A. Ahmed (Ed.),
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Vol. 10801, pp. 475-501). Springer VS.
https://doi.org/10.1007/978-3-319-89884-1_17
Sieczkowski, F., Bizjak, A. & Birkedal, L. (2015).
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages. In C. Urban & X. Zhang (Eds.),
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (pp. 375-390). Springer.
https://doi.org/10.1007/978-3-319-22102-1_25
Shaik, I. & Pol, J. V. D. (2024).
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. In U. Endriss, F. S. Melo, K. Bach, A. Bugarin-Diz, J. M. Alonso-Moral, S. Barro & F. Heintz (Eds.),
ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024) (pp. 4207-4215). IOS Press.
https://doi.org/10.3233/FAIA240993
Shaik, I., Mayer-Eichberger, V.
, van de Pol, J. & Saffidine, A. (2024).
Implicit QBF Encodings for Positional Games. In M. Hartisch, C.-H. Hsueh & J. Schaeffer (Eds.),
Advances in Computer Games - 18th International Conference, ACG 2023, Revised Selected Papers (pp. 133-145). Springer.
https://doi.org/10.1007/978-3-031-54968-7_12
Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B.
, van de Pol, J. & Wimmer, S. (2022).
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (pp. 246-268). Springer.
https://doi.org/10.1007/978-3-031-19762-8_20
Schwinghammer, J.
, Birkedal, L. & Støvring, K. (2011).
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. In M. Hofmann (Ed.),
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings (pp. 305-319). Springer.
https://doi.org/10.1007/978-3-642-19805-2_21
Schwinghammer, J.
, Birkedal, L., Pottier, F., Reus, B.
, Støvring, K. & Yang, H. (2013).
A step-indexed Kripke model of hidden state.
Mathematical Structures in Computer Science,
23(1), 1-54.
https://doi.org/10.1017/S0960129512000035
Schwinghammer, J., Yang, H.
, Birkedal, L., Pottier, F. & Reus, B. (2010).
A semantic foundation for hidden state. In L. Ong (Ed.),
Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 2-17). Springer.
https://doi.org/10.1007/978-3-642-12032-9_2
Schwinghammer, J.
, Birkedal, L., Reus, B. & Yang, H. (2009).
Nested hoare triples and frame rules for higher-order store. In E. Grädel & R. Kahle (Eds.),
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings (pp. 440-454). Springer.
https://doi.org/10.1007/978-3-642-04027-6_32
Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X.
, van de Pol, J., Langerak, R., van Wijnen, A. J., Geris, L., Karperien, M. & Post, J. N. (2020).
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease.
Cellular Signalling,
68, Article 109471.
https://doi.org/10.1016/j.cellsig.2019.109471
Sammler, M., Hammond, A., Lepigre, R., Campbell, B.
, Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022).
Islaris: verification of machine code against authoritative ISA semantics. In R. Jhala & I. Dillig (Eds.),
PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 825-840). Association for Computing Machinery.
https://doi.org/10.1145/3519939.3523434
Rao, X.
, Georges, A. L., Legoupil, M., Watt, C.
, Pichon-Pharabod, J., Gardner, P.
& Birkedal, L. (2023).
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proceedings of the ACM on Programming Languages ,
7, Article 151.
https://doi.org/10.1145/3591265
Pientka, B., Blazy, S., Traytel, D.
& Timany, A. (2024).
Welcome from the Chairs. In
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (pp. iii-iv)