Old News
- Dec, 2023
- Reconciling Partial and Local Invertibility is accepted by European Symposium on Programming.
- Dec, 2023
- SPARCL : A Language for Partially-Invertible Computation is accepted by Journal of Functional Programming.
- Sep, 2023
- My student Minh Nguyen has successfully defended his PhD thesis Effects and Effect Handlers for Probabilistic Programming. Congratulations Minh!
- Sep, 2023
- I am on the PC of ICFP24. Please consider submitting.
- Sep, 2023
- We are organising Fun in the Afternoon / S-REPLS 13 at Bristol.
- Sep, 2023
- I delivered a keynote Translation to Rust at China Computer Federation (CCF).
- Sep, 2023
- I am co-organising PEPM 2024. Please consider submitting. Deadline: 18th October 2023.
- Aug, 2023
- Reflecting on Random Generation received Distinguished Paper award at ICFP’23!
- July, 2023
- Contract Lenses: Reasoning about Bidirectional Programs via Calculation is accepted by Journal of Functional Programming.
- July, 2023
- Effect Handlers for Programmable Inference is accepted by Haskell’23.
- Jun, 2023
- We are recruiting a lecturer in Programming Languages and Compilers.
- Jun, 2023
- My student Minh Nguyen is awarded EPSRC Doctoral Prize Fellowship for the proposal Robust, Reusable Computational Models via Typed Functional Programming.
- Jun, 2023
- The extended version of our OOPSLA’21 paper Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches is accepted by Journal of Formal Methods in System Design.
- May, 2023
- Two papers Embedding by Unembedding and Reflecting on Random Generation are accepted by ICFP’23.
- Apr, 2023
- Ownership guided C to Rust translation is accepted by CAV’23.
- Feb, 2023
- Funding success! Debugging Systems For Metaprogramming-based EDSLs is funded by Huawei Ireland.
- Oct, 2022
- Exploring Better Black-Box Test Case Prioritization via Log Analysis is accepted by ACM Transactions on Software Engineering and Methodology.
- May, 2022
- We are organising the International Symposium on Theoretical Aspects of Software Engineering at Bristol.
- Sep, 2022
- I am delivering a keynote Functional Programming. Why does it matter? at Huawei Strategy and Technology Workshop.
- Sep, 2022
- Roly Perera has joint the group as a research fellow, and Joe Bond and Cameron Low as research associates. Welcome!
- 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!