KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

  • Taiwoo Park Won ACM CHI 2014 Honorable Mention Awa..

    Taiwoo Park and his five co-authors including his advisor, Professor Junehwa Song, won this year’s ACM CHI Honorable Mention Award for their paper, “Human Factors of Speed-based Exergame Controllers.” The CHI conference is a highly prestigious conference, ranked at the very top of the MS Academic Search list for Human-Computer Interaction conferences. Congratulations on your award!

  • KAIST Research Team Develop High­Performance Softw..

    HPC Wire, covering news on computing software, hardware, networking, storage, tools and applications, published an article on the development of high-performance router by a KAIST research team. The research team consisted of the Departments of Computer Science and Electrical Engineering, Prof. Sue Moon, Prof. KyoungSoo Park, Mr. Keon Jang, and Mr. Sangjin Han (picture on the right), presented PacketShader, a high-performance software router framework for general packet processing with Graphics Processing Unit (GPU) acceleration. PacketShader, the research team said, that exploits the massively-parallel processing power of GPU to address the CPU bottleneck in current software routers. For the article, please click the link: http://www.hpcwire.com/news/South-Koreans-Develop-High-Performance-Software-Router-101401434.html

  • [2010 Global Lecture 8/16∼8/20] Prof.Junghoo Cho, ..

    Title : Searching the Web Speaker : Junghoo Cho (UCLA) Date : Aug.16(Mon.) ∼ Aug. 20 (Fri.), 2010 / 13:00∼16:00 Location : E3-1(CS Building) 4th floor Seminar Room #4420 Host : Whang, Kyu-Young (kywhang@mozart.kaist.ac.kr) Abstract: Searching the Web has become an integral part of everyone's daily activities. While search engines provide a deceptively simple interface to their users --- a single search box where users can type their keyword queries --- there is significant computational, algorithmic, and engineering challenges that need to be addressed to build an effective search engine. In this week-long class, the students will learn the core architecture of a general purpose search engine on the Web and get familiar with the fundamental data structures, algorithms and design principles that have been developed to make the existing search engines possible. Course Schedule and Syllabus The course will consists of five classes of three-hour lectures. In the lectures, we will go over the topics listed below: Lecture 1: Basic Information Retrieval Model Lecture 2: Topic-oriented Retrieval Lecture 3: Document Categorization Lecture 4: Document Ranking Lecture 5: Search-engine Architecture Spearker Bio: Junghoo Cho is an associate professor in the Department of Computer Science at University of California, Los Angeles. He received a Ph.D. degree in Computer Science from Stanford University and a B.S. degree in physics from Seoul National University. His main research interests are in the study of the evolution, management, retrieval and mining of information on the World-Wide Web. He publishes research papers in major international journals and conference proceedings. He serves on program committees of top international conferences, including SIGMOD, VLDB and WWW. He is a recipient of the NSF CAREER Award, IBM Faculty Award, Okawa Research Award and Northrop Grunmann Excellence in Teaching Award.

  • [2010 Global Lecture] Prof. Stefano Borgo (Institu..

    Title : Formal Ontology: construction and application Speaker : Stefano Borgo (Institute of Cognitive Science and Technology,Italy) Date : Aug.2(Mon.) ∼ Aug. 6(Fri.), 2010 / 09:30 ∼ 12:30 Location : E3-1 1st floor Digital Laboratory #1104 Host : Choi, Key-Sun (kschoi@cs.kaist.ac.kr) Abstract: The design of formal ontologies is an interdisciplinary area of research that draws from several areas: logic, philosophy, cognitive science, linguistics, computer science. The main motivation for the construction of ontologies is to provide a shared conceptualisation of a domain for knowledge representation, reasoning and information sharing. In this course we present viewpoints and techniques that allow ontology developers to correctly decide what type of ontology they need and to construct ontologies—understood in a broad sense as logical theories formulated in various formal languages—with an emphasis on modularity and foundations of ontology design. In particular, we will present in detail the DOLCE foundational ontology explaining its rationale and evolution. We will also discuss how to analyze and model mid-level notions like that of artifact and of engineering function. [Day 1] 2/Aug (Mon) Introduction to Ontology and Knowledge Representation. Formal languages and semantics. The role of Ontologies. [Day-2] 3/Aug (Tue) Ontology classification. Comparison of ontologies. Ontological tools. [Day-3] 4/Aug (Wed) DOLCE: motivations and rationale. [Day-4] 5/Aug (Thu) How to use a foundational ontology. Ontological taxonomies and domain concepts. [Day-5] 6/Aug (Fri) Modeling techniques. Examples of ontology construction: the case of artifacts, knowledge objects and engineering functions. Spearker Bio: In the first half of the 90's I worked on the foundations of mathematics at the University of Padua. From 1995, while finishing my studies, I have been at the Ladseb, a former Institute of the CNR, working in the area of Knowledge Representation with particular interest in space and time representation and object modeling. After a period at the Indiana University (Bloomington, USA), I held a post-doc position at the Laboratory for Applied Ontology (LOA) of the ISTC-CNR that later turned into a permanent position. He also works at "Free University of Bolzano”(Italy). My research focuses on four topics: formal ontology and methodologies; logics for multi-agent systems; space representation; modeling of engineering functions, products and processes. I'm the author or co-author of more than 50 publications in conferences, journals and edited books. I gave several invited talks in the above four areas and I've been PC member in about 25 international conferences. I'm currently the LOA coordinator for two national projects, the project coordinator of a Marie Curie international project, and I've participated in several others. I regularly teach in the bachelor, master and PhD programs of the University of Trento (Italy). I've been invited to Osaka University as guest associate professor in June 2010. I'm currently a member of the AAAI, the Italian Association of Artificial Intelligence (IA*AI), the IEEE Standard Upper Ontology WG, the Ontolog Community, the Common Logic Standard WG, and the International Association on Ontology and its Applications (IAOA) of which I'm the secretary. http://www.loa-cnr.it/borgo.html

  • [2010 Global Lecture] Prof.Gregg Rothermel (Univ. ..

    Title :Software Testing: Research and Empirical Studies Speaker :Gregg Rothermel (Univ. of Nebraska-Lincoln/ Prof. and Jenson Chair) Date : Aug. 2 (Mon.) ∼ Aug. 6(Fri.), 2010 / 13:00∼16:00 Location : E3-1 4th floor Seminar Room #4420 Host : Kim, Moonzoo (moonzoo@cs.kaist.ac.kr) Abstract: Software engineers use testing to validate software. Testing is important for software quality, but it can also be prohibitively expensive. In this course we will consider the state of the art in software testing, including software testing techniques that are now in practice and new techniques currently being researched. We will also study certain program analysis techniques that are being used as foundations for software testing techniques. We will next turn to issues involving regression testing (the testing of software as it evolves) and techniques that are being created to perform such testing more cost-effectively. We will also study current research methodologies for empirically studying testing techniques. Finally, depending on audience interest, we will consider one or two advanced areas of research on specific topical problems, such as testing of real-time embedded systems, automated test case generation techniques, or testing of end-user software. The projected schedule of topics for this seminar is as follows: Day 1: Fundamentals of software testing; basic black-box and white-box testing techniques. Day 2: Advanced testing techniques; program analysis support for testing. Day 3: Software regression testing; theory and techniques. Day 4: Research methodologies: empirical studies of software testing and regression testing. Day 5: Advanced topics (choice will depend on audience interest). Spearker Bio: Gregg Rothermel's research interests include software engineering and program analysis, with emphases on the application of program analysis techniques to problems in software maintenance and testing, end-user software engineering, and empirical studies. He received a National Science Foundation CAREER Award in 1996 for his research on software maintenance and testing. He is a co-founder of the EUSES, (End-Users Shaping Effective Software) Consortium, a group of researchers who, with National Science Foundation support, are leading end-user software engineering research. He is a co-founder of Red Rover Software, a company creating software to help users create dependable spreadsheets. His research has also been supported by Boeing Commercial Airplane Group, Microsoft, Lockheed Martin, and Rogue Wave Software. In a recent ranking of International Software Engineering Scholars based on research productivity, Dr. Rothermel was tied for first (CACM V.50, Issue 6). Dr. Rothermel is a member of the Editorial Boards of the Empirical Software Engineering Journal and Software Quality Journal, and is serving as the General Chair for the 2009 International Symposium on Software Testing and Analysis. Previous positions include Associate Editor in Chief for IEEE Transactions on Software Engineering, Program Co-Chair for the 2007 International Conference on Software Engineering, Program Chair for the 2004 ACM International Symposium on Software Testing and Analysis, and Chair of the Steering Committee for the International Conference on Software Maintenance. He has served on the program committees for numerous software engineering conferences including the IEEE International Conference on Software Engineering, the ACM International Symposium on Foundations of Software Engineering, and the ACM International Symposium on Software Testing and Analysis. Dr. Rothermel received the Ph.D. in Computer Science from Clemson University, the M.S. in Computer Science from the State University of New York at Albanyand a B.A. in Philosophy from Reed College. He is currently a Professor and Jensen Chair of Software Engineering in the Department of Computer Science and Engineering at University of Nebraska where he is a founding member of the Laboratory for Empirically-based Software Quality Research and Development(ESQuaReD). Prior to his current position, Dr.Rothermel was an Assistant and then Associate Professor in the School of Electrical Engineering and Computer Science at Oregon State University. He was also previously employed as a software engineer and asVice President, Quality Assurance and Quality Control for Palette Systems, Inc., a manufacturer of CAD/CAM software.

  • [2010 Global Lecture] Prof. Onur Mutlu (CMU), Mult..

    Title : Multi-core Architectures and Shared Resource Management: Fundamentals and Recent Research Speaker : Onur Mutlu (Carnegie Mellon University) Date : July. 26(Mon.) ∼ July. 28(Wed.), 2010 / 14:00∼18:00 July. 29(Thu.), 2010 / 14:00∼17:00 Location : Oh Sangsu Seminar Room #4443 Host : Huh, Jaehyuk (jhuh@cs.kaist.ac.kr) Abstract: Multi-core systems are rapidly becoming the foundation of computing systems that are well-integrated into every aspect of our lives and society. These systems consist of multiple processors placed on the same chip, along with shared resources (including caches, interconnect, and memory controllers) among the processors. Placing multiple processors on chip promises significant improvements in performance, throughput, and efficiency. Yet, if shared resources are not designed carefully with multiple processors in mind, they can become a significant bottleneck, and the promised performance improvements can be unpredictable, not robust, and unavailable to all applications. Similarly, if cores are not designed carefully, performance and efficiency improvements obtained by placing multiple cores on chip can be suboptimal. This short course will cover fundamentals of multi-core architectures and shared resource management. We will first examine the motivations leading to multi-core architectures, potential alternatives to multi-core systems, and tradeoffs between different alternatives. Then, we will delve into the design of both cores and the "uncore" (i.e. shared resources). We will examine symmetric and asymmetric multi-core architectures, and techniques for exploiting asymmetry. We will discuss control algorithms to efficiently manage caches, interconnects, memory controllers, and main memory among multiple cores. We will especially focus on the memory bandwidth bottleneck, and examine possible solutions. If time permits, we will examine the basic ideas behind data parallel architectures and graphics processing units (GPUs). The focus of the course will be on fundamentals, tradeoffs in parallel architecture design, and cutting-edge research. Readings on recent multi-core research will be assigned and discussed in class. I plan to lecture for four days, four hours per day (three hours for the last day). Class participation and discussion will be strongly encouraged. Below is the tentative list of lecture topics. Lecture 1: Why multi-core? Alternatives and tradeoffs Lecture 2: Symmetric versus asymmetric multi-core systems Lecture 3: Shared resources and their management: main memory Lecture 4: Interconnect and cache design for multi-cores, Data parallelism and GPUs Spearker Bio: Onur Mutlu is an Assistant Professor of ECE/CS at Carnegie Mellon University. His research interests are in computer architecture and systems, especially in the interactions between languages, operating systems, compilers, and microarchitecture. He obtained his PhD and MS in ECE from the University of Texas at Austin (2006) and BS degrees in Computer Engineering and Psychology from the University of Michigan, Ann Arbor. Prior to Carnegie Mellon, he worked at Microsoft Research (2006-2009), Intel Corporation, and Advanced Micro Devices. He was a recipient of the Intel PhD fellowship in 2004, the University of Texas George H. Mitchell Award for Excellence in Graduate Research in 2005, the Microsoft Gold Star Award in 2008, ASPLOS 2010 Best Paper Award, and several “computer architecture top pick” paper awards by the IEEE Micro magazine. For more information, please see http://www.ece.cmu.edu/∼omutlu/.

  • 1st Place Prize, 2010 IEEE Computer Society Studen..

    Through the hard efforts of Hyung-won Hwang(CS), Hojeong Cha(CS), Bupjae Lee(EE), Jin Kang(CS), Donghyun Cho(CS), KAIST team shared the first place prize in 2010 IEEE Computer Society Student Competition! The competition is to construct a piece of software that simulates a CPU (central processing unit). There were 86 entries in the competition, with 12 selected as finalists and two were awarded as the first-place award. Additional details can be found at http://www.computer.org/portal/web/competition/home KAIST Team Students: Hyung-won Hwang(CS) Hojeong Cha(CS) Bupjae Lee(EE) Jin Kang(CS) Donghyun Cho(CS) Advisor: Prof. Jaehyuk Huh and Prof. John Kim Assitant: Mr. Jeongseop Ahn (MS Student, CS KAIST)

  • [2010 Global Lecture] Prof. David Root (CMU), Esse..

    David Root, Associate Teaching Professor of Carnegie Mellon Masters of Software Engineering Professional Programs, is visiting KAIST CS on June 29st ∼ June 30th to give a lecture to KAIST students. Global lecture is organized by KAIST ICC (IT Convergence Campus) inviting prestigious professors to KAIST for a lecture. It is to provide a chance for KAIST students to meet and study from a distinguished scholar. Title : Essential State of the Practice Skills for Software Process Speaker : David Root BA Computer Science University of California Berkeley, 1978 MA Education Curriculum and Instruction, Chapman University, 1995 MPM Information Technology, Carnegie Mellon University, 2000 ✲ Currently working at Carnegie Mellon Masters of Software Engineering Professional Programs Associate Teaching Professor, Senior lecturer, Director of Distance Programs, Director of Studio Projects Date : Jun. 29 (Tue.) ∼ Jun. 30(Wed.), 2010 6/29 - 14:00∼17:00 6/30 - 10:00∼13:00 Location : Oh Sangsu Seminar Room #4443 Host : Kang, Sungwon (kang@cs.kaist.ac.kr) Abstract: Lecture 1. (Tuesday PM) Software Process Definition When most think of quality assurance they think of testing and inspections. While these methods are still valid and necessary, organizations that want to improve need to look at the processes they use. Dr. W. Edward Demming first defined this in his Total Quality Management concept using statistical variation control for improving product quality through understanding their manufacturing processes. His work has been refined for the software engineering industry as seen in activity centric development models, such as CMMi. The basis of all of this lies in defining your development processes where you can collect and analyze process metrics, allowing you identify problems and practice process improvement. This course will introduce the concept of process definition including the development of metrics and their use for practicing process improvement. Lecture 2 (Wed AM) Software Risk Management The most recent Chaos report from the Standish Group states that one fourth of all software projects fail, and almost half are “challenged” as being over budget and behind schedule. Of the completed projects only 2/3 of all specified features and functions make it to release. Many of the problems leading to this could have been addressed earlier if the projects had practiced risk management. However, on the whole the use of risk management techniques in industry today is sporadic. The goal of this course is to introduce risk management terms and techniques, learning how to discover, analyze, and develop mitigation strategies. Most of the concepts are based on the Software Engineering Institute’s Continuous Risk Management guidelines.

  • Tae­Joon Kim, 3rd prize in the 2010 ACM Student Re..

    PhD student, Mr. Tae-Joon Kim (advisor: Prof. Sungeui Yoon) took 3rd prize in graduate category of the 2010 ACM Student Research Competition Grand Finals. The ACM SRC Competition sponsored by Microsoft Research Redmond enables students to submit papers to a special track at selected conferences. If they are chosen to present, they get travel funding and compete for prizes. the Six Grand Finalists of 2010 ACM Student Research Competition are invited with their advisors to attend the ACM Awards Banquet in San Francisco on June 26th, 2010. Tae-Joon Kim's paper: SIGGRAPH 09 RACBVHs: Random-Accessible Compressed Bounding Volume Hierarchies

  • [2010 Global Lecture: 6/21∼6/24] Prof. Sven Dietri..

    Sven Dietrich, Assistant Professor of Stevens Institute of Technology. Computer Science Department, is visiting KAIST CS on June 21st ∼ June 24th to give a lecture to KAIST students. Global lecture is organized by KAIST ICC (IT Convergence Campus) inviting prestigious professors to KAIST for a lecture. It is to provide a chance for KAIST students to meet and study from a distinguished scholar. Title : A short course in botnets and related malware Speaker : Sven Dietrich 1989 : B.S., Computer Science and Mathematics, Adelphi University, USA 1991 : M.S., Mathematics, Adelphi University, USA 1997 : D.A., Mathematics, Adelphi University, USA 1997∼2001: Senior Security Architect, NASA Goddard Space Flight Center, USA 2001∼2007 Senior Researcher, CERT/SEI, Carnegie Mellon University, USA 2007∼ Present Assistant Professor, Computer Science Department, Stevens Institute of Technology, USA He is one of co-authors of “Internet Denial of Service “ published by Prentice Hall, 2005. His research interests include survivability, computer and network security, anonymity, cryptographic protocols and cryptography. His previous work has included a formal analysis of the SSL, intrusion detection, analysis of distributed denial-of-service toiikls and the security of IP communications in space. Date : Jun. 21 (Mon.) ∼ Jun. 24(Thu.), 2010 Location : Kaist CS Building E3-1, 2nd Floor #2443 Host : Kim, Kwangjo (kkj@kaist.ac.kr) Abstract: This course provides a basic introduction to the world of malware and botnets. Retracing the last ten years or so of relevant malware and botnets, these lectures give a comprehensive overview of the techniques used by the attackers in creating, disseminating, and running complex networks of malware, also known as botnets, with a variety of goals ranging from fun to profit. Also covered in these lectures are some detection techniques used at both the host and network levels. The student is given the full introduction to the basics, so only basic computer science knowledge and some system administration skills are required to take this course. Day 1 (June 21) 10:00- 11:30 Module 1: Basic networking and crypto intro 14:00- 15:30 Module 2: Brief overview of malware Day 2(June 22) 10:00-11:30 Module 3: Uses of botnets (spam, phishing, DDoS) 14:00-15:30 Module 4: At the command of the botmaster: deconstructing C&C Day 3(June 23) 10:00-11:30 Module 5: Detection techniques at the host level 14:00-15:30 Module 6: Detection techniques at the network level Day 4 (June 24) 10:00-11:30 Module 7: New directions, topologies, and tactics 14:00-15:30 Module 8: Case study of the Nugache botnet

  • [2010 Global Lecture, starting May 31st] Prof. Jun..

    Junichi Tsujii, Professor of Computational Linguistics and Natural Language Processing of the University of Tokyo and Professor of Text Mining of the University of Manchester, is visiting KAIST CS on May 31st ∼ June 4th to give a lecture to KAIST students. Global lecture is organized by KAIST ICC (IT Convergence Campus) inviting prestigious professors to KAIST for a lecture. It is to provide a chance for KAIST students to meet and study from a distinguished scholar. Prof. Tsujii has been a permanent member of International Committee of Computational Linguistics (ICCL) from 1994. He was Vice-President (2005) and President (2006) of ACL (Association for Computational Linguistics), and President (2008) of AFNLP (Asian Federation of Natural Language Processing). He was awarded IBM Science Award in 1988, SEYMF Visiting professorship in 2000, Daiwa-Adrian Prize for the project jointly carried out by Dr.S.Ananiadou (University of Manchester, UK) in 2004, IBM Faculty Award in 2005, Achievement Award (Japan Society of Artificial Intelligence) in 2008, and 紫綬褒章 (the Japanese Government) in 2010 Prof. Junichi Tsujii will give a Global Lecture at KAIST on “NLP-based Text Mining Techniques and their Applications” Title: NLP-based Text Mining Techniques and their Applications Speaker: Junichi Tsujii Date: May 31 - June 4, 2010 (1pm-4pm) Location: Oh Sangsu Seminar Room Host: Jong C. Park (park@cs.kaist.ac.kr) [Course Description] Text Mining has been considered as an essential technology in the future of biological research, which provides means by which scientists can cope with ever increasing amount of published papers in the domain. This course focuses on an emerging technological field, NLP-based Text Mining, which combines technologies such as natural language processing, ontology engineering, machine learning and distributed data bases. In particular, the course discusses how recent research results of deep parsing can be combined with machine learning for event recognition and relation mining in biology. [Day 1] Challenges of Text Mining for Biology [Day 2] Deep parsing and linguistic formalism [Day 3] Empirical Approach to Meaning [Day 4] Named Entity Recognition and Normalization [Day 5] Event Recognition and Normalization