During ICSE’16, Gail gave a keynote talk. I collected tweets from the #icse16 hashtag and put them together in Storify. You can find the result here: https://storify.com/MFamelis/gailmurphyskeynoteaticse16 Gail’s slides are here: Is Continuous Adoption in Software …


Gail Murphy’s keynote at ICSE’16

Webinar: MMINT — A Graphical Tool for Interactive Model Management
Model Management addresses the accidental complexity caused by the proliferation of models in software engineering. It provides a highlevel view in which entire models and their relationships (i.e., mappings between models) can be manipulated using …

On publishing the “obvious”
As a requirement for the course “Advanced Propositional Reasoning” that I’m taking, today I did a presentation of a very very interesting paper titled Empirical study of the anatomy of modern SAT solvers. You can …

What is “Computer Science” ?

Slides for “Partial Models: A Position Paper”
I’ve uploaded the slides for the talk I’m going to give tomorrow at the MoDeVVa 2011 workshop. You can download them here.

Aspect oriented modeling
A very interesting Google Tech Talk. I kinda expected to see attributed graph grammars pop up when he started discussing the rulebased transformation approach. I wander if a declarative approach could also work.

The Unbearable Stupidity of Modeling
Presentation (direct link) by Ed Merks (head of the Eclipse Modeling Project) and Peter Friese. I found it at Jordi’s excellent modeling website. PS. Slide 37 is like the best slide ever.

Monitoring and diagnosing software requirements
Yet another presentation, this time for my Conceptual Modeling course. I read and presented the paper “Monitoring and diagnosing software requirements” by Yiqiao Wang, Sheila McIlraith, Yijun Yu and John Mylopoulos. The paper is about …

RaceFuzzer
As a requirement of my Algorithmic Software Verification course, I prepared a presentation of Koushik Sen‘s paper “Race Directed Random Testing of Concurrent Programs“. The paper is basically introducing RaceFuzzer, an algorithm for determining real …