SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 14:00 - 14:30 at Room XV - Session 3 Chair(s): Zilu Tian

Interoperability across software languages is an important practical topic — especially in the context of software migration, where foreign function interfaces can help to replace legacy code fragments with calls to existing alternatives. In this paper, we take a deep dive into investigating and tackling the challenges involved with achieving interoperability between C and BabyCobol. The latter is a little domain-specific language, condensing challenges found in compiling legacy languages — borrowing directly from COBOL’s data philosophy — into one quickly implementable language. In this paper, we introduce Crossover, a compiler designed specifically to showcase the interoperability and the details of connecting a COBOL-like language with PICTURE clauses and re-entrant procedures, to C with primitive types and struct composites. Crossover features a C library for bridging the gap in overcoming the differences between the data representations native to the respective languages. We illustrate the design process of Crossover and demonstrate its usage to provide a strategy to achieve interoperability between legacy and modern languages. From a practical perspective, this directly enables C programmers to contribute to the maintenance of (as well as migration away from) legacy systems. The described process is aimed to be a blueprint for how interoperability can be achieved between full-fledged COBOL and modern (C-like) programming languages, enabling developers versed in either language to contribute to the maintenance of legacy systems.

Mon 23 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Session 3GPCE at Room XV
Chair(s): Zilu Tian EPFL
14:00
30m
Talk
Crossover: Towards Compiler-enabled COBOL-C Interoperability
GPCE
Mart van Assen University of Twente, Manzi Aimé Ntagengerwa University of Twente, Ömer Faruk Sayilir University of Twente, Vadim Zaytsev University of Twente, Netherlands
14:30
30m
Talk
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
GPCE
Oscar Eriksson KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology
15:00
30m
Talk
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
GPCE
Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raúl Mazo ENSTA Bretagne