Invited Articles Foreword

The first article, “Multiparty Asynchronous Session Types,” by Kohei Honda, Nobuko Yoshida, and Marco Carbone, was selected from the 35th AM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), held in Stanford, CA, January 10 to 12, 2008. I thank the POPL 2008 Program Committee for help in selecting this invited article. The second invited article, “Parameterized Verification of Asynchronous SharedMemory Systems,” by Javier Esparza, Pierre Ganty, and Rupak Majumdar, was selected from the 26th International Conference on Computer Aided Verification (CAV), held July 18 to 22, 2014, in Vienna, Austria. I thank the CAV 2014 Program Committee for help in selecting this invited article. I am grateful to JACM Associate Editors Greg Morrisett and Rajeev Alur for their editorial work on these articles.

[1]  Dan Suciu,et al.  Journal of the ACM , 2006 .