Publications, communications et séminaires, etc.

Revues (avec comités de lecture)

• PiCo: High-performance data analytics pipelines in modern C++, C. Misale, M. Drocco, G. Tremblay, A.R. Martinelli and M. Aldinucci, Future Generation Computer Systems, 87:392-403, May 2018.
• Languages for Big Data Analysis, M. Aldinucci, M. Drocco, C. Misale, and G. Tremblay. In: S. Sakr, A. Zomaya (eds), Encyclopedia of Big Data Technologies. Springer, Cham, 2018.
• A Comparison of Big Data Frameworks on a Layered Dataflow Model, C. Misale, M. Drocco, M. Aldinucci, and G. Tremblay, Parallel Processing Letters, 27(1), 20 pages, 2017.
• Semantic Analysis of RESTful APIs for the Detection of Linguistic Patterns and Antipatterns, J. Gonzalez-Huerta, M. Founi, N. Moha, G. Tremblay, and Y.G. Guéhéneuc, International Journal of Cooperative Information Systems, 26(2), May 2017.
• Principes de génie logiciel et développement agile : une analyse., H. Bagane, G. Tremblay, and N. Séguin. Génie logiciel. 98:43-51, Sept. 2011.
• Business process modeling languages: Sorting through the alphabet soup., H. Mili, G. Tremblay, É. Lefebvre, G. Bou Jaoude, L. Elabed and G. El Boussaidi. ACM Computing Surveys, 43(1), Article 4, 56 p., Nov. 2010.
• A cellular automata breccia simulator (CABS) and its application to rounding in hydrothermal breccias., M. Lalonde, G. Tremblay, and M. Jébrak. Computers & Geosciences, 36(7):827--838, July 2010.
• Search-based many-to-one component substitution., N. Desnos, M. Huchard, G. Tremblay, C. Urtado, and S. Vauttier. Journal of Software Maintenance and Evolution: Research and Practice, 20(5):321-344, Sept. 2008.
• Oto, a generic and extensible tool for marking programming assignments, G. Tremblay, F. Guérin, A. Pons and A. Salah. Software--Practice and Experience. 38(3):307-333, March 2008.
• Marking musical dictations using the edit distance algorithm, G. Tremblay and F. Champagne. Software--Practice and Experience, 37(2):207-230, Feb. 2007.
• Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system, G. Tremblay, C.J. Morrone, J.N. Amaral, and G.R. Gao. Concurrency and Computation: Practice and Experience, 15(9):821-844, Aug. 2003.
• Évolution d'un langage pour la programmation parallèle multi-contextes : Threaded-C, G. Tremblay. Technique et Science Informatiques, RSTI série TSI, vol. 21, no. 5, pp. 605-634, 2002. Numéro spécial "Parallélisme et systèmes distribués".
• An abstract state machine specification and verification of the location consistency memory model and cache protocol, C. Wallace, G. Tremblay, and J.N. Amaral. Journal of Universal Computer Science, 7(11), pp. 1089-1113, 2001. Special Issue on Abstract State Machines 2001: New Developments and Applications.
• Lenient evaluation is neither strict nor lazy, G. Tremblay, Computer Languages, 26(1), pp. 43-66, June 2001.
• Lenient evaluation and parallelism, G. Tremblay and B. Malenfant, Computer Languages, 26(1), pp. 27-41, June 2001.
• Formal Methods: Mathematics, Computer Science, or Software Engineering?, G. Tremblay, IEEE Transactions on Education, 43(4), pp. 377-382, Nov. 2000.

Compte-rendus de conférences (avec comités de lecture)

• PiCo: A Novel Approach to Stream Data Analytics, C. Misale, M. Drocco, G. Tremblay, and M. Aldinucci. In Euro-Par 2017 Auto-DaSP Workshop. Santiago de Compostela, Spain, August 2017.
• A Comparison of Big Data Frameworks on a Layered Dataflow Model, C. Misale, M. Drocco, M. Aldinucci, and G. Tremblay, In 9th Int'l Symposium on High-Level Parallel Programming and Applications (HLPP), Muenster, Germany, July 2016.
• Are RESTful APIs Well-designed? Detection of Linguistic (Anti)patterns, F. Palma, J. Gonzalez-Huerta, N. Moha, Y.-G. Guéhéneuc and G. Tremblay. In 13th International Conference on Service Oriented Computing (ICSOC 2015), Goa, India, Nov. 2015.
• Specification and detection of SOA antipatterns in web services, F. Palma, N. Moha, G. Tremblay, and Y.-G. Guéhéneuc. In 8th European Conference on Software Architecture (ECSA 2014), LNCS-8627, Springer-Verlag, pages 58-72, Vienna, Austria, Aug. 2014.
• Detection of SOA patterns, A. Demange, N. Moha, and G. Tremblay. In Intl. Conf. on Service-Oriented Computing (ICSOC), LNCS-8274, Springer-Verlag, pages 114-130, Berlin, Germany, Dec. 2013.
• A possibilistic approach to intrusion detection under imperfect logging protocol, R. Ben Younes and G. Tremblay. In Proc. of the 6th Intl. Conf. on Security of Information and Networks (SIN '13), pages 266-271, Aksaray, Turkey, ACM Press, Nov. 2013.
• Agile Principles as Software Engineering Principles: An Analysis, N. Séguin, G. Tremblay, and H. Bagane. In XP 2012, LNBIP 111, Springer-Verlag, pages 1-15, Malmo, Sweden, May 2012.
• A Marking Language for the Oto Assignment Marking Tool, G. Tremblay and P. Lessard. In Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science Education (ACM ITiCSE 2011), ACM, pages 148-152, Darmstadt, Germany, June 2011.
• Interface Expressions Monitoring for BPEL Processes (Poster), W. Jendoubi, G. Tremblay, and A. Salah. In 7th International Conference on Web Information Systems and Technologies (WEBIST 2011), pages 131-134, Noordwijkerhout, Netherlands, May 2011.
• Checking conformity of WS-BPEL processes with respect to interface protocols, A. Salah, G. Tremblay, and A. Chami. In A. Obaid, editor, Proceedings of the 9th Annual International Conference on New Technologies of Distributed Systems (NOTERE 2009), pages 289-299, Montréal, QC, Canada, June 2009.
• Extending Orchids for intrusion detection in 802.11 wireless networks, R. Ben Younes, G. Tremblay and G. Bégin, In D. Benslimane and A. Ouksel, editors, Proceedings of the 8th International Conference on New Technologies in Distributed Systems (NOTERE 2008), volume 1, pages 40-51, Lyon, France, June 2008.
• Towards Adaptability Support in Collaborative Business Processes, I. Khriss, E. Lévesque, G. Tremblay and A. Jacques. 2008 International MCETECH Conference on e-Technologies, pages 34-45, IEEE Computer Society, Montréal, Canada, Jan. 2008.
• Behavioral Interface Conformance Checking for WS-BPEL Processes, A. Salah, G. Tremblay and A. Chami. 2008 International MCETECH Conference on e-Technologies, pages 253-256, IEEE Computer Society, Montréal, Canada, Jan. 2008.
• Automated and Unanticipated Flexible Component Substitution, N. Desnos, M. Huchard, C. Urtado, S. Vauttier, and G. Tremblay. In The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007), pages 33-48, Springer-Verlag, LNCS-4608, Medford, MA, July 2007.
• Introducing students to professional software construction: A "Software construction and maintenance" course and its maintenance corpus, G. Tremblay, B. Malenfant, A. Salah, and P. Zentilli. In Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ACM ITiCSE 2007), pages 176-180. Dundee, Scotland, June 2007.
• Extending a marking tool with simple support for testing (Poster), G. Tremblay, L. Laforest and A. Salah. In Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ACM ITiCSE 2007), page 313. Dundee, Scotland, June 2007.
• Classifying business processes for domain engineering, H. Mili, M. Frendi, G. Bou Jaoude, G. Tremblay, and L. Martin. In 18th IEEE International Conference on Tools with Artificial Intelligence, pages 397-406, Washington, DC, Nov. 2006. IEEE Computer Society.
• Towards a methodology for designing compensation processes in long-running business transactions, H. Mili, R. Godin, G. Tremblay, and W. Dorfeuille. In L. Logrippo, H. Mili, and A. Salah, editors, Proceedings of the 2006 Montreal Conference on eTechnologies, pages 137-146, Montréal, QC, Canada, May 2006.
• A generic and extensible tool for marking programming assignments, G. Tremblay, F. Guérin and A. Pons. In T.C. Mongomerie and J.R. Parker, editors, The IASTED International Conference on Education and Technology (ICET 2005), pages 55-60, Calgary, AB, Canada, July 2005. ACTA Press.
• Towards specifying contracts and protocols for Web services, G. Tremblay and J. Chae. In H. Mili and F. Khendek, editors, MCeTech Montreal Conference on eTechnologies, pages 73-85, Montréal, QC, Canada, Jan. 2005.
• Web service composition as a function cover problem, A.-É. Caillot, G. Tremblay, B. Ben Tamrout, A. Obaid, and H. Mcheick. In H. Mili and F. Khendek, editors, MCeTech Montreal Conference on eTechnologies, pages 61-71, Montréal, QC, Canada, Jan. 2005.
• Business process modeling for light-weight inter-enterprise system integration, H. Mili, F. Bédard, G. Bou Jaoude, and G. Tremblay. In A. Frew, editor, Information and Communication Technologies in Tourism (ENTER 2004), pages 380-390, Cairo, Egypt, January 2004. International Federation for IT and Travel & Tourism (IFITT), Springer.
• Semi-automatic marking of Java programs using JUnit, G. Tremblay and É. Labonté. International Conference on Education and Information Systems: Technologies and Applications (EISTA '03), pages 42-47, Orlando, FL, July 2003.
• Automatic marking of musical dictations by applying the edit distance algorithm on a symbolic music representation, G. Tremblay and F. Champagne. Musical Application Using XML (MAX2002), pp. 11-17, Milan, Italy. IEEE Computer Society Technical Commitee on Computer Generated Music. Sept. 2002.
• On the tamability of the location consistency memory model, C. Wallace, G. Tremblay, and J.N. Amaral. In International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '02), pp. 1542-1547, Las Vegas, NE, June 2002.
• A multi-threaded runtime system for a multi-processor/multi-node cluster, C.J. Morrone, J.N. Amaral, G. Tremblay, and G.R. Gao. In R.D. Kent and T.W. Sands, editors, High Performance Computing Systems and Applications (HPCS '2001), pp. 229-242. Kluwer Academic Publishers, Norwell, MA, 2003.
• Évolution d'un langage pour la programmation parallèle multi-contextes : Threaded-C, G. Tremblay. Dans C. Cérin and G. Utard, editors, RENPAR '13, pp. 133-138. ASTI '2001, Paris, France, Avril 2001.
• Specification and verification of the LC cache protocol (Extended abstract), C. Wallace, G. Tremblay, and J.N. Amaral, Formal Methods and Tools for Computer Science (EUROCAST 2001), Universidad Las Palmas de Gran Canaria, Canary Islands, pp. 275-278, Feb. 2001.
• Formal Methods: Mathematics, Computer Science, or Software Engineering?, G. Tremblay, Thirteenth Conference on Software Engineering Education and Training, IEEE Computer Society, pp. 273-282, March 2000.
• Exercices for teaching logic in a formal methods course: Formalizing ERDs, G. Tremblay, ACM SIGCSE '99 Technical Symposium, pp. 100-104, March 1999.
• An Undergraduate Course in Formal Methods: ``Description is our business'', G. Tremblay, ACM SIGCSE '98 Technical Symposium, pp. 166-170, Feb. 1998.
• Reusability and Interoperability in SNMP-based Network Management: From Concepts to Applications, O. Cherkaoui, S. Znaty and G. Tremblay. Presented at ICT97 (International Conference on Telecommunications), Melbourne, Australia, April 1997.
• Langages fonctionnels non-stricts: De la paresse et de l'indulgence, G. Tremblay, dans JFLA 97 -- Journées Francophones des Langages Applicatifs, M. Gengler et C. Queinnec (eds.), Rapport INRIA #16 (Collection Didactique), pp. 189-208, janvier 1997.
• Compilation de langages paresseux par analyse de stricticité arrière: Utilité et limites, G. Tremblay, dans JFLA 96 -- Journées Francophones des Langages Applicatifs, G. Lapalme et C. Queinnec (eds.), Rapport INRIA #15 (Collection Didactique), pp. 225-244, janvier 1996.
• The impact of laziness on parallelism and the limits of strictness analysis, G. Tremblay and G.R. Gao, In Proceedings High Performance Functional Computing, A.P. Wim Bohm and John T. Feo, editors, Lawrence Livermore National Laboratory CONF-9504126, pp. 119-133, April 1995.

Livres ou chapitres de livre

• Software design: An overview. G. Tremblay and A. Pons. In R.H. Thayer, editor, Software Engineering, Vol. 1: The Development Process (3rd edition), pages 195-208. IEEE Computer Society Press, Los Alamitos, CA, 2005.
• Modélisation et spécification formelle des logiciels (édition revue et augmentée), G. Tremblay, Loze-Dion Éditeurs, Inc., 635 pages, 2004.
• Software Design, G. Tremblay (Associate Editor). In A. Abran, J.W. Moore, P. Bourque, and R. Dupuis, editors, Guide to the Software Engineering Body of Knowledge (2004 Version), chapter 3, pp. 3.1-3.12. IEEE Computer Society Press, Los Alamitos, CA, 2004.
• Software design, G. Tremblay. In A. Abran, J.W. Moore, P. Bourque, and R. Dupuis, editors, Guide to the Software Engineering Body of Knowledge (Japanese translation), chapter 3, pages 53-78. IEEE Computer Society Press and Ohmsha, Ltd., Japan, 2003.
• Software Design, G. Tremblay. In A. Abran, J.W. Moore, P. Bourque, and R. Dupuis, editors, Guide to the Software Engineering Body of Knowledge (Trial Version), chapter 3, pp. 35-51. IEEE Computer Society Press, Los Alamitos, CA, 2001.
• Modélisation et spécification formelle des logiciels, G. Tremblay, Loze-Dion Éditeurs, Inc., 2000.

Communications (sans compte-rendu)

• Oto, un outil extensible d'aide à la correction de programmes, F. Guérin et G. Tremblay, 73ième Congrès de l'ACFAS, Session ``Informatique et génie logiciel'', Université du Québec à Chicoutimi, Chicoutimi, Mai 2005.
• Accreditation of Software Engineering Programs by the CSAC, G. Tremblay, Canadian Undergraduate Software Engineering Conference, Montréal, Qué., January 2003.
• Application de l'algorithme de distance d'édition à des segments musicaux, F. Champagne et G. Tremblay, 70ième Congrès de l'ACFAS, Session ``Informatique et génie logiciel'', Université Laval, Québec, Mai 2002.
• Système d'aide à la correction de programmes Java, É. Labonté et G. Tremblay, 70ième Congrès de l'ACFAS, Session ``Informatique et génie logiciel'', Université Laval, Québec, Mai 2002.
• Sémantique parallèle d'un langage fonctionnel indulgent, B. Malenfant et G. Tremblay, 66ième Congrès de l'ACFAS, Session ``Programmation parallèle et génie logiciel'', Université Laval, Québec, Mai 1998.

Rapports techniques

• A survey of big data frameworks on a layered dataflow model, C. Misale, M. Drocco, M. Aldinucci, and G. Tremblay, Rapport de recherche Latece 2016-1, Dép. d'informatique, UQAM, mai 2016.
• Documentation Generators Support for Program Comprehension: Where are we?, A. Terrasa, J. Privat and G. Tremblay, Rapport de recherche Latece 2015-2, Dép. d'informatique, UQAM, décembre 2015.
• An Internal DSL for Building FastFlow Skeletons Using a C++ Fluent Interface, G. Tremblay and M. Aldinucci, Rapport de recherche Latece 2015-1, Dép. d'informatique, UQAM, juin 2015.
• Oto, un outil d'aide à la correction de programmes : Guide d'utilisation à l'intention des enseignants et des auxiliaires d'enseignement, F. Guérin, G. Tremblay. et P. Lessard. Dép. d'informatique, UQAM, déc. 2010.
• Ports primitifs et composites : Une description formelle (exécutable) des propriétés de cohérence et complétude, G. Tremblay, N. Desnos, C. Urtado, S. Vauttier et M. Huchard. Note interne de recherche, mai 2007.
• Oto, un outil d'aide à la correction de programmes : Guide pratique pour la conception et la correction de travaux de laboratoires, G. Tremblay et L. Laforest. Dép. d'informatique, UQAM, nov. 2006.
• Oto, un outil d'aide à la correction de programmes : Guide d'utilisation à l'intention des enseignants et des auxiliaires d'enseignement, F. Guérin et G. Tremblay. Dép. d'informatique, UQAM, oct. 2006.
• Oto, un outil d'aide à la correction de programmes : Guide d'utilisation destiné aux étudiants, G. Tremblay, M. Takim et A. Salah. Dép. d'informatique, UQAM, sept. 2006.
• Adding semantics to Web service descriptions. H. Mili, G. Tremblay, R. Bentamrout, and A.-É. Caillot. Dépt. d'Informatique, UQAM, oct. 2004.
• Oto : Un outil générique et évolutif d'aide à la correction de programmes -- Langage de scriptage, F. Guérin et G. Tremblay, juin 2004.
• Oto : Un outil générique et évolutif d'aide à la correction de programmes -- Cas d'utilisation, G. Tremblay et F. Guérin, juin 2004.
• Business process modeling languages: Sorting through the alphabet soup. H. Mili, G. Bou Jaoude, É. Lefebvre, G. Tremblay, and A. Petrenko. Rapport de recherche, Dépt. d'Informatique, UQAM, Jan. 2004.
• The location consistency memory model and cache protocol: Specification and verification. C. Wallace, G. Tremblay, and J.N. Amaral. Technical Report 01-01, Computer Science Department, Michigan Technological University, Houghton, MI, June 2001.
• A VDM-style specification of the lattice building algorithm, G. Tremblay, avril 2001.
• Threaded-C Language Reference Manual (Release 2.0), G. Tremblay, K.B. Theobald, C.J. Morrone, M.D. Butala, J.N. Amaral, G.R. Gao, CAPSL Technical Memo 39, July 2000.
• Threaded-C Release 2.0: Motivation, Description, and Rationale, G. Tremblay, CAPSL Technical Note 09, June 2000.
• On choosing a good notation for a formal methods course: Making the concepts explicit, G. Tremblay, Rapport de recherche du département d'informatique No. 99-07, UQAM, décembre 1999.
• Guide to the software engineering body of knowledge --- A Straw Man version. P. Bourque, R. Dupuis, A. Abran, J.W. Moore, L. Tripp, J. Shyne, B. Pflug, M. Maya, and G. Tremblay. Technical report, UQAM, September 1998.
• Langages fonctionnels: Modélisation formelle des différents modes d'évaluation., G. Tremblay, Rapport de recherche du département d'informatique, UQAM, octobre 1996.
• Sémantique parallèle d'un langage fonctionnel indulgent, G. Tremblay et B. Malenfant, septembre 1998.
• Compilation de pH pour une machine parallèle multi-contextes, G. Tremblay, juillet 1997.

Séminaires

• Programmation fonctionnelle : "Retour vers le futur"!?, Séminaire Latece, Dép. d'informatique, UQAM, 23 juin 2020.
• "Honni soit qui mal y science": A little stroll through science, bad science... and statistics, G. Tremblay, Dept. of CS & SE, Concordia University, 29 octobre 2019.
• "Honni soit qui mal y science": Petite balade dans la science, la malscience... et les statistiques, G. Tremblay, Séminaire Latece, Dép. d'informatique, UQAM, 19 juin 2019.
• PRuby, una libreria per la programmazione parallela, G. Tremblay, Dipartimento di Informatica, Università degli Studi di Torino, 4 juillet 2017.
• Towards a Data Analytics API targeted to FastFlow, G. Tremblay, Alpha Group, Dipartimento di Informatica, Università degli Studi di Torino, 20 juin 2016.
• Extending FastFlow with a DSL: Why and How? A look at some alternative approaches, G. Tremblay, Alpha Group, Dipartimento di Informatica, Università degli Studi di Torino, 30 mars 2015.
• Ruby FF: A Ruby implementation of FastFlow, G. Tremblay, Alpha Group, Dipartimento di Informatica, Università degli Studi di Torino, 25 février 2015.
• Implementazione di Linguaggi Specifici di Dominio Interni con Ruby: Un'introduzione, G. Tremblay, Dipartimento di Informatica, Università degli Studi di Torino, 15 janvier 2015.
• Ruby =~ /[TB]DD/, G. Tremblay, Séminaire Latece, Dép. d'informatique, UQAM, 5 novembre 2014.
• Patrons et anti-patrons de présentation (version révisée et augmentée), G. Tremblay, Séminaire du doctorat en informatique cognitive, Dép. d'informatique, UQAM, 10 avril 2014.
• Patrons et anti-patrons de présentation, G. Tremblay, Séminaire Latece, Dép. d'informatique, UQAM, 5 février 2014.
• Mot d'accueil du directeur de département, G. Tremblay, Journée doctorale en informatique, Dép. d'informatique, UQAM, 29 mai 2013.
• Travail intellectuel et recherche: "Des chemins moins fréquentés", G. Tremblay, Séminaire du doctorat en informatique (INF980X) et du doctorat en informatique cognitive (DIC9270/9271) [vidéo], UQAM, 20 février 2013.
• Travail intellectuel et recherche: "Des chemins moins fréquentés", G. Tremblay, Séminaire Latece, UQAM, 20 décembre 2012.
• L'outil de correction Oto 2: Fonctionalités et mise en oeuvre, G. Tremblay et P. Lessard, Séminaire Latece, UQAM, 15 décembre 2010.
• Mot d'accueil du directeur de département, G. Tremblay, Journée doctorale en informatique, Dép. d'informatique, UQAM, 11 mai 2010.
• Services Web : De l'orchestration à la chorégraphie, G. Tremblay, Séminaire Latece, UQAM, 12 septembre 2007.
• Services Web : De l'orchestration à la chorégraphie, G. Tremblay, LIRMM, Montpellier, France, 16 mars 2007.
• Une introduction aux services Web, G. Tremblay, LIRMM, Montpellier, France, 2 février 2007.
• Oto, un outil générique et extensible pour corriger les travaux de programmation, G. Tremblay et F. Guérin, Département d'informatique, UQAM, 1 février 2006.
• Oto, un outil générique et extensible pour corriger les travaux de programmation, G. Tremblay et F. Guérin, École Supérieure d'Ingénierie Léonard de Vinci (ESILV), Paris, France, 14 décembre 2005.
• Une introduction à la vérification de modèles, G. Tremblay, Séminaire du doctorat en informatique cognitive, dépt. d'informatique, UQAM, 16 octobre 2003.
• Application de la distance d'édition à la correction de dictées musicales, F. Champagne et G. Tremblay, Séminaire du dépt. d'informatique, UQAM, 3 octobre 2003.
• OCETJ : un outil d'aide à la correction de programmes Java basé sur JUnit ... et ses implications pour nos cours de base, É. Labonté et G. Tremblay, Séminaire du dépt. d'informatique, UQAM, 2 mai 2003.
• Une introduction aux méthodes formelles, Présentation dans le cadre du cours MGL7260, Dépt. d'informatique, UQAM, 31 mars 2003.
• An introduction to model checking, Dept. of Computing Science, University of Alberta, Edmonton, CA, 3 juillet 2002.
• Une introduction aux méthodes formelles, Présentation dans le cadre du cours MGL7260, Dépt. d'informatique, UQAM, 20 mars 2002.
• Software Design (Guide to the SWEBOK), Cours MIG8500, Dépt. d'informatique, UQAM, 4 février 2002.
• Évolution d'un langage pour la programmation parallèle multi-contextes: Threaded-C, Séminaire du dépt. d'informatique, UQAM, 14 sept. 2001.
• Parallel Programming Models: Where does Threaded-C stand?, Dept. of ECE, University of Delaware, August 16, 2001.
• An introduction to formal methods, Michigan Technological University, February 9, 2001.
• Une introduction aux méthodes formelles, Présentation à l'ÉTS (cours MGL801), 8 novembre 2000.
• Threaded-C: Where is it coming from? Where is it going?, CAPSL Seminar, Dept. of ECE, University of Delaware, February 25, 2000
• Méthodes formelles: Mathématiques, Informatique, ou Génie logiciel?:
  • Institut Francophone d'Informatique, Vietnam, Hanoi, 25 novembre 1999.
  • Département d'informatique, UQAM, 11 septembre 1998.
• Langages fonctionnels non-stricts: De la paresse et de l'indulgence, Séminaire à l'INRIA Rocquencourt, Domaine de Voluceau, France, 16 juillet 1997.
• Machines parallèles à mémoire distribuée: Protocoles de cohérence de caches et modèles de consistence mémoire, Séminaire de télé-informatique, département d'informatique, UQAM, 21 octobre 1996.
• Programmation parallèle et langages fonctionnels: De la paresse à l'indulgence, Séminaire du département d'informatique, UQAM, 15 mars 1996.
• Mise en oeuvre parallèle des langages fonctionnels paresseux: Une approche basée sur la propagation abstraite des demandes, Séminaire du DIRO, Univ. de Montréal, 21 novembre 1995.

Autres

• Du bac en informatique de gestion au bac en informatique et génie logiciel, G. Tremblay, Répartie, Bulletin du département d'informatique, vol. 10, no. 2, été 2004, pp. 2-4.
• Software design knowledge and Vincenti's categories of engineering knowledge, G. Tremblay, Anecdotes column, IEEE Annals for the History of Computing, 23(1), pp. 76-79, Jan.-March 2001.
• Knowledge area description for software design, G. Tremblay, Part of the Guide to the Software Engineering Body of Knowledge (Trial Version 0.90), Feb. 2001.
• Parallel implementation of lazy functional languages using abstract demand propagation, G. Tremblay, Ph.D. thesis, School of Computer Science, McGill University, November 1994.