Program Verification: A 50-Year Retrospective
Tony Hoare's seminal paper, "An axiomatic basis for computer programming", was published 50 years ago. The paper has had a profound impact on computing research, inspiring generations of researchers, as well as arousing deep opposition. In this talk, I assess the impact of this paper, describing how recent developments show the paper was at the same time both prophetic and misguided.
The talk is aimed at a general computer-science audience.
Bio of Tony Moshe Y. Vardi:
Moshe Y. Vardi is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is the recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award, the Southeastern Universities Research Association's Distinguished Scientist Award, and the ACM SIGLOG Church Award. He is the author and co-author of over 600 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is a Fellow of the American Association for the Advancement of Science, the American Mathematical Society the Association for Computing Machinery, the American Association for Artificial Intelligence, the European Association for Theoretical Computer Science, the Institute for Electrical and Electronic Engineers, and the Society for Industrial and Applied Mathematics. He is a member of the US National Academy of Engineering and National Academy of Science, the American Academy of Arts and Science, the European Academy of Science, and Academia Europaea. He holds six honorary doctorates. He is currently a Senior Editor of of the Communications of the ACM, after having served for a decade as Editor-in-Chief.
Evolution of Software Engineering in Industry — challenges and opportunities for Testing
In the last few decades, the software industry has seen a sea of changes in the mode software is delivered to the consumers. We have transitioned successfully from shrinkwrap software to online services. Rich functionalities are being delivered to the users real-time using online services reducing the time to market. This transition has a profound impact on the type of challenges industry is faced with from the software engineering and testing standpoint. Over the last decade, I have experienced the transition working at companies of varying size and complexity. In this talk, I will highlight the software testing challenges that the industry is facing and the opportunities for innovating new test methodologies.
Bio of Tony Adithya Nagarajan:
Adithya Nagarajan is a Senior Engineering Manager at Apple. He has many years of experience developing, testing, and maintaining Enterprise Resource Planning (ERP) solutions, Online services, and E-Commerce. Over the past few years, he has been working on the Apple Maps product, delivering high-quality maps experience to Maps users. He currently leads a large organization responsible for developing testing platforms using large-scale distributed systems, with expertise in computer vision, 3D graphics, performance profiling, and device automation.
Address: no. 28 xianning west road, xi 'an, shaanxi province: 710049
Copyright: site construction and maintenance of xi 'an jiaotong university: data and information center