Xing Zhang from the Peking University will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below.

Speaker: Xing Zhang from Peking University

External: https://app.huawei.com/wmeeting/join/97510312/WeYVCCjq5bnYtIA4O8HF9XZ2mSj8Cz6rl

Time: 07/23(Tues) 11:00-12:00 (UTC+01:00)London

Location: 4F Bayes Coffee House, Bayes Center

Meeting ID: 97510312

Passcode: 431967

Registration: https://www.smartsurvey.co.uk/s/D8MKWE/

Abstract: Bidirectional live programming (BLP) systems allow developers to modify programs by directly manipulating their outputs, ensuring the updated programs produce the desired results. Current state-of-the-art BLP systems use an operation-based approach to capture developers’ intentions but often require hard-coded program modifications for each direct manipulation, making them difficult to extend. We propose a novel operation-based framework that automatically fuses direct manipulations into the source code, supporting a more flexible and extensible system. Furthermore, existing BLP systems are limited to static output values (e.g., integers, booleans, pairs, lists) and cannot handle dynamic output values, such as functions essential for interactive systems. To overcome this limitation, we introduce lazy bidirectional evaluation, enabling our framework to support dynamic output values. Our approach ensures that the updated program output matches the manipulated output, maintaining correctness and enhancing the usability of BLP systems.

Bio: Xing Zhang is a fourth-year Ph.D. student at the Programming Languages Laboratory, Peking University, supervised by Zhenjiang Hu. She also conducted a research visit at the Programming Languages Research Group at the University of Bristol, supervised by Meng Wang. Her research focuses on bidirectional transformations, specifically bidirectional live programming. She has published papers in top conferences such as POPL, OOPSLA, and ICSE, and has received the Huawei Scholarship.

【BAYES COFFEE HOUSE TECH TALK SERIES】Operation-based Bidirectional Live Programming / Huawei-Edinburgh Joint Lab by blogadmin is licensed under a Creative Commons Attribution CC BY 3.0