„Programming Languages Software Award“ – Versionsunterschied
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Preisträger 2019 ergänzt →Preisträger |
|||
| (5 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
Der '''Programming Languages Software Award''' von [[Association for Computing Machinery|ACM]] SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen. Er ist mit 2500 Dollar dotiert und wird an Institutionen oder Einzelpersonen verliehen. Der Preis wird auf der PLDI |
Der '''Programming Languages Software Award''' von [[Association for Computing Machinery|ACM]] SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen. Er ist mit 2500 Dollar dotiert und wird an Institutionen oder Einzelpersonen verliehen. Der Preis wird auf der PLDI-Konferenz verliehen (PLDI für Programming Language Design and Implementation). |
||
==Preisträger== |
== Preisträger == |
||
*2010 [[LLVM]] Compiler Infrastruktur, der Preis ging an [[Chris Lattner]] |
* 2010 [[LLVM]] Compiler Infrastruktur, der Preis ging an [[Chris Lattner]] |
||
*2011 [[Glasgow Haskell Compiler]] (GHC) für die Programmiersprache [[Haskell (Programmiersprache)|Haskell]], den Preis empfingen [[Simon Peyton Jones]], [[Simon Marlow]] |
* 2011 [[Glasgow Haskell Compiler]] (GHC) für die Programmiersprache [[Haskell (Programmiersprache)|Haskell]], den Preis empfingen [[Simon Peyton Jones]], [[Simon Marlow]] |
||
*2012 [[Jikes Research Virtual Machine]] (RVM), ein virtueller Computer, der in Java geschrieben wurde und Open Source ist und auf dem Java-Programme laufen. |
* 2012 [[Jikes Research Virtual Machine]] (RVM), ein virtueller Computer, der in Java geschrieben wurde und Open Source ist und auf dem Java-Programme laufen. |
||
*2013 [[Coq (Software)|Coq]] |
* 2013 [[Coq (Software)|Coq]] |
||
*2014 [[GNU Compiler Collection]] (GCC) |
* 2014 [[GNU Compiler Collection]] (GCC) |
||
*2015 [[Z3 Theorem Prover]] von Microsoft |
* 2015 [[Z3 Theorem Prover]] von [[Microsoft]] |
||
*2016 [[V8 (JavaScript-Implementierung)|V8 JavaScript Engine]] |
* 2016 [[V8 (JavaScript-Implementierung)|V8 JavaScript Engine]] |
||
*2018 [[Racket (Programmiersprache)|Racket]] |
* 2018 [[Racket (Programmiersprache)|Racket]] |
||
*2019 [[Scala (Programmiersprache)|Scala]] |
* 2019 [[Scala (Programmiersprache)|Scala]] |
||
* 2020 [[Pin (Computerprogramm)|Pin]] von [[Intel]] |
|||
* 2021 [[WebAssembly]] |
|||
* 2022 [[CompCert]] |
|||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
[[Kategorie:Auszeichnung der Association for Computing Machinery]] |
[[Kategorie:Auszeichnung der Association for Computing Machinery]] |
||
[[Kategorie:Erstverleihung 2010]] |
|||
Aktuelle Version vom 6. Juli 2022, 21:53 Uhr
Der Programming Languages Software Award von ACM SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen. Er ist mit 2500 Dollar dotiert und wird an Institutionen oder Einzelpersonen verliehen. Der Preis wird auf der PLDI-Konferenz verliehen (PLDI für Programming Language Design and Implementation).
Preisträger
[Bearbeiten | Quelltext bearbeiten]- 2010 LLVM Compiler Infrastruktur, der Preis ging an Chris Lattner
- 2011 Glasgow Haskell Compiler (GHC) für die Programmiersprache Haskell, den Preis empfingen Simon Peyton Jones, Simon Marlow
- 2012 Jikes Research Virtual Machine (RVM), ein virtueller Computer, der in Java geschrieben wurde und Open Source ist und auf dem Java-Programme laufen.
- 2013 Coq
- 2014 GNU Compiler Collection (GCC)
- 2015 Z3 Theorem Prover von Microsoft
- 2016 V8 JavaScript Engine
- 2018 Racket
- 2019 Scala
- 2020 Pin von Intel
- 2021 WebAssembly
- 2022 CompCert