SPLASH 2024 (series) / Yuki Nishida
Registered user since Tue 4 Apr 2017
Name:Yuki Nishida
Country:Japan
Affiliation:Tohoku University
Research interests:Type System, Formal Verification, Blockchain
Contributions
2024
Using general profile
SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
- Attending
- Program
- Tracks
- Organization
- SPLASH 2024 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Doctoral Symposium
- OOPSLA 2024
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- PLMW
- Posters
- REBASE
- SPLASH-E
- Student Research Competition
- Volunteers
- Workshops
- Contributors
- People Index
- Search
- Series
- Series
- 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