SQUARE: Software Quality Research

Here is the seminar schedule:

Systematic Reuse and Ad Hoc Forking to Develop Software Variants
DATE
SPEAKER
TITLE
NOTES
2017-12-06



2017-11-29



2017-11-22



2017-11-15
Stefan
Systematic Reuse and Ad Hoc Forking to Develop Software Variants
PhD Defense Dry Run - 45 minutes
2017-11-08
-

No talk
2017-11-01
Florian
Fusion of 2D array program operations
Active Discussion
2017-10-25
-
-
No talk
2017-10-18
Alexander
Dataflow Partitioning
Midway Evaluation Dry Run
2017-10-11
-
-
No talk
2017-10-04
Florian
Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations

2017-09
-
-
Replenishing People
2017-08-29
Jean
Dissertation Dry Run
Note 1PM
2017-08-23
-
-
Jean preparing for defence,
Ahmad & Stefan handing in their theses
2017-07
-
-
Summer Vacations - No talks
2017-06-28
-
-
Andrzej on vacation
2017-06-21
Andrzej
Supervised Sentiment Analysis of Customer Reviews based on Amazon.com Dataset, as an Exercise in an Advanced Functional Distributed Programming Course

2017-06-14
Ștefan
Dry Run

2017-06-07
Ahmad Salim
Probalistic Programming Summer School trip report

2017-05-31
Iago
Effective Bug Finding
Ahmad Salim in Probabilistic Programming Summer School
2017-05-24
-
-
Andrzej, Claus, and Jean at ICSE+ICPC (Argentina).
2017-05-17
-
-

2017-05-10
Claus
A Logo/Turtle interpreter for Thymio Robots

2017-05-03
Aleksandar
A Deductive Approach for Fault Localization in ATL Model Transformations (Massimo Tisi & Zheng Cheng, FASE '17)
Andrzej on vacation
2017-04-27
Zhoulai Fu, University of California-Davis
Reasoning about Programs with Mathematical Execution
Room: 3A08 at 13 o'clock
2017-04-26
Alex
Technical Walkthrough of Reconfigurator
Aleks in ETAPS
2017-04-19
Ștefan
Detecting redundant development on Github's forks

2017-04-12
-
-
Easter Break
2017-04-05
-
-
Alex and Jean at ‹Programming› 2017
2017-03-29
-
-
Visitors from INRIA Rennes, and CNR Pisa, so it is not a good day for a talk.
2017-03-22
-
-
-
2017-03-15
Andre Santos, University of Minho
A Framework for Quality Assessment of ROS Applications
Starts 14:00 via Skype. We start with the seminar, we might skip the team meeting, to stay within 1h.
2017-03-08
-
-
-
2017-03-01
-
-
-
2017-02-22
-
-
Andrzej on vacation
2017-02-15
Ahmad Salim
A high unrehearsed introduction to PLT Redex
Take II, now that I am in Copenhagen and can speak freely. Unless someone else has a more interesting talk.
2017-02-08
Florian Weißhardt, Fraunhofer IPA
An introduction to the ATF testing framework for ROS
Via skype, it will take the entire hour, so team meeting is only consisting of the ROS talk part.
2017-02-01
Ștefan
Re-engineering software clones using intentions and views
In preparation for VaCoS workshop (Variation Control System Workshop @TU Eindhoven, Feb 3rd).
2017-01-25
-
-

2017-01-18
-
-
Andrzej has exams (absent)
2017-01-11
-
-
Andrzej and Claus at ROSIN kick-off
2017-01-04
-
-
No talk
2016-12-21
Ahmad Salim
Towards Abstract Interpretation of High-Level Transformations
I will be in Copenhagen, and so it may be a good idea to tell what I have been trying to do in Rennes
2016-12-14
Jean
Variability-Aware Patch Analyzer
What I am doing at CMU
2016-12-07
Alexandru
Herding Cows in Central Africa
Dry run for PhD defence
2016-11-30
-
-
No talk
2016-11-23
Andrzej
What Is Software Engineering Research Good for in 2016?
Dry run for inaugural lecture (mostly aimed for those who are abroad) -- CANCELED
2016-11-16
Ștefan
INFOX - Identifying Features from Forks
One project that I am involved in along with Andrzej, Christian, Shurui and others, while I am at CMU
2016-11-09
-
-
FM'16 running this week
2016-11-02
Aleksandar
Finding Suitable Variability Abstractions for Family-Based Analysis
Dry run for FM '16
SPLASH '16 runs this week
NWPT runs this week
2016-10-26
Andrzej
Finding bugs in Linux with Type-And-Effect abstraction
Dry run for NWPT '16
2016-10-19
Ahmad Salim
A highly-unrehearsed introduction to PLT Redex
CANCELLED
2016-10-12
Iago
Refinement Types for the Masses
Follow-up on previous F# talk
ISOLA'16 runs this week
2016-10-05
-
-
MODELS '16 + ICSME'16 runs this week
2016-09-28
Ștefan
A Technology-Neutral Role-Based
Collaboration Model for Software Ecosystems
Dry run for ISoLA '16
2016-09-21
Claus
Introduction to Message-Passing Concurrency

2016-09-14
Ahmad Salim
SymexTRON: Symbolic Execution of High-Level Transformations
Dry run for SLE '16
2016-09-07
Ștefan
Concepts, Operations and Feasibility of a Projection-based Variation Control System
Dry run for ICSME'16