SIGPLAN é um Grupo de Interesse Especial (Special Interest Group) em linguagens de programação da Association for Computing Machinery[1].

Conferências

editar

Newsletters

editar

Prêmios

editar

Programming Languages Achievement Award:

SIGPLAN Doctoral Dissertation Award:

  • 2001: Rastislav Bodik
  • 2002: Michael Hicks
  • 2003: Godmar Back
  • 2005: Sumit Gulwani
  • 2006: Xiangyu Zhang
  • 2007: Swarat Chaudhuri
  • 2008: Michael Bond and Viktor Vafeiadis
  • 2009: Akash Lai and William Thies

SIGPLAN Distinguished Service Award:

Most Influential PLDI Paper Award:

Most Influential POPL Paper Award:

  • 2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli e Andrew D. Gordon
  • 2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers
  • 2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, e Neal Glew
  • 2007 (for 1997): Proof-carrying Code, George Necula
  • 2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard
  • 2005 (for 1995): A Language with Distributed Scope, Luca Cardelli
  • 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, Mads Tofte e Jean-Pierre Talpin
  • 2003 (for 1993): Imperative functional programming, Simon Peyton Jones e Philip Wadler

Most Influential OOPSLA Paper Award:

  • 2009 (for 1999): Implementing Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, e Stephen Smith
  • 2008 (for 1998): Ownership Types for Flexible Alias Protection, David G. Clarke, John M. Potter, e James Noble
  • 2007 (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg DeFouw, Jeffrey Dean, e Craig Chambers
  • 2006 (for 1986-1996):
    • Subject Oriented Programming: A Critique of Pure Objects, William Harrison e Harold Ossher
    • Concepts and Experiments in Computational Reflection, Pattie Maes
    • Self: The Power of Simplicity, David Ungar e Randall B. Smith

Most Influential ICFP Paper Award:

  • 2009 (for 1999): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace e Colin Runciman
  • 2008 (for 1998): Cayenne — a language with dependent types, Lennart Augustsson
  • 2007 (for 1997): Functional Reactive Animation, Conal Elliott e Paul Hudak
  • 2006 (for 1996): Optimality and inefficiency: what isn't a cost model of the lambda calculus?, Julia L. Lawall e Harry G. Mairson

Referências

  1. MUELLER, Frank (ed.); BESTAVROS, Azer (ed.) (1999). Languages, Compilers, and Tools for Embedded Systems. ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings (Lecture Notes in Computer Science) (em inglês). Nova York: Springer. 260 páginas. ISBN 978-3540650751 

Ligações externas

editar

📚 Artikel Terkait di Wikipedia

Coq

Seu trabalho levou ao desenvolvimento do pacote SSReflect ("Small Scale Reflection"), que foi uma extensão significativa para o Rocq. Apesar do nome, a maioria

Dmitry Mirimanoff

André em futuras impressões do volume 1 de sua monografia The Art of Computer Programming. Jean A. Mirimanoff. Correspondência privada com Anton Lokhmotov

Retropropagação

Rodríguez, Omar Hernández; López Fernández, Jorge M. (2010). «A Semiotic Reflection on the Didactics of the Chain Rule». The Mathematics Enthusiast. 7 (2):

James Stockdale

Grace Murray Hopper, USN, famed inventor, and developer of COBOL computer programming language, receives the Academy's Golden Plate Award from Admiral

Raiz primitiva módulo n

root]." (sequência A010554 na OEIS) Donald E. Knuth, The Art of Computer Programming, vol. 2: Seminumerical Algorithms, 3rd edition, section 4.5.4, p

Teoria da argumentação

22 Number 2 (2008) 235-250. Loui, Ronald P. (2006). «A Citation-Based Reflection on Toulmin and Argument». In: Hitchcock, David; Verheij, Bart. Arguing