The vision for my PhD thesis

1. Automatic Migration
of Software
Oleksandr Zaitsev
<oleksandr.zaitsev@inria.fr>
My Blog: https://medium.com/@i.oleks

2. Topic of my PhD:
Machine Learning-based Tools
for Automatic Software Migration

3. The Problem of
Automatic Migration

9. How do we approach
this problem?

11. On-the-fly Deprecation
Rewriter of Pharo

15. public class Timespan {
public boolean includesAllOf(Time[] values) {
return values.forEach(time -> {
this.includes(time);
});
}
}
depends

16. public class Timespan {
/* @deprecated Replaced by
* boolean includesAll(Time[] values)
*/
@Deprecated
public boolean includesAllOf(Time[] values) {
return this.includesAll(values);
}
public boolean includesAll(Time[] values) {
return values.forEach(time -> {
this.includes(time);
});
}
}
depends

17. public class Timespan {
/* @deprecated Replaced by
* boolean includesAll(Time[] values)
*/
@Deprecated
@Transform(
“@receiver.includesAllOf(@arguments)”,
“@receiver.includesAll(@arguments)”)
public boolean includesAllOf(Time[] values) {
return this.includesAll(values);
}
public boolean includesAll(Time[] values) {
return values.forEach(time -> {
this.includes(time);
});
}
}
depends

18. public class Timespan {
/* @deprecated Replaced by
* boolean includesAll(Time[] values)
*/
@Deprecated
@Transform(
“@receiver.includesAllOf(@arguments)”,
“@receiver.includesAll(@arguments)”)
public boolean includesAllOf(Time[] values) {
return this.includesAll(values);
}
public boolean includesAll(Time[] values) {
return values.forEach(time -> {
this.includes(time);
});
}
}
depends

19. Timespan >> includesAllOf: values
self
deprecated: ‘Please use #includesAll: instead’
transformWith: ‘`@receiver includesAllOf: `@arguments’ ->
‘`@receiver includesAll: `@arguments’.
^ self includesAll: values
Timespan >> includesAll: values
^ values allSatisfy: [ :time | self includes: time ].

20. Removing Human from
the Loop

24. The PhD of Andre Hora

27. Non-trivial Migrations

28. Case Study 1: LayoutFrame

29. Case Study 1: LayoutFrame

30. Case Study 1: LayoutFrame
frame := LayoutFrame identity
bottomFraction: 0.25;
rightFraction: 0.4;
bottomOffset: 46;
rightOffset: -71;
yourself.

31. Case Study 1: LayoutFrame
fractionRectangle := 0@0 extent: 0.4@0.25.
offsetRectangle := 0@0 extent: -46@(-71).
frame := LayoutFrame
fractions: fractionRectangle
offsets: offsetRectange.

32. Case Study 2: Breaking Changes

33. Case Study 3: Deprecating the
Template Method

34. Some Open Questions
1. What are the kinds of migrations that can go beyond
method mapping?
2. Can we extract the migration rules by comparing the
tests of the two versions of a library?
3. Can we use a better representation of source code than
a collection of lines or a collection of method calls? Can
we learn by comparing the AST of different versions?

35. My Work
(The Big Picture)