QUEINNEC Christian

Professeur Émérite
Équipe : APR
https://christian.queinnec.org

Activité de recherche

Demande de prolongation clé jusqu'au 30/09/19 (Ophélie le 23/07/19).

Date de départ : 31/08/2024

Deux docteurs (1999 - 2002) à Sorbonne Université

Publications 1997-2016

2016
- Ch. Queinnec, O. Pons : “Futur d’une infrastructure de correction automatisée : CodeGradX”, (2016)
2015
- Ch. Queinnec : “Les Tours de Hanoï : un problème classique de récursion”, Interstices, (INRIA) (2015)
2013
- Ch. Queinnec : “MOOC and mechanized grading”, (2013)
2010
- Ch. Queinnec : “Ranking students with help of mechanized grading”, (2010)
- M. Serrano, Ch. Queinnec : “HTML5 VIDEO portable avec Hop”, GNU/Linux Magazine n°129, pp. 92-98, (Diamond Editions) (2010)
- Ch. Queinnec : “An Infrastructure for Mechanised Grading”, CSEDU 2010 - 2^nd International Conference on Computer Supported Education, vol. 2, Valencia, Spain, pp. 37-45, (INSTICC – Institute for Systems and Technologies of Information, Control and Communication) (2010)
- M. Serrano, Ch. Queinnec : “A simplified multi-tiers semantics for Hop”, Higher-Order and Symbolic Computation, pp. 1-23, (Springer Verlag) (2010)
2009
- Ch. Queinnec : “Mechanised grading: the next step”, (2009)
2008
- M. Serrano, Ch. Queinnec : “Une galerie de photos sur le Web avec Hop (2^e partie)”, Programmez ! n°105, pp. 64-66, (Magazine Programmez) (2008)
- M. Serrano, Ch. Queinnec : “Hop. un langage de programmation pour le Web (1^ère partie)”, Programmez ! n°104, pp. 53-55, (Magazine Programmez) (2008)
2007
- Ch. Queinnec : “Teaching CS to Undergraduates at UPMC”, International Lisp Conference, Clare College, Cambridge, United Kingdom, pp. 165-165, (ACM) (2007)
- V. Ménissier‑Morain, Ch. Queinnec, G. Renault : “Environnement de développement -- annales corrigées, avril 2005-janvier 2007”, (Paracamplus, Paris, France), (ISBN: 978-2-916466-04-0) (2007)
- Ch. Queinnec : “Principes d’implantation de Scheme et Lisp”, (Paracamplus, Paris, France), (ISBN: 978-2-916466-03-3) (2007)
2006
- V. Ménissier‑Morain, Ch. Queinnec, G. Renault : “Environnement de développement -- annales corrigées, novembre 2004-janvier 2006”, (Paracamplus, Paris, France), (ISBN: 978-2-916466-02-9) (2006)
- A. Brygoo, T. Durand, M. Pelletier, Ch. Queinnec, M. Soria : “Programmation récursive - annales corrigées, novembre 2001-septembre 2005”, (Paracamplus, Paris, France), (ISBN: 2916466002) (2006)
2005
- G. Haïk, J.‑P. Briot, Ch. Queinnec : “Automatic Introduction of Mobility for Standard-based Frameworks”, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE International Symposium on Distributed Objects and Applications (DOA'05), vol. 3760, Lecture Notes in Computer Science, Agia Napa, Cyprus, pp. 813-827, (Springer-Verlag) (2005)
- L. Moreau, Ch. Queinnec : “Resource Aware Programming”, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 27 (3), pp. 441-476, (ACM) (2005)
2004
- Ch. Queinnec : “Continuations and Web Servers”, Higher-Order and Symbolic Computation, vol. 17 (4), pp. 277-295, (Springer Verlag) (2004)
- A. Brygoo, T. Durand, M. Pelletier, Ch. Queinnec, M. Soria : “Programmation Récursive (en Scheme)”, (Dunod), (ISBN: 978-2-10-007479-2) (2004)
2003
- Ch. Queinnec : “Inverting back the inversion of control or, continuations versus page-centric programming”, ACM SIGPLAN Notices, vol. 38 (2), pp. 57-64, (Association for Computing Machinery (ACM)) (2003)
2002
- A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Un cédérom pour Scheme: Chacun son entraineur, un entraineur pour tous”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Villeurbanne, France, pp. 223-231, (Institut National des Sciences Appliquées de Lyon) (2002)
- Ch. Queinnec : “A library for quizzes”, Scheme 2002 - Third Workshop on Scheme and Functional Programming, Pittsburgh, Pennsylvania, United States, pp. 1-7, (Georgia Tech, Technical Report GIT-CC-02-48) (2002)
- Ch. Queinnec : “Modules in Scheme”, Scheme 2002 - Third Workshop on Scheme and Functional Programming, Pittsburgh, Pennsylvania, United States, pp. 89-95, (Georgia Tech, Technical Report GIT-CC-02-48) (2002)
- A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Experiment around a training engine”, IFIP WCC 2002 - 17^th World Computer Congress, vol. 102, IFIP - The International Federation for Information Processing, Montreal, Canada, pp. 45-52, (Springer) (2002)
- L. Moreau, Ch. Queinnec : “Distributed and Multi-Type Resource Management”, ECOOP'02 Workshop on Resource Management for Safe Languages, vol. 2548, Lecture Notes in Computer Science, Malaga, Spain, pp. 11-12, (Springer) (2002)
- Ch. Queinnec, E. Chailloux : “Une expérience de notation en masse”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'industrie, Lyon, France, pp. 403-404, (Institut National des Sciences Appliquées de Lyon) (2002)
2001
- Ch. Queinnec : “Inverting back the inversion of control or, Continuations versus page-centric programming”, (2001)
- Ch. Queinnec, H. Giroire : “Pages dynamiques composées par filtrage, une mise en oeuvre sur cédérom”, (2001)
- Ch. Queinnec, H. Giroire : “Pages dynamiques composées par filtrage Une mise en oeuvre sur CD-ROM”, EIAO'2001 - Environnements Interactifs d'Apprentissage avec Ordinateur, Sciences et Techniques Educatives, Paris, France, pp. 190-191, (Hermès) (2001)
- Ch. Queinnec : “Langage C”, chapitre de Techniques de l'Ingénieur, traité Informatique, pp. 1-15, (Techniques de l'Ingénieur) (2001)
2000
- Ch. Queinnec : “Continuations and Conversations”, AIMSA 2000 - 9^th International Conference on Artificial Intelligence: Methodology, Systems, Applications, vol. 1904, Lecture Notes in Computer Science, Varna, Bulgaria, pp. 363-363, (Springer) (2000)
- Ch. Queinnec : “The Influence of Browsers on Evaluators or Continuations to Program Web Servers”, ICFP 2000 - 5^th ACM SIGPLAN international conference on Functional programming, Montreal, Canada, pp. 23-33, (ACM) (2000)
- Ch. Queinnec : “Enseignement du langage C à l’aide d’un CD-ROM et d’un site - Architecture logicielle”, Colloque international -- Technologie de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie -- TICE 2000, Troyes, France, pp. 93-102, (CNED) (2000)
- C. Cazes, Ch. Queinnec, Ch. Steinberg : “Enseignement du langage C à l’aide d’un CD-ROM et d’un site - Mise en oeuvre et observation”, Colloque international -- Technologie de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie -- TICE 2000, Troyes, France, pp. 63-63 (2000)
- Ch. Queinnec : “Distributed Generic Functions”, chapter in Object-Oriented Parallel and Distributed Programming, pp. 135-150, (Hermès Science Publications) (2000)
1999
- Ch. Queinnec, L. Moreau : “Graceful disconnection”, PDCSIA'99 Parallel and Distributed Computing for Symbolic and Irregular Applications, Tohoku University, Sendai, Japan, pp. 242-252, (World Scientific) (1999)
- Ch. Queinnec : “Marshaling Unmarshaling as a Compilation Interpretation Process”, Second Merged Symposium IPPS/SPDP 1999 13^th International Parallel Processing Symposium 10^th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, pp. 616-621 (1999)
- L. Moreau, Ch. Queinnec, D. Ribbens, M. Serrano : “Recueil de petits problèmes en Scheme”, (Springer), (ISBN: 978-3-540-66043-7) (1999)
1998
- Ch. Queinnec : “Marshaling/Unmarshaling as a Compilation/Interpretation Process”, (1998)
- Ch. Queinnec : “DMeroon, A Distributed Class-based Causally-Coherent Data Model--- General documentation - Revision 1.64”, (1998)
- L. Moreau, Ch. Queinnec : “Distributed Computations Driven by Resource Consumption”, ICCL 98 - IEEE International Conference on Computer Languages, Chicago, IL, United States, pp. 68-77, (IEEE) (1998)
1997
- Ch. Queinnec : “Sérialisation-désérialisation en Dmeroon”, NOTERE97 Colloque international sur les NOuvelles TEchnologies de la RÉpartition, Pau, France, pp. 333-346, (Éditions TASC) (1997)
- L. Moreau, Ch. Queinnec : “Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing”, Usenix Conference on Domain Specific Language, DSL'97, Santa-Barbara, CA, United States, pp. 183-197 (1997)
- Ch. Queinnec : “Le langage de commande Gibiane: description informelle”, (1997)