Skip to Main content Skip to Navigation

hal-02101836v1  Reports
Guy CuvillierGil Utard. Compilation of data-parallel program for a network of workstations
[Research Report] LIP RR-1994-31, Laboratoire de l'informatique du parallélisme. 1994, 2+24p
hal-02101995v1  Reports
Pierre BouletMichèle Dion. Code generation in bouclettes.
[Research Report] LIP RR-1995-43, Laboratoire de l'informatique du parallélisme. 1995, 2+21p
tel-01944510v3  Theses
Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩
inria-00100437v1  Conference papers
Pierre-Etienne MoreauChristophe RingeissenMarian Vittek. A Pattern-Matching Compiler
First Workshop on Language Descriptions, Tools and Applications - LDTA'01, Apr 2001, Genova, Italy, 14 p
inria-00565627v1  Conference papers
Olivier ZendraDominique ColnetSuzanne Collin. Efficient Dynamic Dispatch without Virtual Function Tables. The SmallEiffel Compiler.
12th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), ACM SIGPLAN, Oct 1997, Atlanta, United States. pp.125--141
tel-01748690v2  Theses
Radu Kopetz. Contraintes d'anti-filtrage et programmation par réécriture
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
inria-00001231v1  Lectures
Olivier Zendra. Compilation et gestion mémoire basse consommation
Ecole thématique "Conception faible consommation de système temps réel" (ECoFac 2006) Nice, France, 2006
hal-01546070v1  Directions of work or proceedings
Olivier ZendraEric Jul. Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Montpellier, France, July 2, 2013
Olivier Zendra; Eric Jul. 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Jul 2013, Montpellier, France. ACM, 2013, 978-1-4503-2045-0. ⟨10.1145/2491404⟩
hal-00777156v1  Conference papers
Zhang ZuyuVania JoloboffXinlei ZhouClaude Helmstetter. Fast Dynamic Translation Using LLVM On Multi-Core Hosts
5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Intel Corporation, Jun 2012, Portland, Oregon, United States
inria-00001056v1  Conference papers
Cédric BastoulPaul Feautrier. More Legal Transformations for Locality
Euro-Par 2004 Parallel Processing: 10th International Euro-Par Conference, Aug 2004, Pisa/Italy, pp.272-283
inria-00104146v2  Conference papers
Olivier Zendra. Memory and compiler optimizations for low-power and -energy.
1st ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)., Jul 2006, Nantes, France. pp.8
tel-01633065v2  Habilitation à diriger des recherches
Laure Gonnord. Contributions to program analysis: expressivity and scalability
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
tel-02972693v1  Theses
Alexandre Dang. Secure compilation for memory protection
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S111⟩
hal-03051954v1  Conference papers
Guillaume BaudartLouis MandelEric AtkinsonBenjamin ShermanMarc Pouzet et al.  Reactive probabilistic programming
PLDI 2020 - 41th ACM SIGPLAN International Conference in Programming Language Design and Implementation, Jun 2020, London / Virtual, United Kingdom. ⟨10.1145/3385412.3386009⟩
inria-00099164v1  Conference papers
Pierre-Etienne Moreau. REM (Reduce Elan Machine): Core of the New ELAN Compiler
International Conference on Rewriting Techniques & Applications - RTA'2000, Richard Kennaway, 2000, Norwich, UK, pp.265-269
inria-00563353v1  Conference papers
Suzanne CollinDominique ColnetOlivier Zendra. Type Inference for Late Binding. The SmallEiffel Compiler.
Joint Modular Languages Conference (JMLC), 1997, Lintz, Austria. pp.67--81
inria-00098451v1  Conference papers
Pierre-Etienne MoreauHélène Kirchner. A Compiler for Rewrite Programs in Associative-Commutative Theories
ALP/PLILP: Principles of Declarative Programming, Palamidessi, C. & Glaser, H. & Meinke, K., 1998, Pisa, Italy, pp.230-249
hal-03673668v1  Conference papers
Valentin PasqualeIsabelle Puaut. Winston: Revisiting iterative compilation for WCET minimization
RTNS 2022 - 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris, France. pp.1-11, ⟨10.1145/3534879.3534899⟩
hal-02314734v1  Journal articles
Olivier ZendraMarkku Sakkinen. ICOOLPS 2010 and MASPEGHI 2010.
The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (3), ⟨10.5381/jot.2012.11.3.e2⟩
hal-02101986v1  Reports
Gil Utard. Validation of the compilation of Data-Parallel C ``while'' loops for shared memory architectures
[Research Report] LIP RR-1994-13, Laboratoire de l'informatique du parallélisme. 1994, 2+21p