Xin Lu
PhD Student @ ANU
I am a 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.
I'm also a big fan of electronic and intelligent dance music, since it's programmable and offers unlimited possibilities.
Projects
Enriching the Kalas Programming Language. Supervised by A/Prof Michael Norrish. [Open Access Thesis].
A CUBLAS‐CUDA Based Implementation of Multi-GPU Large Matrix Multiplication. Supervised by A/Prof Giuseppe Barca. [Talk at Supercomputing Asia 2024]
Optimising Searches for Fast Radio Bursts for Setonix GPUs. Supervised by Dr. Marcin Sokolowski. [Talk at ICRAR] [Poster]
Live with Max MSP and Ableton - A Way to the Dungeon. Supervised by Dr. Charles Martin. [ACMC23 video]