Meta tags:
description=;
author=;

Headings (most frequently used words):

in, award, presented, 2025, 2026, most, influential, paper, programming, languages, sigplan, distinguished, john, special, interest, group, on, chair, inclusivity, statement, blog, awards, and, recent, recipients, events, achievement, service, educator, software, robin, milner, young, researcher, reynolds, doctoral, dissertation, popl, pldi, icfp, oopsla, vlissides, acm, fellows, recognized, 2020,

Text of the page (most frequently used words):
#programming (18), and (17), award (12), languages (11), #presented (11), sigplan (10), for (9), 2025 (7), policy (6), 2026 (5), the (4), language (4), most (4), influential (4), paper (4), guidelines (4), cooperation (3), international (3), conference (3), software (3), systems (3), design (3), university (3), john (3), chair (3), engineering (2), mentoring (2), workshop (2), principles (2), symposium (2), tools (2), concepts (2), code (2), compiler (2), support (2), icfp (2), oopsla (2), implementation (2), pldi (2), popl (2), gordon (2), acm (2), vlissides (2), 2015 (2), program (2), modules (2), 2016 (2), distinguished (2), awards (2), blog (2), video (2), proposal (2), information (2), membership (2), special (2), interest (2), group (2), page, generated, wed, aug, 0000, art, science, certified, programs, proofs, cpp, plmw, practices, parallel, ppopp, sle, onward, managed, runtimes, mplr, history, hopl, haskell, compilers, embedded, lctes, memory, management, ismm, generative, experiences, gpce, generation, optimization, cgo, construction, applications, humanity, splash, architectural, operating, asplos, functional, events, tony, hoare, andrew, cormac, flanagan, plotkin, patrick, cousot, thomas, eiter, recognized, 2020, fellows, amanda, wisconsin, madison, finding, deep, bugs, via, guided, stochastic, mutation, chengnian, sun, zhendong, 1ml, core, united, ing, first, class, andreas, rossberg, ivy, safety, verification, interactive, generalization, oded, padon, kenneth, lauchlin, mcmillan, aurojit, panda, mooly, sagiv, sharon, shoham, dependent, types, multi, monadic, effects, nikhil, swamy, cătălin, hriţcu, chantal, keller, aseem, rastogi, antoine, delignat, lavaud, simon, forest, karthikeyan, bhargavan, cédric, fournet, pierre, yves, strub, markulf, kohlweiss, jean, karim, zinzindohoue, santiago, zanella, béguelin, modular, abstractions, efficient, hardware, rachit, nigam, cornell, property, based, testing, people, harrison, goldstein, pennsylvania, reynolds, doctoral, dissertation, isil, dillig, robin, milner, young, researcher, lean, theorem, prover, graham, hutton, educator, derek, dreyer, service, martin, odersky, achievement, recent, recipients, inclusivity, statement, recording, draft, complimentary, registrations, conduct, diversity, republication, submission, review, policies, audio, pacmpl, sponsorship, general, steering, committee, author, empirical, evaluation, climate, change, hoc, committees, podcast, resources, logo, summer, schools, travel, student, officers, cares, laws, research, highlights, opentoc, conferences, key, links, explores, focusing, practice, theory, its, members, are, developers, educators, implementers, researchers, theoreticians, users,

Text of the page (random words):
sigplan sigplan special interest group on programming languages 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 key links sigplan blog conferences opentoc awards research highlights sigplan by laws sigplan cares sigplan officers membership mentoring student membership travel support summer schools logo resources podcast ad hoc committees climate change empirical evaluation conference information author information steering committee guidelines general chair guidelines program chair guidelines workshop guidelines sponsorship proposal in cooperation proposal pacmpl audio video policies submission review policy republication policy diversity policy code of conduct policy complimentary registrations policy video recording policy draft sigplan chair s inclusivity statement sigplan blog awards and recent recipients programming languages achievement award presented in 2025 martin odersky distinguished service award presented in 2026 derek dreyer distinguished educator award presented in 2026 graham hutton programming languages software award presented in 2025 lean theorem prover robin milner young researcher award presented in 2025 isil dillig john c reynolds doctoral dissertation award presented in 2025 harrison goldstein university of pennsylvania property based testing for the people rachit nigam cornell university modular abstractions for efficient hardware design most influential popl paper award presented in 2026 nikhil swamy cătălin hriţcu chantal keller aseem rastogi antoine delignat lavaud simon forest karthikeyan bhargavan cédric fournet pierre yves strub markulf kohlweiss jean karim zinzindohoue santiago zanella béguelin for 2016 dependent types and multi monadic effects in f most influential pldi paper award presented in 2026 oded padon kenneth lauchlin mcmillan aurojit panda mooly sagiv sharon shoham for 2016 ivy safety verification by interactive generalization most influential icfp paper award presented in 2025 andreas rossberg for 2015 1ml core and modules united f ing first class modules most influential oopsla paper award presented in 2025 vu le chengnian sun and zhendong su for 2015 finding deep compiler bugs via guided stochastic program mutation john vlissides award presented in 2025 john vlissides award amanda xu university of wisconsin madison acm fellows recognized in 2020 tony hoare andrew d gordon cormac flanagan gordon plotkin patrick cousot and thomas eiter sigplan events principles of programming languages popl programming language design and implementation pldi oopsla international conference on functional programming icfp architectural support for programming languages and operating systems asplos systems programming languages and applications software for humanity splash compiler construction cc code generation and optimization cgo generative programming concepts and experiences gpce international symposium on memory management ismm languages compilers and tools for embedded systems lctes haskell symposium hs history of programming languages hopl managed programming languages runtimes mplr onward software language engineering sle principles and practices of parallel programming ppopp the programming languages mentoring workshop plmw certified programs and proofs cpp in cooperation international conference on the art science and engineering of programming programming in cooperation page generated wed 12 aug 2026 21 51 42 0000