VISOPT - Visualization of Compiler Optimizations for Computer Science Education

被引:0
|
作者
Koitz-Hristov, Roxane [1 ]
Mandl, Franz [1 ]
Wotawa, Franz [1 ]
机构
[1] Graz Univ Technol, Inst Software Technol, Graz, Austria
关键词
Compiler Optimization; Visualization; Simulation software; Compiler Visualization; Computer Science Education;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Visualizations in teaching have become a common practice as they effectively convey theoretical concepts. Compiler construction, a heavily theory-based subject in computer science education, is particularly challenging for students to understand. While many tools simulate a compiler's front end, or analysis phase, applications that focus on the back end, or synthesis phase, are scarce. This paper describes VisOpt, a web-based visualization tool designed for a master's level Compiler Construction course. VisOpt focuses on the synthesis phase, i.e., code optimization and code generation. Its primary objective is to help students comprehend various local compiler optimizations, which can be visualized on the original code, an intermediate representation, or an assembler-like target code. A quasi-experiment with a pre-test-post-test design revealed that students who used VisOpt reported higher self-efficacy compared to those who did not. Although no significant improvement in learning outcomes was observed overall, we propose VisOpt as an engaging pedagogical tool that effectively complements traditional methods for teaching the synthesis phase of compilers.
引用
收藏
页码:603 / 609
页数:7
相关论文
共 50 条
  • [1] VISOPT - Visualization of Compiler Optimizations for Computer Science Education
    Koitz-Hristov, Roxane
    Mandl, Franz
    Wotawa, Franz
    PROCEEDINGS OF THE 56TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, SIGCSE TS 2025, VOL 1, 2025, : 603 - 609
  • [2] GRAPHICAL VISUALIZATION OF COMPILER OPTIMIZATIONS
    BOYD, MR
    WHALLEY, DB
    JOURNAL OF PROGRAMMING LANGUAGES, 1995, 3 (02): : 69 - 94
  • [3] The Role of Visualization in Computer Science Education
    Fouh, Eric
    Akbar, Monika
    Shaffer, Clifford A.
    COMPUTERS IN THE SCHOOLS, 2012, 29 (1-2) : 95 - 117
  • [4] Compiler Optimizations for OpenMP
    Doerfert, Johannes
    Finkel, Hal
    EVOLVING OPENMP FOR EVOLVING ARCHITECTURES, 2018, 11128 : 113 - 127
  • [5] COMPILER OPTIMIZATIONS FOR THE WAM
    TURK, AK
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 657 - 662
  • [6] THE USE OF COMPUTER BASED VISUALIZATION IN NEAR SCIENCE EDUCATION FUTURE
    Bilbokaite, Renata
    EDULEARN12: 4TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2012, : 1871 - 1874
  • [7] Phase Directed Compiler Optimizations
    Jain, Era
    Roy, Subhajit
    PROCEEDINGS OF 2016 IEEE 23RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC), 2016, : 270 - 279
  • [8] Detection of Optimizations Missed by the Compiler
    Zhang, Yi
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 2192 - 2194
  • [9] Incremental Verification of Compiler Optimizations
    Fedyukovich, Grigory
    Gurfinkel, Arie
    Sharygina, Natasha
    NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 300 - 306
  • [10] ADVANCED COMPILER OPTIMIZATIONS FOR SUPERCOMPUTERS
    PADUA, DA
    WOLFE, MJ
    COMMUNICATIONS OF THE ACM, 1986, 29 (12) : 1184 - 1201