Workshop on WALA (WoW) 2015 at PLDI and FCRC       

links

Workshop on WALA (WoW) 2015 at PLDI and FCRC - Organizers


  • Karim Ali received his BSc in Computer Science from the American University in Cairo. He did his graduate studies at the David R. Cheriton School of Computer Science at the University of Waterloo, Canada, where he received his PhD degree with a thesis entitled “The Separate Compilation Assumption”. He is now a Postdoc researcher at the Technische Universität Darmstadt, Germany. He works on a range of topics, including static program analysis, analysing partial programs, and secure software engineering.
  • Julian Dolby has been a Research Staff Member at IBM's Thomas J. Watson Research Center since 2000.  He has co-organized the JSTools series of workshops at ECOOP, WALA tutorials at PLDI and the WebQUeST workshop at FSE 2011.  He works on a range of topics, including static program analysis and software testing.  His program analysis work has recently been focused on scripting languages like JavaScript and on security analysis of Web applications; he is one of the primary authors of the publicly-available Watson Libraries for Analysis (WALA) program analysis infrastructure.  His testing work has been primarily focused on Web applications in the Apollo project, and on finding concurrency bugs using both dynamic execution and model checking.
  • Sukyoung Ryu is an assistant professor of Computer Science at Korea Advanced Institute of Science and Technology (KAIST).  Before joining KAIST in December 2009, she worked at Sun Microsystems Laboratories to design and develop the new programming language, Fortress.  She was the editor of the language specification and she led the effort to construct the core calculi of the Fortress programming language.  Before that, she was a Research Associate in Computer Science at Harvard, where she worked on the Debugging Everywhere project.  She co-organized a Fortress tutorial at PLDI 2006 and 2014 Big Data Workshop in Hong Kong.  Her recent research focuses on designing and developing the publicly-available Scalable Analysis Framework for ECMAScript (SAFE) to let end-users use web applications more securely.  In order to analyze real-world JavaScript web applications, her team has worked on extending  SAFE with automatic modeling of various frameworks and making the analysis more scalable while maintaining reasonable precision and analysis coverage.  This work will be included in the Tizen SDK of the Tizen Linux Foundation project.
  • Manu Sridharan is a researcher at Samsung Research America in the area of programming languages and software engineering. He got his PhD from University of California, Berkeley in 2007.  He has done research on a variety of topics in static analysis, dynamic analysis, and software engineering. He worked at IBM Research from 2008–2013.  He is a core maintainer of WALA, and has helped organize multiple WALA-related tutorials at PLDI.  He also co-organized a Dagstuhl seminar on pointer analysis in the spring of 2013.