This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Thiago Tonelli Bartolomei, Ph.D.
Ph.D. Graduate
M.Sc. Information Technologies, University of Applied Sciences Kiel
B.Eng. Computing Engineering, State University of Campinas
I held an IBM Centers for Advanced Studies Ph.D. Fellowship with Toronto Labs from 2007-09. I am currently the representative for Brazil in the International Students Office's Global Representative Program.
My research interests include programming languages, software modelling, re-engineering and program (static and dynamic) analysis. I am very interested in developing techniques and tools that help people develop reliable software easily. In particular, my research focuses on everything around Application Programming Interfaces (APIs): how to develop APIs, understand and use their features, verify the correctness of APIs and dependent applications, and finally how to migrate applications across APIs.
You can find more information on LinkedIn, DBLP and Lattes (in Portuguese). You can contact me as ttonelli @ this domain.
News
I defended my Ph.D. Thesis successfully in May, 2012, and joined LogicBlox.
Activities
Teaching Assistantships
- ECE452: Software Design & Architecture (S2009, S2008, S2007)
- ECE251: Programming Languages and Translators (F2007)
Blogging
- For Tech-talk, see my writings in Log4Dev (in Portuguese).
- For rants and procrastination-related material, see Villa do Teto Amarelo (in Portuguese).
Publications
"Two Studies of Framework-Usage Templates Extracted from Dynamic Traces",
IEEE Transactions on Software Engineering, vol. 38, issue 6, 12/2012.
[pdf]
"Combining Multiple Dimensions of Knowledge in API Migration",
First International Workshop on Model-Driven Software Migration (MDSM), at the 15th European Conference on Software Maintenance and Reengineering (CSMR), Oldenburg, Germany, CEUR, 03/2011.
[pdf]
"Swing to SWT and Back: Patterns for API Migration by Wrapping",
26th IEEE International Conference on Software Maintenance (ICSM), Timișoara, Romania, 09/2010.
[pdf][pdf]
"Study of an API Migration for Two XML APIs",
2nd International Conference on Software Language Engineering (SLE), vol. 5969/2010, Denver, USA, pp. 42-61, 10/2009.
[pdf][pdf]
"Supporting Framework Use via Automatically Extracted Concept-Implementation Templates",
23rd European Conference on Object-Oriented Programming (ECOOP), vol. 5653, Genova, Italy, Springer-Verlag, pp. 344-368, 07/2009.
[pdf][pdf]
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[pdf]
"On the Maintainability of Aspect-Oriented Software: A Concern-Oriented Measurement Framework",
12th European Conference on Software Maintenance and Reengineering (CSMR), Athens, Greece, 04/2008.
"Decision-making coordination in collaborative product configuration",
ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
[pdf]
"Automatic Extraction of Framework-Specific Models From Framework-Based Application Code",
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, USA, 11/2007.
[pdf]
Comprehending Object-Oriented Software Frameworks Through Dynamic Analysis,
, no. CS-2007-18: University of Waterloo, 10/2007.
[pdf]
"On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study",
21st European Conference on Object-Oriented Programming (ECOOP), Berlin, Germany, 07/2007.
"On the Contributions of an End-to-End AOSD Testbed",
Workshop on Aspect-Oriented Requirements Engineering and Architecture Design at ICSE, 05/2007.
"On The Design of an End-to-End AOSD Testbed for Software Stability",
First Workshop on Assessement of Aspect-Oriented Technologies (ASAT) at AOSD, 03/2007.
"On Modularity Assessment of Aspect Oriented Software",
Department of Computer Science and Electrical Engineering: University of Applied Sciences Kiel, 2006.
"Towards a Unified Coupling Framework for Measuring Aspect-Oriented Programs",
3rd International Workshop on Software Quality Assurance (SOQUA), New York, NY, USA, ACM Press, pp. 46–53, 2006.
"Towards Goal Driven Design",
Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT) at AOSD, 2006.
