AI & ChatGPT searches , social queries for SIGPLAN
Search references for SIGPLAN. Phrases containing SIGPLAN
See searches and references containing SIGPLAN!
Search references for SIGPLAN. Phrases containing SIGPLAN
See searches and references containing SIGPLAN!SIGPLAN
Association for Computing Machinery (ACM) special interest group
SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts
SIGPLAN
ACM annual conference series on programming language theory
algorithms, programming languages and compilers. It is sponsored by the SIGPLAN special interest group on programming languages. In 2003, the conference
Programming Language Design and Implementation
Programming_Language_Design_and_Implementation
American software engineer (born 1978)
(ACM) Special Interest Group on programming languages (SIGPLAN) gave Lattner its inaugural ACM SIGPLAN Programming Languages Software Award "for his design
Chris_Lattner
U.S. scientific conference
History of Programming Languages (HOPL) is an infrequent ACM SIGPLAN conference. It has been held in 1978, 1993, 2007, and 2021. HOPL I was held June
History of Programming Languages (conference)
History_of_Programming_Languages_(conference)
British computer scientist
for the programming language Haskell. He and Simon Peyton Jones won the SIGPLAN Programming Languages Software Award in 2011 for their work on GHC. Marlow's
Simon_Marlow
Academic conference in the field of computer science
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with
Symposium on Principles of Programming Languages
Symposium_on_Principles_of_Programming_Languages
Bulgarian computer scientist
high-level programming language and system Silq. Vechev has received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019, an ERC Consolidator Grant
Martin_Vechev
Annual academic conference in the field of computer science
academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming). The
International Conference on Functional Programming
International_Conference_on_Functional_Programming
American computer scientist
Languages (SIGPLAN) and has chaired three of their major conferences, ICFP in 2004, OOPSLA in 2011, and PLDI in 2019. She co-founded SIGPLAN’s Programming
Kathleen_Fisher
Israeli computer scientist
Memory Management, the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), the ACM SIGPLAN Symposium on Principles and
Erez_Petrank
Register allocation algorithm
allocations and spilling. Chaitin's algorithm was presented on the 1982 SIGPLAN Symposium on Compiler Construction, and published in the symposium proceedings
Chaitin's_algorithm
Eric (2014). "Refinement types for Haskell". Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference
Liquid_Haskell
Computer scientist
to type systems for programming languages. In 2021, he received the ACM SIGPLAN Programming Languages Achievement Award for his "foundational contributions
Robert Harper (computer scientist)
Robert_Harper_(computer_scientist)
has won several awards. In 2012, he became the inaugural winner of the SIGPLAN Robin Milner Young Researcher Award, given by the Association for Computing
Shriram_Krishnamurthi
Functional programming language inspired by ML and aimed at program verification
programming with value-dependent types. ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. Vol. 46. Tokyo, Japan:
F*_(programming_language)
Annual computing conference
It is operated by the Special Interest Group for Programming Languages (SIGPLAN) group of the Association for Computing Machinery (ACM). OOPSLA has been
OOPSLA
European Symposium on Programming HOPL – ACM SIGPLAN History of Programming Languages Conference ICFP – ACM SIGPLAN International Conference on Functional Programming
List of computer science conferences
List_of_computer_science_conferences
British computer scientist (born 1958)
(DFBCS) in 2017. He received the ACM SIGPLAN Programming Languages Achievement Award in 2016 and the ACM SIGPLAN Distinguished Educator Award in 2025
Simon_Peyton_Jones
Software that translates code from one programming language to another
assemblers". Hopper, Grace. "Keynote Address". Proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) conference, June 1978. doi:10.1145/800025
Compiler
French computer scientist (born 1948)
Saarland University, Germany. With Radhia Cousot, he received the ACM SIGPLAN Programming Languages Achievement Award in 2013 and the IEEE Computer Society
Patrick_Cousot
Assembly language and bytecode for web browsers
Languages Software Award from the Association for Computing Machinery (ACM) SIGPLAN in 2021. The W3C maintains the standard with contributions from Mozilla
WebAssembly
and 25% by each of the Special Interest Group on Programming Languages (SIGPLAN) and the Special Interest Group on Operating Systems (SIGOPS). It is a
International Conference on Architectural Support for Programming Languages and Operating Systems
International_Conference_on_Architectural_Support_for_Programming_Languages_and_Operating_Systems
1994 software engineering book
structure by moving the hierarchy of methods into one object. In 2005 the ACM SIGPLAN awarded that year's Programming Languages Achievement Award to the authors
Design_Patterns
General-purpose programming language
Wexelblat, Richard L. (ed.). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3). New York City: Association for Computing Machinery: 201–208
C_(programming_language)
Markup language for documents
Feminism in Programming Language Design". Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
HTML
Programming language design principles
"On the usage of pythonic idioms" (PDF). Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
Zen_of_Python
Romanian computer scientist
work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award. Originally from Baia Mare, Romania,
George_Necula
Programming paradigm based on objects
Ole-Johan (1 August 1978). "The development of the SIMULA languages". ACM SIGPLAN Notices. 13 (8): 245–272. doi:10.1145/960118.808391. Ross, Doug. "The first
Object-oriented_programming
Intelligence of machines
"Prolog-the language and its implementation compared with Lisp". ACM SIGPLAN Notices. 12 (8): 109–115. doi:10.1145/872734.806939. Fuzzy logic: Russell
Artificial_intelligence
American computer scientist
elected an ACM Distinguished Member. In 2018, Flatt received the ACM SIGPLAN's Programming Languages Software Award (jointly with the Racket core team)
Matthew_Flatt
Text-string-oriented programming language
Waldemar (2007), "The evolution of Lua", Proceedings of the third ACM SIGPLAN conference on History of programming languages (PDF), p. 26, doi:10.1145/1238844
SNOBOL
Lightweight programming language
W. (2007). "The evolution of Lua" (PDF). Proceedings of the third ACM SIGPLAN conference on History of programming languages. pp. 2–1–2–26. doi:10.1145/1238844
Lua
1990. Also the paper of the same title by S. I. Feldman, published in ACM SIGPLAN Fortran Forum, vol. 9, issue 2, p. 21–22 (1990). The f2c source code and
F2c
Browser-based computing platform
Feminism in Programming Language Design". Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
Web_platform
Formula that provides the solutions to a quadratic equation
"You Could Learn a Lot from a Quadratic: Overloading Considered Harmful", SIGPLAN Notices, 33 (1): 30–38, doi:10.1145/609742.609746 Mastronardi, Nicola;
Quadratic_formula
American computer scientist
S2CID 481812. IEEE Fellow (2011) ACM SIGPLAN Programming Languages Software Award, for Jikes RVM (2012) ACM SIGPLAN Distinguished Service Award (2011) ACM
Kathryn_S._McKinley
Functional programming language
to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. ACM
Haskell
Bottom-up parser that interprets an operator-precedence grammar
"Top Down Operator Precedence." Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973). Norvell, Theodore
Operator-precedence_parser
Subset of artificial intelligence
"tl;dr: Chill, y'all: AI Will Not Devour SE". Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
Machine_learning
German-American computer science professor and author
Computer Science Education from the ACM. In 2012, he received the ACM SIGPLAN Programming Languages Achievement Award for "significant and lasting contribution
Matthias_Felleisen
Principle in computer system design
(December 1967). Southworth, R. N. (ed.). "Proposal for PL/I Pseudo-name". ACM SIGPLAN Notices. 2 (12) (PL/I Bulletin no. 5 ed.): 6. doi:10.1145/1139502.1139504
Principle of least astonishment
Principle_of_least_astonishment
Mathematical model for data types
with abstract data types". Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages. SIGPLAN Notices. Vol. 9. pp. 50–59. CiteSeerX 10.1.1.136
Abstract_data_type
Computer scientist
of time, by being a most influential paper in the field. The 2025 ACM SIGPLAN Programming Languages Software Award for his work on Lean. Hughes, Alyssa
Leonardo_de_Moura
Memory allocation scheme
dynamically allocated objects". POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,
Region-based memory management
Region-based_memory_management
Text-oriented programming language
and Alan Schmitt. Boomerang: Resourceful Lenses for String Data. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco
Boomerang (programming language)
Boomerang_(programming_language)
Cyberattack exploiting high-speed expansion ports
Protection from DMA Attacks: When Copy is Faster than Zero Copy". ACM SIGPLAN Notices, Volume 51, Issue 4 Pages 249 - 262 2016. doi:10.1145/2954679.2872379
DMA_attack
Language for controlling a computer
Reynolds, "Some thoughts on teaching programming and programming languages", SIGPLAN Notices, Volume 43, Issue 11, November 2008, p.109 Hierso, Severine (10
Programming_language
C++ framework for compiler development
MLIR Dialect for Digital Signal Processing". Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for
MLIR_(software)
Programming language used in many domains
Joost (2000). "Domain-Specific Languages: An Annotated Bibliography". ACM SIGPLAN Notices. 35 (6): 26–36. CiteSeerX 10.1.1.33.8207. doi:10.1145/352029.352035
General-purpose programming language
General-purpose_programming_language
Instructions a computer can execute
Colmerauer, A.; Roussel, P. (1992). "The birth of Prolog" (PDF). ACM SIGPLAN Notices. 28 (3). Association for Computing Machinery: 5. doi:10.1145/155360
Computer_program
German computer scientist and professor (born 1958)
Design in Scala and Programming Reactive Systems. He received the ACM SIGPLAN Programming Languages Achievement Award in 2025. Timeline of programming
Martin_Odersky
French computer scientist (1947–2014)
medical software industries. With Patrick Cousot, she received the ACM SIGPLAN Programming Languages Achievement Award in 2013 and the IEEE Computer Society
Radhia_Cousot
Concept in computer science
assertion language for mutable data structures". Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 14–26
Separation_logic
Award in theoretical computer science
provided by four ACM Special Interest Groups (SIGACT, SIGDA, SIGMOD, and SIGPLAN), the ACM SIG Projects Fund, and individual contributions. List of computer
Paris_Kanellakis_Award
American computer scientist
Stata, Raymie (May 2002), "Extended static checking for Java", Proceedings of PLDI 2002, SIGPLAN Notices, 37 (5): 234–245, doi:10.1145/543552.512558
James_B._Saxe
Property of an intermediate representation in a compiler
Form". ACM SIGPLAN Notices. 30 (3): 13–22. doi:10.1145/202530.202532. Appel, Andrew W. (April 1998). "SSA is Functional Programming". ACM SIGPLAN Notices
Static_single-assignment_form
Programming paradigm based on applying and composing functions
Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. Third ACM SIGPLAN Conference on History of Programming Languages
Functional_programming
Programming style in which control is passed explicitly
S2CID 192862. Appel, Andrew W. (April 1998). "SSA is Functional Programming". ACM SIGPLAN Notices. 33 (4): 17–20. CiteSeerX 10.1.1.34.3282. doi:10.1145/278283.278285
Continuation-passing_style
American computer scientist
Collegiate Schools of Business (AACSB International). He was chair of ACM SIGPLAN and founding chair of ACM SIGecom. He was elected the President of the
Stuart_Feldman
Swiss computer scientist
He received the ACM SIGSOFT Outstanding Research Award in 2010. "ACM SIGPLAN Programming Languages Achievement Award". "The AITO Dahl-Nygaard Prize
Richard_Helm
American computer scientist
for Computing Machinery SIGPLAN (2013-08-17). "SIGPLAN Distinguished Service Award". SIGPLAN. Retrieved 2013-08-17. ACM SIGPLAN. "20 Years of PLDI (1979–1999)
Barbara_G._Ryder
Live coding environment
Alan F. (2013). "From sonic Pi to overtone". Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design. Farm '13. ACM. pp
Sonic_Pi
High-level programming language first released in 1980
translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language – SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659
Ada_(programming_language)
American computer scientist
undergraduate education)". Cornell. Retrieved 2022-09-08. "POPL 2020 Program". SIGPLAN. Retrieved 2022-09-08. Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé
Dexter_Kozen
Programming language with hardware abstraction
1145/367177.367199. Sammet, Jean E. (1978). "The Early History of COBOL". ACM SIGPLAN Notices. 13 (8): 121–161. doi:10.1145/960118.808378. Backus, J. W.; Bauer
High-level programming language
High-level_programming_language
American computer scientist
most if not all modern optimizing compilers. This work was recognized by SIGPLAN in 2006 with its Programming Languages Achievement Award. He has also made
Mark_N._Wegman
computing PPoPP — ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming sponsored by the ACM special interest group SIGPLAN organised in 1988
List of distributed computing conferences
List_of_distributed_computing_conferences
Method for division with remainder
(June 1994). "Division by Invariant Integers using Multiplication" (PDF). SIGPLAN Notices. 29 (6): 61–72. CiteSeerX 10.1.1.1.2556. doi:10.1145/773473.178249
Division_algorithm
Virtual machine in the Open Telecom Platform
Joe (2007-06-09). "A history of Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. HOPL III. New York, NY
BEAM_(Erlang_virtual_machine)
General-purpose programming language
How do energy, time, and memory relate?". Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. SLE 2017. New
Python_(programming_language)
SIGPLAN 2018 PL Software Award for Racket, ACM SIGPLAN 2012 PL Achievement Award Jeanne Ferrante, developed the Program dependence graph, ACM SIGPLAN
List of programming language researchers
List_of_programming_language_researchers
Compiling bytecode to machine code at runtime
of the smalltalk-80 system" (PDF). Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84. pp. 297–302
Just-in-time_compilation
Software for solving satisfiability problems
In 2015, Z3 received the Programming Languages Software Award from ACM SIGPLAN. In 2018, Z3 received the Test of Time Award from the European Joint Conferences
Z3_Theorem_Prover
British computer scientist (1934–2025)
ISSN 0934-5043. "SIGPLAN Programming Languages Achievement Award – 2009: Rod Burstall". Association for Computing Machinery (ACM) SIGPLAN. Retrieved 22 September
Rod_Burstall
American computer scientist
Advisory Committee (PITAC). In 1999, he was named recipient of the ACM SIGPLAN Programming Languages Achievement Award, the third time this award was
Ken Kennedy (computer scientist)
Ken_Kennedy_(computer_scientist)
French computer scientist and mathematician
officially in 1989. Coq won the Association for Computing Machinery (ACM) SIGPLAN Programming Languages Software Award in 2013, for "provid[ing] a rich environment
Thierry_Coquand
American computer scientist (born 1935)
Proceedings of the 2002 Workshop on Memory System Performance (MSP '02), SIGPLAN Notices, 38 (2S): 37–43, CiteSeerX 10.1.1.586.7474, doi:10.1145/773039
Richard_Mattson
Eliot B. (1998). "Type-based alias analysis". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI
Alias_analysis
Computer programming for quantum computers
"Invariants of quantum programs: Characterisations and generation", ACM SIGPLAN Notices, 52: 818–832, doi:10.1145/3093333.3009840, hdl:10453/127333 Liu
Quantum_programming
1976 letter by Bill Gates to PC hobbyists
Publications. pp. 90, 91. Warren, Jim C. (July 1976). "Correspondence". SIGPLAN Notices. 11 (7). ACM: 1. Jim Warren, the editor of Dr. Dobb's Journal,
An_Open_Letter_to_Hobbyists
Analysis of computer programs without executing them
program analysis via bayesian optimisation". Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages
Static_program_analysis
American computer scientist (born 1956)
Proceedings of the ACM SIGPLAN Conference on Programming language design and implementation (PLDI '94), pp. 196–205, 1994; ACM SIGPLAN Notices - Best of PLDI
Alan_Eustace
Performance-degrading usage pattern
memory multiprocessors through compile time data transformations". ACM SIGPLAN Notices. 30 (8). Association for Computing Machinery (ACM): 179–188. doi:10
False_sharing
Goal-oriented approach to software metrics
(1975-04-01). "An analysis of errors and their causes in system programs". ACM SIGPLAN Notices. 10 (6): 327–336. doi:10.1145/390016.808455. ISSN 0362-1340. Basili
GQM
Algorithm in a thread whose failure cannot cause another thread to fail
November 2003). "Language support for lightweight transactions" (PDF). ACM SIGPLAN Notices. 38 (11): 388. CiteSeerX 10.1.1.58.8466. doi:10.1145/949343.949340
Non-blocking_algorithm
Connection between computers or programs
own risk: the Java unsafe API in the wild". Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages
API
Indian-American computer scientist
Synthesizing Forwarding Tables in Multi-tenant Networks". ACM SIGPLAN Notices. 52. ACM SIGPLAN: 572–585. doi:10.1145/3093333.3009845. Retrieved 13 July 2020
Aditya_Akella
French computer scientist and programmer (born 1968)
the Royal Society, the 2021 ACM Software System Award, and the 2022 ACM SIGPLAN Programming Languages Achievement Award. "Xavier Leroy appointed to the
Xavier_Leroy
General-purpose programming language
Bjarne (March 1993). A History of C++: 1979–1991 (PDF). The Second ACM SIGPLAN Conference on History of Programming Languages. Association for Computing
C++
American computer scientist
and was chair of the Special Interest Group on Programming Languages (SIGPLAN). She was the first female president of the ACM, from 1974 to 1976. Jean
Jean_E._Sammet
Programming language
Sammet pg. 12 Hopper, Grace. "Keynote Address". Proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) conference, June 1978. doi:10.1145/800025
A-0_System
American semiconductor design company
Haskell: being lazy with class". HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. San Diego, California:
Bluespec
Specific form of single page web application
2019 and it received the Programming Languages Software Award from ACM SIGPLAN in 2021. Progressive web app execution contexts get unloaded whenever possible
Progressive_web_app
Technique in natural language processing
Fixpoint Computation in Linear Tabling" (PDF). Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming:
Tabled_logic_programming
Computer Architecture 1993 1996 1999 2003 2007 2011 2015 2019 2023 LCTES ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
Federated Computing Research Conference
Federated_Computing_Research_Conference
Proof assistant and programming language
scalability and usability, and implementing proof automation. In 2025, ACM SIGPLAN Programming Languages Software Award was awarded to Gabriel Ebner, Soonho
Lean_(proof_assistant)
In 2020, it received the Programming Languages Software Award from ACM SIGPLAN. Pin performs instrumentation by taking control of the program just after
Pin_(computer_program)
American computer scientist
programs, ACM, doi:10.1145/378795.378846 "Most Influential PLDI Paper Award". sigplan.org. Retrieved 2023-05-27. Todd Millstein publications indexed by Google
Todd_Millstein
Integrated Development Environment
KDevelop Armstrong, Jeffrey (24 July 2012). "Introducing Simply Fortran". ACM SIGPLAN Fortran Forum. 31 (2): 20–27. doi:10.1145/2338786.2338788. S2CID 33536414
Simply_Fortran
Italian computer scientist
Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) '90. pp
Luca_Cardelli
SIGPLAN
SIGPLAN
SIGPLAN
SIGPLAN
Boy/Male
Arabic, Muslim, Sindhi
Surety; Guarantor
Boy/Male
Tamil
Meditate, Thinking, Thought
Girl/Female
Tamil
Hiranyaprakai | ஹீராநà¯à®¯à®¾à®ªà¯à®°à®•à®¾à®ˆÂ
Amidst gold
Girl/Female
Latin
Beautiful. Graceful.
Girl/Female
American, Australian
Born on Monday
Male
German
German form of Latin Franciscus, FRANZ means "French."
Surname or Lastname
Scottish and Irish
Scottish and Irish : reduced form of McCure, an Anglicized form of Gaelic Mac Ãomhair (see McIver).English : possibly from Middle English cure ‘charge’, ‘care’, ‘concern’.
Girl/Female
English
Diminutive of any name begining with Christ-, for example Christahel, Christian, or Christopher.....
Boy/Male
Latin
Youth.
Girl/Female
Danish, French, German, Latin
Triumphant; Conquering
SIGPLAN
SIGPLAN
SIGPLAN
SIGPLAN
SIGPLAN