ROSAEC Trip Reports
Every member of ROSAEC is happy to share/enjoy the trip experience with each other.
| 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 |