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
Talk by Tijs van der Storm at Curry On conference (video)
On 18 July 2016, CWI researcher Tijs van der Storm gave a talk at the Curry On conference in Rome. The full recording of this talk, titled 'Rascal: the Swiss Army Knife of Meta Programming' can be found below.
Best Paper Award for SWAT researchers at ICPE2016
Michael Steindorfer and Jurgen Vinju of CWI's Software Analysis and Transformation (SWAT) group were awarded a Best Paper Award at the 7th ACM/SPEC International Conference on Performance Engineering (ICPE 2016).
Getting to grips with software quality
There is an urgent need for new, automated techniques to analyze software and to guarantee its quality, argues part-time professor of Automated Software Testing and CWI group leader Jurgen Vinju in his inaugural speech at Eindhoven University of Technology on Friday 12 February.
Jurgen Vinju and Tijs van der Storm at Bits & Chips conference
Today, CWI researchers Jurgen Vinju and Tijs van der Storm (from the research group Software Analysis and Transformation) participate in the Bits&Chips software engineering conference.
Members
Associated Members
Publications
-
van der Storm, T, & Hermans, F. (2022). Gradual Grammars: Syntax in Levels and Locales. In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. doi:10.1145/3567512.3567524
-
Schuts, M.T.W, Aarssen, R.T.A, Tielemans, P.M, & Vinju, J.J. (2022). Large-scale semi-automated migration of legacy C/C++ test code. Software: Practice and Experience, 2022, 1–38. doi:10.1002/spe.3082
-
van Rozen, R.A, Reijne, Y, Julia, C, & Samaritaki, G. (2021). First-person realtime collaborative metaprogramming adventures. In Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment.
-
Verano Merino, M, Beckmann, T, van der Storm, T, Hirschfeld, R.A, & Vinju, J.J. (2021). Getting grammars into shape for block-based editors. In SLE 2021 - Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering (pp. 83–98). doi:10.1145/3486608.3486908
-
Verano Merino, M, Bartels, J, van den Brand, M.G.J, van der Storm, T, & Schindler, E. (2021). Projecting textual languages. doi:10.1007/978-3-030-73758-0_7
-
Stoel, J, van der Storm, T, & Vinju, J.J. (2021). Modeling with mocking. In Proceedings of the International Conference on Software Testing (pp. 59–70). doi:10.1109/ICST49551.2021.00018
-
Jansen, R.L, Farshidi, S, Gousios, G, van der Storm, T, Visser, J.M.W, & Bruntink, M. (2020). SearchSECO: A worldwide index of the open source software ecosystem. In CEUR Workshop Proceedings.
-
van Rozen, R.A. (2020). Languages of games and play: A systematic mapping study. ACM Computing Surveys, 53(6). doi:10.1145/3412843
-
van Binsbergen, L.T, Liu, L.-C, van Doesburg, R., & van Engers, T. (2020). eFLINT: a domain-specific language for executable norm specifications. In Proceedings of the ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. doi:10.1145/3425898.3426958
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2020). Automated Validation of State-Based Client-Centric Isolation with TLA+. In Proceedings SEFM 2020. doi:10.1007/978-3-030-67220-1_4
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.