Sung Jongmans

Full Name

S.-S.T.Q. Jongmans

Email

S.S.T.Q.Jongmans@cwi.nl

Phone

+31 20 592 4249

Room

L224

Department(s)

Software Analysis and Transformation

Function(s)

Project member

Sung Jongmans

Edixhoven, L., Jongmans, S., Proença, J., & Castellani, I. (2024). Branching pomsets: Design, expressiveness and applications to choreographies. Journal of Logical and Algebraic Methods in Programming, 136, 100919:1–100919:36. doi:10.1016/j.jlamp.2023.100919
Ferreira, F., & Jongmans, S. (2023). Oven: Safe and live communication protocols in Scala, using synthetic behavioural type analysis. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023 (pp. 1511–1514). doi:10.1145/3597926.3604926
Bouma, J., de Gouw, S., & Jongmans, S. (2023). Multiparty session typing in Java, deductively. In 29th International Conference Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2023 (pp. 19–27). doi:10.1007/978-3-031-30820-8_3
Smeele, T., & Jongmans, S. (2023). Choreographic programming of isolated transactions. In Proceedings of PLACES 2023 (pp. 49–60). doi:10.4204/EPTCS.378.5
van den Bos, P., & Jongmans, S. (2023). VeyMont: Parallelising verified programs instead of verifying parallel programs. In International Symposium on Formal Methods, FM 2023 (pp. 321–339). doi:10.1007/978-3-031-27481-7_19
Edixhoven, L., & Jongmans, S. (2022). Balanced-by-Construction regular and ω-Regular languages. International Journal of Foundations of Computer Science. doi:10.1142/S0129054122440026
Edixhoven, L., & Jongmans, S. (2022). Realisability of branching pomsets. In Proceedings of the 18th International Conference on Formal Aspects of Component Software, FACS 2022 (pp. 185–204). doi:10.1007/978-3-031-20872-0_11
Jongmans, S., & Proença, J. (José). (2022). ST4MP: A blueprint of multiparty session typing for multilingual programming. In International Symposium on Leveraging Applications of Formal Methods (2022) - ISoLA 2022 (pp. 460–478). doi:10.1007/978-3-031-19849-6_26
Hamers, R., Horlings, E., & Jongmans, S. (2022). The Discourje project: run-time verification of communication protocols in Clojure. International Journal on Software Tools for Technology Transfer, 24, 757–782. doi:10.1007/s10009-022-00674-y
Jongmans, S. (2022). Towards gradual multiparty session typing. In ACM International Conference Proceeding Series. doi:10.1145/3551349.3561167

IPA Dissertation Award (2016)
FACS Best Paper Award - co-authored by Tobias Kapp� and Farhad Arbab (2015)