ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 65 Issue 1, January 2018

Section: Programming Languages, Security

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Martín Abadi, Bruno Blanchet, Cédric Fournet
Article No.: 1
DOI: 10.1145/3127586

We study the interaction of the programming construct “new,” which generates statically scoped names, with communication via messages on channels. This interaction is crucial in security protocols, which are the main motivating...

Section: Distributed Computing

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
Article No.: 2
DOI: 10.1145/3131360

Section: Online Algorithms

Competitive Algorithms from Competitive Equilibria: Non-Clairvoyant Scheduling under Polyhedral Constraints
Sungjin Im, Janardhan Kulkarni, Kamesh Munagala
Article No.: 3
DOI: 10.1145/3136754

Section: Complexity Theory

Constant-Rate Coding for Multiparty Interactive Communication Is Impossible
Mark Braverman, Klim Efremenko, Ran Gelles, Bernhard Haeupler
Article No.: 4
DOI: 10.1145/3050218

Section: Invited Article Foreword

Invited Article Foreword
Eva Tardos
Article No.: 5e
DOI: 10.1145/3159447

Section: Computational Geometry

Embeddability in the 3-Sphere Is Decidable
Jiří Matoušek, Eric Sedgwick, Martin Tancer, Uli Wagner
Article No.: 5
DOI: 10.1145/3078632