JSSpecVis: A JavaScript Language Specification Visualization Tool
This program is tentative and subject to change.
ECMA-262 is the official language specification for JavaScript that defines the language semantics in detail. However, readers often struggle to understand the specification due to the intricate edge cases and lengthy, highly nested explanations. To address this issue, we present JSSpecVis, an interactive web interface visualizing the JavaScript language specification. For an intuitive understanding of edge cases, it provides example programs for each part of the specification with a call-path context selected by readers. In addition, it supports the interactive execution of JavaScript programs on the specification with a new debugging feature called resume and provenance for advanced debugging of JavaScript programs. Using these functionalities, JSSpecVis provides an intuitive learning environment for beginners and a powerful productivity for experts. Our tool is open at https://github.com/ku-plrg/js-spec-vis, and the tool demonstration is available at https://youtu.be/xqLPmVVlORQ.
This program is tentative and subject to change.
Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 10mTalk | HeaderSplit: An Automated Tool for Splitting Header Files in C Projects Demonstrations Yue Wang , Jiaxuan Sun Peking University, Tongwei Deng Peking University, Wenhui Chang Peking University, Yanzhen Zou Peking University, Bing Xie Peking University | ||
14:10 20mTalk | Recasting Type Hints from WebAssembly Contracts Research Papers Kunsong Zhao The Hong Kong Polytechnic University, Zihao Li Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China, Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Yajin Zhou Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center DOI | ||
14:30 20mTalk | Medusa: A Framework for Collaborative Development of Foundation Models with Automated Parameter Ownership Assignment Research Papers Dezhi Ran Peking University, Yuan Cao Peking University, Yuzhe Guo Beijing Jiaotong University, Yuetong Li The University of Chicago, Mengzhou Wu Peking University, Simin Chen University of Texas at Dallas, Wei Yang UT Dallas, Tao Xie Peking University | ||
14:50 10mTalk | jAST: Analyzing and Modifying Java ASTs with Python Demonstrations Marius Smytzek CISPA Helmholtz Center for Information Security, Martin Eberlein Humboldt-Universtität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
15:00 20mTalk | Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis Journal First Fengjie Li Tianjin University, Jiajun Jiang Tianjin University, Jiajun Sun Tianjin University, Hongyu Zhang Chongqing University | ||
15:20 10mTalk | JSSpecVis: A JavaScript Language Specification Visualization Tool Demonstrations Minseok Choe Korea University, Kyungho Song Sogang University, Hyunjoon Kim Korea University, Jihyeok Park Korea University | ||