External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg 0001, Catalin Hrittcu, Marco Patrignani, Éric Tanter, Jérémy Thibault. An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems, 43(4), 2021. [doi]

Authors

Carmine Abate

This author has not been identified. Look up 'Carmine Abate' in Google

Roberto Blanco

This author has not been identified. Look up 'Roberto Blanco' in Google

Stefan Ciobaca

This author has not been identified. Look up 'Stefan Ciobaca' in Google

Adrien Durier

This author has not been identified. Look up 'Adrien Durier' in Google

Deepak Garg 0001

This author has not been identified. It may be one of the following persons: Look up 'Deepak Garg 0001' in Google

Catalin Hrittcu

This author has not been identified. Look up 'Catalin Hrittcu' in Google

Marco Patrignani

This author has not been identified. Look up 'Marco Patrignani' in Google

Éric Tanter

This author has not been identified. It may be one of the following persons: Look up 'Éric Tanter' in Google

Jérémy Thibault

This author has not been identified. Look up 'Jérémy Thibault' in Google
runs on