Xin Lu
PhD Student @ ANU
I am a first-year PhD student in the School of Computing at the Australian National University in Canberra. I'm interested in applying formal methods to challenging computing problems, such as how incorrectness logic can help us determine the reachability of bugs in concurrent systems. I'm also a big fan of EDM/IDM, and always keen to chat about music.
Projects
For my PhD topic, I work with Incorrectness Logic and its backwards variants and try to synthesize executions that lead to violations of safety properties in concurrent systems.
I implemented Sprinkles in my Honours work, a language extension for local computation in the fully verified choreography language Kalas. I'm extending Kalas+Sprinkles to support bounded message sizes.
For projects from my undergrad years:
2024. Honours thesis. Enriching the Kalas Programming Language. Supervised by A/Prof Michael Norrish. [Open Access Thesis].
2024. A CUBLAS‐CUDA Based Implementation of Multi-GPU Large Matrix Multiplication. Supervised by A/Prof Giuseppe Barca. [Talk at Supercomputing Asia 2024]
2024. Optimising Searches for Fast Radio Bursts for Setonix GPUs. Supervised by Dr. Marcin Sokolowski. [Talk at ICRAR] [Poster]
2023. Live with Max MSP and Ableton - A Way to the Dungeon. Supervised by Dr. Charles Martin. [ACMC23 video]