• Publications
  • Influence
How do professionals perceive legacy systems and software modernization?
TLDR
The results show that practitioners value their legacy systems highly, the challenges they face are not just technical, but also include business and organizational aspects. Expand
A structured legacy to SOA migration process and its evaluation in practice
TLDR
This paper presents a structured six-phase process that covers both migration planning and execution, and does so by considering the technological, organizational and business perspectives of the legacy to Service-Oriented Architecture migration domain. Expand
Plagiarism detection for Java: a tool comparison
TLDR
Five tools for detecting plagiarism in Java source code texts: JPlag, Marble, moss, Plaggie, and sim are compared with respect to their features and performance. Expand
Heuristics for Type Error Discovery and Recovery
TLDR
This work forms type inference as a constraint problem, and analyzes the collected constraints to improve the error messages and, as a result, programming efficiency. Expand
A comparison of plagiarism detection tools
TLDR
Five tools for detecting plagiarism in source code texts: JPlag, Marble, moss, Plaggie, and sim are compared with respect to their features and performance. Expand
Type Class Directives
TLDR
Four type class directives, and specialized type rules are proposed to lend high-level support to compilers to improve the type error messages in the presence of Haskell 98 type classes. Expand
Improving type error messages for generic Java
TLDR
This work describes how to adapt the type inference process of Java to obtain better error diagnostics for generic method invocations and paves the way for further heuristics can provide additional diagnostic information. Expand
Migrating a large scale legacy application to SOA: Challenges and lessons learned
TLDR
The findings are discussed as lessons learned, including the implications of using reverse engineering techniques to facilitate the migration process, adopting a pragmatic migration realization approach, emphasizing the organizational and business perspectives, and harvesting knowledge of the system throughout the system's life cycle. Expand
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules
TLDR
Specialized type rules are presented, a way to influence which part of the program is blamed and how the particular error message is worded, which can be readily applied to any type engine which uses constraints to perform its duty. Expand
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes
TLDR
This work considers the problem of detecting three kinds of graphs in switching classes, and finds algorithms running in time polynomial in the number of vertices in the graphs, although switching classes contain exponentially many graphs. Expand
...
1
2
3
4
5
...