CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

Aaron Smith; Delphine Demange; Rajiv Gupta

doi:10.1145/3446804

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Directions of work or proceedings

CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

Aaron Smith ^{1, 2} Delphine Demange ^{3, 4} Rajiv Gupta ⁵

1 Microsoft Research

2 University of Edinburgh

3 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires

4 CELTIQUE - Software certification with semantic analysis

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

5 UCR - University of California [Riverside]

Aaron Smith ^{1, 2} AuthorId : 1711386
relator_scientific_editor

Delphine Demange ^{3, 4} AuthorId : 944225

relator_scientific_editor IdHAL : delphinedemange

Rajiv Gupta ⁵ AuthorId : 843794
relator_scientific_editor

1 Microsoft Research (United States) StructId : 365620

2 University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom) StructId : 61277

3 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 490899

CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
- INSA - Institut National des Sciences Appliquées (France) StructId : 301232
- UNIV-RENNES - Université de Rennes (France) StructId : 528860
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
- UNIV-RENNES - Université de Rennes (France) StructId : 528860

4 CELTIQUE - Software certification with semantic analysis (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 491212

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 491188
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 490899
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
    - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860

5 UCR - University of California [Riverside] (900 University Ave. Riverside, CA 92521 - United States) StructId : 300446

University of California (United States) StructId : 471291

Document type :

Directions of work or proceedings

Domain :

Cognitive science / Computer science

Complete list of metadata

https://hal.inria.fr/hal-03185984
Contributor : Delphine Demange <>
Submitted on : Tuesday, March 30, 2021 - 5:49:14 PM
Last modification on : Saturday, April 17, 2021 - 3:07:41 AM

Identifiers

HAL Id : hal-03185984, version 1
DOI : 10.1145/3446804

Collections

Citation

Aaron Smith, Delphine Demange, Rajiv Gupta. CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction. CC '21 - 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Republic of Korea, France. ACM, 2021, ⟨10.1145/3446804⟩. ⟨hal-03185984⟩

CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

Identifiers

Collections

Citation

Export

Metrics

21

Contact Legal Notice Personal Data

CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

Identifiers

Collections

Citation

Export

Share

Metrics

21

Contact Legal Notice Personal Data