SORT :
| Name | Year | Citation | In the ACM DL |
|---|---|---|---|
| Adams, Greg | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Adve, Vikram | 2012 | For designing and implementing LLVM, a persistent, language-independent program representation that enables code analysis and transformation, including compile time, link time, and run time optimizations, for arbitrary languages. Since its open source release in 2003, LLVM has become widely used in both commercial products and for computer science research. |
|
| Andreessen, Marc | 1995 | Marc Andreessen, Eric Bina For developing a multi-platform browsing tool for the World Wide Web. | |
| Barras, Bruno | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. | |
| Behlendorf, Brian | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. |
|
| Bergstrom, Peter | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Berners-Lee, Tim | 1995 | Tim Berners-Lee, Robert Cailliau For developing a network-oriented hypermedia system capable of operating over the global internet. |
|
| Bertot, Yves | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. |
|
| Bina, Eric | 1995 | Marc Andreessen, Eric Bina For developing a multi-platform browsing tool for the World Wide Web. |
|
| Bindignavle, Raghuram | 2004 | Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo "For inventing secure sockets and prototyping the first secure sockets layer (named SNP - Secure Network Programming) as a high-level abstraction suitable for securing Internet applications." |
|
| Birrell, Andrew | 1994 | Andrew Birrell, Bruce Nelson Lupine, the Remote Procedure Call (RPC) system in the Cedar Project, showed that the RPC programming paradigm, described in previous theoretical work, was indeed practical and effective. Key innovations included automatic compiled stubs, dynamic type-safe binding and exception-handling support, and RPC runtime protocols. This system work has ushered in many distributed system services and is continuing to be used to develop large distributed applications in some specialized areas. |
|
| Bobrow, Daniel | 1992 | Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald M. Kaplan, Larry Masinter, Warren Teitelman For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysis/profiling tools in the Interlisp system. |
|
| Boyer, Robert S | 2005 | For pioneering and engineering a most effective theorem prover (named the Boyer-Moore Theorem Prover) as a formal methods tool for verifying safety-critical hardware and software. |
|
| Bricklin, Daniel S | 1985 | Daniel Bricklin, Robert Frankston For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing in industry. |
|
| Brotz, Douglas K | 1989 | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock For the design of PostScript page description language and its implementation. |
|
| Bugnion, Edouard | 2009 | For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology. |
|
| Burton, Richard R | 1992 | Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald M. Kaplan, Larry Masinter, Warren Teitelman For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysis/profiling tools in the Interlisp system. |
|
| Cailliau, Robert | 1995 | Tim Berners-Lee, Robert Cailliau For developing a network-oriented hypermedia system capable of operating over the global internet. |
|
| Castéran, Pierre | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. | |
| Cerf, Vinton | 1991 | Vinton G. Cerf, Robert E. Kahn For their vision and leadership in the design, implementation, evolution, and dissemination of the TCP/IP Computer Communication Protocol Suite. |
|
| Chamberlin, Donald | 1988 | Donald Chamberlin, James Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Chambers, John M. | 1998 | John M. Chambers For The S system, which has forever altered how people analyze, visualize, and manipulate data. |
|
| Cheng, Evan | 2012 | For designing and implementing LLVM, a persistent, language-independent program representation that enables code analysis and transformation, including compile time, link time, and run time optimizations, for arbitrary languages. Since its open source release in 2003, LLVM has become widely used in both commercial products and for computer science research. | |
| Coquand, Thierry | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. |
|
| Deutsch, L Peter | 1992 | Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald M. Kaplan, Larry Masinter, Warren Teitelman For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysis/profiling tools in the Interlisp system. |
|
| Devine, Scott | 2009 | For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology. |
|
| DeWitt, David | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Duimovich, John | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Engelbart, Douglas | 1990 | Douglas C. Engelbart, William K. English, Jeff Rulifson For their pioneering work on augmenting human intellect with hypertext, outline processors, and video conferencing that was implemented in the NLS System [On Line System] (1968). |
|
| English, William K. | 1990 | Douglas C. Engelbart, William K. English, Jeff Rulifson For their pioneering work on augmenting human intellect with hypertext, outline processors, and video conferencing that was implemented in the NLS System [On Line System] (1968). |
|
| Feldman, Stuart | 2003 | Stuart Feldman "For MAKE -- there is probably no large software system in the world today that has not been processed by a version or offspring of MAKE." |
|
| Fielding, Roy T. | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. |
|
| Filliâtre, Jean-Christophe | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. |
|
| Frankston, Robert | 1985 | Daniel Bricklin, Robert Frankston For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing in industry. |
|
| Gamma, Erich | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Gerber, Robert | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Geschke, Charles M | 1989 | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock For the design of PostScript page description language and its implementation. |
|
| Ghandeharizadeh, Shahram | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Goldberg, Adele | 1987 | Adele Goldberg, Daniel H.H. Ingalls, Jr., Alan C. Kay For seminal contributions to object-oriented programming languages and related programming techniques. The theories of languages and development systems known as "Smalltalk" laid the foundation for explorations in new software methodologies, graphical user interface designs, and forms of on-line assistance to the software development process. |
|
| Gordon, Lee R | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Gosling, James | 2002 | James A. Gosling "For the Java programming language and the Java run-time system." |
|
| Graefe, Goetz | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Gray, Jim | 1988 | Donald Chamberlin, James Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Haaland, Kevin | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Harel, David | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Hartill, Rob | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. | |
| Held, Gerald | 1988 | Gerald Held, Michael Stonebraker, Eugene Wong The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Herbelin, Hugo | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. |
|
| Herlocker, Jonathan L | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Heytens, Michael L | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Holzmann, Gerard J. | 2001 | Gerard Holzmann "For SPIN, a highly successful and widely used software model-checking system based on "formal methods" from Computer Science. It has made advanced theoretical verification methods applicable to large and highly complex software systems." |
|
| Hsiao, Hui-I | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Huet, Gerard P | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. |
|
| Iacovou, Neophytos | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Ingalls, Daniel H.H. | 1987 | Adele Goldberg, Daniel H.H. Ingalls, Jr., Alan C. Kay For seminal contributions to object-oriented programming languages and related programming techniques. The theories of languages and development systems known as "Smalltalk" laid the foundation for explorations in new software methodologies, graphical user interface designs, and forms of on-line assistance to the software development process. | |
| Jones, Julian | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Kahn, Robert E | 1991 | Vinton G. Cerf, Robert E. Kahn For their vision and leadership in the design, implementation, evolution, and dissemination of the TCP/IP Computer Communication Protocol Suite. |
|
| Kaplan, Ronald M. | 1992 | Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald M. Kaplan, Larry Masinter, Warren Teitelman For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysis/profiling tools in the Interlisp system. |
|
| Kaufmann, Matt | 2005 | For pioneering and engineering a most effective theorem prover (named the Boyer-Moore Theorem Prover) as a formal methods tool for verifying safety-critical hardware and software. |
|
| Kay, Alan | 1987 | Adele Goldberg, Daniel H.H. Ingalls, Jr., Alan C. Kay For seminal contributions to object-oriented programming languages and related programming techniques. The theories of languages and development systems known as "Smalltalk" laid the foundation for explorations in new software methodologies, graphical user interface designs, and forms of on-line assistance to the software development process. |
|
| Knuth, Donald E | 1986 | Donald E. Knuth For the design and implementation of TeX, an innovative tool for the computer composition of documents of high typographical quality. |
|
| Konstan, Joseph A | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Krishna, Murali | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Lachover, Hagi | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Lam, Shyong K. | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Lam, Simon | 2004 | Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo "For inventing secure sockets and prototyping the first secure sockets layer (named SNP - Secure Network Programming) as a high-level abstraction suitable for securing Internet applications." |
|
| Lampson, Butler W | 1984 | Butler W. Lampson, Robert W. Taylor, Charles P. Thacker For conceiving and guiding the development of the Xerox Alto System, which clearly demonstrates that a distributed personal computer system could provide a desirable and practical alternative to time-sharing. |
|
| Lattner, Chris | 2012 | For designing and implementing LLVM, a persistent, language-independent program representation that enables code analysis and transformation, including compile time, link time, and run time optimizations, for arbitrary languages. Since its open source release in 2003, LLVM has become widely used in both commercial products and for computer science research. |
|
| Lorie, Raymond A | 1988 | Donald Chamberlin, James Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Maltz, David | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Masinter, Larry M | 1992 | Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald M. Kaplan, Larry Masinter, Warren Teitelman For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysis/profiling tools in the Interlisp system. |
|
| McNee, Sean | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Meyer, Bertrand | 2006 | For designing and developing the Eiffel programming language, method and environment, embodying the Design by Contract approach to software development and other features that facilitate the construction of reliable, extendible and efficient software. |
|
| Miller, Bradley N | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Moore, J Strother | 2005 | For pioneering and engineering a most effective theorem prover (named the Boyer-Moore Theorem Prover) as a formal methods tool for verifying safety-critical hardware and software. |
|
| Mulet, Philippe | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Murthy, Chetan | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. | |
| Naamad, Amnon | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Naughton, Jeffrey F | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Nelson, Bruce | 1994 | Andrew Birrell, Bruce Nelson Lupine, the Remote Procedure Call (RPC) system in the Cedar Project, showed that the RPC programming paradigm, described in previous theoretical work, was indeed practical and effective. Key innovations included automatic compiled stubs, dynamic type-safe binding and exception-handling support, and RPC runtime protocols. This system work has ushered in many distributed system services and is continuing to be used to develop large distributed applications in some specialized areas. | |
| Northover, Steve | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Ousterhout, John K | 1997 | John Ousterhout For the Tcl scripting language which allows developers to create complex systems from pre-existing components. The embedded Tk provides a simple mechanism for creating graphical user interfaces. Together they make a powerful addition to the software repertoire. |
|
| Paulin-Mohring, Christine | 2013 | For the Coq Proof Assistant System that provides interactive software for the development of formal proofs, using a powerful logic known as the Calculus of Inductive Constructions. |
|
| Paxton, William H. | 1989 | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock For the design of PostScript page description language and its implementation. |
|
| Pnueli, Amir | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Politi, Michal | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Putzolu, Gianfranco | 1988 | Donald Chamberlin, James Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Resnick, Paul J | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Riedl, John T | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Ritchie, Dennis M. | 1983 | Dennis M. Ritchie, Ken Thompson For their development of generic operating systems theory and specifically for the implementation of the Unix operating system. |
|
| Robinson, David | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. |
|
| Rosenblum, Mendel | 2009 | For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology. |
|
| Rulifson, Jeff | 1990 | Douglas C. Engelbart, William K. English, Jeff Rulifson For their pioneering work on augmenting human intellect with hypertext, outline processors, and video conferencing that was implemented in the NLS System [On Line System] (1968). |
|
| Schneider, Donovan A | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Selinger, Patricia | 1988 | Donald Chamberlin, James Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. | |
| Sharma, Anoop | 2008 | For Gamma, the first embodiment of a parallel, "shared nothing" database system running on a cluster of commodity computers, using data partitioning and innovative parallel query execution strategies. |
|
| Sherman, Rivi | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Skolnick, Cliff | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. | |
| Stonebraker, Michael | 1988 | Gerald Held, Michael Stonebraker, Eugene Wong The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Su, Shaowen | 2004 | Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo "For inventing secure sockets and prototyping the first secure sockets layer (named SNP - Secure Network Programming) as a high-level abstraction suitable for securing Internet applications." |
|
| Suchak, Mitesh | 2010 | For the GroupLens Collaborative Filtering Recommender Systems, which showed how to automate the process by which a distributed set of users could receive personalized recommendations by sharing ratings, leading to both commercial products and extensive research. |
|
| Sugerman, Jeremy | 2009 | For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology. |
|
| Sutherland, Ivan | 1993 | Ivan Sutherland For his pioneering and visionary contributions to computer graphics, starting with Sketchpad, and continuing after. Sketchpad, though written twenty-five years ago, introduced many techniques still important today. These include a display file for screen refresh, a recursively traversed hierarchical structure for modeling graphical objects, recursive methods for geometric transformations, and an object-oriented programming style. Later innovations include a "Lorgnette" for viewing stereo or colored images, and elegant algorithms for registering digitized views, clipping polygons, and representing surfaces with hidden lines. |
|
| Taft, Edward A. | 1989 | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock For the design of PostScript page description language and its implementation. |
|
| Taylor, Robert W | 1984 | Butler W. Lampson, Robert W. Taylor, Charles P. Thacker For conceiving and guiding the development of the Xerox Alto System, which clearly demonstrates that a distributed personal computer system could provide a desirable and practical alternative to time-sharing. |
|
| Teitelman, Warren | 1992 | Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald M. Kaplan, Larry Masinter, Warren Teitelman For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysis/profiling tools in the Interlisp system. |
|
| Terbush, Randy | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. | |
| Thacker, Charles P | 1984 | Butler W. Lampson, Robert W. Taylor, Charles P. Thacker For conceiving and guiding the development of the Xerox Alto System, which clearly demonstrates that a distributed personal computer system could provide a desirable and practical alternative to time-sharing. |
|
| Thau, Robert S. | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. |
|
| Thompson, Kenneth Lane | 1983 | Dennis M. Ritchie, Ken Thompson For their development of generic operating systems theory and specifically for the implementation of the Unix operating system. |
|
| Thomson, Dave | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. |
|
| Traiger, Irv | 1988 | Donald Chamberlin, James Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Trakhtenbrot, Mark | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Trauring, Aron | 2007 | For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation. |
|
| Wang, Ellen | 2009 | For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology. |
|
| Warnock, John | 1989 | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock For the design of PostScript page description language and its implementation. |
|
| Weigand, John | 2011 | For the Eclipse platform and its visionary design of a universal IDE (integrated Development Environment) which provides developers with an extensible platform for application development tools, fostering an impressive world-wide open source software development community. | |
| Wilson, Andrew | 1999 | Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson Apache is a hugely popular Webserver that is freeware and has been adopted by millions of sites. Because its source code was available, this high quality server has allowed research on Web service to develop and gain credibility in the commercial world. |
|
| Wong, Eugene | 1988 | Gerald Held, Michael Stonebraker, Eugene Wong The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. |
|
| Woo, Thomas Y. C. | 2004 | Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo "For inventing secure sockets and prototyping the first secure sockets layer (named SNP - Secure Network Programming) as a high-level abstraction suitable for securing Internet applications." |
|