Efficient Bytecode Compilation and Verification in a Virtual Machine
Doctoral advisor
Michael Franz
Website
andreasgal.com
Andreas Gal is former chief technology officer at Mozilla. He is most notable for his work on several open source projects and Mozilla technologies.
Gal was born in Szeged, Hungary[1] and grew up in Lübeck, Germany.[2] During high school he worked on various open source AX.25 network stacks and designed a routing protocol for ham radio network nodes (INP3[3]) that became widely supported by AX.25 network routers.[4][5][6]
During his graduate studies at the Otto-von-Guericke University Magdeburg he was a codesigner of AspectC++, an aspect-oriented extension of C and C++ languages.[7] He later went on to obtain his Doctor of Philosophy in Computer Science at the University of California, Irvine. His thesis introduced the concept of Tracing just-in-time compilation of high-level languages using trace trees.[8]
Gal joined Mozilla in 2008 and built TraceMonkey, the first JavaScript just-in-time compiler[9] in a web browser, only weeks before Google announced Chrome and the V8 JavaScript engine. After his work on TraceMonkey, Gal became the Director of Research at Mozilla. A notable research project he started was PDF.js, a PDF renderer in JavaScript and HTML5, which now replaces the Adobe PDF plug-in in Firefox.[10]
In 2011, Gal co-founded the Boot to Gecko project, which later became Firefox OS.[11]
In 2013, Gal was appointed the Vice President of Mobile Engineering of Mozilla.[12]
In April 2014, Gal became the CTO of Mozilla.[13] In June 2015 he left Mozilla,[14] co-founding the Internet of Things start-up Silk Labs with two other members of the Firefox OS team (however, Silk Labs does not use Mozilla technologies).[15] Also in 2015, Gal became an adviser at Acadine Technologies; a startup newly founded by Li Gong (former president of Mozilla Corporation) which was to develop software based on Firefox OS.[16] As of 2018, Gal is an employee of Apple Inc.
^ abcGal, Andreas (2006). Efficient bytecode verification and compilation in a virtual machine (Thesis). University of California, Irvine. Docket AAI3243940. ProQuest 305372416. Retrieved 2020-12-13.
^ abIris Quirin. "Andreas Gal - Der Freiheitskämpfer" (in German). Archived from the original on 2014-04-26. Retrieved 26 April 2014.
^"Inter Node Protocol 3". Archived from the original on 2013-04-14.
^"INP3 support for Linux". Archived from the original on 2014-11-24. Retrieved 2013-03-03.
^"JNOS news". Archived from the original on 2014-04-27. Retrieved 2013-03-03.
^"(X)Net user manual" (PDF). Archived from the original (PDF) on 2007-10-19. Retrieved 2013-03-03.
^"AspectC++: Language Proposal and Prototype Implementation". Archived from the original on 2013-04-09.
^
"HotpathVM: an effective JIT compiler for resource-constrained
Andreas Gal, Christian W. Probst, Michael Franz - Proceeding VEE '06 Proceedings of the 2nd international conference on Virtual execution environments
doi:10.1145/1134760.1134780.
^"TraceMonkey: JavaScript Lightspeed".
^"Mozilla Kills The PDF Plugin In Firefox 19". Archived from the original on 2014-11-26. Retrieved 2013-03-03.
^Gal, Andreas (2011-07-25). "Booting to the web". mozilla.dev.platform (Mailing list). Retrieved 2011-11-20.
^"Andreas Gal's Linkedin page".
^"Mozilla CTO: Andreas Gal".
^"New Adventure". Andreas Gal. 5 June 2015. Retrieved 2015-06-05.
^Shankland, Stephen (2016-08-21). "Startup aims to make home devices smart enough to anticipate what you need". CNET. Retrieved 2016-06-21.
^Shankland, Stephen (2015-12-10). "Startup picks up the torch for troubled Firefox OS". CNET. Retrieved 2015-12-12.
AndreasGal is former chief technology officer at Mozilla. He is most notable for his work on several open source projects and Mozilla technologies. Gal...
up gal in Wiktionary, the free dictionary. Gal or GAL may refer to: Gál, a Hungarian surname AndreasGal (born 1976), German programmer Dani Gal (born...
B2G-related code would be removed from mozilla-central. On July 25, 2011, AndreasGal, Director of Research at Mozilla Corporation, announced the "Boot to...
from Mozilla apart from Gong, including James Ho, former Mozilla CTO AndreasGal and employees of Mozilla Taiwan. When Mozilla announced in December 2015...
browser to avoid DRM. Calling it "a difficult and uncomfortable step", AndreasGal of Mozilla explained that future versions of Firefox would remain open...
dynamic languages as "little scripting languages," Franz and his student AndreasGal researched how one would best tackle the specific features of a dynamically...
2015 Doug Turner, former engineering director (now at Google Chrome) AndreasGal, former CTO (now at Apple) Johnny Stenback, former engineering director...
"Andrea Thompson Quits As CNN Anchor" Archived July 28, 2009, at the Wayback Machine. People Coleridge, Daniel R. (January 14, 2003). "NYPD Blue Gal Meets...
Gal Maria da Graça Costa Penna Burgos (born Maria da Graça Costa Penna Burgos; 26 September 1945 – 9 November 2022), known professionally as Gal Costa...
October 1999 by its CEO and risk manager, Ole Andreas Halvorsen, Brian T Olson and David C Ott. Ole Andreas Halvorsen previously worked for Julian Robertson...
canine granulocytic ehrlichiosis. It may also cause a person to develop alpha-gal syndrome, an allergy to non-catarrhine mammalian meat. Other disease-causing...
Whydah Gally /ˈhwɪdə ˈɡæli, ˈhwɪdˌɔː/ (commonly known simply as the Whydah) was a fully rigged ship that was originally built as a passenger, cargo, and...
2 imp gal; 11 US gal). This is made up of about 19 litres (4.2 imp gal; 5.0 US gal) of extracellular fluid including about 3.2 litres (0.70 imp gal; 0.85 US gal)...
Accustomed to Her Face". In 2015, Pine was cast as Steve Trevor, opposite Gal Gadot, in the superhero film Wonder Woman. The film was released in June...
no/meninger/debatt/i/Bj4dPe/det-er-lett-aa-vaere-enig-i-at-breivik-fremstaar-som-gal-men-mye-er-vanv. Aftenposten. Retrieved 9 February 2022 [6]. 21 June 2021...
known for producing blockbuster films such as Skyscraper, Rampage, San Andreas, and Hercules, all of which starred Dwayne Johnson. Flynn has also produced...
December 15 Kelly Ripa & Andy Cohen Gal Gadot, Tips for Zooming with Your Parents, LIVE's Family Cooking Week – Andrea Lizcano December 16 Kelly Ripa & Anderson...
October 2015. Retrieved 23 October 2015. Kroll, Justin (4 December 2013). "Gal Gadot to Play Wonder Woman in 'Batman vs. Superman'". Variety. Archived from...
October 8, 2013. Retrieved April 6, 2014. Laura Smith-Spark (March 19, 2020). "Gal Gadot enlists celebrity help for coronavirus 'Imagine' video". CNN. Retrieved...
Brazilian singer Caetano Veloso and his first wife Andréa Gadelha (Dedé) Veloso. Brazilian singer Gal Costa is Moreno Veloso's godmother and his cousins...