TOPI 2011 1st Workshop on Developing Tools as Plug-ins | |
---|---|
Saturday May 28, 2011 |
Keynote Speaker |
Tom Ball |
||
MS Research | ||
Tom Ball is Principal Researcher at Microsoft Research where he manages the Software Reliability Research Group. Tom received a Ph.D. from the University of Wisconsin-Madison in 1993, was with Bell Labs from 1993-1999, and has been at Microsoft Research since 1999. He is one of the originators of the SLAM project, a software model checking engine for C that forms the basis of the Static Driver Verifier tool. Tom's interests range from program analysis, model checking, testing and automated theorem proving to the problems of defining and measuring software quality. http://research.microsoft.com/en-us/people/tball/ |
Date |
Saturday, May 28th |
Venue |
South Pacific 3 |
Time |
8.30 - 5.00 |
Overview |
Our knowledge as to how to solve software engineering problems is increasingly being encapsulated in tools. These tools are at their strongest when they operate in a pre-existing development environment that can provide integration with existing elements such as compilers, debuggers, profilers and visualizers. Some also exist beyond development time and work with the runtime. A further challenge is to develop tools that can span different – and future - development environments and runtimes. This workshop should of interest to all those interested in developing tools as plug-ins for IDEs, runtimes and browsers. We will examine the categories of problems that are best solved in this way, and look at the future challenges. Attendees should have a working knowledge of an IDE such as Visual Studio 2010, Eclipse or MonoDevelop, and experience or interest in tool development.
The workshop wants to address the following themes:
Microsoft Research | ||
Judith Bishop has extensive experience in organizing conferences and summer schools and has been on many PCs for workshops and symposiums, notably ICSE 2008, ESEC/FSE 2009 and TOOLS 2010. She was Co-General Chair for ICSE 2010 and is PC Chair for TOOLS 2011. | ||
PUC-Rio | ||
Karin Breitman served as Events Director on the BOD of the Brazilian Computer Society from 2005 to 2008, where she was responsible for overlooking over 30 events/year. She was PC-Chair of several events, notably ICFEM'09, ICECCS'08, SEW'09. She was co- general chair of ICFEM'09 and ECBS-LARC 2010. She belongs to the PC of ICFEM'10, ISOLA'10. | ||
University of Washington | ||
My educational and research interests are in software engineering, with a particular focus in software evolution: understanding why software is so hard and expensive to change, and in turn reducing those difficulties and costs. |