~~NOTOC~~
====== Doctoral Symposium ======


//Below you can find an overview of the presentations of the ASE 2010 Doctoral Symposium.  Please note that ASE 2010 provides other opportunities to make your attendance even more inspiring and productive !// \\ \\ //The full program can be consulted online in the [[:program|Program section]] of this website.  The Doctoral Symposium is organized on://

  * //[[:program#Tuesday 21 September 2010|Tuesday 21 September 2010]]//

===== Overview =====

^  **Doctoral Symposium** \\ tuesday 21 September 2010  ^^
| 08:30 | Registration |
| 09:00 | SESSION 1 - Keynote by **Rupak Majumdar** \\ //(MPI-SWS, Kaiserslautern and UC Los Angeles)// \\ \\ **Through the Looking Glass: Ph.D., Research, and Advising** \\ \\ //Getting a doctoral degree, and preparing for a career in research, is not easy.
Being an advisor is perhaps harder. I will recount some personal lessons I have
learnt, and advice from others I have found helpful. // \\ \\ //(Joint work with many others, whose advice has shaped my views)// |
| 10:30 | Coffee break |
| 11:00 | SESSION 2 \\ \\ **Error-Avoiding Adaptors for Black-Box Software Components** \\ Casandra Holotescu \\ //Politehnica University of Timisoara, Romania// \\ \\ **Automated Model Grouping** \\ Michael Becker \\ //University of Leipzig, Germany// |
| 12:30 | Lunch break |
| 14:00 | SESSION 3 \\ \\ **Automatic inference of abstract type behavior** \\ Mihai Balint \\ //Politehnica University of Timisoara, Romania// \\ \\ **Extraction and Visualization of Traceability Relationships between Documents and Source Code** \\ Xiaofan Chen \\ //University of Auckland, New Zealand// |
| 15:30 | Lunch break |
| 16:00 | SESSION 4 \\ \\ **Model Checking Graph Representation of Precise Boolean Inter-procedural Flow Analysis** \\ Domnic Letarte \\ //École Polytechnique de Montréal, Canada// \\ \\ **The Influence of Multiple Artifacts on the Effectiveness of Software Testing** \\ Matt Staats \\ //University of Minnesota, USA// |
| 17:30 | Closing discussion |

===== Doctoral Symposium Chairs =====


{{:images:corinapasareanu.jpg?65  |Corina Pasareanu}} **[[http://ti.arc.nasa.gov/profile/pcorina/|Corina Pasareanu]]** \\ 
NASA Ames Research Center \\
San Francisco, CA (USA) \\ 
[[Corina.S.Pasareanu@nasa.gov| contact]] \\ \\  \\


{{:images:johnhosking.jpg?65  |John Hosking}} **[[http://www.cs.auckland.ac.nz/~john|John Hosking]]** \\ 
Department of Computer Science \\
University of Auckland \\
Auckland (New Zealand) \\ 
[[john@cs.auckland.ac.nz| contact]] \\ \\