時間：2015年9月29日（周二）下午2：00-5：00
地點：長安校區計算機學院105報告廳
內容：(1) 學術報告、(2) NUS博士招生情況介紹、(3) 與在西工大工作的NUS校友會談等。
主持人：謝磊 教授
報告1：
題目: Reproducing program crashes in Real-life Program Binaries, and discussion on PhD opportunities at National University of Singapore
報告人： Prof. Abhik Roychoudhury,（新加坡國立大學計算學院院長、教授）
http://www.comp.nus.edu.sg/~abhik/
摘要： In the first part of this talk, we will discuss some recent research in software security. In the second part of the talk, we will discuss PhD research opportunities at National University of Singapore.
Binary analysis is a well-investigated area in software engineering and security. Given real-world program binaries, generating test inputs which cause the binaries to crash is crucial. Generation of crashing inputs has many applications including off-line analysis of software prior to deployment, or online analysis of software patches as they are inserted. In this work, we present a method for generating inputs which reach a given 「potentially crashing」 location. Such potentially crashing locations can be found by a separate static analysis (or by gleaning crash reports submitted by internal / external users) and serve as the input to our method. The test input generated by our method serves as a witness of the crash. Our method is particularly suited for binaries of programs which take in complex structured inputs. Experiments on real-life applications such as the Adobe Reader and the Windows Media Player demonstrate that our Hercules tool built on selective symbolic execution engine S2E can generate crashing inputs within few hours, where symbolic approaches (as embodied by S2E) or blackbox fuzzing approaches (as embodied by the commercial tool PeachFuzzer) failed.
報告人簡介：
Abhik Roychoudhury is a Professor of Computer Science at School of Computing, National University of Singapore. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. Since 2001, he has been employed at the National University of Singapore. His research has focused on software testing and analysis, software security, and trust-worthy software construction. His research has received various awards and honors, including his appointment as ACM Distinguished Speaker in 2013. He is currently leading the TSUNAMi center, a large five-year long targeted research effort funded by National Research Foundation in the domain of software security. His research has been funded by various agencies and companies, including the National Research Foundation (NRF), Ministry of Education (MoE), A*STAR, Defense Research and Technology Office (DRTech), DSO National Laboratories, Microsoft and IBM. He has authored a book on "Embedded Systems and Software Validation" published by Elsevier (Morgan Kaufmann) Systems-on-Silicon series in 2009, which has also been officially translated to Chinese by Tsinghua University Press. He has served in various capacities in the program committees and organizing committees of various conferences on software engineering including ICSE, ISSTA, FSE and ASE. He is currently serving as an Editorial Board member of IEEE Transactions on Software Engineering (TSE).
報告2：
題目：Sound, Music and Sensor Computing for Health and Learning
報告人：Prof. Ye Wang (新加坡國立大學計算學院)
摘要：
The use of music as an aid in healing body and mind has received enormous attention over the last 20 years from a wide range of disciplines, including neuroscience, physical therapy, exercise science, and psychological medicine. We have attempted to transform insights gained from the scientific study of music and medicine into real-life applications that can be delivered widely, effectively, and accurately. We have been trying to use music in evidence-based and/or preventative medicine. In this talk, I will present some of our recent and ongoing projects which facilitate the delivery of established music-enhanced therapies, harnessing the synergy of sound and music computing (SMC), mobile/sensor computing, and cloud computing technologies to promote healthy lifestyles and to facilitate disease prevention, diagnosis, and treatment in both developed countries and resource-poor developing countries.
報告人簡介：
Ye Wang is an Associate Professor in the Computer Science Department at the National University of Singapore (NUS) and NUS Graduate School for Integrative Sciences and Engineering (NGS). He established and directed the sound and music computing (SMC) Lab (www.smcnus.org). Before joining NUS he was a member of the technical staff at Nokia Research Center in Tampere, Finland for 9 years. His research interests include sound, music and sensor computing, mobile computing, and cloud computing, and their applications in music/language learning and e-Health, as well as determining their effectiveness via subjective and objective evaluations. His most recent projects involve the design and evaluation of music recommender systems to support 1) therapeutic gait training using Rhythmic Auditory Stimulation (RAS), and 2) learning English as a second language. His lab is also developing novel wearable sensors to quantify human mobility (e.g., gait).