Bracha, Gilad

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 5 november 2021; kontroller kräver 3 redigeringar .

Gilad Bracha
engelsk  Gilad Bracha
Land	USA
Vetenskaplig sfär	Objektorienterad strategi
Arbetsplats	Tensyr Inc.
Alma mater	University of Utah
vetenskaplig rådgivare	Gary Lindström [d]
Känd som	Han har gjort betydande bidrag till ämnen relaterade till objektorientering , inklusive mixins , Java generics , Strongtalk och Newspeak [1] .
Utmärkelser och priser	Dahl-Nyugora-priset
Hemsida	bracha.org
Mediafiler på Wikimedia Commons

Gilad Bracha är programmerare och vetenskapsman . _  _ Känd som skaparen av programmeringsspråket Newspeak . Han tilldelades Dahl-Nyugor-priset .

Biografi

Fick en kandidatexamen i matematik och datavetenskap från universitetet. Ben-Gurion och en doktorsexamen från University of Utah [2] [3] .

Han är en av utvecklarna av programmeringsspråket Strongtalk . 1994-1997 arbetade han på Animorphic Systems [4] . 1997 förvärvade Sun Microsystems Animorphic Systems och Gilad Bracha fortsatte sitt arbete på företaget. Tillsammans med andra forskare utvecklade han specifikationen för Java-språket och den virtuella Java- maskinen [5] . Officiell tjänst vid den tiden - beräkningsteolog och ledande ingenjör [3]

2006-2009 Lead Engineer på Cadence Design Systems . Under denna tid utvecklade han programmeringsspråket Newspeak .

Sedan VP för SAP Labs i Palo Alto . Från 2011-2017 arbetade han på Google , där han ledde teamet som utvecklade specifikationen för programmeringsspråket Dart [6] .

Sedan 2017 mjukvaruutvecklare på Tensyr. Sedan 2019 Lead Engineer på Shape Security [2] .

Bidrag

I sitt arbete 1998 föreslog han att introducera generika [7] . De tillåter typer att vara parametrar när klasser, typer och metoder definieras, vilket gör att fel kan fångas vid kompileringstillfället. De är " syntaktisk socker " - efter sammanställning raderas all information om generika. Lades till i JSE 5.0 [8] .

Bracha föreslog att man skulle göra valet av typsystem oberoende av valet av språk – typsystemet skulle vara en modul som kan "pluggas in" i språket efter behov. Han menar att det obligatoriska typsystemet gör språken mindre uttrycksfulla och koden mer spröd. Kravet på att typer inte påverkar språkets semantik är svårt att uppfylla, till exempel är konstruktioner som typbaserad överbelastning förbjudna. [9]

Som tänkt av Brach , var Newspeak tänkt att ha fyra funktioner: modularitet , säkerhet , reflektion , kompatibilitet [10] .

Proceedings

Enligt Scopus- databasen har han 19 papper. Hirsch-indexet är 13 [11] .

Böcker

• Bracha G. The Dart Programming Language. - Addison-Wesley, 2015. - 224 sid. — ISBN 978-0321927705 .

Artiklar

• Bracha G., Cook W. Mixin-baserat arv  //  ACM Sigplan Notices. - 1990. - Vol. 25 , nr. 10 .
• Bracha G., Lindstrom G. Modularity Meets Inheritance  //  IEEE International Conference on Computer Languages. - 1992. - April.
• Bracha G., Odersky M., Stoutamire D., Wadler P. Att göra framtiden säker för det förflutna: lägga till genericitet till programmeringsspråket Java  //  OOPSLA '98. — 1998.
• M. Torgersen, C.P. Hansen, E. Ernst, Peter von der Ahé, G. Bracha, N. Gafter. Lägga till jokertecken till Java-programmeringsspråket  //  Journal of Object Technology. - 2004. - Vol. 3 , nr. 11 .
• Bracha G., Ungar D. Mirrors: Designprinciper för meta-nivå faciliteter för objektorienterade programmeringsspråk  (engelska)  // 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04. – 2004.
• Bracha G. Pluggable Type Systems  //  OOPSLA04 Workshop om återupplivande av dynamiska språk. – 2004.
• Bracha G. Executable Grammars in Newspeak  //  Electronic Notes on Theoretical Computer Science. - 2007. - Nej . 10 . - S. 3-18 .
• Bracha G., Peter von der Ah´, Bykov V., Kashai Y., Maddox W., Miranda E. Modules as objects in newspeak  //  Lecture Notes in Computer Science (inklusive underserien Lecture Notes in Artificial Intelligence och Lecture Notes in Bioinformatics ). — 2010.

Anteckningar

1. ↑ Vinnare av Dahl-Nyugora-priset 2017 . Hämtad 7 augusti 2020. Arkiverad från originalet 5 mars 2020. (obestämd)
2. ↑ 1 2 Shape Security. Programmeringsspråkspionjär Gilad Bracha går med i Shape  Security . www.prnewswire.com . Hämtad 22 augusti 2020. Arkiverad från originalet 11 augusti 2020.
3. ↑ 1 2 Bio Blurb . bracha.org . Hämtad 22 augusti 2020. Arkiverad från originalet 31 oktober 2020. (obestämd)
4. ↑ Historia av Strongtalk-projektet . Smalltalk på ryska . Tillträdesdatum: 22 augusti 2020. (ryska)
5. ↑ Java SE -specifikationer  . docs.oracle.com . Hämtad 22 augusti 2020. Arkiverad från originalet 13 januari 2012.
6. ↑ Google I/O 101: Frågor och svar om Introduktion till Dart med Gilad Bracha
7. ↑ GJ: Dokumentation . homepages.inf.ed.ac.uk . Hämtad 22 augusti 2020. Arkiverad från originalet 26 februari 2021. (obestämd)
8. ↑ Java generics i teorin eller hur man sätter parenteser i praktiken . JavaRush . Hämtad 22 augusti 2020. Arkiverad från originalet 15 maj 2021. (obestämd)
9. ↑ Bracha G. Pluggbara  typsystem . researchgate.net . Konferens: OOPSLA'04 Workshop on Revival of Dynamic Languages ​​(januari 2004).
10. ↑ Laurence Tratt, Adam Welc. En intervju med Gilad Bracha  // IEEE Software. — 2014-09. - T. 31 , nej. 5 . — s. 76–79 . — ISSN 1937-4194 . - doi : 10.1109/MS.2014.109 .
11. ↑ Scopus förhandsvisning - Scopus - information om författaren (Bracha, Gilad) . www.scopus.com . Tillträdesdatum: 22 augusti 2020. (obestämd)

Länkar

• Gilad Bracha LinkedIn
• Gilad Bracha ResearchGate