Activities

Activities#

[2024] Tutorial on “Robustness Verification of Neural Networks using WraLU” in the 35th Australasian Database Conference (ADC’24) on Tue 16 Dec 2024 16:30 AEST (UTC+10) in Gold Coast, Australia.
[2024] “ReLU Hull Approximation” in the Workshop Formal Methods in Australia and New Zealand (2024) at the University of Queensland, St Lucia, Australia, at 15:30-16:00 on 30 May 2024.
[2024] “ReLU Hull Approximation” in the FPench Community Monthly Meeting on 2 May at 9:00-10:00 AM Pacific time.

[2025] I served the journal Neural Networks as a reviewer.
[2025] I served the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH’25) as a member committee member in artifact evaluation committee within the SPLASH OOPSLA artifacts-track.
[2024] I served the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’24) as a committee member in artifact evaluation committee within the research artifacts-track.

[2024] CSSE7160: Concurrency: Theory and Practice (St. Lucia, Brisbane, Australia). Semester 2, 2024. (Taught by A/Prof. Guangdong Bai)
[2023] CSSE7160: Concurrency: Theory and Practice (St. Lucia, Brisbane, Australia). Semester 2, 2023. (Taught by A/Prof. Guangdong Bai)