Bracha, Gilad

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 5. november 2021; checks kræver 3 redigeringer .

Gilad Bracha
engelsk  Gilad Bracha
Land	USA
Videnskabelig sfære	Objektorienteret tilgang
Arbejdsplads	Tensyr Inc.
Alma Mater	University of Utah
videnskabelig rådgiver	Gary Lindstrøm [d]
Kendt som	Han har ydet betydelige bidrag til emner relateret til objektorientering , herunder mixins , Java generics , Strongtalk og Newspeak [1] .
Priser og præmier	Dahl-Nyugora-prisen
Internet side	bracha.org
Mediefiler på Wikimedia Commons

Gilad Bracha er programmør og videnskabsmand . _  _ Kendt som skaberen af ​​programmeringssproget Newspeak . Han blev tildelt Dahl-Nyugor-prisen .

Biografi

Modtog en bachelorgrad i matematik og datalogi fra universitetet. Ben-Gurion og en Ph.D. fra University of Utah [2] [3] .

Han er en af ​​udviklerne af Strongtalk- programmeringssproget . I 1994-1997 arbejdede han hos Animorphic Systems [4] . I 1997 købte Sun Microsystems Animorphic Systems, og Gilad Bracha fortsatte sit arbejde i virksomheden. Sammen med andre forskere udviklede han specifikationen for Java-sproget og den virtuelle Java- maskine [5] . Officiel stilling på det tidspunkt - beregningsteolog og ledende ingeniør [3]

2006-2009 Lead Engineer hos Cadence Design Systems . I løbet af denne tid udviklede han programmeringssproget Newspeak .

Derefter VP for SAP Labs i Palo Alto . Fra 2011-2017 arbejdede han hos Google , hvor han ledede holdet, der udviklede specifikationen for programmeringssproget Dart [6] .

Siden 2017 softwareudvikler hos Tensyr. Siden 2019 Lead Engineer hos Shape Security [2] .

Bidrag

I sit arbejde i 1998 foreslog han at introducere generika [7] . De tillader typer at være parametre, når de definerer klasser, typer og metoder, hvilket gør det muligt at fange fejl på kompileringstidspunktet. De er " syntaktisk sukker " - efter kompilering slettes enhver information om generiske stoffer. Blev tilføjet i JSE 5.0 [8] .

Bracha foreslog at gøre valget af typesystem uafhængigt af valget af sprog - typesystemet skulle være et modul , der kan "plugges" ind i sproget efter behov. Han mener, at det obligatoriske typesystem gør sprog mindre udtryksfulde og kode mere sprøde. Kravet om, at typer ikke påvirker sprogets semantik, er vanskeligt at opfylde, for eksempel er konstruktioner som typebaseret overbelastning forbudt. [9]

Som udtænkt af Brach , skulle Newspeak have fire funktioner: modularitet , sikkerhed , refleksion , kompatibilitet [10] .

Proceedings

Ifølge Scopus- databasen har han 19 papirer. Hirsch-indekset er 13 [11] .

Bøger

• Bracha G. Dart-programmeringssproget. - Addison-Wesley, 2015. - 224 s. — ISBN 978-0321927705 .

Artikler

• Bracha G., Cook W. Mixin-baseret arv  //  ACM Sigplan Notices. - 1990. - Bd. 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. At gøre fremtiden sikker for fortiden: tilføje genericitet til Java-programmeringssproget  //  OOPSLA '98. - 1998.
• M. Torgersen, C.P. Hansen, E. Ernst, Peter von der Ahé, G. Bracha, N. Gafter. Tilføjelse af jokertegn til Java-programmeringssproget  //  Journal of Object Technology. - 2004. - Bd. 3 , nr. 11 .
• Bracha G., Ungar D. Mirrors: Designprincipper for meta-niveau faciliteter af objektorienterede programmeringssprog  (engelsk)  // 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04. – 2004.
• Bracha G. Pluggable Type Systems  //  OOPSLA04 Workshop om genoplivning af dynamiske sprog. – 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. Moduler som objekter i newspeak  //  Lecture Notes in Computer Science (inklusive underserier Lecture Notes in Artificial Intelligence og Lecture Notes in Bioinformatics ). – 2010.

Noter

1. ↑ Vindere af Dahl-Nyugora-prisen for 2017 . Hentet 7. august 2020. Arkiveret fra originalen 5. marts 2020. (ubestemt)
2. ↑ 1 2 Formsikkerhed. Programmeringssprogspioneren Gilad Bracha slutter sig til Shape  Security . www.prnewswire.com . Hentet 22. august 2020. Arkiveret fra originalen 11. august 2020.
3. ↑ 1 2 Bio Blurb . bracha.org . Hentet 22. august 2020. Arkiveret fra originalen 31. oktober 2020. (ubestemt)
4. ↑ Historien om Strongtalk-projektet . Smalltalk på russisk . Dato for adgang: 22. august 2020. (Russisk)
5. ↑ Java SE- specifikationer  . docs.oracle.com . Hentet 22. august 2020. Arkiveret fra originalen 13. januar 2012.
6. ↑ Google I/O 101: Q&A om Introduktion til Dart med Gilad Bracha
7. ↑ GJ: Dokumentation . homepages.inf.ed.ac.uk . Hentet 22. august 2020. Arkiveret fra originalen 26. februar 2021. (ubestemt)
8. ↑ Java generics i teorien eller hvordan man sætter parenteser i praksis . JavaRush . Hentet 22. august 2020. Arkiveret fra originalen 15. maj 2021. (ubestemt)
9. ↑ Bracha G. Pluggbare  typesystemer . researchgate.net . Konference: OOPSLA'04 Workshop om genoplivning af dynamiske sprog (januar 2004).
10. ↑ Laurence Tratt, Adam Welc. Et interview 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 preview - Scopus - information om forfatteren (Bracha, Gilad) . www.scopus.com . Dato for adgang: 22. august 2020. (ubestemt)

Links

• Gilad Bracha LinkedIn
• Gilad Bracha ResearchGate