SIGPLAN

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta name="description" content=""> <meta name="author" content=""> <title>SIGPLAN</title>  <link href="/css/bootstrap.min.css" rel="stylesheet">  <link href="/css/custom.css" rel="stylesheet"> </head> <body> <div style="background: #f0f0f0; padding-top: 10px; padding-bottom: 10px; margin-bottom: 10px; border-bottom: 1pt solid #808080;"> <div class="container"> <div class="row"> <div class="col-md-2 col-md-offset-2" style="padding-right: 0pt"> <p class="text-right"><img src="/images/acmlogo.gif"></p> </div> <div class="col-md-8"> <div class="bigsig">SIGPLAN</div> <h3>Special Interest Group on Programming Languages</h3> <p>The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.</p> </div> </div> </div> </div> <div class="container"> <div class="row"> <div class="col-md-3"> <div style="margin-top: 25px;"> <div class="panel panel-primary"> <div class="panel-heading"><b>Key Links</b></div> <div class="list-group"> <a href="http://blog.sigplan.org" class="list-group-item">SIGPLAN Blog </a> <a href="Conferences" class="list-group-item">Conferences </a> <a href="OpenTOC" class="list-group-item">OpenTOC </a> <a href="Awards" class="list-group-item">Awards </a> <a href="Highlights" class="list-group-item">Research Highlights </a> <a href="http://www.acm.org/sigs/bylaws-contents/plan_bylaws" class="list-group-item">SIGPLAN By-laws </a> <a href="Cares" class="list-group-item">SIGPLAN Cares </a> <a href="ContactUs" class="list-group-item">SIGPLAN Officers </a> <a href="Membership" class="list-group-item">Membership </a> <a href="Mentoring" class="list-group-item">Mentoring </a> <a href="Resources/Student" class="list-group-item">Student Membership </a> <a href="PAC" class="list-group-item">Travel Support </a> <a href="Schools" class="list-group-item">Summer Schools </a> <a href="Logo" class="list-group-item">Logo </a> <a href="Resources" class="list-group-item">Resources </a> </div> </div> </div> <div style="margin-top: 25px;"> <div class="panel panel-primary"> <div class="panel-heading"><b>Ad Hoc Committees</b></div> <div class="list-group"> <a href="Resources/Climate" class="list-group-item">Climate Change </a> <a href="Resources/EmpiricalEvaluation" class="list-group-item">Empirical Evaluation </a> </div> </div> </div> <div style="margin-top: 25px;"> <div class="panel panel-primary"> <div class="panel-heading"><b>Conference Information</b></div> <div class="list-group"> <a href="Resources/Author" class="list-group-item">Author Information </a> <a href="Resources/Guidelines/SCommittee" class="list-group-item">Steering Committee Guidelines </a> <a href="Resources/Guidelines/GenChair" class="list-group-item">General Chair Guidelines </a> <a href="Resources/Guidelines/ProChair" class="list-group-item">Program Chair Guidelines </a> <a href="Resources/Guidelines/Workshops" class="list-group-item">Workshop Guidelines </a> <a href="Resources/Proposals/Sponsored" class="list-group-item">Sponsorship Proposal </a> <a href="Resources/Proposals/Cooperated" class="list-group-item">In-cooperation Proposal </a> <a href="PACMPL" class="list-group-item">PACMPL </a> <a href="AV" class="list-group-item">Audio/Video </a> </div> </div> </div> <div style="margin-top: 25px;"> <div class="panel panel-primary"> <div class="panel-heading"><b>Policies</b></div> <div class="list-group"> <a href="Resources/Policies/Review" class="list-group-item">Submission Review Policy </a> <a href="Resources/Policies/Republication" class="list-group-item">Republication Policy </a> <a href="Resources/Policies/Diversity" class="list-group-item">Diversity Policy </a> <a href="Resources/Policies/CodeOfConduct" class="list-group-item">Code of Conduct Policy </a> </div> </div> </div> </div> <div class="col-md-7 col-md-offset-1"> <h3><a href="http://sigplan.org/Inclusivity">SIGPLAN Chair's Inclusivity Statement</a></h3> <h3><a href="http://blog.sigplan.org">SIGPLAN Blog</a></h3> <h3>Awards and Recent Recipients</h3> <h5><a href="Awards/Achievement">Programming Languages Achievement Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/Achievement#2024_Keshav_Pingali"> Keshav Pingali </a> </li> </ul> <h5><a href="Awards/Service">Distinguished Service Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/Service#2024_Emery_Berger"> Emery Berger </a> </li> </ul> <h5><a href="Awards/Educator">Distinguished Educator Award</a> (presented in 2023)</h5> <ul> <li> <a href="Awards/Educator#2023_Kathi_Fisler_and_Shriram_Krishnamurthi"> Kathi Fisler and Shriram Krishnamurthi </a> </li> </ul> <h5><a href="Awards/Software">Programming Languages Software Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/Software#2024_The_Rust_Programming_Language"> The Rust Programming Language </a> </li> </ul> <h5><a href="Awards/Milner">Robin Milner Young Researcher Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/Milner#2024_Armando_Solar-Lezama"> Armando Solar-Lezama </a> </li> </ul> <h5><a href="Awards/Dissertation">John C. Reynolds Doctoral Dissertation Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/Dissertation#2024_Benjamin_Bichsel__ETH_Z眉rich"> Benjamin Bichsel, ETH Z眉rich </a> <p><em>High-Level Quantum Programming</em></p> </li> </ul> <h5><a href="Awards/POPL">Most Influential POPL Paper Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/POPL#2024_Ramana_Kumar__Magnus_Myreen__Michael_Norrish__Scott_Owens"> Ramana Kumar, Magnus Myreen, Michael Norrish, Scott Owens </a> <p>(for 2014): <em><a href="https://dl.acm.org/doi/10.1145/2535838.2535841">CakeML: A Verified Implementation of ML</a></em></p> </li> </ul> <h5><a href="Awards/PLDI">Most Influential PLDI Paper Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/PLDI#2024_Steven_Arzt__Siegfried_Rasthofer__Christian_Fritz__Eric_Bodden_ Alexandre_Bartel__Jacques_Klein__Yves_Le_Traon__Damien_Octeau_ Patrick_McDaniel "> Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel </a> <p>(for 2014) <em><a href="https://dl.acm.org/doi/10.1145/2594291.2594299">FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps</a></em></p> </li> </ul> <h5><a href="Awards/ICFP">Most Influential ICFP Paper Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/ICFP#2024_Niki_Vazou__Eric_L._Seidel__Ranjit_Jhala__Dimitrios_Vytiniotis__Simon_Peyton-Jones"> Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones </a> <p>(for 2014) <em><a href="https://dl.acm.org/doi/10.1145/2628136.2628161">Refinement Types for Haskell</a></em></p> </li> </ul> <h5><a href="Awards/OOPSLA">Most Influential OOPSLA Paper Award</a> (presented in 2024)</h5> <ul> <li> <a href="Awards/OOPSLA#2024_Terence_Parr__Sam_Harwell__Kathleen_Fisher"> Terence Parr, Sam Harwell, Kathleen Fisher </a> <p>(for 2014) <em><a href="https://dl.acm.org/doi/10.1145/2714064.2660202">Adaptive LL(*) parsing: the power of dynamic analysis</a></em></p> </li> </ul> <h5><a href="Awards/Other">Other Awards at SIGPLAN-sponsored Events</a> (presented in 2022)</h5> <ul> <li> <a href="Awards/Other#2022_Shan_Lu__Soyeon_Park__Eunsoo_Seo__and_Yuanyuan_Zhou"> <em>ASPLOS Most Influential Paper Award:</em> Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou </a> <p><em><a href="https://dl.acm.org/doi/10.1145/1346281.1346323">Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS 2008</a></em></p> </li> <li> <a href="Awards/Other#2022_Donald_E._Porter__Silas_Boyd-Wickizer__Jon_Howell__Reuben_Olinsky__and_Galen_C._Hunt"> <em>ASPLOS Most Influential Paper Award:</em> Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, and Galen C. Hunt </a> <p><em><a href="https://dl.acm.org/doi/10.1145/1961296.1950399">Rethinking the Library OS from the Top Down, ASPLOS 2011</a></em></p> </li> <li> <a href="Awards/Other#2022_Todd_C._Mowry__Monica_S._Lam__and_Anoop_Gupta"> <em>ASPLOS Most Influential Paper Award:</em> Todd C. Mowry, Monica S. Lam, and Anoop Gupta </a> <p><em><a href="https://dl.acm.org/doi/10.1145/143371.143488">Design and evaluation of a compiler algorithm for prefetching, ASPLOS 1992</a></em></p> </li> </ul> <h5><a href="Awards/ACMFellows">ACM Fellows</a> (recognized in 2020)</h5> <ul> <li> <a href="Awards/ACMFellows#2020">Tony Hoare, Andrew D. Gordon, Cormac Flanagan, Gordon Plotkin, Patrick Cousot, and Thomas Eiter</a> </li> </ul> <h3>SIGPLAN Sponsored <a href="/Conferences/">Conferences</a></h3> <ul> <li><a href="/Conferences/POPL">Principles of Programming Languages (POPL)</a></li> <li><a href="/Conferences/PLDI">Programming Language Design and Implementation (PLDI)</a></li> <li><a href="/Conferences/OOPSLA">OOPSLA</a></li> <li><a href="/Conferences/ICFP">International Conference on Functional Programming (ICFP)</a></li> <li><a href="/Conferences/ASPLOS">Architectural Support for Programming Languages and Operating Systems (ASPLOS)</a></li> <li><a href="/Conferences/SPLASH">Systems, Programming, Languages, and Applications Software for Humanity (SPLASH)</a></li> <li><a href="https://conf.researchr.org/series/CC">Compiler Construction (CC)</a></li> <li><a href="http://www.cgo.org">Code Generation and Optimization (CGO)</a></li> <li><a href="/Conferences/DLS">Dynamic Languages Symposium (DLS)</a></li> <li><a href="http://program-transformation.org/Gpce">Generative Programming: Concepts and Experiences (GPCE)</a></li> <li><a href="/Conferences/ISMM">International Symposium on Memory Management (ISMM)</a></li> <li><a href="/Conferences/LCTES">Languages, Compilers, and Tools for Embedded Systems (LCTES)</a></li> <li><a href="http://www.haskell.org/haskell-symposium/">Haskell Symposium (HS)</a></li> <li><a href="https://hopl4.sigplan.org/">History of Programming Languages (HOPL)</a></li> <li><a href="/Conferences/MPLR">Managed Programming Languages & Runtimes (MPLR)</a></li> <li><a href="/Conferences/Onward">Onward!</a></li> <li><a href="http://www.sleconf.org/">Software Language Engineering (SLE)</a></li> <li><a href="/Conferences/PPOPP">Principles and Practices of Parallel Programming (PPOPP)</a></li> <li><a href="/Conferences/VEE">Virtual Execution Environments (VEE)</a></li> <li><a href="/Conferences/PLMW">The Programming Languages Mentoring Workshop (PLMW)</a></li> <li><a href="/Conferences/CPP">Certified Programs and Proofs (CPP)</a></li> </ul> </div> </div> </div> <br><br> <div id="footer"> <div class="container"> <p class="text-muted">Page generated Mon, 25 Nov 2024 14:25:50 +0000</p> </div> </div> <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script> <script src="/js/bootstrap.min.js"></script> </body> </html>

CINXE.COM

SIGPLAN