default search action
SIGPLAN Notices, Volume 49, 2014
Volume 49, Number 1, January 2014
- Suresh Jagannathan, Peter Sewell:
The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. ACM 2014, ISBN 978-1-4503-2544-8 [contents]
Volume 49, Number 2, February 2014
- Antony L. Hosking
, Patrick Th. Eugster, Carl Friedrich Bolz:
DLS'13, Proceedings of the 9th Symposium on Dynamic Languages, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. ACM 2013, ISBN 978-1-4503-2433-5 [contents]
Volume 49, Number 3, March 2014
- Jaakko Järvi, Christian Kästner:
Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013. ACM 2013, ISBN 978-1-4503-2373-4 [contents]
Volume 49, Number 4, April 2014
- Rajeev Balasubramonian, Al Davis, Sarita V. Adve:
Architectural Support for Programming Languages and Operating Systems, ASPLOS 2014, Salt Lake City, UT, USA, March 1-5, 2014. ACM 2014, ISBN 978-1-4503-2305-5 [contents]
Volume 49, Number 4S, April 2014
- Jan Vitek:
SIGPLAN chair's report. 1 - Jeremy Gibbons:
SIGPLAN vice-chair's report. 2 - Andrew P. Black
SIGPLAN secretary's report. 3 - Cristina V. Lopes:
SIGPLAN treasurer's report. 4 - Derek Dreyer:
SIGPLAN awards. 5-7 - Julia Lawall, Cristina V. Lopes:
SIGPLAN Professional Activities Committee Report. 8 - Michael Hind:
SIGPLAN research highlights annual report. 9 - Peter Sewell
POPL 2014 program chair's report. 10-26 - Cristina V. Lopes:
The OOPSLA two-phase review process. 27-32 - Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall
Practices of PLDI. 33-38 - Manuel Fähndrich, Francesco Logozzo:
SAS2013 artifact submission experience report. 39-40
- David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer
The nesC language: a holistic approach to networked embedded systems. 41-52 - Didier Le Botlan, Didier Rémy:
MLF: raising ML to the power of system F. 52-63 - Tim Harris, Keir Fraser:
Language support for lightweight transactions. 64-78 - Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. 79-91
Volume 49, Number 5, May 2014
- Youtao Zhang, Prasad A. Kulkarni:
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014. ACM 2014, ISBN 978-1-4503-2877-7 [contents]
Volume 49, Number 6, June 2014
- Michael F. P. O'Boyle, Keshav Pingali:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. ACM 2014, ISBN 978-1-4503-2784-8 [contents]
Volume 49, Number 7, July 2014
- Martin Hirzel, Erez Petrank, Dan Tsafrir:
10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE '14, Salt Lake City, UT, USA, March 01 - 02, 2014. ACM 2014, ISBN 978-1-4503-2764-0 [contents]
Volume 49, Number 8, August 2014
- José E. Moreira, James R. Larus:
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014. ACM 2014, ISBN 978-1-4503-2656-8 [contents]
Volume 49, Number 9, September 2014
- Johan Jeuring, Manuel M. T. Chakravarty:
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-2873-9 [contents]
Volume 49, Number 10, October 2014
- Andrew P. Black, Todd D. Millstein:
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. ACM 2014, ISBN 978-1-4503-2585-1 [contents]
Volume 49, Number 11, November 2014
- David Grove, Samuel Z. Guyer:
International Symposium on Memory Management, ISMM '14, Edinburgh, United Kingdom, June 12, 2014. ACM 2014, ISBN 978-1-4503-2921-7 [contents]
Volume 49, Number 12, December 2014
- Wouter Swierstra:
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014. ACM 2014, ISBN 978-1-4503-3041-1 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: