default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 48, 2013
Volume 48, Number 1, January 2013
- Roberto Giacobazzi, Radhia Cousot:
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1832-7 [contents]
Volume 49, Number 2, February 2013
- Alessandro Warth:
Proceedings of the 8th Symposium on Dynamic Languages, DLS '12, Tucson, AZ, USA, October 22, 2012. ACM 2012, ISBN 978-1-4503-1564-7 [contents]
Volume 48, Number 3, March 2013
- Klaus Ostermann, Walter Binder
:
Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. ACM 2012, ISBN 978-1-4503-1129-8 [contents]
Volume 48, Number 4, April 2013
- Vivek Sarkar, Rastislav Bodík:
Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013. ACM 2013, ISBN 978-1-4503-1870-9 [contents]
Volume 48, Number 4S, April 2013
- Jan Vitek:
SIGPLAN chair's report. 1-2 - Jeremy Gibbons:
ACM SIGPLAN vice-chair's report. 3 - Andrew P. Black:
SIGPLAN secretary's report. 4-5 - Cristina V. Lopes:
SIGPLAN treasurer's report. 6 - Derek Dreyer:
SIGPLAN most influential paper awards. 7-8 - Julia Lawall, Cristina V. Lopes:
SIGPLAN professional activities committee report. 9 - Michael Hind:
CACM research highlights annual report. 10-11 - Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler:
Principles of POPL. 12-16 - Shriram Krishnamurthi:
Artifact evaluation for software conferences. 17-21
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata:
PLDI 2002: Extended static checking for Java. 22-33 - Robert Bruce Findler, Matthias Felleisen:
ICFP 2002: Contracts for higher-order functions. 34-45 - Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley:
OOPSLA 2002: Reconsidering custom memory allocation. 46-57 - David F. Bacon, Perry Cheng, V. T. Rajan:
POPL 2003: A real-time garbage collector with low overhead and consistent utilization. 58-71
Volume 48, Number 5, May 2013
- Björn Franke, Jingling Xue:
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES '13, Seattle, WA, USA, June 20-21, 2013. ACM 2013, ISBN 978-1-4503-2085-6 [contents]
Volume 48, Number 6, June 2013
- Hans-Juergen Boehm, Cormac Flanagan:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013. ACM 2013, ISBN 978-1-4503-2014-6 [contents]
Volume 48, Number 7, July 2013
- Steve Muir, Gernot Heiser, Stephen M. Blackburn:
ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013. ACM 2013, ISBN 978-1-4503-1266-0 [contents]
Volume 48, Number 8, August 2013
- Alex Nicolau, Xiaowei Shen, Saman P. Amarasinghe, Richard W. Vuduc:
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013. ACM 2013, ISBN 978-1-4503-1922-5 [contents]
Volume 48, Number 9, September 2013
- Greg Morrisett, Tarmo Uustalu:
ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. ACM 2013, ISBN 978-1-4503-2326-0 [contents]
Volume 48, Number 10, October 2013
- Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes:
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. ACM 2013, ISBN 978-1-4503-2374-1 [contents]
Volume 48, Number 11, November 2013
- Perry Cheng, Erez Petrank:
International Symposium on Memory Management, ISMM 2013, Seattle, WA, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2100-6 [contents]
Volume 48, Number 12, December 2013
- Chung-chieh Shan:
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013. ACM 2013, ISBN 978-1-4503-2383-3 [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 2025-11-02 21:07 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:
