SORT :

Name Year Citation In the ACM DL
Adams, Greg 2011 Eclipse
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.
ACM DL Author Profile
Adve, Vikram 2012 LLVM
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.
ACM DL Author Profile
Andreessen, Marc 1995 NCSA Mosaic
Marc Andreessen, Eric Bina For developing a multi-platform browsing tool for the World Wide Web.
Barras, Bruno 2013 Coq
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 Apache
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.
ACM DL Author Profile
Bergstrom, Peter 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Berners-Lee, Tim 1995 World-Wide Web
Tim Berners-Lee, Robert Cailliau For developing a network-oriented hypermedia system capable of operating over the global internet.
ACM DL Author Profile
Bertot, Yves 2013 Coq
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.
ACM DL Author Profile
Bina, Eric 1995 NCSA Mosaic
Marc Andreessen, Eric Bina For developing a multi-platform browsing tool for the World Wide Web.
ACM DL Author Profile
Bindignavle, Raghuram 2004 Secure Network Programming
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."
ACM DL Author Profile
Birrell, Andrew 1994 Remote Procedure Call
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.
ACM DL Author Profile
Bobrow, Daniel 1992 Interlisp
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.
ACM DL Author Profile
Boyer, Robert S 2005 The Boyer-Moore Theorem Prover
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.
ACM DL Author Profile
Bricklin, Daniel S 1985 VisiCalc
Daniel Bricklin, Robert Frankston For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing in industry.
ACM DL Author Profile
Brotz, Douglas K 1989 PostScript
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.
ACM DL Author Profile
Bugnion, Edouard 2009 VMware Workstation for Linux 1.0
For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology.
ACM DL Author Profile
Burton, Richard R 1992 Interlisp
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.
ACM DL Author Profile
Cailliau, Robert 1995 World-Wide Web
Tim Berners-Lee, Robert Cailliau For developing a network-oriented hypermedia system capable of operating over the global internet.
ACM DL Author Profile
Castéran, Pierre 2013 Coq
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 TCP/IP
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.
ACM DL Author Profile
Chamberlin, Donald 1988 System R
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.
ACM DL Author Profile
Chambers, John M. 1998 The S System
John M. Chambers For The S system, which has forever altered how people analyze, visualize, and manipulate data.
ACM DL Author Profile
Cheng, Evan 2012 LLVM
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 Coq
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.
ACM DL Author Profile
Deutsch, L Peter 1992 Interlisp
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.
ACM DL Author Profile
Devine, Scott 2009 VMware Workstation for Linux 1.0
For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology.
ACM DL Author Profile
DeWitt, David 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Duimovich, John 2011 Eclipse
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.
ACM DL Author Profile
Engelbart, Douglas 1990 NLS
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).
ACM DL Author Profile
English, William K. 1990 NLS
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).
ACM DL Author Profile
Feldman, Stuart 2003 MAKE
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."
ACM DL Author Profile
Fielding, Roy T. 1999 Apache
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.
ACM DL Author Profile
Filliâtre, Jean-Christophe 2013 Coq
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.
ACM DL Author Profile
Frankston, Robert 1985 VisiCalc
Daniel Bricklin, Robert Frankston For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing in industry.
ACM DL Author Profile
Gamma, Erich 2011 Eclipse
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.
ACM DL Author Profile
Gerber, Robert 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Geschke, Charles M 1989 PostScript
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.
ACM DL Author Profile
Ghandeharizadeh, Shahram 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Goldberg, Adele 1987 SMALLTALK
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.
ACM DL Author Profile
Gordon, Lee R 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Gosling, James 2002 Java
James A. Gosling "For the Java programming language and the Java run-time system."
ACM DL Author Profile
Graefe, Goetz 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Gray, Jim 1988 System R
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.
ACM DL Author Profile
Haaland, Kevin 2011 Eclipse
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.
ACM DL Author Profile
Harel, David 2007 Statemate
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.
ACM DL Author Profile
Hartill, Rob 1999 Apache
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 INGRES
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.
ACM DL Author Profile
Herbelin, Hugo 2013 Coq
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.
ACM DL Author Profile
Herlocker, Jonathan L 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Heytens, Michael L 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Holzmann, Gerard J. 2001 SPIN
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."
ACM DL Author Profile
Hsiao, Hui-I 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Huet, Gerard P 2013 Coq
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.
ACM DL Author Profile
Iacovou, Neophytos 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Ingalls, Daniel H.H. 1987 SMALLTALK
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 Eclipse
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.
ACM DL Author Profile
Kahn, Robert E 1991 TCP/IP
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.
ACM DL Author Profile
Kaplan, Ronald M. 1992 Interlisp
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.
ACM DL Author Profile
Kaufmann, Matt 2005 The Boyer-Moore Theorem Prover
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.
ACM DL Author Profile
Kay, Alan 1987 SMALLTALK
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.
ACM DL Author Profile
Knuth, Donald E 1986 TeX
Donald E. Knuth For the design and implementation of TeX, an innovative tool for the computer composition of documents of high typographical quality.
ACM DL Author Profile
Konstan, Joseph A 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Krishna, Murali 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Lachover, Hagi 2007 Statemate
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.
ACM DL Author Profile
Lam, Shyong K. 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Lam, Simon 2004 Secure Network Programming
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."
ACM DL Author Profile
Lampson, Butler W 1984 Xerox Alto System
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.
ACM DL Author Profile
Lattner, Chris 2012 LLVM
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.
ACM DL Author Profile
Lorie, Raymond A 1988 System R
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.
ACM DL Author Profile
Maltz, David 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Masinter, Larry M 1992 Interlisp
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.
ACM DL Author Profile
McNee, Sean M 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Meyer, Bertrand 2006 Eiffel
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.
ACM DL Author Profile
Miller, Bradley N 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Moore, J Strother 2005 The Boyer-Moore Theorem Prover
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.
ACM DL Author Profile
Mulet, Philippe 2011 Eclipse
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.
ACM DL Author Profile
Murthy, Chetan 2013 Coq
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 Statemate
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.
ACM DL Author Profile
Naughton, Jeffrey F 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Nelson, Bruce 1994 Remote Procedure Call
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 Eclipse
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.
ACM DL Author Profile
Ousterhout, John K 1997 Tcl/Tk
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.
ACM DL Author Profile
Paulin-Mohring, Christine 2013 Coq
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.
ACM DL Author Profile
Paxton, William H. 1989 PostScript
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.
ACM DL Author Profile
Pnueli, Amir 2007 Statemate
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.
ACM DL Author Profile
Politi, Michal 2007 Statemate
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.
ACM DL Author Profile
Putzolu, Gianfranco 1988 System R
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.
ACM DL Author Profile
Rashid, Rick 2014 Mach
For the design and engineering of the Mach operating system, whose innovative approaches to virtual memory management and microkernel architecture established a foundation for later operating systems on personal computers, tablets, and mobile phones.
ACM DL Author Profile
Resnick, Paul J 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Riedl, John T 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Ritchie, Dennis M. 1983 UNIX
Dennis M. Ritchie, Ken Thompson For their development of generic operating systems theory and specifically for the implementation of the Unix operating system.
ACM DL Author Profile
Robinson, David 1999 Apache
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.
ACM DL Author Profile
Rosenblum, Mendel 2009 VMware Workstation for Linux 1.0
For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology.
ACM DL Author Profile
Rulifson, Jeff 1990 NLS
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).
ACM DL Author Profile
Schneider, Donovan A 2008 The Gamma Parallel Database System
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.
ACM DL Author Profile
Selinger, Patricia 1988 System R
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 The Gamma Parallel Database System
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.
ACM DL Author Profile
Sherman, Rivi 2007 Statemate
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.
ACM DL Author Profile
Skolnick, Cliff 1999 Apache
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.
Stallman, Richard 2015 For the development and leadership of GCC (the GNU Compiler Collection), which has enabled extensive software and hardware innovation, and has been a lynchpin of the free software movement. ACM DL Author Profile
Stonebraker, Michael 1988 INGRES
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.
ACM DL Author Profile
Su, Shaowen 2004 Secure Network Programming
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."
ACM DL Author Profile
Suchak, Mitesh 2010 GroupLens Collaborative Filtering Recommender Systems
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.
ACM DL Author Profile
Sugerman, Jeremy 2009 VMware Workstation for Linux 1.0
For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology.
ACM DL Author Profile
Sutherland, Ivan 1993 Sketchpad
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.
ACM DL Author Profile
Taft, Edward A. 1989 PostScript
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.
ACM DL Author Profile
Taylor, Robert W 1984 Xerox Alto System
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.
ACM DL Author Profile
Teitelman, Warren 1992 Interlisp
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.
ACM DL Author Profile
Terbush, Randy 1999 Apache
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.
Tevanian, Avie 2014 Mach
For the design and engineering of the Mach operating system, whose innovative approaches to virtual memory management and microkernel architecture established a foundation for later operating systems on personal computers, tablets, and mobile phones.
ACM DL Author Profile
Thacker, Charles P 1984 Xerox Alto System
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.
ACM DL Author Profile
Thau, Robert S. 1999 Apache
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.
ACM DL Author Profile
Thompson, Kenneth Lane 1983 UNIX
Dennis M. Ritchie, Ken Thompson For their development of generic operating systems theory and specifically for the implementation of the Unix operating system.
ACM DL Author Profile
Thomson, Dave 2011 Eclipse
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.
ACM DL Author Profile
Traiger, Irv 1988 System R
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.
ACM DL Author Profile
Trakhtenbrot, Mark 2007 Statemate
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.
ACM DL Author Profile
Trauring, Aron 2007 Statemate
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.
ACM DL Author Profile
Wang, Ellen 2009 VMware Workstation for Linux 1.0
For VMware Workstation 1.0, bringing virtualization technology to the Linux desktop, and creating a vibrant industry and research area around the technology.
ACM DL Author Profile
Warnock, John 1989 PostScript
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.
ACM DL Author Profile
Weigand, John 2011 Eclipse
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 Apache
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.
ACM DL Author Profile
Wong, Eugene 1988 INGRES
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.
ACM DL Author Profile
Woo, Thomas Y. C. 2004 Secure Network Programming
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."
ACM DL Author Profile