default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 46, 2011
Volume 46, Number 1, January 2011
- Thomas Ball, Mooly Sagiv:
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. ACM 2011, ISBN 978-1-4503-0490-0 [contents]
Volume 46, Number 2, February 2011
- Eelco Visser, Jaakko Järvi:
Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010. ACM 2010, ISBN 978-1-4503-0154-1 [contents]
Volume 46, Number 3, March 2011
- Rajiv Gupta, Todd C. Mowry:
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011. ACM 2011, ISBN 978-1-4503-0266-1 [contents]
Volume 46, Number 4, April 2011
- Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia:
Dynamo: a transparent dynamic optimization system. 1-12 - Koen Claessen, John Hughes:
QuickCheck: a lightweight tool for random testing of Haskell programs. 268-279 - Matthew Arnold, Stephen J. Fink, David Grove
, Michael Hind, Peter F. Sweeney:
Adaptive optimization in the Jalapeño JVM. 47-65 - Samin S. Ishtiaq, Peter W. O'Hearn:
BI as an Assertion Language for Mutable Data Structures. 14-26
Volume 46, Number 5, May 2011
- Jan Vitek, Bjorn De Sutter:
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. ACM 2011, ISBN 978-1-4503-0555-6 [contents]
Volume 46, Number 6, June 2011
- Mary W. Hall, David A. Padua:
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. ACM 2011, ISBN 978-1-4503-0663-8 [contents]
Volume 46, Number 7, July 2011
- Erez Petrank, Doug Lea:
Proceedings of the 7th International Conference on Virtual Execution Environments, VEE 2011, Newport Beach, CA, USA, March 9-11, 2011 (co-located with ASPLOS 2011). ACM 2011, ISBN 978-1-4503-0687-4 [contents]
Volume 46, Number 8, August 2011
- Calin Cascaval, Pen-Chung Yew:
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011. ACM 2011, ISBN 978-1-4503-0119-0 [contents]
Volume 46, Number 9, September 2011
- Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy:
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011. ACM 2011, ISBN 978-1-4503-0865-6 [contents]
Volume 46, Number 10, October 2011
- Cristina Videira Lopes, Kathleen Fisher:
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. ACM 2011, ISBN 978-1-4503-0940-0 [contents]
Volume 46, Number 11, November 2011
- Hans-Juergen Boehm, David F. Bacon:
Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011. ACM 2011, ISBN 978-1-4503-0263-0 [contents]
Volume 46, Number 12, December 2012
- Koen Claessen:
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011. ACM 2011, ISBN 978-1-4503-0860-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 2025-03-21 23:51 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:
