call us. call us.

首页征集论文论文录用公告 原型竞赛SAT2013 TRUMES Workshop执行委员会程序委员会组织委员会联系方式会议地点 会议议程 特邀报告人 青年学者报告 会议注册 <>报销材料

   当前位置 - 特邀报告人
特邀报告人

特邀报告 1.“Probability and Uncertainty in Software Engineering” ( 报告人: Prof. David S. Rosenblum http://www.comp.nus.edu.sg/~david/)

Abstract : Much of software engineering is built around true/false characterizations of artifacts and outcomes that convey an overly simplistic sense of certainty about software---a program is correct or incorrect, a test case succeeds or fails, a specification is satisfied or violated, etc. Often these artifacts and outcomes naturally lend themselves to a more precise and more realistic probabilistic characterization of their true uncertainty. For instance, correctness can be re-formulated more precisely in terms of reliability, which is the probability of failure-free operation over some specified period of time. Probabilistic and other quantitative characterizations of software have been studied for many years, but the technology for automated quantitative reasoning about software is relatively new. One such technology is probabilistic model checking, in which formal probabilistic behavioral models are verified against probabilistic temporal properties. While probabilistic model checking has matured significantly over the past decade (as represented, for example, by the popular probabilistic model checker PRISM), many research challenges remain. One such challenge involves the need to empirically estimate probability parameters used in probabilistic behavior models. A poor estimate of such a parameter can produce a correspondingly misleading or even incorrect verification result. In this talk I will discuss these issues in greater depth, and I will give an overview of recent research that is addressing this challenge, in which we analyze the effects of perturbations of probability parameters on verification results. I will also discuss some other less understood forms of uncertainty in software engineering that may benefit from a probabilistic perspective, with examples drawn from the area of ubiquitous computing.

报告人简介: David S. Rosenblum is Professor of Computer Science and Dean of the School of Computing at the National University of Singapore, where he also directs the Felicitous Computing Institute. He received his PhD from Stanford University in 1988, and he has held positions as a research scientist at AT&T Bell Laboratories (Murray Hill), as an Associate Professor at the University of California, Irvine, as Principal Architect and Chief Technology Officer of PreCache (a technology startup funded by Sony Music), and as Professor of Software Systems at University College London. His research interests are centered on problems in the design, analysis and testing of large-scale distributed software systems and ubiquitous computing systems. In the past decade he served as General Chair of the 2007 International Symposium on Software Testing and Analysis (ISSTA 2007) and Program Co-Chair of the 2004 International Conference on Software Engineering (ICSE 2004). He is currently the Editor-in-Chief of the ACM Transactions on Software Engineering and Methodology (ACM TOSEM), and he was previously an Associate Editor of ACM TOSEM and the IEEE Transactions on Software Engineering (IEEE TSE). In 2002 he received the ICSE Most Influential Paper Award for his ICSE 1992 paper on assertion checking, and in 2008 he received the first ACM SIGSOFT Impact Paper Award with Alexander L. Wolf for their ESEC/FSE 1997 paper on Internet-scale event notification. He has been the recipient of an NSF CAREER grant in the USA and a Wolfson Research Merit Award from the Royal Society in the UK. He is a Fellow of the ACM and IEEE and a Senior Member of the Singapore Computer Society, and he is the Past Chair of the ACM Special Interest Group in Software Engineering (ACM SIGSOFT).

特邀报告 2. Ada 2012: The Language for Advanced Software Engineering ( 报告人: Prof. Jingde Cheng http://www.aise.ics.saitama-u.ac.jp/~cheng/)

Abstract Ada 2012 is the last version of Ada programming language, the world's premier programming language for engineering safe, secure, and reliable software systems. With decades of success in various industries including Communication, railway, avionics, aerospace, and defense, Ada is generating new interest in domains such as automotive, medical, and financial systems, where the cost of software errors can range from lost livelihoods to lost lives. This talk gives an overview of Ada 2012, in particular , its new features and benefits, and points out its influence in future advanced software engineering.

报告人简介: Jingde Cheng is a professor of computer science at Graduate School of Science and Engineering, Saitama University in Japan.He received the Bachelor of Engineering degree in computer science and the Best Graduate Award from Tsinghua University in China in 1982, and the Master of Engineering degree and the Doctor of Engineering degree, both in computer science from Kyushu University in Japan, in 1986 and 1989 respectively. Before he joined Saitama University in 1999, he was a research associate (1989-1991), an associate professor (1991-1996), and a professor (1996-1999, as the first foreign professor in Japanese national universities) at Kyushu University. He is a senior member of ACM, and a member of IEEE-CS, IEEE-SMC, IEEE, and IPSJ. Jingde Cheng's current research interests include relevant and ampliative reasoning, relevant logic and its applications, epistemic programming paradigm for scientific discovery, autonomous evolution of knowledge-based systems, anticipatory reasoning-reacting systems, persistent computing, and information security engineering environment. He received the Best Paper Awards from several international conferences. As the Principal Investigator, Jingde Cheng has directed 11 projects supported by Japanese Government (The Ministry of Education, Culture, Sports, Science and Technology of Japan, and Japan Society for the Promotion of Science) and 13 projects supported by various foundations, and he also joined more than a dozen of projects as a major investigator. In the area of Software Engineering, Jingde Cheng's major achievements include: He created and now still maintains the best research results on Ada tasking deadlock classification and detection; He created the analysis theory of concurrent program dependences and applied it to concurrent program slicing technology, complexity measurement technology, debugging technology; He proposed the notion of anticpatory reasoning-reacting system, indicated a new R&D direction for next generation of highly secue and highly reliable reactive systems, and performed some case studies including anticipatory emergency elevator evacuation systems, anticipatory runway incursion prevention systems, and so on; He proposed the notion of persistent computing systems and the new concept of soft system bus technology for developing persistent computing systems, and pointed out that the new software development methodology to use soft system bus technology will give great influence on the traditional software engineering.

特邀报告 3. Software Analytics in Practice — Approaches and Experiences (报告人 :Dr. Dongmei Zhang MSRA

Abstract A huge wealth of various data exists in the software development process, and hidden in the data is information about the quality of software and services as well as the dynamics of software development. With various analytic and computing technologies, software analytics is to enable software practitioners to performance data exploration and analysis in order to obtain insightful and actionable information for data-driven tasks around software and services. Software analytics is naturally tied with the software development practice mainly because (1) the data under study comes from real practice; (2) there are real problems to be answered using the data; (3) one of the success metrics of software analytics research is its influence and impact on the development practice. The process of transferring software analytics research results into practical use, a.k.a. technology transfer, is full of challenges, such as dealing with the scale and complexity of the real data, walking the last mile to build tools working well in practice instead of only being a demo or prototype, and effectively engaging the software practitioners to adopt the tools and provide feedback. At the Software Analytics group in Microsoft Research Asia, we are conducting research in software analytics; and we also collaborate extensively with product teams across Microsoft. In this talk, I will discuss some of the research projects in our group; and I will also use some case studies to share our approaches and experiences in technology transfer.

报告人简介: Dongmei Zhang is a Principal Researcher and research manager at the Software Analytics group of Microsoft Research Asia (MSRA). Her research interests include data-driven software analysis, machine learning, information visualization and large-scale computing platform. She founded the Software Analytics group at MSRA in 2009. Since then she has been leading the group to research software analytics technologies. Her group collaborates closely with multiple product teams in Microsoft, and has developed and deployed software analytics tools that have created high business impact. Dr. Zhang received her Ph.D. in Robotics from Carnegie Mellon University. She received her B.E. and M.E. in Automatic Control from Tsinghua University.

 


Copyright @ 天津大学, 2012-2013 . All Rights Reserved