ROSAEC center Seoul National University
NRF

ROSAEC Trip Reports

Every member of ROSAEC is happy to share/enjoy the trip experience with each other.

[Show by authors]
Duration Author Occasion Place
01/31/2024 ~ 02/02/2024 Joongwon Ahn 2024 SIGPL Winter School
(report in Korean)
Daejeon, Korea
12/26/2010 ~ 12/26/2010 Reeseo Cha ICRCCS 2010
(report in Korean)
Shanghai, China
06/13/2016 ~ 06/17/2016 Sungkeun Cho PLDI 2016
(report in Korean)
Santa Barbara, CA, USA
11/17/2014 ~ 11/19/2014 Sungkeun Cho APLAS 2014
(report in Korean)
Singapore
03/18/2013 ~ 04/02/2013 Sungkeun Cho visit for joint research (Microsoft Research)
(report in Korean)
Cambridge, UK
03/26/2012 ~ 03/30/2012 Sungkeun Cho ETAPS 2012
(report in Korean)
Tallinn, Estonia
12/04/2011 ~ 12/09/2011 Sungkeun Cho APLAS/CPP 2011
(report in Korean)
Kenting, Taiwan
06/12/2011 ~ 06/17/2011 Sungkeun Cho SAT/SMT Solver Summer School 2011
(report in Korean)
MIT, Cambridge, MA, USA
01/22/2011 ~ 01/30/2011 Sungkeun Cho POPL/VMCAI 2011
(report in Korean)
Austin, Texas, USA
04/24/2015 ~ 08/28/2015 Jaeseung Choi Visit for join research (UC Berkeley)
(report in Korean)
Berkeley, CA, USA
09/09/2014 ~ 09/15/2014 Jaeseung Choi SAS 2014
(report in Korean)
Munich, Germany
03/18/2013 ~ 04/02/2013 Joonwon Choi visit for joint research (Microsoft Research)
(report in Korean)
Cambridge, UK
01/22/2011 ~ 01/30/2011 Philip Wontae Choi POPL/VMCAI 2011
(report in Korean)
Austin, Texas, USA
01/15/2010 ~ 01/25/2010 Philip Wontae Choi VMCAI & POPL 2010
(report in Korean)
Madrid, Spain
08/07/2009 ~ 08/17/2009 Philip Wontae Choi SAS'09 PCC'09
(report in Korean)
UCLA, CA, U.S.
05/20/2017 ~ 05/27/2017 Kihong Heo ICSE 2017
(report in Korean)
Buenos Aires, Argentina
09/07/2016 ~ 09/10/2016 Kihong Heo SAS 2016
(report in Korean)
Edinburgh, Scotland
06/12/2016 ~ 06/18/2016 Kihong Heo PLDI 2016
(report in Korean)
Santa Barbara, CA, USA
11/17/2014 ~ 11/19/2014 Kihong Heo APLAS 2014
(report in Korean)
Singapore
06/08/2014 ~ 06/15/2014 Kihong Heo PLDI 2014
(report in Korean)
Edinburgh, Scotland
01/20/2013 ~ 01/26/2013 Kihong Heo POPL 2013
(report in Korean)
Rome, Italy
06/10/2012 ~ 06/17/2012 Kihong Heo PLDI 2012
(report in Korean)
Beijing, China
09/01/2011 ~ 02/19/2012 Kihong Heo HKUST
(report in Korean)
Hong Kong, China
03/22/2010 ~ 03/28/2010 Seung-won Hwang EDBT/ICDT 2010
(report in Korean)
Lausanne, Switzerland
10/22/2011 ~ 10/29/2011 Hyeonseung Im SPLASH/OOPSLA 2011
(report in Korean)
Portland, Oregon, USA
06/14/2010 ~ 06/28/2010 Hyeonseung Im OPLSS 2010
(report in Korean)
Eugene, Oregon, US
07/22/2009 ~ 08/10/2009 Hyeonseung Im OPLSS '09, MLPA '09, CADE '09
(report in Korean)
Eugene, Oregon, U.S., Montreal, Canada
08/22/2009 ~ 08/28/2009 Gaeul Jeong ESEC/FSE 2009
(report in Korean)
Amsterdam, The Netherlands
03/26/2011 ~ 04/03/2011 Yungbum Jung ETAPS 2011
(report in Korean)
Saarbrücken, Germany
11/27/2010 ~ 12/04/2010 Yungbum Jung APLAS 2010 + Visiting Tsinghua University
(report in Korean)
Shanghai & Beijing, China
06/15/2010 ~ 06/25/2010 Yungbum Jung OPLSS 2010
(report in Korean)
Eugene, Oregon, USA
01/15/2010 ~ 01/25/2010 Yungbum Jung POPL/VMCAI 2010
(report in Korean)
Madrid, Spain
11/06/2009 ~ 11/11/2009 Yungbum Jung DSMM + HKUST talk
(report in Korean)
Hong Kong
01/15/2009 ~ 05/31/2009 Yungbum Jung visiting for joint research
(report in Korean)
MIT
01/19/2014 ~ 01/26/2014 Dongok Kang POPL 2014
(report in Korean)
SAN DIEGO, CA, USA
01/13/2015 ~ 01/18/2015 Jeehoon Kang POPL 2015
(report in Korean)
Mumbai, India
11/17/2014 ~ 11/19/2014 Jeehoon Matthias Kang APLAS 2014
(report in Korean)
Singapore
03/18/2013 ~ 04/02/2013 Jeehoon Matthias Kang visit for joint research (Microsoft Research)
(report in Korean)
Cambridge, UK
01/20/2013 ~ 01/26/2013 Jeehoon Matthias Kang POPL 2013
(report in Korean)
Rome, Italy
01/22/2012 ~ 01/27/2012 Jeehoon Matthias Kang POPL/VMCAI 2012
(report in Korean)
Philadelphia, USA
01/31/2024 ~ 02/02/2024 Dohyung Kim 2024 SIGPL Winter School
(report in Korean)
Daejeon, Korea
01/31/2024 ~ 02/02/2024 Hoon Kim 2024 SIGPL Winter School
(report in Korean)
Daejeon, Korea
06/15/2014 ~ 06/22/2014 Ji-Hun Kim ICML
(report in Korean)
Beijing, China
05/23/2016 ~ 08/12/2016 Jinyung Kim Internship (Google, Inc.)
(report in Korean)
Mountain View, CA, USA
01/19/2014 ~ 01/26/2014 Jinyung Kim POPL 2014
(report in Korean)
SAN DIEGO, CA, USA
05/20/2012 ~ 05/27/2012 Jinyung Kim IEEE S&P/SPW 2012
(report in Korean)
San Francisco, CA, USA
12/04/2011 ~ 12/09/2011 Jinyung Kim APLAS/CPP 2011
(report in Korean)
Kenting, Taiwan
06/13/2016 ~ 06/17/2016 Jong-Gwon Kim PLDI 2016
(report in Korean)
Santa Barbara, CA, USA
11/07/2010 ~ 11/13/2010 Moonzoo Kim FSE conf.
(report in Korean)
Santa Fe, NM, US
01/15/2010 ~ 01/25/2010 Soonho Kong VMCAI & POPL 2010
(report in Korean)
Madrid, Spain
08/07/2009 ~ 08/17/2009 Soonho Kong SAS'09, PCC'09
(report in Korean)
UCLA, CA, U.S.
02/12/2022 ~ 02/14/2022 Dohyung Lee 2022 SIGPL Winter School
(report in Korean)
Jeju Island, Korea
06/15/2022 ~ 06/19/2022 Dongkwon Lee PLDI 2022
(report in Korean)
San Diego, USA
01/31/2024 ~ 02/02/2024 Doyoon Lee 2024 SIGPL Winter School
(report in Korean)
Daejeon, Korea
10/28/2009 ~ 10/30/2009 Gyesik Lee First Vehicular Networking Conference
(report in Korean)
Tokyo University of Science
08/23/2009 ~ 08/30/2009 Gyesik Lee 1st Asian-Pacific Summer School on Formal Methods
(report in Korean)
Tsinghua University, Beijing, China
02/12/2022 ~ 02/14/2022 Jaeho Lee 2022 SIGPL Winter School
(report in Korean)
Jeju Island, Korea
01/31/2024 ~ 02/02/2024 Joonhyup Lee 2024 SIGPL Winter School
(report in Korean)
Daejeon, Korea
06/17/2017 ~ 06/25/2017 Juneyoung Lee PLDI'17 (Barcelona, Spain)
(report in Korean)
Universitat Politècnica de Catalunya
06/12/2022 ~ 06/19/2022 Seou Lee PLDI 2022
(report in Korean)
San Diego,CA,USA
02/12/2022 ~ 02/14/2022 Seou Lee 2022 SIGPL Winter School
(report in Korean)
Jeju Island, Korea
06/12/2011 ~ 06/17/2011 Seungjung Lee SAT/SMT Solver Summer School 2011
(report in Korean)
MIT, Cambridge, MA, USA
02/17/2012 ~ 09/13/2012 Wonchan Lee visit for joint research (UC Berkeley)
(report in Korean)
Berkeley, CA, USA
07/09/2012 ~ 07/13/2012 Wonchan Lee CAV 2012
(report in Korean)
Berkeley, CA, USA
06/10/2012 ~ 06/17/2012 Wonchan Lee PLDI 2012
(report in Korean)
Beijing, China
12/04/2011 ~ 12/09/2011 Wonchan Lee APLAS/CPP 2011
(report in Korean)
Kenting, Taiwan
03/26/2011 ~ 04/03/2011 Wonchan Lee ETAPS 2011
(report in Korean)
Saarbrücken, Germany
09/27/2010 ~ 10/02/2010 Wonchan Lee ICFP 2010
(report in Korean)
Baltimore, Maryland, US
11/17/2014 ~ 11/19/2014 Woosuk Lee APLAS 2014
(report in Korean)
Singapore
09/09/2014 ~ 09/15/2014 Woosuk Lee SAS 2014
(report in Korean)
Munich, Germany
06/08/2014 ~ 06/15/2014 Woosuk Lee PLDI 2014
(report in Korean)
Edinburgh, UK
07/30/2012 ~ 11/19/2012 Woosuk Lee visiting for joint research (UC Berkeley)
(report in Korean)
Berkeley, CA, USA
06/10/2012 ~ 06/17/2012 Woosuk Lee PLDI 2012
(report in Korean)
Beijing, China
12/04/2011 ~ 12/09/2011 Woosuk Lee APLAS/CPP 2011
(report in Korean)
Kenting, Taiwan
06/12/2011 ~ 06/17/2011 Woosuk Lee SAT/SMT Solver Summer School 2011
(report in Korean)
MIT, Cambridge, MA, USA
01/22/2011 ~ 01/30/2011 Woosuk Lee POPL/VMCAI 2011
(report in English)
Austin, Texas, USA
01/31/2024 ~ 02/02/2024 Gyuhyeok Oh 2024 SIGPL Winter School
(report in Korean)
Daejeon, Korea
11/17/2014 ~ 11/19/2014 Hakjoo Oh APLAS 2014
(report in Korean)
Singapore
06/09/2014 ~ 06/15/2014 Hakjoo Oh PLDI 2014
(report in Korean)
Edinburgh, Scotland
12/07/2013 ~ 12/15/2013 Hakjoo Oh APLAS/CPP 2013
(report in Korean)
Melbourne, Australia
04/14/2013 ~ 04/20/2013 Hakjoo Oh Dagstuhl Seminar 13162
(report in Korean)
Dagstuhl, Germany
01/20/2013 ~ 01/26/2013 Hakjoo Oh POPL 2013
(report in Korean)
Rome, Italy
06/10/2012 ~ 06/17/2012 Hakjoo Oh PLDI'12
(report in Korean)
Beijing, China
12/04/2011 ~ 12/09/2011 Hakjoo Oh APLAS/CPP 2011
(report in Korean)
Kenting, Taiwan
01/22/2011 ~ 01/30/2011 Hakjoo Oh POPL/VMCAI 2011
(report in Korean)
Austin, Texas, USA
06/15/2010 ~ 06/25/2010 Hakjoo Oh Oregon Summer School 2010
(report in Korean)
Eugene, Oregon, US
01/15/2010 ~ 01/25/2010 Hakjoo Oh POPL/VMCAI 2010
(report in Korean)
Madrid, Spain
10/17/2010 ~ 10/22/2010 Bruno Oliveira SPLASH'10 Conference
(report in English)
Reno, Nevada, US
10/16/2010 ~ 10/23/2010 Changhee Park SPLASH 2010
(report in Korean)
Reno, Nevada, USA
06/12/2022 ~ 06/19/2022 Kyuyeon Park PLDI 2022
(report in Korean)
San Diego, USA
10/09/2010 ~ 10/12/2010 Sukyoung Ryu GPCE/SLE 2010
(report in Korean)
Eindhoven, The Netherlands
06/08/2014 ~ 06/15/2014 Yongho Yoon PLDI 2014
(report in Korean)
Edinburgh, Scotland
01/20/2013 ~ 01/26/2013 Yongho Yoon POPL 2013
(report in Korean)
Rome, Italy
05/20/2012 ~ 05/27/2012 Yongho Yoon IEEE S&P
(report in Korean)
San Francisco, CA, USA
06/10/2011 ~ 06/20/2011 Yongho Yoon SAT/SMT Solver Summer School 2011
(report in Korean)
MIT, Cambridge, MA, USA
12/04/2011 ~ 12/09/2011 Byeongjun Yu APLAS/CPP 2011
(report in Korean)
Kenting, Taiwan
© Copyright 2008 ROSAEC Center, Seoul National University