ACM Programming Language Design and Implementation, PLDI 2015

Article Details
Title: A formal C memory model supporting integer-pointer casts
Article URLs:
Alternative Article URLs:
Authors: Jeehoon Kang
  • Seoul National University, South Korea
Chung-Kil Hur
  • Seoul National University, South Korea
William Mansky
  • University of Pennsylvania
Dmitri Garbuzov
  • University of Pennsylvania, USA
Steve Zdancewic
  • University of Pennsylvania, USA
Viktor Vafeiadis
  • Max Planck Institute for Software Systems (MPI-SWS), Germany
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1065166, 1116682, 1337174
DBLP Key: conf/pldi/KangHMGZV15
Author Comments:

Discuss this paper and its artifacts below