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.

Goals

The workshop wants to address the following themes:

  • identify recent successful tools as plug-ins
  • categorize the characteristics of good plug-ins
  • understand interoperability requirements to making tools available across platforms
  • list which tools lend themselves best to the plug- in approach
  • specify the medium and long term challenges of tools as plug-ins
Thus we are more concerned in this workshop with understanding the characteristics and creation of tools as plug-ins, than of the tools themselves.



Areas
  • Computer supported cooperative work
  • Empirical software engineering
  • Engineering secure software
  • Mining software repositories
  • Programming languages and design
  • Software dependability, safety, and reliability
  • Software engineering education
  • Software processes
  • Software requirements engineering
  • Software testing and analysis
  • Software verification
  • Static analysis and bug-finding
Organizers
   Judith Bishop
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.
 
   Karin Breitman
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.
 
   David Notkin
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.