default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Proceedings published in: PACMPL 9(PLDI)

Proceedings published in: PACMPL 8(PLDI)

Proceedings published in: PACMPL 7(PLDI)

• 
  Ranjit Jhala, Isil Dillig:
  PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. ACM 2022, ISBN 978-1-4503-9265-5 [contents]

• 
  Stephen N. Freund, Eran Yahav:
  PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. ACM 2021, ISBN 978-1-4503-8391-2 [contents]

• 
  Alastair F. Donaldson, Emina Torlak:
  Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. ACM 2020, ISBN 978-1-4503-7613-6 [contents]

• 
  Kathryn S. McKinley, Kathleen Fisher:
  Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. ACM 2019, ISBN 978-1-4503-6712-7 [contents]

• 
  Jeffrey S. Foster, Dan Grossman:
  Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. ACM 2018, ISBN 978-1-4503-5698-5 [contents]

• 
  Albert Cohen, Martin T. Vechev:
  Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. ACM 2017, ISBN 978-1-4503-4988-8 [contents]

• 
  Chandra Krintz, Emery D. Berger:
  Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. ACM 2016, ISBN 978-1-4503-4261-2 [contents]
• 
  Claudia Fohry, Olivier Tardieu:
  Proceedings of the 6th ACM SIGPLAN Workshop on X10, X10@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. ACM 2016, ISBN 978-1-4503-4386-2 [contents]

• 
  David Grove, Stephen M. Blackburn:
  Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. ACM 2015, ISBN 978-1-4503-3468-6 [contents]
• 
  Philipp Haller, Heather Miller:
  Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015. ACM 2015, ISBN 978-1-4503-3626-0 [contents]
• 
  Olivier Tardieu, José Nelson Amaral:
  Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015. ACM 2015, ISBN 978-1-4503-3586-7 [contents]

• 
  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]
• 
  Proceedings of the Workshop on Dynamic Languages and Applications, Dyla 2014, Edinburgh, United Kingdom, June 9-11, 2014. ACM 2014, ISBN 978-1-4503-2916-3 [contents]
• 
  Jeremy Singer, Milind Kulkarni, Tim Harris:
  Proceedings of the workshop on Memory Systems Performance and Correctness, MSPC '14, Edinburgh, United Kingdom, June 13, 2014. ACM 2014, ISBN 978-1-4503-2917-0 [contents]
• 
  Grigori Fursin, Bruce R. Childers, Alex K. Jones, Daniel Mossé:
  Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering, TRUST 2014, Edinburgh, United Kingdom, June 9-11, 2014. ACM 2014, ISBN 978-1-4503-2951-4 [contents]

• 
  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]
• 
  Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, June, 21, 2013, Seattle, Washington, USA, Co-located with PLDI 2013. ACM 2013, ISBN 978-1-4503-2103-7 [contents]
• 
  Michael Hind, David Grove:
  Proceedings of the third ACM SIGPLAN X10 Workshop, X10 2013, Seattle, Washington, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2157-0 [contents]

• 
  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]
• 
  Lixin Zhang, Onur Mutlu:
  Proceedings of the 2012 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '12, Beijing, China, June 16, 2012. ACM 2012, ISBN 978-1-4503-1219-6 [contents]

• 
  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]
• 
  Jeffrey S. Vetter, Madanlal Musuvathi, Xipeng Shen:
  Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, San Jose, CA, USA, June 5, 2011. ACM 2011, ISBN 978-1-4503-0794-9 [contents]

• 
  Benjamin G. Zorn, Alex Aiken:
  Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. ACM 2010, ISBN 978-1-4503-0019-3 [contents]

• 
  Michael Hind, Amer Diwan:
  Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. ACM 2009, ISBN 978-1-60558-392-1 [contents]

• 
  Rajiv Gupta, Saman P. Amarasinghe:
  Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. ACM 2008, ISBN 978-1-59593-860-2 [contents]

• 
  Jeanne Ferrante, Kathryn S. McKinley:
  Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. ACM 2007, ISBN 978-1-59593-633-2 [contents]

• 
  Michael I. Schwartzbach, Thomas Ball:
  Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. ACM 2006, ISBN 1-59593-320-4 [contents]

• 
  Vivek Sarkar, Mary W. Hall:
  Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005. ACM 2005, ISBN 1-59593-056-6 [contents]

• 
  William W. Pugh, Craig Chambers:
  Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. ACM 2004, ISBN 1-58113-807-5 [contents]
• 
  Kathryn S. McKinley:
  20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. ACM 2004, ISBN 1-58113-623-4 [contents]

PLDI 2004 Home Page

• 
  Ron Cytron, Rajiv Gupta:
  Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. ACM 2003, ISBN 1-58113-662-5 [contents]

• 
  Jens Knoop, Laurie J. Hendren:
  Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002. ACM 2002, ISBN 1-58113-463-0 [contents]

SIGPLAN Notices 37(5) (May 2001)

• 
  Michael Burke, Mary Lou Soffa:
  Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001. ACM 2001, ISBN 1-58113-414-2 [contents]

SIGPLAN Notices 36(5) (May 2001)

• 
  Rastislav Bodík, Vugranam C. Sreedhar:
  Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM '01, Snow Bird, Utah, USA. ACM 2001 [contents]

PLDI 2000 Home Page

• 
  Monica S. Lam:
  Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000. ACM 2000, ISBN 1-58113-199-2 [contents]

SIGPLAN Notices 35(5) (May 2000)

• 
  Barbara G. Ryder, Benjamin G. Zorn:
  Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999. ACM 1999, ISBN 1-58113-094-5 [contents]

SIGPLAN Notices 34(5) (May 1999)

• 
  Jack W. Davidson, Keith D. Cooper, A. Michael Berman:
  Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998. ACM 1998, ISBN 0-89791-987-4 [contents]

SIGPLAN Notices 33(5) (May 1998)

• 
  Marina C. Chen, Ron K. Cytron, A. Michael Berman:
  Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997. ACM 1997, ISBN 0-89791-907-6 [contents]

SIGPLAN Notices 32(5) (May 1997)

• 
  Charles N. Fischer:
  Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996. ACM 1996, ISBN 0-89791-795-2 [contents]

SIGPLAN Notices 31(5) (May 1996)

• 
  David W. Wall:
  Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995. ACM 1995, ISBN 0-89791-697-2 [contents]

SIGPLAN Notices 30(6) (June 1995)

• 
  Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa:
  Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994. ACM 1994, ISBN 0-89791-662-X [contents]

SIGPLAN Notices 29(6) (June 1994)

• 
  Robert Cartwright:
  Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993. ACM 1993, ISBN 0-89791-598-4 [contents]

SIGPLAN Notices 28(6) (June 1993)

• 
  Stuart I. Feldman, Richard L. Wexelblat:
  Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992. ACM 1992, ISBN 0-89791-475-9 [contents]

SIGPLAN Notices 27(7) (July 1992)

• 
  David S. Wise:
  Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991. ACM 1991, ISBN 0-89791-428-7 [contents]

SIGPLAN Notices 26(6) (June 1991)

• 
  Bernard N. Fischer:
  Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990. ACM 1990, ISBN 0-89791-364-7 [contents]

SIGPLAN Notices 25(6) (June 1990)

• 
  Richard L. Wexelblat:
  Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989. ACM 1989, ISBN 0-89791-306-X [contents]

SIGPLAN Notices 24(7) (July 1989)

• 
  Richard L. Wexelblat:
  Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988. ACM 1988, ISBN 0-89791-269-1 [contents]

SIGPLAN Notices 23(7) (July 1988)

• 
  Richard L. Wexelblat:
  Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987. ACM 1987, ISBN 0-89791-235-7 [contents]

• 
  Richard L. Wexelblat:
  Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986. ACM 1986, ISBN 0-89791-197-0 [contents]

• 
  Mary S. Van Deusen, Susan L. Graham:
  Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984. ACM 1984, ISBN 0-89791-139-3 [contents]

• 
  John R. White, Lawrence A. Rowe:
  Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, SIGPLAN 1983, San Francisco, California, USA, June 27-29, 1983. ACM 1983, ISBN 978-0-89791-108-5 [contents]

SIGPLAN Notices 18(6) (June 1983)

• 
  John R. White, Frances E. Allen:
  Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982. ACM 1982, ISBN 0-89791-074-5 [contents]

SIGPLAN Notices 17(6) (June 1982)

• 
  Paul W. Abrahams:
  Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. ACM 1980, ISBN 978-0-89791-030-9 [contents]

• 
  Stephen C. Johnson:
  Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979. ACM 1979, ISBN 0-89791-002-8 [contents]

• 
  Richard E. Nance, Margaret R. Fox, Robert R. Korfhage:
  Proceedings of the 1973 meeting on Programming languages and information retrieval, SIGPLAN 1973, Gaithersburg, Maryland, USA, November 4-6, 1973. ACM 1973, ISBN 978-1-4503-7439-2 [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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-10-22 02:20 CEST 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: