03

Compilers and Virtual Machines

Igalia is the most experienced JavaScript virtual machine engineering consultancy contributing code upstream to V8, JavaScriptCore and SpiderMonkey. We also apply our compilers knowledge to work in other dynamic language implementations like Python, Scheme, Ruby and more.

Compiler technology is at the heart of performance optimization: compilers generate the machine code that will run your software, and as such, they are the main responsible actors in making the best use of the CPU instruction set to get the job done in the most efficient way possible.

We have the best team of WebKit developers with a strong competence in JavaScript engines like V8, JavaScriptCore and SpiderMonkey, making Igalia the best partner of choice for optimizing consumer electronic solutions based on client-side web technology.

We specialize in JavaScript upstream work as well as other domains such as debuggers (GDB and integrated debuggers), dynamic language environments integration to existing C/C++ systems, and Guile Scheme compiler, especially in the optimizer and its next-generation virtual machine.

Igalia has talented engineers who understand how compilers work and can optimize how they generate machine code for your programs, providing that performance boost that can make a real difference. Our team can provide holistic optimizations: in the runtime, on the frontend, the optimizer and in the backend.

We can also help companies developing Javascript-based software and products, advising on their design and implementation choices or programming and upstreaming new features required in the javascript engine.

Featured Media

Adrian Perez de Castro: JavaScript in JavaScript: Inception at JSConf EU 2014
Andy Wingo: DIY Internet: Snappy, Secure Networking with MinimaLT -- JSConf EU 2013
Andy Wingo: JavaScriptCore's DFG JIT -- JSConf EU 2012
Andy Wingo at JSConf USA 2012

Updates

Katerina Barone-Adesi 27/01/2015

Generating arbitrary test data

Most tests are useless without data, and the data they need to run can be fairly complicated. Generating a lot of data by hand sounds tedious, and would get rid of a lot of the advantages of generating tests; the flexibility and speed of having a large...

Katerina Barone-Adesi 27/01/2015

Improving Pflua's correctness with property-based checking

Creating a property-based tester and fixing several bugs - in one afternoonPflua, Igalia's implementation of Libpcap's filter language, is fast, and works very well. Like most software, it contains a few bugs, which unusual circumstances can...

Adrián Pérez 03/12/2014

Inception! JS-in-JS!

Apparently this November has been the gloomiest in a while, and that certainly may have slowed down my on-going quest to bring arrow functions to V8. Though arrow functions deserve a write-up themselves, my musings today are about a side quest that...

Andy Wingo 02/12/2014

there are no good constant-time data structures

Imagine you have a have a web site that people can access via a password. No user name, just a password. There are a number of valid passwords for your service. Determining whether a password is in that set is security-sensitive: if a user has a valid...

Andy Wingo 27/11/2014

scheme workshop 2014

I just got back from the US, and after sleeping for 14 hours straight I'm in a position to type about stuff again. So welcome back to the solipsism, France and internet! It is good to see you on a properly-sized monitor again.I had the enormously...

Commits

Merge pull request #242 from Igalia/renumber-anf

Merge pull request #242 from Igalia/renumber-anf Renumber ANF-generated vars for readability

Andy Wingo03/07/2015

Renumber ANF-generated vars for readability

Renumber ANF-generated vars for readability * src/pf/anf.lua: Renumber vars before lowering to CPS, for better readability.

Andy Wingo03/07/2015

Merge pull request #241 from Igalia/optimize-pfmatch

Merge pull request #241 from Igalia/optimize-pfmatch Optimize pfmatch

Andy Wingo02/07/2015

Remove duplicated simplify_if clause

Remove duplicated simplify_if clause

Andy Wingo02/07/2015

Better code generation for calls

Better code generation for calls * src/pf/backend.lua: Treat "return foo()" as a simple expression, so we can inline it into ifs. * doc/pfmatch.md: Update code.

Andy Wingo02/07/2015