S-Space

Browse

Publisher

Jump to a point in the index

Or type in a year

Sort by
In order
Results/Page
Authors/record

Showing results 1 to 40 of 44

Issue Date	Title / Author(s) / Citation	File
2017	Taming undefined behavior in LLVM Lee, J.; Kim, Y.; Song, Y.; Hur, C.-K.; Das, S.; Majnemer, D.; Regehr, J.; Lopes, N.P. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vol.Part F128414, pp.633-647
2017	Repairing sequential consistency in C/C++11 Lahav, O.; Vafeiadis, V.; Kang, J.; Hur, C.-K.; Dreyer, D. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vol.Part F128414, pp.618-632
2017-04	Typed architectures: Architectural support for lightweight scripting Kim, C.; Kim, J.; Kim, S.; Kim, D.; Kim, N.; Na, G.; Oh, Y.H.; Cho, H.G.; Lee, J.W. International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, Vol.Part F127193, pp.77-90	DOI
2017-05	Follow-my-lead: Intuitive indoor path creation and navigation using interactive videos Roy, Quentin; Perrault, Simon T.; Zhao, Shengdong; Davis, Richard C.; Vaniyar, Anuroop Pattena; Vechev, Velko; Lee, Youngki; Misra, Archan Conference on Human Factors in Computing Systems - Proceedings, Vol.2017-May, pp.5703-5715	DOI
2018-06	Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; Cho, Sungkeun; Choi, Joonwon; Hur, Chung-Kil; Yi, Kwangkeun Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.631-645
2019-05	Soundglance: Briefing the glanceable cues of web pages for screen reader users Song, Jaeyoon; Jo, Jaemin; Choe, Kiroong; Seo, Jinwook Conference on Human Factors in Computing Systems - Proceedings	DOI
2019-05	Examining augmented virtuality impairment simulation for mobile app accessibility design Wei Choo, Kenny Tsu; Balan, Rajesh Krishna; Lee, Youngki Conference on Human Factors in Computing Systems - Proceedings, p. 375	DOI
2019-05	Understanding personal productivity how knowledge workers define, evaluate, and reflect on their productivity Kim, Young-Ho; Choe, Eun Kyoung; Lee, Bongshin; Seo, Jinwook Conference on Human Factors in Computing Systems - Proceedings, p. 615	DOI
2019-06	Enabling SQL-query processing for ethereum-based blockchain systems Han, Jongbeen; Kim, Heemin; Eom, Hyeonsang; Coignard, Jonathan; Wu, Kesheng; Son, Yongseok ACM International Conference Proceeding Series	DOI
2019-06	Promising-ARM/RISC-V: A simpler and faster operational concurrency model Pulte, Christopher; Pichon-Pharabod, Jean; Kang, Jeehoon; Lee, Sung-Hwan; Hur, Chung-Kil Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.1-15
2019-11	POL360: A universal mobile VR motion controller using polarized light Jang, Hyouk; Choi, Juheon; Kim, Gunhee Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST	DOI
2020-01	CompCertM: CompCert with C-assembly linking and lightweight modular verification Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 23	DOI
2020-03	Understanding features on evolutionary policy optimizations: Feature learning difference between gradient-based and evolutionary policy optimizations Lee, Sangyeop; Ha, Myoung Hoon; Moon, Byungro Proceedings of the ACM Symposium on Applied Computing, pp.1112-1118	DOI
2020-03	Evanesco: Architectural support for efficient data sanitization in modern flash-based storage systems Kim, Myungsuk; Park, Jisung; Cho, Geonhee; Kim, Yoona; Orosa, Lois; Mutlu, Onur; Kim, Jihong International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp.1311-1326	DOI
2020-03	Memory efficient fork-based checkpointing mechanism for in-memory database systems Park, Jiwoong; Lee, Yunjae; Yeom, Heonyoung; Son, Yongseok Proceedings of the ACM Symposium on Applied Computing, pp.420-427	DOI
2020-03	An effective AP placement scheme for reliable wifi connection in industrial environment Lee, Han Ul; Jeon, Whasook; Jeong, Dong Geun Proceedings of the ACM Symposium on Applied Computing, pp.2137-2143	DOI
2020-03	An efficient garbage collection in java virtual machine via swap I/O optimization Lee, Hyojeong; Chen, Qichen; Yeom, Heonyoung; Son, Yongseok Proceedings of the ACM Symposium on Applied Computing, pp.1238-1245	DOI
2020-04	Can bullying detection systems help in school violence scenarios?: A teachers' perspective Kim, Jaeyoung; Ho, Thanh Dung; Kim, Jihwan; Lee, Youngki; Seo, Jinwook Conference on Human Factors in Computing Systems - Proceedings	DOI
2020-04	ARphy: Managing photo collections using physical objects in AR Chae, Han Joo; Chang, Youli; Kim, Minji; Park, Gwanmo; Seo, Jinwook Conference on Human Factors in Computing Systems - Proceedings	DOI
2020-04	EagleEye: Wearable camera-based person identification in crowded urban spaces Yi, Juheon; Choi, Sunghyun; Lee, Youngki Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM, pp.41-54	DOI
2020-06	Promising 2.0: Global optimizations in relaxed memory concurrency Lee, Sung-Hwan; Cho, Minki; Podkopaev, Anton; Chakraborty, Soham; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.362-376	DOI
2020-10	Gtensor: Fast and Accurate Tensor Analysis System using GPUs Ahn, Dawon; Son, Sangjun; Kang, U International Conference on Information and Knowledge Management, Proceedings, pp.3361-3364	DOI
2021-03	SmCompactor: A workload-aware fine-grained resource management framework for GPGPUs Chen, Qichen; Chung, Hyerin; Son, Yongseok; Kim, Yoonhee; Yeom, Heon Young Proceedings of the ACM Symposium on Applied Computing, pp.1147-1155	DOI
2021-03	A decentralized document management system using blockchain and secret sharing Han, Jongbeen; Kim, Heemin; Eom, Hyeonsang; Son, Yongseok Proceedings of the ACM Symposium on Applied Computing, pp.305-308	DOI
2021-03	An efficient multi-signature wallet in blockchain using bloom filter Han, Jongbeen; Song, Mansub; Eom, Hyeonsang; Son, Yongseok Proceedings of the ACM Symposium on Applied Computing, pp.273-281	DOI
2021-03	Efficient and robust data integrity verification scheme for high-performance storage devices Kim, Hwajung; Hwang, Inhwi; Yeom, Heon Young Proceedings of the ACM Symposium on Applied Computing, pp.1199-1202	DOI
2021-04	Reducing solid-state drive read latency by optimizing read-retry Park, Jisung; Kim, Myungsuk; Chun, Myoungjun; Orosa, Lois; Kim, Ji Hong; Mutlu, Onur International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp.702-716	DOI
2021-04	MERCI: Efficient embedding reduction on commodity hardware via sub-query memoization Lee, Yejin; Seo, Seong Hoon; Choi, Hyunji; Sul, Hyoung Uk; Kim, Soosung; Lee, Jae Wook; Ham, Tae Jun International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp.302-313	DOI
2021-06	Modular data-race-freedom guarantees in the promising semantics Cho, Minki; Lee, Sung-Hwan; Hur, Chung Kil; Lahav, Ori Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.867-882	DOI
2021-06	Alive2: Bounded translation validation for LLVM Lopes, Nuno P.; Lee, Juneyoung; Hur, Chung-Kil; Liu, Zhengyang; Regehr, John Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.65-79	DOI
2021-06	MaPHeA: A lightweight memory hierarchy-aware profile-guided heap allocation framework Oh, Deok-Jae; Moon, Yaebin; Lee, Eojin; Ham, Tae Jun; Park, Yongjun; Lee, Jae Wook; Ahn, Jung Ho Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp.24-36	DOI
2021-08	Learning to Walk across Time for Interpretable Temporal Knowledge Graph Completion Jung, Jaehun; Jung, Jinhong; Kang, U Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp.786-795	DOI
2021-08	Accurate Multivariate Stock Movement Prediction via Data-Axis Transformer with Multi-Level Contexts Yoo, Jaemin; Soun, Yejun; Park, Yong-Chan; Kang, U Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp.2037-2045	DOI
2021-08	Fast and Accurate Partial Fourier Transform for Time Series Data Park, Yong-Chan; Jang, Jun-Gi; Kang, U Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp.1309-1318	DOI
2021-08	Fast and Memory-Efficient Tucker Decomposition for Answering Diverse Time Range Queries Jang, Jun-Gi; Kang, U Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp.725-735	DOI
2021-10	Accurate Online Tensor Factorization for Temporal Tensor Streams with Missing Values Ahn, Dawon; Kim, Seyun; Kang, U International Conference on Information and Knowledge Management, Proceedings, pp.2822-2826	DOI
2021-10	SCOPA: Soft Code-Switching and Pairwise Alignment for Zero-Shot Cross-lingual Transfer Lee, Dohyeon; Lee, Jaeseong; Lee, Gyewon; Chun, Byung Gon; Hwang, Seung-Won International Conference on Information and Knowledge Management, Proceedings, pp.3176-3180	DOI
2021-10	Counterfactual Generative Smoothing for Imbalanced Natural Language Classification Han, Hojae; Choi, Seungtaek; Jeong, Myeongho; Park, Jin-Woo; Seung-Won, Hwang International Conference on Information and Knowledge Management, Proceedings, pp.3058-3062	DOI
2022-04	Exploring the Effects of AI-assisted Emotional Support Processes in Online Mental Health Community Shin, Donghoon; Park, Subeen; Kim, Esther Hehsun; Kim, Soomin; Seo, Jinwook; Hong, Hwajung Conference on Human Factors in Computing Systems - Proceedings, pp.1-7	DOI
2022-04	Captivate! Contextual Language Guidance for Parent–Child Interaction Kwon, Taeahn; Jeong, Minkyung; Ko, Eon-Suk; Lee, Youngki 2022 CHI Conference on Human Factors in Computing Systems, pp.1-17	DOI

1 2