default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 47, 2012
Volume 47, Number 1, January 2012
- John Field, Michael Hicks:
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. ACM 2012, ISBN 978-1-4503-1083-3 [contents]
Volume 47, Number 2, February 2012
- Theo D'Hondt:
Proceedings of the 7th Symposium on Dynamic Languages, DLS 2011, October 24, 2011, Portland, OR, USA. ACM 2011, ISBN 978-1-4503-0939-4 [contents]
Volume 47, Number 3, March 2012
- Ewen Denney, Ulrik Pagh Schultz:
Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011. ACM 2011, ISBN 978-1-4503-0689-8 [contents]
Volume 47, Number 4, April 2012
- Tim Harris, Michael L. Scott:
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012. ACM 2012, ISBN 978-1-4503-0759-8 [contents]
Volume 47, Number 4a, April 2012
- Philip Wadler:
SIGPLAN chair's report. 1-2 - Graham Hutton:
SIGPLAN vice-chair's report. 3 - Andrew P. Black:
SIGPLAN secretary's report. 4-5 - Cristina Cifuentes:
SIGPLAN treasurer's report. 6 - Antony L. Hosking:
Most influential papers of ICFP, OOPSLA, PLDI, and POPL. 7-8 - Dan Grossman:
Report on the SIGPLAN education board and related activities. 9-10 - Benjamin Zorn:
CACM research highlights annual report. 11-12 - Erez Petrank, Benjamin Zorn:
SIGPLAN professional activities committee report. 13 - Kathleen Fisher, Ronald Garcia, Stephanie Weirich:
Nourishing the future of the field: the programming language mentoring workshop 2012. 14-15 - Mooly Sagiv:
POPL'11 program chair's report. 16-18 - Michael Hicks:
POPL'12 program chair's report: (or, how to run a medium-sized conference). 19-27 - Olivier Danvy
:
On submissions and resubmissions. 28-29 - Jan Vitek, Tomas Kalibera:
R3: repeatability, reproducibility and rigor. 30-36
- Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic predicate abstraction of C programs. 37-47 - Claudio V. Russo:
Recursive structures for standard ML. 48-59 - Grzegorz Czajkowski, Laurent Daynès:
Multitasking without compromise: a virtual machine evolution. 60-73 - George C. Necula, Scott McPeak, Westley Weimer:
CCured: type-safe retrofitting of legacy code. 74-85
Volume 47, Number 5, May 2012
- Reinhard Wilhelm, Heiko Falk, Wang Yi:
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012. ACM 2012, ISBN 978-1-4503-1212-7 [contents]
Volume 47, Number 6, June 2012
- Jan Vitek, Haibo Lin, Frank Tip:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. ACM 2012, ISBN 978-1-4503-1205-9 [contents]
Volume 47, Number 7, July 2012
- Steven Hand, Dilma Da Silva:
Proceedings of the 8th International Conference on Virtual Execution Environments, VEE 2012, London, UK, March 3-4, 2012 (co-located with ASPLOS 2012). ACM 2012, ISBN 978-1-4503-1176-2 [contents]
Volume 47, Number 8, August 2012
- J. Ramanujam, P. Sadayappan:
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012. ACM 2012, ISBN 978-1-4503-1160-1 [contents]
Volume 47, Number 9, September 2012
- Peter Thiemann, Robby Bruce Findler:
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1054-3 [contents]
Volume 47, Number 10, October 2012
- Gary T. Leavens, Matthew B. Dwyer:
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, ISBN 978-1-4503-1561-6 [contents]
Volume 47, Number 11, November 2012
- Martin T. Vechev, Kathryn S. McKinley:
International Symposium on Memory Management, ISMM '12, Beijing, China, June 15-16, 2012. ACM 2012, ISBN 978-1-4503-1350-6 [contents]
Volume 47, Number 12, December 2012
- Janis Voigtländer:
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. ACM 2012, ISBN 978-1-4503-1574-6 [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-12-04 01:29 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:
