section

Session details: Compiler validation

Session Chair:
Mayur Naik

Georgia Tech

Georgia Tech
View Profile

Authors Info & Claims

PLDI '13: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and ImplementationJune 2013https://doi.org/10.1145/3245331

Published:16 June 2013Publication History

Check for updates on crossmark

PLDI '13: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation

ABSTRACT

No abstract available.

Session details: Compiler validation
1. Information systems
  1. Information systems applications
    1. Decision support systems
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Session details: Compiler validation
PLDI '13
Read More
Session details: Oral Session 3: Multimedia Applications (Oral presentations)
ICMR '17: Proceedings of the 2017 ACM on International Conference on Multimedia Retrieval
Read More
A secure compiler for session abstractions
20th IEEE Computer Security Foundations Symposium (CSF)

Distributed applications can be structured as parties that exchange messages according to some pre-arranged communication patterns. These sessions (or contracts, or protocols) simplify distributed programming: when coding a role for a given session, ...
Read More

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Published in
PLDI '13: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation
June 2013
546 pages
ISBN:9781450320146
DOI:10.1145/2491956
General Chair:
Hans-J. Boehm
HP Labs
,
Program Chair:
Cormac Flanagan
University of California, Santa Cruz
Copyright © 2013 ACM
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 16 June 2013
Permissions
Request permissions about this article.
Request Permissions

Check for updates
Qualifiers
- section
Conference

Acceptance Rates
PLDI '13 Paper Acceptance Rate46of267submissions,17%Overall Acceptance Rate406of2,067submissions,20%
More
Upcoming Conference
PLDI '24

Sponsor:

sigplan

ACM SIGPLAN Conference on Programming Language Design and Implementation

June 24 - 28, 2024

Copenhagen , Denmark
Funding Sources
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 0
  Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

View Table of Contents