Description
Leader of the group Software Analysis and Transformation: Tijs van der Storm.
SWAT studies software systems: their design, construction and evolution. Our mission is to learn to understand software systems and to improve their quality. In particular, we study the causes of software complexity – a major cause of technology failure in society – and investigate how complex systems can be made simpler and more reliable. We analyze and visualize software systems, transforming them into better versions of themselves. We also generate new software with the goal of simplifying it through automation and abstraction. We keep our feet on the ground by working with corporate IT departments on streamlining their software systems and making them more reliable. Putting our ideas into practice is the best way to ensure they work.
Vacancies
No vacancies currently.
News
Most Influential Paper award for SWAT researchers at SCAM ‘19
CWI’s SWAT group has been awarded the prize for most influential paper for the article that introduced programming language Rascal ten years ago at the SCAM conference.
CWI RESEARCHERS DEVELOP NEW TECHNIQUES FOR GENERAL TOP-DOWN PARSING OF PROGRAMMING LANGUAGES
Afroozeh and Izmaylova, PhD students at CWI's Software Analysis and Transformation group, present new techniques for declarative parsing of programming languages in their thesis "Practical Genereal Top-down Parsers."
New insights from reconstructing the first ALGOL 60 system
Gauthier van den Hove (CWI) reconstructed and analyzed the first ALGOL 60 system, a computer system designed and implemented at the Mathematical Centre (MC), now CWI. On 15 February he defends his PhD thesis, which has a foreword written by the famous computer science pioneer Donald Knuth.
CWI develops new techniques for modular programming languages
The development of domain specific languages requires highly specialized skills. CWI PhD student Pablo Inostroza Valdera proposes to develop them by composing language fragments from software libraries, which makes this activity less laborious. He defends his PhD thesis at the UvA on 29 November 2018.
Members
Associated Members
Publications
-
Soethout, T.M. (2022, June 27). Banking on domain knowledge for faster transactions : leveraging models to avoid coordination. IPA dissertation series.
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2021). Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions. In Proceedings of the ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (pp. 1–11). doi:10.1145/3486601.3486707
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2021). Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions. The Art, Science, and Engineering of Programming, 5(1). doi:10.22152/programming-journal.org/2021/5/3
-
Vinju, J.J. (2020). Noisy numbers : column I/O magazine. I/O Magazine : ICT Research Platform Nederland, 17(3), 3–3.
-
van Binsbergen, L.T, Verano Merino, M, Jeanjean, P, van der Storm, T, Combemale, B, & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020 - Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2020 (pp. 84–100). doi:10.1145/3426428.3426917
-
Verano Merino, M, & van der Storm, T. (2020). Block-based syntax from context-free grammars. In SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020 (pp. 283–295). doi:10.1145/3426425.3426948
-
van der Storm, T, & Bakker, G. (2020). MATLAB doesn't love me: An essay. In ACM International Conference Proceeding Series (pp. 97–101). doi:10.1145/3397537.3397557
-
van Rozen, R.A. (2020, February 19). Languages of games and play : automating game design and enabling live programming. IPA dissertation series.
-
Aarssen, R.T.A, & van der Storm, T. (2020). High-fidelity metaprogramming with separator syntax trees. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 27–37). doi:10.1145/3372884.3373162
-
Azadbakht, K, de Boer, F.S, Bezirgiannis, N, & de Vink, E.P. (2019). A formal actor-based model for streaming the future. Science of Computer Programming, 186. doi:10.1016/j.scico.2019.102341
Software
Rascal: one-stop shop for metaprogramming
Rascal is a general metaprogramming language, facilitating programmers in analyzing, transforming and generating source code.
Rebel: A domain-specific language for product development in finance
Rebel is a domain-specific language (DSL) targeted at the financial sector.
SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.