SPLASH 2022 (series) / Jinxu Zhao
Not registered as user
Name:Jinxu Zhao
Affiliation:University of Hong Kong
Contributions
2022
SPLASH 2022-profile
View general profile
View general profile
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
- Attending
- Program
- Tracks
- Co-hosted Conferences
- APLAS
- DLS
- GPCE
- SAS
- SLE
- Workshops
- FTSCS Formal Techniques for Safety-Critical Systems
- HATRA Human Aspects of Types and Reasoning Assistants
- LIVE Live Programming
- PAINT Programming Abstractions and Interactive Notations, Tools, and Environments
- REBLS Reactive and Event-Based Languages and Systems
- Unsound Sources of Unsoundness in Verification
- VMIL Virtual Machines and Language Implementations
- Organization
- Search
- Series
- Series
- SPLASH 2026
- SPLASH 2025
- SPLASH 2024
- SPLASH 2023
- SPLASH 2022
- SPLASH 2021
- SPLASH 2020
- SPLASH 2019
- SPLASH 2018
- SPLASH 2017
- SPLASH 2016
- SPLASH 2015
- SPLASH 2014
- SPLASH 2013
- SPLASH 2012
- SPLASH 2011
- SPLASH 2010
- OOPSLA 2009
- OOPSLA 2008
- OOPSLA 2007
- OOPSLA 2006
- OOPSLA 2005
- OOPSLA 2004
- OOPSLA 2003
- OOPSLA 2002
- OOPSLA 2001
- OOPSLA 2000