Activities#
Presentations#
Tutorial on “Robustness Verification of Neural Networks using WraLU” in the Australasian Database Conference (ADC’24) on Tue 16 Dec 2024 16:30 AEST (UTC+10) in Gold Coast, Australia.
“ReLU Hull Approximation” in the workshop Formal Methods in Australia and New Zealand at the University of Queensland, St Lucia, Australia, at 15:30-16:00 on 30 May 2024.
“ReLU Hull Approximation” in FPench community monthly meeting on May 2nd at 9:00-10:00 AM Pacific time.
Community Work#
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.
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 aArtifacts-track
Tutor Work#
CSSE7160: Concurrency: Theory and Practice (St. Lucia, Brisbane, Australia). Semester 2, 2024. (Taught by A/Prof. Guangdong Bai)
CSSE7160: Concurrency: Theory and Practice (St. Lucia, Brisbane, Australia). Semester 2, 2023. (Taught by A/Prof. Guangdong Bai)