Skip to Main content Skip to Navigation
Theses

Interactive Program Restructuring

Abstract : Software development and program manipulation become increasingly complex with the massive adoption of parallel architectures, requiring significant expertise from developers. While numerous programming models and languages allow for creating efficient programs, they fall short at helping developers to restructure existing programs for more effective execution. At the same time, automatic approaches are overly conservative and imprecise to achieve a decent portion of the systems' performance without supplementary semantic information from the developer. To answer these challenges, we propose the interactive program restructuring approach, a bridge between semi-automatic program manipulation and software visualization. It is illustrated in this thesis by, first, extending a state-of-the-art polyhedral model for program representation so that it supports high-level program manipulation and, second, by designing and evaluating a direct manipulation visual interface for program restructuring. This interface provides information about the program that was not immediately accessible in the code and allows to manipulate programs without rewriting. We also propose a representation of an automatically computed program optimization in an understandable form, easily modifiable and reusable by the developer both visually and textually in a sort of human-machine partnership. To support different aspects of program restructuring, we design and evaluate a new interaction to communicate supplementary information, not critical for the task at hand. After an empirical study of developers' attention distribution when faced with visual and textual program representation, we discuss the implications for design of program manipulation tools in the instrumental interaction paradigm. We expect interactive program restructuring to make program manipulation for optimization more efficient and widely adopted.
Complete list of metadatas

Cited literature [225 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01414770
Contributor : Abes Star :  Contact
Submitted on : Monday, December 12, 2016 - 3:26:06 PM
Last modification on : Friday, October 23, 2020 - 4:54:45 PM
Long-term archiving on: : Tuesday, March 28, 2017 - 12:37:52 AM

File

74236_ZINENKO_2016_diffusion.p...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01414770, version 1

Collections

Citation

Oleksandr Zinenko. Interactive Program Restructuring. Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLS437⟩. ⟨tel-01414770⟩

Share

Metrics

Record views

1313

Files downloads

579