Past Seminar Presentations
This is a seminar for Bachelors, Masters and PhD students completing their project work or thesis in the Software Composition Group. Scheduled talks generally present recent progress in project work or research. Normally, the seminar takes place on Mondays at 14.00 in the afternoon in our seminar room (room 107, Schützenmattstrasse 14).
Presentations already given
2020
-
Dec 22
- Sergiy Goloviatinski — Source code vocabularies
- Alex Nyffenegger — sslstrip, and the issues we encountered (seminar)
-
Dec 15 — Ivan Ginovski — SCG Pier migration (seminar)
-
Dec 8 — Ludovic Herbelin — Automatically assessing quality of class comments (seminar)
-
Dec 1 — Jan Dietrich — Survey of glue code in BDD tools
-
Nov 24 — Nataliia Stulova — Identifying clones in comments
-
Nov 17 — Lino Hess —Generate Pharo class comments automatically
-
Nov 10 — Suada Abukar — Adherence of class comments to the style guidelines
-
Oct 27 — Jonas Richner — Interactive Visualization for Software Duplication (final MSc presentation)
-
Oct 6 — Mohammadreza Hazhirpasand — A journey in software fuzzing
-
Sep 29 — Mohammadreza Hazhirpasand — Cryptography uses in the wild
-
Sep 22 — Nataliia Stulova — Towards Detecting Inconsistent Comments in Java Source Code Automatically (SCAM'20 rehearsal; see also final version of slides and YouTube video)
-
Sep 15 — MSc seminar project presentations and obligatory quiz (see NB above)
-
Sep 1 — Robert Niemiec — Modeling requirements artifacts in an IDE (final MSc presentation)
-
Aug 25 — Jonas Richner — Interactive Visualization for Software Duplication (first MSc presentation)
-
Aug 18 — Christian Zürcher — String 2.0 (first MSc presentation)
-
Aug 11 — Patrick Frischknecht — Detecting Lookalike Domains (first MSc presentation)
-
July 28 — Said Ali — Profiling Cryptography Developers (final BSc presentation)
-
July 14 — Robert Niemiec — Bringing agile artifacts closer to the implementation (first MSc presentation)
-
June 23 — Ivan Kravchenko — Moldable scenario editor (Final MSc presentation)
-
June 16 — Pooja Rani — Tips and tricks to organize an online course and the exam
-
June 9 — Noah Bühlmann — Exploring Security Issues in Open Source Software (final BSc presentation)
-
June 2 — Julian Weyermann — Simple MLE Deployer — A Tool for deploying JavaScript to Oracle's Multilingual Engine (final BSc presentation)
-
May 26 — Andreas Wälchli — A Sampling Profiler for JITing in Ř (final MSc presentation)
-
May 19 — Mathias Birrer — Investigating developers' information needs on social media
-
May 12 — Nataliia Stulova — Keeping documentation up to date with the source code
-
May 5 — Said Ali — Profiling Cryptography Developers (first BSc presentation)
-
Apr 28 — Ivan Kravchenko — Moldable scenarios (first MSc presentation)
-
Mar 31 — Brian Schweigler — An Investigation into Vulnerability Databases (final Bachelors presentation)
-
Mar 17 — Andreas Wälchli — A Sampling Profiler for JITing in Ř (first Masters presentation)
-
Mar 3 — Pascal Gerig — Phishing on Demand (final Bachelors presentation)
-
Feb 11
- Timm Gross — Threats to validity in TDD research (final Bachelors presentation)
- Noah Bühlmann — Security discussions in open source projects (first Bachelors presentation)
-
Feb 4 — Alain Stulz — Assessing and Improving the Software Quality of an iOS App Framework (final Bachelors presentation)
-
Jan 28
- Dave Steven Meier — Cryptography-related questions on Stack Overflow (Seminar)
- Basil Schöni — Autogenerating Content Security Policies to Prevent Code Injection in Mobile Web Applications (final Bachelors presentation)
-
Jan 21 — Christian Zürcher — Android: Bypassing HTTPS Security (Seminar)
2019
-
Dec 17
- Emily Croxall — From user stories to live-documentation (seminar)
- Patrick Frischknecht — HTTP security headers in Web APIs (seminar)
-
Dec 10
- Melike Geçer — Debugging Spark Applications (MSc final presentation)
- Louis Müller — Executable graph models in Bloc (seminar)
-
Dec 3 —Jonas Diesbach — Paper Hunter (seminar)
-
Nov 26 — Ivan Kravchenko — Class commenting practices in Java (Seminar)
-
Nov 12 — Dean Klopsch — Learning from nature: How nature resolves security issues (Bachelors, first presentation)
-
Nov 5 — Olivier Flückiger — Ř Melts Brains (SPLASH 2019 presentation)
-
Oct 29 — Pascal Gerig — Phishing on Demand (Bachelors, first presentation)
-
Oct 15 — Brian Schweigler — The Life of a Bug Report (Bachelors, first presentation)
-
Oct 1 — Alain Stulz — Identifying and reducing technical debt in an iOS app framework (Bachelors, first presentation)
-
August 13 — Julian Weyermann — DB-Reports with Oracle MLE (Bachelors, first presentation)
-
July 2 —Mathias Birrer — Investigating developer questions on social media (Msc, first presentation)
-
June 25 — Melike Geçer — Debugging Spark Applications (MSc, first presentation)
-
June 11 — Christian Zürcher — Test name recommendation (BSc, first presentation)
-
May 28
- Elio Fritschi — Outlining the state-of-the-art of requirements engineering tools (seminar)
- Basil Schöni — Javascript injection in Android applications (first presentation, BSc)
-
May 21 — Andreas Wälchli — Webassembly, from stack based to SSA and back (seminar)
-
May 14 — Sylvain Julmy — bc running on Truffle (seminar)
-
Apr 16 — Rathesan (Radi) Iyadurai — Audrey — On Demand Run time Information (Masters, final presentation)
-
Apr 9 — Marc-Andrea Tarnutzer — Web Communication Analysis of Android Applications (Masters, final presentation)
-
Mar 26 — Pooja Rani and Manuel Leuenberger — Comment soup with a pinch of types, served in a leaky bowl (Pharo Days rehearsal)
-
Mar 19 — Simon Kafader — Fluent API for NodeJS Crypto (BSc first presentation)
-
Mar 12 — Nitish Patkar — Towards a Catalogue of Mobile Ruquirements Elicitation Techniques
-
Feb 26 — Artthik Sellathurai — Visual scenario builder in Pharo (Bachelors first presentation)
-
Feb 19 — MSc seminar topic presentations and obligatory quiz.
-
Feb 12 — Jonas Richner — Software Developers' Information Needs (Bachelors final presentation)
-
Feb 5 — Manuela Eschler — Search interface implementation for a Learning Management System (Bachelors final presentation)
-
Jan 29 — Mario Hess — PerfVis: Visualization in Immersive Augmented Reality for Software Performance - A User Study (Bachelors, final presentation)
-
Jan 15 — Dominik Briner — Mobile Security Support for Android Developers (Bachelors)
-
Jan 8 — Mathias Birrer — Investigating developer's questions using web scraping (Seminar)
2018
-
Dec 18 — Timm Gross — Assessing automated software testing with consideration of real-life incidents: A case study (Bachelors)
-
Dec 11 — Robert Niemiec — Requirements Elicitation Mobile (Seminar)
-
Dec 4 — Joel Niklaus — Abusing HTML5 permissions on browsers (Seminar)
-
Nov 27 — Asan Urazimanov — Use of Languages in Android Applications (Seminar)
-
Nov 20 — Pascal Maissen — Scriptable Markdown pretty-printing with GraalVM (Seminar)
-
Nov 6 — Rathesan (Radi) Iyadurai — Audrey — On Demand Run time Information (Masters)
-
Oct 30 — Sabine Brunner — Analyzing the inconsistency between comments and source code in Pharo (Bachelors)
-
Oct 23 — Marc-Andrea Tarnutzer — Targeted attacks supported by recovered data structures of web API's (Masters)
-
Oct 16 — Jonas Richner — Understanding developers questions (Bachelors)
-
Oct 9 — Manuela Eschler — Search interface implementation for a Learning Management System (Bachelors)
-
Oct 2 — Sofija Hotomski — Keeping Evolving Requirements and Acceptance Tests Consistent via Automatically Generated Guidance (guest speaker)
-
Sept 25 — Marcel Chavez — Digital archive in small companies : Advantages and challenges (Bachelors)
-
Sept 18 — MSc seminar topic presentations and obligatory quiz.
-
Sept 11
- Astrid Ytrehorn — Smelly APIs in Android ICC (Bachelors)
- Markus Eggimann — Software testing in Industry (Bachelors)
-
August 14 — Patrick Indermühle — Modular Exceptions (Bachelors)
-
August 7 — Astrid Ytrehorn — Code review of security smells (Bachelors)
-
June 26 — Mario Hess — Pervasive Visualization in AR for Software Monitoring (Bachelors)
-
June 19 — Markus Eggimann — Software Testing in Industry (Bachelors)
-
May 29
- Patrick Frischknecht — Android ICC Security (Bachelors)
- Michael Zbinden — Code Analyses Using Natural Language Questions (Seminar)
-
May 22
- Mohammad Altahan — Android Studio Plug-in for Code Reviews (Seminar)
- Melike Geçer — Strings Attached (Seminar)
-
May 15
- Jovana Mićić — Type hints usage in Python projects (Seminar)
- Stefan Krüger — Secure Integration of Cryptographic Software (guest presentation)
-
May 8
- Marc Tarnutzer — Privacy concerns in public web APIs (Seminar)
- Vincent Hofer — Compiling to WebAssembly (Seminar)
-
May 1 — Flurin Trübner — Polyglot development using GraalVM - Twitter analysis (Seminar)
-
April 24 — Patrick Indermühle — Modular Exceptions (Bachelors)
-
April 17 — Pooja Rani —Master Thesis Presentation (Previous MSc work)
-
April 10 — Timo Spring — Benchmarking Android Security Analysis (Bachelors)
-
March 27 — Mario Hess — Pervasive Visualization in Augmented Reality for Software Monitoring (Bachelors)
-
March 20 — Nitish Patkar — Vision backlog — rethinking requirements elicitation (PhD/previous MSc work)
-
March 13 — Mario Kaufmann — Reproducible moldable interactions (Masters)
-
March 6 — Eve Mendoza — Visualizing Objects In Pharo (Bachelors)
-
Feb 20 — MSc seminar topic presentations and obligatory quiz.
-
Feb 13 — Lars Wüthrich — Writing A Shape Grammar Interpreter (Bachelors)
-
Feb 6 — Sébastien Broggi — Bug prediction with neural nets (Bachelors)
-
Jan 30 — Simon Curty — A bug report classifier (Bachelors)
-
Jan 23 — Timo Spring — Benchmarking Android Security Analyses (Bachelors)
-
Jan 16 —Andreas Hohler — BiCo: Towards an Infrastructure for Commit Analysis (Master)
-
Jan 9 —Tanja Küry — Replication Mechanism of ZEMIS Ref (Bachelors)
2017
-
Dec 19
- Ekaterina Kozlova — VISON: Software Visualization Ontology (Seminar)
- Stefan Borer — An LLVM backend for sourir (Seminar)
-
Dec 12
- Igor Dundic — Identifying method argument types from method tests (Seminar)
- Silas Berger — Bibliography PDF crawler (Seminar)
-
Dec 5
- Aliaksei Syrel — The Moldable Editor (Bachelors)
- Renato Corti — Sandboxing Android app execution (Seminar)
-
Nov 28
- Rathesan (Radi) Iyadurai — Throwing Cool and the gang at Pharo (Seminar)
- Patrick Frischknecht — Android Linting Intro (Bachelors)
-
Nov 21 — Konstantin Lomotin — Polyglot Development using GraalVM — MemeGen (Seminar)
-
Nov 14
- Mario Kaufmann — Reproducible moldable interactions (Masters)
- Tudor Girba — Software Environmentalism
-
Nov 7 — Lars Wüthrich — A visual editor for shape grammars (Bachelors)
-
Oct 31 — Manuel Leuenberger — An integrated environment for literature research
-
Oct 24 — Sara Peeters — A Web App to Help Autistic People Communicate about Autism (Bachelors)
-
Oct 3 — Oscar Nierstrasz — Great Moments in the History of OOP
-
Sept 19 — MSc seminar topic presentations and obligatory quiz.
-
Aug 29 — Pascal Gadient PhD — Security in Android Applications (Masters)
-
Aug 15 — Dominik Fankhauser — Developing a club management software (Bachelors)
-
Aug 8 — Andreas Wälchli — Monitoring Java Server applications (Bachelors)
-
July 4 —Tanja Küry — Replication Mechanism of ZEMIS Ref (Bachelors)
-
June 27
- Luca Liechti — Inferring schemata from semi-structured data with Formal Concept Analysis (Bachelors)
- Lukas Imstepf — How are Software Visualizations Evaluated? Results (Seminar)
-
June 20
- Roger Stebler — An empirical investigation intothe usage of a live debugger (MSc)
- Aleksei Kosozhikhin — Type hints from method argument names (Seminar)
-
May 30 — Leonel Merino — Demo CityVR: A Visualization Tool to Gamify Software Comprehension
-
May 23
- Silas Berger — Visually Mining Scientific Communities (Bachelors)
- Lars Vögtlin — Test/Document framework for Quality Rules (Seminar)
-
May 16
- Simon Curty — Issue Report Analysis (Bachelor + Seminar)
- Linus Schwab — On the prevalence of Android issues (Seminar)
-
May 9 — Lukas Zbinden — Augmenting a Source Code Editor with Method Nullability Data (Seminar)
-
May 2 — Andreas Wälchli — SEM performance monitoring (Bachelors)
-
April 25
- Eve Mendoza — Visualizing Objects In Pharo (Bachelors)
- Sébastien Broggi — Using Neural Networks for Bug Localization (Bachelors)
-
April 11 — Lukas Imstepf — How are Software Visualizations Evaluated? Scraping digital libraries (Seminar)
-
Mar 28 — Leonel Merino — On the Impact of the Medium in Visualizations for Software Comprehension (PhD)
-
Mar 21 — Mathias Fuchs — Recognizing Structural Patterns in Code (Bachelors)
-
Feb 28 — Yuriy Tymchuk — CUSO activity on Design Science & Design Thinking recap (PhD)
-
Feb 21 — MSc seminar topic presentations and obligatory quiz.
2016
-
Dec 20
- Lina Tran — NullSpy: Where did this null come from? (Bachelors)
- Kevin Schibli — Code critiques in the Pharo debugger (Seminar)
-
Dec 13
- Aleksandar Ilic and Luka Hamza — Understanding Program Comprehension (Seminar)
- Manuel Leuenberger — Nullable Method Detection (Masters)
-
Dec 06
- Andreas Hohler — BiCo: Big Commit Analysis (Seminar)
- Pascal Gadient PhD — Detecting Potentially Malicious Android Apps (Seminar)
- Mario Kaufmann — A Taxonomy of Visual Programming Languages (Seminar)
-
Nov 29 — Simon Curty — Bug Report Classifier (Bachelors)
-
Nov 22 — Claudio Corrodi — Verifying Concurrency Runtimes using Graph Transformation Systems (PhD)
-
Nov 15 — Jakob Shaerer — The Evolution of Exceptions in Java Systems (Seminar)
-
Nov 08 — Mathias Fuchs — Recognizing Structural Patterns (Bachelors)
-
Nov 01 — Silas Berger — Visually Mining Scientific Communities (Bachelors)
-
Oct 18
- Aliaksei Syrel — Towards moldable text editor for Pharo (Bachelors)
- Luca Liechti — Using Formal Concept Analysis to Infer Schemas for Semi-Structured Data (Bachelors)
-
Sept 27
- Cédric Vonesch — Commercial CAS programming environments: a brief comparison (Guest)
- Leonel Merino — MetaVis: Exploring Actionable Visualization (VISSOFT rehearsal)
-
Sept 20 — MSc seminar topic presentations and obligatory quiz.
-
Aug 16 - Nevena Milojković — Inferring Types by Mining Class Usage Frequency from Inline Caches (IWST rehearsal)
-
Aug 09 - Max Leske — Improving live debugging of concurrent threads (MSc)
-
July 5
-
June 14 - Michael Rüfenacht — Error Handling in PEGs (MSC)
-
May 31 - Pascal Giehl — Visualizing Collaboration Networks (Seminar)
-
May 24 - Michael Jungo — Analyzing Duck Typing (Seminar)
-
May 17 - David Wettstein — Mining API Evolution (Seminar)
-
Apr 26 - Roger Stebler - Understanding how developers use the debugger (MSc)
-
Apr 19 - Manuel Leuenberger — Null: When Nothing Gives You a Headache (MSc)
-
Apr 12 - Max Leske — Debugging Asynchronous Processes (MSc)
-
Mar 22 - Lina Tran — Where did this null come from??? (Bachelors)
-
Feb 26 - Boris Spasojević — A Case Study on Type Hints in Method Argument Names in Pharo Smalltalk Projects (Saner rehearsal)
-
Feb 23 - Seminar introduction
-
Feb 16
- Thomas Steinmann — Polite Smalltalk
- Dominic Sina — TestView Plugin (Bachelors)
-
Jan 26 - Linus Schwab — Using RSS Feeds to Support Second Language Acquisition (Bachelors)
-
Jan 19 - Andreas Hohler — Teamizer: Developing a suitable schedule and poll platform for the sports club Unihockey Lohn (Bachelors)
-
Jan 05 - Nevena Milojković — Type inference heuristics (PhD)
2015
-
Dec 1 - Roger Stebler — Fogbugz-Pharo Integration
-
Nov 17 - Kenneth Radunz — DSL Auto-completion
-
Oct 27 - Olivier Flückiger — rjit: a JIT compiler for R with an LLVM backend (Guest)
-
Oct 20 - Andrei Chiş and Aliaksei Syrel — Introduction to Pharo
-
Oct 6 - Oskar Truffer — Continuous Integration with Architectural Invariants (MSc)
-
Sep 29 - Milan Kubicek — Parsing F# with PetitParser (Bachelors)
-
Sep 22 - Prof. Shriram Krishnamurti — Tierless Programming and Reasoning for Software-Defined Networks
-
Sep 15 - Introduction to SC seminar projects (HS 2015)
-
Aug 25 - Stefan Borer, Theodor Truffer — Polite for EV3 (Bachelors)
-
July 21 - Kirill Levitin — Simple Rule Inference from Configuration Files (PhD progress)
-
July 7 - Dominique Rahm — HIKOMSYS (Bachelor)
-
June 23 - Nevena Milojković — MSR + ICPC (Conference report)
-
June 8 @ 4pm - Karan Sethi, Pascal Giehl: Zeeguu Android and Quantifier
-
June 2
- Pascal Zaugg — Cognitive Defusion App (Bachelors)
- Aliaksei Syrel — Modelling scripts using Snippets (Bachelors)
- Andrea Caracciolo — WICSA + ICSE
-
May 26 - Ensar Guneşdoğdu — Bug Prediction Made Easy (Seminar)
-
May 19 - Aliya Ibragimova — CiteWise: A Citation Search Engine (Bachelors)
-
May 5 - Manuel Leuenberger — Null Check Analysis in Java Code (Seminar)
-
April 28 - Nevena Milojković — ICPC rehearsal "Polymorphism in the Spotlight: Studying its Prevalence in Java and Smalltalk" (ICPC rehearsal)
-
April 21 - Andrea Caracciolo — Dicto: Architecture Conformance Checking (WICSA rehearsal)
-
April 14 - Aaron Karper — Functional vs OO Design Patterns
-
April 7 - Spring break; no SC seminar
-
Mar 31 - Alain Plantec — Bloc: Reinventing Morphic
-
Mar 24 - Maudlin Kummer — Categorizing Test Smells
-
Mar 23 - Rathesan (Radi) Iyadurai — Parsing Ruby (reloaded) (Bachelors)
-
Mar 3 - Michael Rüfenacht — Error Recovery in PEGs (MSc)
-
Feb 24 - Alejandro Infante - Identifying Shareable Objects (Guest)
-
Feb 17 - Introduction to available seminar projects
-
Feb 03 - Joël Guggisberg - Token Classification (Bachelors)
-
Jan 27 - Bledar Aga - Marea — A Tool for Breaking Dependency Cycles Between Packages (MSc)
-
Jan 20 - Rathesan (Radi) Iyadurai - Parsing Ruby
-
Jan 6
2014
-
Dec 16
- Numa de Montmollin - Dicto for Scala
- Katja Kevic - Developers' Context of Task-Relevant Artifacts
-
Dec 2 - Stefan Marr - Implementing languages on the RPython and Truffle VMs
-
Nov 25 - Dominic Sina - TetstView plugin for Nautilus
-
Nov 11 - Oskar Truffer - Dicto for Ilias
-
Nov 4 - Numa de Montmollin - Dicto for Scala
-
Oct 28 - Boris Spasojević - Splash 2014 as seen by me
-
Oct 7 - Boris Spasojević - EATI talk dry run for Onwards! 2014
-
Sept 23 - Pascal Zaugg - Cognitive Diffusion app
-
Sept 16 - Seminar projects overview and Quiz for seminar students
-
Sept 9 - Dennis Schenk - Quicksilver — A Framework for Hierarchical Data Analysis (Masters Thesis Presentation)
-
Sep 2 - Jan Kurš Bounded Seas
-
Aug 19 - Leonel Merino Explora: a tool for corpus analysis and visualisations
-
Aug 12 - Andrea Caracciolo - How Do Software Architects Specify and Validate QRs?
-
Jul 15 - Jan Kurs - Parsing Contexts
-
Jul 08 - Joel Guggisberg - Token Classification
-
Jul 01
- Cedric Reichenbach: DoodleDebug, clustered (MTh).
- Aliya Ibragimova: CiteWise: The Citation Search Engine
-
Jun 03 - Cédric Reginster - Frequently used methods for Java
-
May 27 - Pattamon Thamsukati - Weka Experiment in Bug Prediction
-
May 20 - Dominic Sina - Eclipse plugin for cycles detection
-
May 13 - Kenneth Radunz - Dicto autocompleting editor, Michael Bärtschi - Polite Smalltalk
-
May 6 - Roger Stebler - Variable Tracker (Bachelors)
-
Apr 29 - Nevena Milojković: k-CFA analysis
-
Apr 15 - Mircea F. Lungu: Pangea 2.0 demo
-
Apr 8 - Oscar Nierstrasz: M3 for Moose
-
Apr 1 - Mircea F. Lungu: "Sampling N-EU SE Research"
-
Mar 18 - Stephan Adelsberger (U Vienna): "Towards Object Migration in Dynamic Software Product Lines"
-
Mar 11 - Cedric Reichenbach: Morphing DoodleDebug into a cluster (outlook on MTh)
-
Mar 4 - Moose Dojo
-
Feb 11 - Simon Vogt: Clone detection that scales
-
Jan 7 - Aaron Karper: Parse trees of regular expressions with minimal performance impact
2013
-
Dec 17 - Marcel: Lego EV3
-
Dec 3 - Olivier Flückiger: What you (didn't) want to know about V8.
-
Oct 29 - Oscar Nierstrasz: What I learned from Rascal — NB: seminar exceptionally @ 14h00!
-
Oct 8 - Erik Aeschlimann: Analyzing PL/1 Legacy Ecosystems — An Experience Report
-
Oct 8 - Niko Schwarz: Cells — run pipelines of map/reduce jobs.
-
Sep 25 - Adrian Kuhn: Live Coding, or Putting the Thinking Loop Back into Programming
-
Aug 20 - David Wettstein: Analyzing Java System Properties
-
July 16 - Mike Morelli: Detecting Polymorphism
- Nina Mujkanovic: Dynamic Metaobjects in Java using JRebel.
- Simon Marti: An Architecture for Ubiquitous Second Language Aquisition
-
July 2. - Andrea Caracciolo: Experimentation in Software engineering
-
June 4 - Michael Morelli: Detecting Polymorphism
-
May 28 - Stefan Nüesch: Cost of Volatile
-
May 21 - Bledar Aga: Static Dependency Cycle Removal, Phokham Nonava: Keyword Analysis
-
May 14 - Attieh Givi: Layout-Sensitive Grammar in PetitParser Framework, Stefan Wanzenried: Parsing git log file
-
May 7 - David Wettstein: Analyzing System Properties in Java
-
Apr 30 - Cedric Reichenbach: DoodleDebug, presentation & demo
-
Apr 23 - Olivier Flückiger: Replacing Assembly Stubs in the V8 JavaScript Engine
-
Apr 16 - Haidar Osman: Collaborative Software Modelling
-
Apr 9 - Jan Kurš: Composable and Modular Petit Parsing
-
Mar 26 - Oscar Nierstrasz: Identify the Champion Revisited
-
Mar 19 - Oscar Nierstrasz: ASDS 2013 overview (mindmap)
-
Mar 5 - Michael Pradel: Automatic Testing of Sequential and Concurrent Substitutability
-
Feb 19 - Introduction to seminar projects; quiz
2012
- Dec 18 - Project Presentations: Reto Bachmann-Gmür, Inci Dincer. Oscar at Dagstuhl.
- Dec 11 - Project Presentations: Laura Daian, Ramya Sukumaran; Eduard Paduraru
- Dec 4 - Project Presentations: Julian Schelker, Roger Kohler.
- Oct 30 - Pascal Maerki: Dynamic Ownership
- Oct 16 - Andrei Chis: Polymetric Maps
- Oct 2 - Manuel Leuenberger: Talented Streams
- Aug 14 - Jan Kurs: Agile Modeling
- June 26 - Ramon Wenger: Modeling Water Infiltration with JavaScript (part 2)
- May 22 - Frederic Aebi — DCD6, Dead Code Detection Tool
- May 15 - Jan Kurs: Language Interoperability
- May 8 - Andrea Caracciolo: DBP — A Benchmark for Design Pattern Detection Tools
- Apr 3 - Michael Rüfenacht: Enable the Analysis of PHP Applications
- Mar 27 - Ramon Wenger: Modeling Water Infiltration with JavaScript
- Mar 20 - Dr. Alessandra Gorla, University of Lugano: Exploiting the intrinsic redundancy of software systems
- Jan 31 - Cedric Reichenbach: DoodleDebug
- Jan 10 - Olivier Flückiger: Implementing Pinocchio, a VM-less metacircular runtime library for dynamic languages
2011
- Dec 20 - Pascal Märki on dynamic ownership
- Dec 6 - Erik Aeschlimann: Analyzing PL/1
- Oct 18 - Attieh Sadeghi Givi: Negotiating Object Features
- Sept 27 - Raffael Krebs: Vera, an Extensible Eclipse Plug-in for the Analysis of Java Enterprise Applications
- Sept 6 - Erik Aeschlimann: Analyzing PL/1
- Aug 2 - Chantal Peeters: A Generic Web Submission System
- July 5 - Alexandre Bergel: Profiler Zoo
- June 14 - Cedric Reichenbach: DoodleDebug
- May 31 - Simon Vogt: JSeuss, How making dependency injection a language feature of Java improves testing and your life.
- May 17 - Olivier Flückiger: Pinocchio on Speed
- May 10 - Fabrizio Perin: Analyzing Dependencies
- May 3 - Andrea Quadri: Chameleon — Decoupling Instrumentation from Development Tools with Explicit Meta-Events
- Mar 1 - Mascha Kurpicz: Final Bachelor Presentation w/ Scrum Detector demo
- Feb 22 - David Gurtner: Dynamic Software Updates with ActiveContext
- Feb 1 - Daniel Langone: Subjectivity
- Jan 18 - Markus Herrmannsdörfer: Evolutionary Metamodeling
2010
- Dec 21, 10:15 Marc Mooser — Presentation about Code Tagging
- Dec 14, 10:15 Ahmed El-Sayed Mostafa — JSeuss, dependency injection for Java without clutter
- Dec 07, 11:15, Iliya Enchev — Presentation of work on JSP Fact Extractor
- Nov 30: Mascha Kurpicz - Presentation about Scrum Project
- Nov 23, 10:15 - 12:00: Frank Buchli — Build your own DSL with Xtext [Interactive Workshop]
- Nov 16, Raffael Krebs — Extensible Eclipse plug-in to analyze Java enterprise applications
- Nov 9: Camillo Bruni — Pinocchio VM
- Oct 19: Adrian Kuhn — "My summer at Microsoft"
- Sep 27: Jorge Ressia — "Modeling Features at Runtime"
- July 26: Andrea Quadri — Reflection through operational decomposition
- July 5: Daniel Langone — Modelling Subjectivity
- June 21: Michal Musial — Task Manager in the IDE
- May 17: David Gurtner — ActiveContext in Pinocchio; Max Leske — GitFS
- May 10: Camillo Bruni — Pinocchio VM
- May 3: Marcel Härry — Senseo (final presentation)
- April 26: Markus Balsiger — Representing software features in the Eclipse IDE
- April 12: Erwann Wernli — ActiveContext
- March 29: Florian Gysin — Bender final presentation
- March 22: Erwann Wernli — Clojure overview
- February 1: David Erni on Software Cartography
- January 11: Serge Demeyer — Research methods in Computer Science (redux) slides (Guest)
2009
- November 30: Mircea Lungu — Reverse Engineering Software Ecosystems
- October 5: Florian Gysin — Source Code Search
- September 21: Lea Hänsenberger — JUnit2JExample
- September 7: Niko Schwarz — Mathematica: the cool parts
- August 17: Adrian Kuhn — "State-of-the-art in Source Code Search."
- July 13: Anja Guzzi — Supporting Collaboration Awareness in Multi-developer Projects
- June 8: Marcel Härry — Senseo — Augmenting Static Source Views in IDEs with Dynamic Metrics
- May 25: Oscar Nierstrasz — "Citezen-Pier: scgbib queries inside Pier"
- May 11: Adrian Kuhn — "SquareBuilder and Turtlez, two little languages in P2's Ludo game."
- May 4: Dominique Matter — "Who knows about that bug?"
- April 27: Niko Schwartz — "A parameterized search tree algorithm for rank aggregation by criteria"
- April 6: Adrian Kuhn — Processing tutorial
- March 23: David Erni — Software Cartography
- March 16: Daniel Langone — Recycling trees: Mapping Eclipse ASTs to Moose Models
- Feb 9: Michel Wermelinger — Of Bugs and Men (and Plugins too)
- Feb 2: Philipp Bunge — Glamorous Browsers
- Jan 26: Camillo Bruni — PyGirl
- Jan 19: Sandro De Zanet — Grammar Evolution
- Jan 12: Julien Fierz — Compass
2008
- Dec 15: Andrea Quadri — Sourcetalk (final presentation)
- Oct 13: Matthias Junker — Kumpel: Visual Exploration of File Histories
- Sep 8: Lea Hänsenberger — API Migration from JUnit to JExample
- Sep 1: Samuel Schürch — Pepsi from Coke
- Aug 18: Fabrizio Perin — Dynamic analysis for Design Pattern detection in Java
- Aug 4: Matthias Junker — Analyzing SVN repositories with YellowSubmarine
- Aug 4: Anselm Strauss — Dynamic Aspects: An AOP implementation for Squeak
- July 28: Philipp Bunge — Glare UI: Flashing User Interfaces with Smalltalk
- July 21: Daniel Langone — Mapping Eclipse ASTs to Moose models
- June 23: Andrea Quadri — Squeak Source 2
- June 2: Oscar Nierstrasz — a brief demo of AGG: The Attributed Graph Grammar System
- May 26: Camillo Bruni — PyGirl: Translating Whole-system VMs using PyPy
- May 5: David Erni — JavaGroups: Collective Behavior for Java
- April 28: Manuel Friedli — ECCrawler: Visual Navigation for Eclipse
- April 21: Dominique Matter — Vocabulary and Author Correlation in Versioned Systems
- April 14: Julien Fierz — Navigation Support for Back-in-Time Debugging
- April 7: Andrea Brühlmann — Metanool, Enriching Reverse Engineering with Annotations
- March 3: Cédric Jeanneret (EPFL) — Insights on model composition
- February 25: Lukas Renggli — A quick demo of GemStone/S
- February 18: Lea Hänsenberger — JExample, extending JUnit with explicit dependencies
- January 21: Sandro De Zanet — J2ee Analysis
2007
- December 17: Peter Loretan — Software Cartography
- December 10: David Erni — Collective Behavior for Java
- November 19: Michael Wahler (IBM Zurich) — Constraint Engineering
- November 12: Dennis Schenk, Peter Siska — Electronic Patient Record
- October 22: Carl Friedrich Bolz, Armin Rigo — PyPy Presentation
- October 15: Andrea Brühlmann — Metanool
- October 8: Lea Hänsenberger — Composable Tests
- September 24: Manuel Friedli — Visual Navigation for Eclipse
- September 24: Anselm Strauss — Dynamic Aspects
- September 17: Lucas Streit — Basil: Scripting Flash from Smalltalk
- August 20: Tudor Girba — Moose Finder
- August 13: Adrian Urfer — GraphDrawing
- June 18: Adrian Dozsa — Analyzing Lisp Systems
- June 11: Julien Fierz — J-Wiretap, Extracting Execution Models for Reverse Engineering
- June 4: Lucas Streit — Basil: A Flash Output Framework for Smalltalk
- May 14: Mircea Lungu — Latest News from Lugano
- May 14: Oscar Nierstrasz — Societal Computing — report from Interlink WG
- April 23: Marc Mooser — Parsing Ada
- April 16: Stefan Reichhart — Assessing Test Quality (Wrap-Up of TestLint & Christo)
- March 19: Nik Haldimann — TypePlug
- Feb 26: Lukas Renggli — Evolving Objects
David Roethlisberger — Feature Browser - Feb 19: Florian Thalmann — "Rubato Composer"
- Feb 12: Matthias Junker and Markus Hofstetter — Scripting Charts with EyeSee
- Feb 5: Philipp Bunge — Shrew
- Jan 29: Pascal Zumkehr — Changeboxes
2006
- Dec 15 (Friday @ 14h00): Stefan Reichhart — TestLint (TestSmells) & Case-Study-Results (summarized), maybe also Delta-Debugging with Christo
- Dec 15 (Friday @ 11h00): Philippe Marschall — Persephone: practical uses
- Dec 11: Nik Haldimann — TypePlug
- Nov 27: Julien Fierz — Java Profiler for Moose
- Nov 20: David Roethlisberger — Informal brainstorming to improve IDEs (in Squeak, in Smalltalk, or in general)
- Nov 13: Philipp Bunge — Analyzing Subversion repositories
- Nov 06: Marcel Härry — JPAAM: A pluggable authentication and authorisation framework
- Oct 30: Andrea Bruehlmann — Albatross: a Seaside live testing Framework
- Aug 14: Tudor Girba — User Interaction with Moose and Mondrian
- Jul 10: Rafael Wampfler — SmallEg: A Metamodel and GUI for Unit Tests
- Jul 17: David Gurtner — j2moose: importing JSP into Moose
- June 26: Stefan Reichhart — Christo alias Coverage (quick 5 min overview about the ui, ...)
- June 19: Adrian Kuhn — The new Moose (with new Meta).
- June 12: Andrea Bruehlmann — Albatross: a Seaside live testing Framework
- May 22: Marcel Härry — Pluggable Security System in Java (Authentification/Authorisation)
- May 15: Adrian Kuhn — Hapax Legomenon (Semantic Clustering)
- May 8: Pascal Zumkehr — ChangeBoxes
- Apr 3: Markus Gälli — Fit: An Acceptance Test Framework
- Mar 13: David Röthlisberger — Unanticipated Reflection with Geppetto
- Mar 7: Michael Meyer — The nice visualization engine wihtout a final name
- Feb 20: Romain Robbes
- Feb 6: Mauricio Seeberger — How Developers Drive Software Evolution
- Feb 5: Florian Thalmann — JamTomorrow: Collaborative Music Generation in Croquet
2005
- Dec 19: Rafael Wampfler — SmallEg: A Metamodel and GUI for Unit Tests
- Dec 12: Violeta Voinescu — Using Annotations to Support Reverse Engineering
- Oct 17: Christoph Hofer — Omniscient Debugger
- Oct 3: Philippe Marschall — Beyond Bytes: a high level representation of a method
- Sept 12: Rebecca Hiller — SEDEXfield: a PDA software to evaluate torrents in field
- Aug 22: Mauricio Seeberger — How Developers Drive Software Evolution
- Jun 06: Christoph Wysseier — TraceCrawler
- May 30: Michael Meyer — Merlin: Continuous Integration with VisualWorks
- May 09: Niklaus Haldimann — Classboxes
- Apr 18: David Röthlisberger — Reflex and Geppetto
- Mar 21: Mauricio Seeberger — Bridging Versioning Information to Van
- Mar 14: Gabriela Arevalo — CSMR '05 Rehearsal
- Jan 31: Orla Greevy — Feature Analysis Tool Demonstration
2004
- December: Orla Greevy — The Evolution of Features
- November 1st: Andy Kellens — On using logic programming ...
- September 20: Markus Kobel — CodeSnooper Demonstration
- August 16: Danny Dig, UIUC/SAG — Refactoring and Frameworks
- June 28: Orla Greevy — Retrospective Dynamic Analysis to Support Evolution (Request for Feedback Presentation)
- May 10: Mircea Lungu — Diploma Start Presentation
- Apr 5: Markus Kobel — Diploma Start Presentation
- Mar 29: Thomas Buehler — Diploma Start Presentation
- Mar 22: Michele Lanza — CSMR 2004 Rehearsal Presentation
2003
- Dec 8: Marc-Philippe Horvath: Automated Class Blueprint Pattern Recognition
- Nov 24: Markus Gälli: Partial ordering of tests by coverage sets
- Nov 17: Eric Luisi: Security Aspect in Smallwiki
- Nov 10: Laura Ponisio — Modularization First aid Kit, using Baobab for software modularization.
- Sept 30: Gabriela Arevalo — X-Ray Views: Understanding Internals of a Class (ASE 2003 Rehearsal)
- Sept 15: Gisele Douta — A Planning Application Generator for Orthopaedic Surgery
- Sept 1: Oscar Nierstrasz — Traits as wrappers in C++ and Java
- June 23: Nathanael Schaerli — ECOOP Traits rehearsal
- June 16: 3 month plan — everyone!
- May 5: Laura Ponisio — Baobab: Building Abstractions"
- April 28: Daniele Talerico: diploma presentation
- April 21: (Easter Monday — no meeting)
- April 14: Daniel Ratiu "Time Based Detection Strategies"
- April 7th: Andreas Hosbach "Pecos model and Lego Mindstorms"
- March 31st: Tudor Girba "Understanding Software Systems by Analyzing Their Histories"
- March 24th: Roland Bertuli "Divoor: Dynamic Information Visualization for Software Understanding"
- March 17th: Lukas Renggli "SmallWiki: Design and Presentation"
- March 17th: Stephane Ducasse "Moose Internals: adding Reference into Moose"
- March 17th: Markus Gälli "E.g.: Enhancing understandability and testability of objects and methods by giving explicit examples" — February 3rd: Tobias Aebi: presenting diploma in work: type detection, high-level models
- 27 January 2003, Stefan Kneubuehl, presenting diploma in work: "Typeful Compositional Styles"
- 20 January 2003, Frank Buchli, presenting diploma work proposal: Detecting Software Patterns Using Formal Concept Analysis
- 6 January 2003, Andreas Schlapbach, master's thesis: Enabling white-box reuse in a pure composition language.. The thesis can be accessed: here.
2002
- 2 December 2002, Daniel Frey, presenting diploma in work: "Migrating Software Systems towards a collaborating framework"
- 18 November 2002, Werner Van Belle (guest from the Programming Technology Lab, VUB, Belgium)
- 11 November 2002, Tudor Girba, background presentation
- 4 November 2002, Markus Gälli, 5.5 years in industry: lessons learned
- 28 October 2002, Tobias Aebi, diploma proposal: connection high-level models with source
2001
- 06 August 2001, Daniel Schweizer, 15' Demo of Moose Navigator — the code name of the prototype turning CodeCrawler into a navigation tool.
- 30 April 2001, Daniel Schweizer, TopicMaps and Software Engineering — Diploma Outlook & Discussion
- 19 March 2001, Franz Achermann — What is Piccola all about"
2000
- 11 December 2000, Lukas Steiger — Evolution Recovery of Software Systems using Metrics"
- 4 December 2000, Roel Wuyts — Logic Meta Programming for Co-evolution of Design and Implementation"
- 17 January 2000, Jean-Guy Schneider — "A Metamodel for Concurrent, Object-based Programming" (LMO2000 trial talk).
1999
- 13 November: Serge Demeyer — (http://www.iam.unibe.ch/~demeyer/). "Object-Oriented Reengineering — The FAMOOS Experience".
- 29 November: Thomas Hofmann — Open Spaces
- 27 October: Sander Tichelaar — Language Independent Refactorings
- 20 October: Serge Demeyer — Why Unified is not Universal. UML Shortcomings for Coping with Round-trip Engineering, (UML'99 Presentation) http://www.iam.unibe.ch/~demeyer
- 1 October: Michele Lanza — A Hybrid Reverse Engineering Approach Combining Metrics and Program Visualization (WCRE'99 Presentation)
- 1 October: Stephane Ducasse — Patterns for Reverse Engineering (WCRE'99 Presentation)
- 1 September: Matthias Rieger — Language Independent Approach for Detecting Duplicated Code, (Presentation ICSM'99)
- 1 September: Tamar Richner — Recovering High-Level Views of Object-Oriented Applications by Combining Static and Dynamic Information (Presentation ICSM'99)
- 14 April: Juan Carlos Cruz — Colas: A group Base Approach for Coordinating Active Objects
- 8 March — 10 March: visit of the SSEL group from VUB
- 22 February: Dr. Jean-Marc Andreoli Dr. Francois Pacull, Jean-Yves Vion Dury — Composition Technologies
1998
- 13 October: Koen De Hondt — A novel Approach to Architectural Recovery in Evolving Object-Oriented System
- 7 October: Fredi Frank — Documentation Evolution
- 10 September: John Brant and Don Roberts — Refactorings and Tools
- 5 August: Xiaogang Zhang — A Compositional Approach to Concurrent Object Models in the Pi-calcul
- 20 May: Daniel Kueni — Aproco: a Agent Approach of Coordination
- 13 May: Roel Wuyts — Soul: A Prolog Integrated in Smalltalk
- 6 May: Fredi Frank
- 22 Apr: Roger Blum — Alfred, Prototype of an Active Database
- 18 Mar: Michael Held — Corba Example
- 18 Feb: Markus Stolze — Object Oriented Interface Design
- 11 February: Koen De Hondt — Classification Browser and Architecture
- 4 Feb: Franz Acherman — Using PiL