ACMの過去25年間の Software System Award に輝いたシステムを題材にした記事を募集します。
投稿予定の方は、購読ボタンを押してください。よろしくお願いします。
記事をお読みになられたら、Calendarにあってもいいかなって記事には、いいね💚 をお願いします。
year | system | designer |
---|---|---|
1998 | THE S SYSTEM | John M. Chambers |
1999 | APACHE | Brian Behlendorf, Roy Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson |
2001 | SPIN | Gerard Holzmann |
2002 | JAVA | James Gosling |
2003 | MAKE | Stuart Feldman |
2004 | SECURE NETWORK PROGRAMMING | |
2005 | THE BOYER-MOORE THEOREM PROVER | Robert S. Boyer, Matt Kaufmann, J Strother Moore |
2006 | EIFFEL | Bertrand Meyer |
2007 | STATEMATE | David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Mark Trakhtenbrot, Aron Trauring |
2008 | THE GAMMA PARALLEL DATABASE SYSTEM | David DeWitt, Robert Gerber, Murali Krishna, Donovan Schneider, Shahram Ghandeharizadeh, Goetz Graefe, Michael Heytens, Hui-I Hsiao, Jeffrey Naughton, Anoop Sharma |
2009 | VMWARE WORKSTATION FOR LINUX 1.0 | Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang |
2010 | GROUPLENS COLLABORATIVE FILTERING RECOMMENDER SYSTEMS | Peter Bergstrom, Lee R. Gordon, Jonathan L. Herlocker, Neophytos Iacovou, Joseph A. Konstan, Shyong (Tony) K. Lam, David Maltz, Sean M. McNee, Bradley N. Miller, Paul J. Resnick, John T. Riedl, Mitesh Suchak |
2011 | Eclipse | Greg Adams, John Duimovich, Erich Gamma, Kevin Haaland, Julian Jones, Philippe Mulet, Steve Northover, Dave Thomson and John Weigand: |
2012 | LLVM | Vikram S. Adve, Evan Cheng and Chris Lattner |
2013 | Coq | Thierry Coquand, Gérard Pierre Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot and Pierre Castéran |
2014 | Mach | Rick Rashid of Micro- soft and Avadis (Avie) Tevanian2015 |
2016 | Andrew File System (AFS) | Mahadev Satyanarayanan, Michael L. Kazar, Robert N. Sidebotham, David A. Nichols, Michael J. West, John H. Howard, Alfred Z. Spector and Sherri M. Nichols |
2017 | Jupyter | Fernando Pérez, Brian E. Granger, Min Ragan-Kelley, Paul Ivanov, Thomas Kluyver, Jason Grout, Matthias Bussonnier, Damián Avila, Steven Silvester, Jonathan Frederic, Kyle Kelley, Jessica Hamrick, Carol Willing, Sylvain Corlay and Peter Parente (members of the Project Jupyter Steering Council), |
2018 | Wireshark | Gerald C. Combs2019 |
2021 | CompCert | Xavier Leroy, Collège de France; Sandrine Blazy, University of Rennes 1, IRISA; Zaynah Dargaye, Nomadic Labs; Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles; Michael Schmidt, AbsInt Angewandte Informatik; Bernhard Schommer, Saarland University, and AbsInt Angewandte Informatik GmbH; and Jean-Baptiste Tristan, Boston College, |
2022 | seL4 high-assurance microkernel | Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois |
2023 | MINIX | Andrew S. Tanenbaum |
どれか一つの話題でも、複数の話題でも結構です。
下記記事のように、25システム中、15システムに言及している自己記事一覧でもO.K.
あなたは、Qiitaでいくつのシステムについて言及していますか?
ACM Software System Award Calendar 2024開催します。
https://qiita.com/kaizen_nagoya/items/7a5881d58e95667e7397