Faster access than browser!
73 relations: ACM Transactions on Programming Languages and Systems, Alan Eustace, Andrew Appel, Andrew D. Gordon, Association for Computing Machinery, Barbara G. Ryder, Barbara Liskov, Benjamin C. Pierce, Bernhard Steffen (computer scientist), Boehm garbage collector, Brent Hailpern, Chris Lattner, Chrome V8, Coq, Craig Chambers, Design Patterns, Dries Buytaert, Erich Gamma, Frances E. Allen, Glasgow Haskell Compiler, GNU Compiler Collection, Gordon Plotkin, Greg Morrisett, Guy L. Steele Jr., History of Programming Languages, International Conference on Functional Programming, International Symposium on Memory Management, James Larus, Jean E. Sammet, Jeanne Ferrante, Jeff Dean (computer scientist), Jikes RVM, John Backus, John C. Reynolds, John McCarthy (computer scientist), John Vlissides, Julian Seward, Kathleen Fisher, Kathryn S. McKinley, Ken Kennedy (computer scientist), LLVM, Luca Cardelli, Mads Tofte, Mark N. Wegman, Mary Lou Soffa, Matthias Felleisen, Monica S. Lam, Neil D. Jones, Niklaus Wirth, OOPSLA, ..., Patrick Cousot, Peter Lee (computer scientist), Peter O'Hearn, Philip Wadler, Programming language, Programming Language Design and Implementation, Proof assistant, Radhia Cousot, Ralph Johnson (computer scientist), Robert Harper (computer scientist), Robin Milner, Rod Burstall, Satisfiability modulo theories, Shriram Krishnamurthi, Simon Marlow, Simon Peyton Jones, Special Interest Group, SPLASH (conference), Symposium on Principles and Practice of Parallel Programming, Symposium on Principles of Programming Languages, Thomas W. Reps, Tony Hoare, Xavier Leroy. Expand index (23 more) »
ACM Transactions on Programming Languages and Systems
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979.
New!!: SIGPLAN and ACM Transactions on Programming Languages and Systems · See more »
Alan Eustace
Robert Alan Eustace is an American computer scientist who served as Senior Vice President of Knowledge at Google.
New!!: SIGPLAN and Alan Eustace · See more »
Andrew Appel
Andrew Wilson Appel (born 1960) is the Eugene Higgins Professor of computer science at Princeton University, New Jersey.
New!!: SIGPLAN and Andrew Appel · See more »
Andrew D. Gordon
Andrew D. Gordon is a British computer scientist employed by Microsoft Research.
New!!: SIGPLAN and Andrew D. Gordon · See more »
Association for Computing Machinery
The Association for Computing Machinery (ACM) is an international learned society for computing.
New!!: SIGPLAN and Association for Computing Machinery · See more »
Barbara G. Ryder
Barbara G. Ryder is an American Computer Scientist noted for her research on programming languages and more specifically, the theoretical foundations and empirical investigation of interprocedural compile-time analysis.
New!!: SIGPLAN and Barbara G. Ryder · See more »
Barbara Liskov
Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department.
New!!: SIGPLAN and Barbara Liskov · See more »
Benjamin C. Pierce
Benjamin Crawford Pierce is an American professor of computer science at the University of Pennsylvania.
New!!: SIGPLAN and Benjamin C. Pierce · See more »
Bernhard Steffen (computer scientist)
Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany.
New!!: SIGPLAN and Bernhard Steffen (computer scientist) · See more »
Boehm garbage collector
In computer science, the Boehm–Demers–Weiser garbage collector, often simply known as Boehm GC, is a conservative garbage collector for C and C++.
New!!: SIGPLAN and Boehm garbage collector · See more »
Brent Hailpern
Brent Hailpern is a computer scientist and manager at IBM Research.
New!!: SIGPLAN and Brent Hailpern · See more »
Chris Lattner
Chris Lattner (born 1978) is an American software developer, best known as the main author of LLVM and related projects, such as the compiler Clang and the programming language Swift.
New!!: SIGPLAN and Chris Lattner · See more »
Chrome V8
Chrome V8, or simply V8, is an open-source JavaScript engine developed by The Chromium Project for Google Chrome and Chromium web browsers.
New!!: SIGPLAN and Chrome V8 · See more »
Coq
In computer science, Coq is an interactive theorem prover.
New!!: SIGPLAN and Coq · See more »
Craig Chambers
Craig Chambers, Professor at the University of Washington, joined the department of Computer Science and Engineering in 1991.
New!!: SIGPLAN and Craig Chambers · See more »
Design Patterns
Design Patterns: Elements of Reusable Object-Oriented Software is a software engineering book describing software design patterns.
New!!: SIGPLAN and Design Patterns · See more »
Dries Buytaert
Dries Buytaert (born 19 November 1978 in Wilrijk, Antwerp, Belgium) is an open-source software programmer notable as founder and lead developer of the Drupal CMS.
New!!: SIGPLAN and Dries Buytaert · See more »
Erich Gamma
Erich Gamma (born 1961 in Zürich) is a Swiss computer scientist and co-author of the influential software engineering textbook, Design Patterns: Elements of Reusable Object-Oriented Software.
New!!: SIGPLAN and Erich Gamma · See more »
Frances E. Allen
Frances Elizabeth "Fran" Allen (born August 4, 1932) is an American computer scientist and pioneer in the field of optimizing compilers.
New!!: SIGPLAN and Frances E. Allen · See more »
Glasgow Haskell Compiler
Glasgow Haskell Compiler, less commonly known as The Glorious Glasgow Haskell Compilation System or simply GHC, is an open source native code compiler for the functional programming language Haskell.
New!!: SIGPLAN and Glasgow Haskell Compiler · See more »
GNU Compiler Collection
The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages.
New!!: SIGPLAN and GNU Compiler Collection · See more »
Gordon Plotkin
Gordon David Plotkin, FRS, FRSE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh.
New!!: SIGPLAN and Gordon Plotkin · See more »
Greg Morrisett
John Gregory "Greg" Morrisett is the Dean of the Faculty of Computing and Information Science at Cornell University.
New!!: SIGPLAN and Greg Morrisett · See more »
Guy L. Steele Jr.
Guy Lewis Steele Jr. (born October 2, 1954) is an American computer scientist who has played an important role in designing and documenting several computer programming languages.
New!!: SIGPLAN and Guy L. Steele Jr. · See more »
History of Programming Languages
History of Programming Languages (HOPL) is an infrequent ACM SIGPLAN conference.
New!!: SIGPLAN and History of Programming Languages · See more »
International Conference on Functional Programming
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming).
New!!: SIGPLAN and International Conference on Functional Programming · See more »
International Symposium on Memory Management
The International Symposium on Memory Management (ISMM) is an ACM SIGPLAN symposium on memory management.
New!!: SIGPLAN and International Symposium on Memory Management · See more »
James Larus
James R. Larus (born September 15, 1958) is a computer scientist specializing in the fields of programming languages, compilers, and computer architecture.
New!!: SIGPLAN and James Larus · See more »
Jean E. Sammet
Jean E. Sammet (March 23, 1928 – May 20, 2017) was an American computer scientist who developed the FORMAC programming language in 1962.
New!!: SIGPLAN and Jean E. Sammet · See more »
Jeanne Ferrante
Jeanne Ferrante is a computer scientist active in the field of compiler technology, where she has made important contributions regarding optimization and parallelization.
New!!: SIGPLAN and Jeanne Ferrante · See more »
Jeff Dean (computer scientist)
Jeffrey Adgate "Jeff" Dean (born 1968) is an American computer scientist and software engineer.
New!!: SIGPLAN and Jeff Dean (computer scientist) · See more »
Jikes RVM
Jikes RVM (Jikes Research Virtual Machine) is a mature open source virtual machine that runs Java programs.
New!!: SIGPLAN and Jikes RVM · See more »
John Backus
John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist.
New!!: SIGPLAN and John Backus · See more »
John C. Reynolds
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.
New!!: SIGPLAN and John C. Reynolds · See more »
John McCarthy (computer scientist)
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.
New!!: SIGPLAN and John McCarthy (computer scientist) · See more »
John Vlissides
John Matthew Vlissides (August 2, 1961 - November 24, 2005) was a software scientist known mainly as one of the four authors (referred to as the Gang of Four) of the book Design Patterns: Elements of Reusable Object-Oriented Software.
New!!: SIGPLAN and John Vlissides · See more »
Julian Seward
Julian Seward is a British compiler writer and Free Software contributor who lives in Stuttgart.
New!!: SIGPLAN and Julian Seward · See more »
Kathleen Fisher
Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.
New!!: SIGPLAN and Kathleen Fisher · See more »
Kathryn S. McKinley
Kathryn S. McKinley is an American computer scientist noted for her research on compilers, runtime systems, and computer architecture.
New!!: SIGPLAN and Kathryn S. McKinley · See more »
Ken Kennedy (computer scientist)
Ken Kennedy (August 12, 1945 – February 7, 2007) was an American computer scientist and professor at Rice University.
New!!: SIGPLAN and Ken Kennedy (computer scientist) · See more »
LLVM
The LLVM compiler infrastructure project is a "collection of modular and reusable compiler and toolchain technologies" used to develop compiler front ends and back ends.
New!!: SIGPLAN and LLVM · See more »
Luca Cardelli
Luca Andrea Cardelli FRS is an Italian computer scientist who is an Assistant Director at Microsoft Research in Cambridge, UK.
New!!: SIGPLAN and Luca Cardelli · See more »
Mads Tofte
Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language.
New!!: SIGPLAN and Mads Tofte · See more »
Mark N. Wegman
Mark N. Wegman is an American computer scientist known for his contributions to algorithms and compiler optimization.
New!!: SIGPLAN and Mark N. Wegman · See more »
Mary Lou Soffa
Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering.
New!!: SIGPLAN and Mary Lou Soffa · See more »
Matthias Felleisen
Matthias Felleisen is a German-American computer science professor and author.
New!!: SIGPLAN and Matthias Felleisen · See more »
Monica S. Lam
Monica Sin-Ling Lam is a professor in the Computer Science Department at Stanford, and founder of Moka5 and Omlet.
New!!: SIGPLAN and Monica S. Lam · See more »
Neil D. Jones
Neil D. Jones (born 22 March 1941 in Centralia, Illinois, USA) is an American computer scientist.
New!!: SIGPLAN and Neil D. Jones · See more »
Niklaus Wirth
Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering.
New!!: SIGPLAN and Niklaus Wirth · See more »
OOPSLA
OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) is an annual ACM research conference.
New!!: SIGPLAN and OOPSLA · See more »
Patrick Cousot
Patrick Cousot (born 3 December 1948) is a French computer scientist.
New!!: SIGPLAN and Patrick Cousot · See more »
Peter Lee (computer scientist)
Peter Lee (born November 30, 1960) is an American computer scientist.
New!!: SIGPLAN and Peter Lee (computer scientist) · See more »
Peter O'Hearn
Peter William O'Hearn One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 13 July 1963) is a Research Scientist at Facebook and a Professor of Computer science at University College London (UCL).
New!!: SIGPLAN and Peter O'Hearn · See more »
Philip Wadler
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory.
New!!: SIGPLAN and Philip Wadler · See more »
Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
New!!: SIGPLAN and Programming language · See more »
Programming Language Design and Implementation
Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences.
New!!: SIGPLAN and Programming Language Design and Implementation · See more »
Proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
New!!: SIGPLAN and Proof assistant · See more »
Radhia Cousot
Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation.
New!!: SIGPLAN and Radhia Cousot · See more »
Ralph Johnson (computer scientist)
Ralph E. Johnson is a Research Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign.
New!!: SIGPLAN and Ralph Johnson (computer scientist) · See more »
Robert Harper (computer scientist)
Robert William "Bob" Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research.
New!!: SIGPLAN and Robert Harper (computer scientist) · See more »
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
New!!: SIGPLAN and Robin Milner · See more »
Rod Burstall
Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.
New!!: SIGPLAN and Rod Burstall · See more »
Satisfiability modulo theories
In computer science and mathematical logic, the satisfiability modulo theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.
New!!: SIGPLAN and Satisfiability modulo theories · See more »
Shriram Krishnamurthi
Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development group for the Racket programming languages, responsible for the creation of software packages including the Debugger, the FrTime package, and the networking library.
New!!: SIGPLAN and Shriram Krishnamurthi · See more »
Simon Marlow
Simon Marlow is a British computer programmer, author, and co-developer of the Glasgow Haskell Compiler (GHC).
New!!: SIGPLAN and Simon Marlow · See more »
Simon Peyton Jones
Simon Peyton Jones (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming.
New!!: SIGPLAN and Simon Peyton Jones · See more »
Special Interest Group
A Special Interest Group (SIG) is a community within a larger organization with a shared interest in advancing a specific area of knowledge, learning or technology where members cooperate to affect or to produce solutions within their particular field, and may communicate, meet, and organize conferences.
New!!: SIGPLAN and Special Interest Group · See more »
SPLASH (conference)
SPLASH is a programming language-related conference held since 2011, sponsored by the SIGPLAN special interest group of the Association for Computing Machinery (ACM).
New!!: SIGPLAN and SPLASH (conference) · See more »
Symposium on Principles and Practice of Parallel Programming
PPoPP, the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, is an academic conference in the field of parallel programming.
New!!: SIGPLAN and Symposium on Principles and Practice of Parallel Programming · See more »
Symposium on Principles of Programming Languages
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces.
New!!: SIGPLAN and Symposium on Principles of Programming Languages · See more »
Thomas W. Reps
Thomas W. Reps (born 28 May 1956, United States) is an American computer scientist known for his contributions to automatic program analysis.
New!!: SIGPLAN and Thomas W. Reps · See more »
Tony Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.
New!!: SIGPLAN and Tony Hoare · See more »
Xavier Leroy
Xavier Leroy (born March 15, 1968) is a French computer scientist and programmer.
New!!: SIGPLAN and Xavier Leroy · See more »
Redirects here:
ACM SIGPLAN, ACM SIGPLAN Notices, ACM SIGPLAN Programming Languages Software Award, Programming Languages Software Award, SIGPLAN Notices, SIGPLAN Programming Languages Software Award.
References
[1] https://en.wikipedia.org/wiki/SIGPLAN
