My list of publications is available in BibTeX and PDF.
Books
Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés, Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyễn, Laurent Sartre, 2022, Ellipses, [URL][BibTeX][HTML]
Numérique et Sciences Informatiques : 24 leçons avec exercices corrigés, Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyễn, 2020, Ellipses, [URL][BibTeX][HTML]
Numérique et Sciences Informatiques : 30 leçons avec exercices corrigés, Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyễn, 2019, Ellipses, [URL][BibTeX][HTML]
Book chapters
Chapter 1 : NoSQL
Languages and Systems, Kim Nguyễn, NoSQL Data Models: Trends and Challenges, 2018, ISTE, [URL][BibTeX][HTML]
Journals
- Polymorphic Type Inference for Dynamic Languages., Giuseppe Castagna, Mickaël Laurent, Kim Nguyen 0001, 1179-1210, Proc. ACM Program. Lang., 2024, [URL][BibTeX][HTML]
- Revisiting occurrence typing., Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyễn, 102781, Sci. Comput. Program., 2022, [URL][BibTeX][HTML]
- On type-cases, union elimination, and occurrence typing., Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Matthew Lutze, 1-31, Proc. ACM Program. Lang., 2022, [URL][BibTeX][HTML]
- Fast in-memory XPath search using compressed indexes., Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyễn, Jouni Sirén, Niko Välimäki, 399-434, Softw., Pract. Exper., 2015, [PDF][BibTeX][HTML]
- Optimizing XML querying using type-based document projection., Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyễn, 4, ACM Trans. Database Syst., 2013, [URL][BibTeX][HTML]
- XPath Whole Query Optimization., Sebastian Maneth, Kim Nguyễn, 882-893, PVLDB, 2010, [PDF][Slides][BibTeX][HTML]
Conferences
- Language-integrated queries: a BOLDR approach, Véronique Benzaken, Laurent Daynès, Giuseppe Castagna, Julien Lopez, Kim Nguyễn, Jérôme Siméon, Romain Vernoux, to appear, WWW, 2018, [PDF][BibTeX][HTML]
- Set-theoretic types for polymorphic variants., Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyễn, 378-391, ICFP, 2016, [URL][BibTeX][HTML]
- A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches, Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken, to appear, ESOP, 2015, [PDF][Slides][BibTeX][HTML]
- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction., Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Pietro Abate, 289-302, POPL, 2015, [PDF][BibTeX][HTML]
- Polymorphic Functions with Set-Theoretic Types. Part 1 : Syntax, Semantics, and Evaluation, Giuseppe Castagna, Hyeonseung Im, Sergeï Lenglet, Kim Nguyễn, Luca Padovani, Zhiwu Xu, 5-18, POPL, 2014, [PDF][BibTeX][HTML]
- Static and dynamic semantics of NoSQL languages., Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon, 101-114, POPL, 2013, [PDF][Slides][BibTeX][HTML]
- Fast in-memory XPath search using compressed indexes., Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyễn, Jouni Sirén, Niko Välimäki, 417-428, ICDE, 2010, [PDF][BibTeX][HTML]
- Typed iterators for XML., Giuseppe Castagna, Kim Nguyễn, 15-26, ICFP, 2008, [PDF][Slides][BibTeX][HTML]
- Type-Based XML Projection., Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyễn, 271-282, VLDB, 2006, [PDF][Slides][BibTeX][HTML]
- Computation of Chromatic Polynomials Using Triangulations and Clique Trees., Pascal Berthomé, Sylvain Lebresne, Kim Nguyễn, 362-373, WG, 2005, [PDF][BibTeX][HTML]
Proceedings
- Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, Phoenix, AZ, USA, June 23, 2019., Alvin Cheung, Kim Nguyễn, DBPL, 2019, [URL][BibTeX][HTML]
Presentations
- A principled approach to language integrated queries, Kim Nguyễn, Exposé au séminaire commun VALS-LSV, 2017, [URL][Slides][BibTeX][HTML]
- XML: de la Théorie aux Outils, Kim Nguyễn, Exposé invité aux JFLA 2013, 2013, [URL][Slides][BibTeX][HTML]