Old News
- July, 2022
- I am delivering a keynote Ownership-Driven Synthesizer for Automatic C to Rust Translation at the Global Software Technology Summit organised by Huawei Ireland Research Centre.
- May, 2022
- Modular Probabilistic Models via Algebraic Effects is accepted by ICFP’22.
- Dec, 2021
- Funding success! Ownership and Lifetime Driven Synthesizer for Automatic C to Rust Translation is funded by Huawei Ireland.
- Sep, 2021
- Two papers Staging with Class and Linked visualisations via Galois dependencies are accepted by POPL’22.
- Sep, 2021
- Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches is accepted by OOPSLA’21.
- Aug, 2021
- My student Minh Nguyen won the first place at the ACM Student Research Competition (ICFP) with Composable, Modular Probabilistic Models. Congratulations Minh!
- June, 2021
- I am chairing the Bx workshop with Leen Lambers.
- June, 2021
- Hanliang Zhang joins the team as a research assistant on the Rust project.
- Feb, 2021
- Funding success! Verified Program Synthesis for Refactoring Rust Programs is funded by the National Cyber Security Centre (NCSC).
- Jan, 2021
- Ningning Xie from University of Hongkong is visiting us for four months. Welcome Ningning!
- Dec, 2020
- Weixin Zhang joins the team as a senior research associate on the EXHIBIT project. Welcome Weixin!
- Jun, 2020
- I am very glad to be nominated for Inspiring and Innovative Teaching Award at Bristol for my Functional Programming unit. I had a lot of fun and it seems that the students did too!
- May, 2020
- Sparcl: A Language for Partially-Invertible Computation is (unconditionally) accepted by ICFP’20.
- Mar 2020
- Project Making Software Development Language-Agnostic through Cross-Language Mapping and Migration funded by the Royal Society (IES\R3\193175).
- Dec, 2019
- I am co-chairing the Ninth International Workshop on Bidirectional Transformations (BX 2020). Deadline for papers is 4 May 2020.
- Nov, 2019
- Three PhD students (Samantha Frohlich, Minh Nguyen, and Anton Antich) are starting in early 2020. Welcome!
- Oct, 2019
- A Study of Programming Languages and Their Bug Resolution Characteristics is accepted by Transactions on Software Engineering (TSE).
- Sep 2019
- Project EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations funded by EPSRC (EP/T008911/1).
- Sep 2019
- Dr Kazutaka Matsuda from Tohoku University is visiting for two weeks.
- Aug 2019
- Samantha Frohlich won the first prize of ICFP 2019 Student Research Competition (Undergraduate Category). Well done Sam!