Description
Leader of the group Software Analysis and Transformation: Jurgen Vinju.
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.
News
PhD research leads to innovation in digital forensics software
In forensics the analysis of digital data faces major challenges.
Nationale ICT Award 2013 for Python and SIG
Programming language Python and company Software Improvement Group (SIG) were awarded a Nationale ICT Award last night. Both winners have their origins at CWI. Python was awarded the COMMIT/ Award for the most valuable product resulting from ICT research that is over ten years old. SIG received the ICT Milieu Award for their application energy profile register.
Software Development Automation Conference 2013
On 29th of May the first Dutch Conference on Software Development Automation (SDA'13) will be held at Centrum Wiskunde & Informatica.
Paul Klint speaking at 'NEMO Kinderlezing'
CWI researcher Paul Kint will be speaking on April 21 at the NEMO ‘Wakker Worden Kinderlezing’ about the creation of the first computers.
Events
Logic, Rationality and Common Sense - Workshop on the occasion of Jan van Eijck's retirement
- 2017-06-02T00:00:00+02:00
- 2017-06-02T23:59:59+02:00
Logic, Rationality and Common Sense - Workshop on the occasion of Jan van Eijck's retirement
Start: 2017-06-02 00:00:00+02:00 End: 2017-06-02 23:59:59+02:00
Reflections on the possibilities and the limitations of applications of logic to the analysis of human behaviour. The workshop is intended to create a space to talk about issues that are not often addressed in public in scientific circles.
Speakers: Alexandru Baltag, Hans van Ditmarsch, Reinhard Muskens, Rineke Verbrugge, Albert Visser and Jan van Eijck.
To register: see website.
- Web
- Email: Susanne van Dam
- Phone: 020-592 4189
-
iCal
PhD Defence Michael Steindorfer (SWAT)
- 2017-02-28T13:00:00+01:00
- 2017-02-28T15:30:00+01:00
PhD Defence Michael Steindorfer (SWAT)
Start: 2017-02-28 13:00:00+01:00 End: 2017-02-28 15:30:00+01:00
Everybody is welcome to attend he public defense of Michael of his thesis 'Efficient Immutable Collections'.
Promotor: Prof.dr. Paul Klint en Prof.dr. Jurgen Vinju
PhD Defence Atze van der Ploeg (SWAT)
- 2015-04-08T12:00:00+02:00
- 2015-04-08T14:30:00+02:00
PhD Defence Atze van der Ploeg (SWAT)
Start: 2015-04-08 12:00:00+02:00 End: 2015-04-08 14:30:00+02:00
Everybody is welcome to attend the public defence of Atze Johannes van der Ploeg of his thesis 'Efficient Abstractions for Visualization and Interaction'
Promotor: Prof.dr. Paul Klint (CWI)
Copromotor: Dr. Tijs van der Storm (CWI)
Members of Software Analysis and Transformation
- Rodin Aarssen
- Line van den Berg
- Thomas Degueule
- Jan van Eijck
- Paul Griffioen
- Pablo Inostroza Valdera
- Anastasia Izmaylova
- Davy Landman
- Kai Li
- Bert Lisser
- Mircea Lungu
- Kinson Michel
- Lina Ochoa
- Riemer van Rozen
- Alexander Serebrenik
- Tim Soethout
- Jouke Stoel
- Tijs van der Storm
- Jurgen Vinju
- Jana Wagemaker
- Aiko Yamashita
- Adrian Zborowski
Publications
-
Inostroza Valdera, P.A, & van der Storm, T. (2017). Modular interpreters with implicit context propagation. Computer Languages, Systems and Structures, 48, 39–67. doi:10.1016/j.cl.2016.08.001
-
van den Brand, M.G.J, Vinju, J.J, & Mens, K. (2017). Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6). Science of Computer Programming, 134, 1–3. doi:10.1016/j.scico.2016.11.001
-
van Eijck, D.J.N, Gattinger, M, & Wang, Y. (2017). Knowing Values and Public Inspection. Presented at the Indian Conference on Logic and its Applications.
-
Vinju, J.J. (2017). OSSMETER.
-
Zacharopoulos, T, Inostroza Valdera, P.A, & Pham, M.-D. (2016). Extensible modeling with managed data in Java. In GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2016 (pp. 25–35). doi:10.1145/2993236.2993240
-
van Eijck, D.J.N, Gattinger, M, & Wang, Y. (2016). Knowing Values and Public Inspection. arXiv.org e-Print archive.
-
M. Ó Cinnéide (Mel), Yamashita, A, & S. Counsell (Steve). (2016). Measuring refactoring benefits: a survey of the evidence. In Proceedings of the 1st International Workshop on Software Refactoring (pp. 9–12). doi:10.1145/2975945.2975948
-
Steindorfer, M.J. (2016, August). Immutable Collections.
-
van Eijck, D.J.N, & Ju, F. (2016). Modelling legal relations. In Online proceedings of LOFT 2016.
-
Afroozeh, A, & Izmaylova, A. (2016). Iguana: a practical data-dependent parsing framework. Presented at the International Conference on Compiler Construction. doi:10.1145/2892208.2892234
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.
Current Projects
-
Adviseren en verrichten van onderzoek naar de functionele en niet-functionele eigenschappen van een deel van ING\'s IT-infrastructuur
-
Enterprise software engineering
-
Live Game Design
-
CROSSMINERDeveloper-Centric Knowledge Mining from Large Open-Source Repositories
-
MERITSModel Extraction for Re-engineering Traditional Software
Partners
-
Dutch Game garden
-
Firebrush Studios
-
IC3D Media
-
ING Bank
-
ING Bank
-
Ludomotion
-
Hogeschool van Amsterdam
-
Technische Universiteit Delft