Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.
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
"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]
"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]
"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.
"Decision-making coordination in collaborative product configuration",
ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
[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]
"Two Studies of Framework-Usage Templates Extracted from Dynamic Traces",
IEEE Transactions on Software Engineering, vol. 38, issue 6, 12/2012.
[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.
"Towards Goal Driven Design",
Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT) at AOSD, 2006.
"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.
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[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]
