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.
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
-
CROSSMINERDeveloper-Centric Knowledge Mining from Large Open-Source Repositories
-
MERITSModel Extraction for Re-engineering Traditional Software
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
- 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
-
van Ditmarsch, H, van Eijck, D.J.N, Pardo, P, Ramezanian, R, & Schwarzentruber, F. (2017). Epistemic protocols for dynamic gossip. Journal of Applied Logic, 20, 1–31. doi:10.1016/j.jal.2016.12.001
-
Steindorfer, M.J. (2017, February 28). Efficient immutable collections.
-
Di Ruscio, D, Kolovos, D.S, Korkontzelos, Y, Matragkas, N, & Vinju, J.J. (2017). Supporting custom quality models to analyse and compare open-source software. In Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016 (pp. 94–99). doi:10.1109/QUATIC.2016.026
-
van Eijck, D.J.N, Gattinger, M, & Wang, Y. (2017). Knowing values and public inspection. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/978-3-662-54069-5_7
-
Vinju, J.J. (2017). Kan de biologie een rol spelen in het oplossen van problemen die gepaard gaan met de groeiende technologische complexiteit van onze software?. In B de Graaf & A.H.G Rinnooy Kan (Eds.), Hoe zwaar is licht (pp. 311–313).
-
Yamashita, A, Moonen, L.M.F, T. Mens (Tom), & Tahir, M.A. (2016). Report on the First International Workshop on Technical Debt Analytics. In Proceedings of the 1st International Workshop on Technical Debt Analytics (TDA 2016) (pp. 58–63).
-
Allen, A, Aragon, C, Becker, C, Carver, J.C, Chris, A, Combemale, B, … Vinju, J.J. (2016). Lightning talk: "I solemnly pledge" A manifesto for personal responsibility in the engineering of academic software. In Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences, WSSSPE4.
-
Stoel, J.H, van der Storm, T, Vinju, J.J, & J. Bosman (Joost). (2016). Solving the bank with rebel: on the design of the rebel specification language and its application inside a bank. In ITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016 (pp. 13–20). doi:10.1145/2998407.2998413
-
Steindorfer, M.J, & Vinju, J.J. (2016). Towards a software product line of trie-based collections. In GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2016 (pp. 168–172). doi:10.1145/2993236.2993251
-
Parr, T. (Terence), & Vinju, J.J. (2016). Towards a universal code formatter through machine learning. In SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016 (pp. 137–151). doi:10.1145/2997364.2997383
News
Distinguished paper Award for CWI researchers Davy Landman and Jurgen Vinju
At the ICSE 2017 (39th International Conference on Software Engineering) in Buenos Aires CWI researchers Davy Landman and Jurgen Vinju in collaboration with Alexander Serebrenik (TUE) have been awarded with the ACM SIGSOFT Distinguished Paper Award for their paper "Challenges for Static Analysisof Java Reflection - Literature Review and Empirical Study".
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.
Partners
-
ING Bank
-
ING Bank