Dominique Colnet

Laboratoire Lorrain de Recherche en Informatique et ses Applications — France

Computer Science · Physical Sciences

8h-index255citations53works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(20), Parallel Computing and Optimization Techniques(16), Software Engineering Research(7), Formal Methods in Verification(5), Advanced Software Engineering Methodologies(5)

Publications53 total

Managing Multiple Precision Integer Data on Modern 64-Bit Architectures
SPIRE - Sciences Po Institutional REpository·2025Open Access
$$\varOmega $$: The Power of Visual Simplicity
Lecture notes in networks and systems·2025
Omega: The Power of Visual Simplicity
arXiv (Cornell University)·2024Open Access
Tips for making the most of 64-bit architectures in langage design, libraries or garbage collection
arXiv (Cornell University)·2023Open Access
RIP Linked List
arXiv (Cornell University)·2023Open Access
Exploiting array manipulation habits to optimize garbage collection and type flow analysis
Software Practice and Experience·2014· 3 citedOpen Access
Efficient compilation strategy for object‐oriented languages under the closed‐world assumption
Software Practice and Experience·2012· 7 citedOpen Access
Analyse simple de types dans les tableaux et optimisation du ramasse-miettes.
HAL (Le Centre pour la Communication Scientifique Directe)·2012· 1 citedOpen Access
Héritage non conforme en Eiffel.
LMO·2006
Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler
Lecture notes in computer science·2006· 5 cited
Designing efficient and safe non-strong references in Eiffel with parametric types
HAL (Le Centre pour la Communication Scientifique Directe)·2004· 2 citedOpen Access
Conformance of agents in the Eiffel language.
The Journal of Object Technology·2004· 2 citedOpen Access
Optimizations of Eiffel programs: SmallEiffel, the GNU Eiffel Compiler
2003· 10 citedOpen Access
Adding external iterators to an existing Eiffel class library
2003· 5 citedOpen Access
Designing efficient and safe weak references in Eiffel with parametric types
HAL (Le Centre pour la Communication Scientifique Directe)·2003Open Access
Type-safe covariance: Competent compilers can catch all catcalls
2003· 10 cited
Match-O, a dialect of Eiffel with match-types
2002· 2 citedOpen Access
Dynamic inheritance: a powerful mechanism for operating system design
HAL (Le Centre pour la Communication Scientifique Directe)·2002· 1 cited
Lisaac: the power of simplicity at work for operating system
2002· 7 cited
Software - SmallEiffel : The GNU Eiffel Compiler
2002
page 1 of 3Next →

Frequent Co-authors

Olivier Zendra(30), Benoît Sonntag(11), Philippe Coucaud(8), Suzanne Collin(7), Philippe Ribet(6), Luigi Liquori(5), Frederic Merizen(4), Emmanuel Stapf(2), Cyril Adrian(2), Joëlle Despeyroux(2), Jérôme Boutet(2), Mark Howard(1), Éric Bezault(1), Bertrand Meyer(1), Karine Arnout(1), Markus Keller(1), Guillem Marpons(1), Jérôme Boutet(1), Alberto Ciaffaglione(1), Benoît Sonntag(1)