De : Laurie Hendren <hendren@cs.mcgill.ca>Objet : Max Schaefer talk at McGill this Friday at 2:30 in McConnell 103.Date : 15 October, 2012 12:52:43 PM EDTÀ : Bruno Dufour <dufour@iro.umontreal.ca>, Marc Feeley <feeley@iro.umontreal.ca>, Ettore Merlo <ettore.merlo@polymtl.ca>, egagnon@j-meg.com
Hi Bruno, Marc, Ettore and Etienne,
My friend Max Schaefer is visiting McGill on Thursday and Friday of this week and he will be giving the talk listed below. I worked with Max on my sabbatical in Oxford and he is a really good guy with lots of experience in the intersection of compiler analyses and software engineering. Could you please publicize this talk (and also come if you can).
Also, Max is available for meetings on Thursday and Friday, so if you (or your students) would like to meet with him, please let me know. If you would like to come for lunch on Friday, we could go and have lunch and then go his talk after lunch. Also let me know if that appeals to you.
Thanks, Laurie
2012/10/19 Speaker: Max Schaefer
Affiliation: IBM Research
Host: L. Hendren
Place: MC103
Start Time: 14:30
Area: Programming Languages
Title: Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
Abstract:
Biography of Speaker:
The rapid rise of JavaScript as one of the most popular programming languages of the present day has led to a demand for sophisticated IDE support similar to what is available for Java or C#. However, advanced tooling is hampered by the dynamic nature of the language, which makes any form of static analysis very difficult. We single out efficient call graph construction as a key problem to be solved in order to improve development tools for JavaScript. To address this problem, we present a scalable field-based flow analysis for constructing call graphs. Our evaluation on large real-world programs shows that the analysis, while in principle unsound, produces highly accurate call graphs in practice. Previous analyses do not scale to these programs, but our analysis handles them in a matter of seconds, thus proving its suitability for use in an interactive setting.
Max Schaefer is currently a post-doctoral researcher at the IBM T.J. Watson Research Center, working mostly on program analysis and transformation, particularly for dynamic programming languages. Before coming to IBM, he obtained his DPhil from the University of Oxford, graduating with a thesis on specification, implementation and verification of refactorings.
-- +-------------------------------------------------------------- | Laurie Hendren --- http://www.sable.mcgill.ca/~hendren | Associate Dean (Academic), Faculty of Science | Professor, School of Computer Science, McGill University | New McLAB Research Project: http://www.sable.mcgill.ca/mclab | Other Proj: www.sable.mcgill.ca/soot www.sable.mcgill.ca/abc +--------------------------------------------------------------