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
Workshop Joy of Coding
Last Friday, CWI researchers Jouke Stoel and Tijs van der Storm (from the research group Software Analysis and Transformation) organized the workshop "Hack your Language with Rascal" at the third Joy of Coding, the conference celebrating the art, craft, science and joy of software development.
Software Engineering Distinguished Service Award for Paul Klint
Paul Klint, Research fellow at the Centrum Wiskunde & Informatica (CWI) is awarded the 2015 IEEE TCSE Software Engineering Distinguished Service Award. The award is presented annually to individual researches for their contributions.
Efficient Abstractions for Visualization and Interaction
Interactive systems with appealing visualizations are the hallmark of todays, mostly web-based, systems. Under the hood, the implementation of such systems leaves much to be desired which makes them hard to extend and maintain. Atze van der Ploeg, PhD student at Centrum Wiskunde & Informatica (CWI) in Amsterdam,
CWI co-coordinates ERCIM News 99 on Software Quality
CWI researcher Jurgen Vinju co-coordinated a special issue of ERCIM News on Software Quality: http://ercim-news.ercim.eu/en99.
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.