Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012
Tucson, Arizona, United States
Toggle navigation
Attending
Hotel: Loews Ventana Canyon Resort · Tucson
Grants
Registering
SPLASH Shirts
Hotels
Getting to SPLASH
While at SPLASH
Conference Facility Floor Plans
Anti-Harassment Policy
Visa Requirements
Tracks
SPLASH 2012
ACM Student Research Competition
Demos
Doctoral Symposium
Keynotes
OOPSLA Research Papers
Onward! Essays
Onward! Papers
Panels
Posters
RPG 2012
Student Volunteers
Wavefront Experience
Wavefront Papers
Workshops
Workshops
AGERE
DCI
DCP
DSM
FOOL
FREECO
Neo4j
PLATEAU
RACES
VMIL
xDD
Co-hosted Symposiums
DLS
Organization
SPLASH 2012
Organizing Committee
Program Committee
Steering Committee
ACM Student Research Competition
ACM SRC Committee
Demos
Demonstrations Committee
Doctoral Symposium
Program Committee
Keynotes
Program Committee
OOPSLA Research Papers
Program Committee
External Reviewers
Onward! Essays
Program Committee
Onward! Papers
Program Committee
Panels
Program Committee
Posters
Posters Committee
Student Volunteers
Student Volunteers Committee
Wavefront Experience
Wavefront Experience Committee
Wavefront Papers
Wavefront Committee
Workshops
Workshops Committee
Contributors
People Index
Workshops
AGERE
Organizers
Program Committee
DCI
Hosts
DCP
Organizers
Program Committee
DSM
Organizing Committee
Program committee
FOOL
Organizers
Program Committee
Steering Committee
FREECO
Program Committee
Workshop organizers
Neo4j
Organizers
PLATEAU
Organizers
Program Committee
RACES
Assistants
Organizers
Program Committee
VMIL
Organizers
Program Committee
xDD
Workshop Committee
Co-hosted Symposiums
DLS
Program Committee
Search
Series
Series
SPLASH 2022
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
Sign in
Sign up
SPLASH 2012
(
series
) /
Junhee Cho
SPLASH 2012 profile
conf.research.org general profile
Not registered as user yet
Name:
Junhee Cho
Contributions
FOOL 2012
Author of SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript within the FOOL 2012-track
Show activities from other conferences
Share
SPLASH 2012-profile
View general profile
x
Thu 2 Jul 07:29