Name

JF Bastien

URI
jfbastien.com
Work
build & scale platforms
Location
日本 東京都
Contact
me@jfbastien.com

Profile

Systems and compiler engineer building and scaling platforms: security engineering, standardization, open source. Co-designer of WebAssembly; chair of C++ language evolution from C++20 through C++26. At the hardware/software boundary, from silicon-aware optimization to user-facing platforms.

Service Record

Genki Robotics

VP, Software Platform

/

Where code moves the physical world.

ISO C++

Evolution Chair

/

Three standards: C++20, C++23, C++26—contracts, reflection, safety. Committee member across Google, Apple, Toyota, and Genki.

Woven by Toyota

Distinguished Engineer

/

Safety-critical software platform driving Toyota’s transformation to a software-first mobility company.

  • Foundational safety software infrastructure for vehicle development: design, team building, scaling.
  • Hardware/software co-design strategy across the electrical and electronic supply chain.
  • Safety qualification of software toolchains; OEM-controlled development environments across C/C++/Rust.
  • Toyota’s Rust adoption for safety-critical systems; founding of the Safety-Critical Rust Consortium.
  • Platform security program for emerging automotive cybersecurity regulations.
  • Safety & security for ISO C and MISRA.
  • Toyota’s open-source strategy, with the Open Source Program Office.
  • VP and executive: organizational scaling; startup → production discipline for Toyota Group.

Apple

Compiler Engineer

/

Security through compiler technology.

  • C++ lead and compiler engineer on the LLVM team: iOS/macOS security hardening, targeting high-value attack surfaces. Founder of the LLVM Security Group.
  • Compiler engineer on WebKit’s JavaScriptCore: WebAssembly implementation, WebAssembly and JavaScript performance tuning, Spectre mitigations.

NVIDIA

Compiler Engineer

/

Dynamic binary translation from ARMv8 to VLIW on the Denver custom CPU.

  • A32, T32, and A64 decode and optimization.
  • Supervisor runtime.
  • In-memory column-oriented database and custom programming language, used to instrument and analyze hardware and software simulations.

CAE

Systems Engineer

/

Order-of-magnitude reduction in aircraft simulation development effort.

  • Modern C++03 runtime.
  • C++ reflection framework.
  • Binary/source compatibility validator.
  • Avionics systems engineering using the above-mentioned runtime.
  • Legacy Fortran/C maintenance.

Bombardier

Engineer Intern

/

Mechanical engineering design on the Global Express business jet.

Education

Stanford

Master’s degree

Computer science

/

Majority of coursework toward Master’s degree while working full-time; compilers, systems, hardware.

McGill

Bachelor’s degree

Mechanical eng.

/

  • Lead TA, 7 semesters, for Computers in Engineering—Fortran, C, and Algorithms.
  • Thesis: Rapid Decompression Simulation in an Aircraft and Related Hardware Optimization, used to automatically optimize aircraft design while meeting FAA/JAA regulations; Bombardier Aerospace.
  • Final project: Aircraft Assembly Optimization; Bombardier Aerospace.

Public Record

Papers

  1. arXiv VLMaxxing through FrameMogging: Training-Free Anti-Recomputation for Video Vision-Language Models (VLMaxxi.ng).
  2. TACAS EMME: a formal tool for the ECMAScript Memory Model Evaluation.
  3. PLDI Bringing the Web up to Speed with WebAssembly.Best paper award.Re-published as a Communications of the ACM Research Highlight.
  4. ASPLOS Sound Loop Superoptimization for Google Native Client.

Talks

  1. NDC TechTown Much ado about noping (what does a computer do when it has nothing to do?).
  2. C++Online The bytes before the types: unveiling uninitialized uses.Conference keynote.
  3. Autosar From software craft to engineering.Conference keynote.
  4. eSOL Hardware and software: separation, or deeper integration?.
  5. C++onSea *(char*)0 = 0;.331k views! 3rd most viewed C++ conference talk ever!
  6. C++Now Safety と Security: The Future of C++.Conference keynote.
  7. C++Now Your Favorite Undefined Behavior in C++.
  8. UTokyo Future Mobility: The Relation Between Humans and Services.
  9. SAE Leadership Summit: Evolution of the Vehicle Architecture.
  10. CppCon Just-in-Time compilation.
  11. WWDC What’s new in Clang and LLVM?
  12. LLVM Making undefined behavior hurt less.
  13. CppCon Deprecating volatile.
  14. LLVM Hardware interference size: new in C++17, add it to libc++.
  15. LLVM Migrating to C++14, and beyond!
  16. CppCon Signed Integers are Two’s Complement.
  17. CppCast San Diego EWGI trip report.Podcast.
  18. CppCon No sane compiler would optimize atomics.
  19. LLVM WebAssembly: Here Be Dragons.Conference keynote.
  20. EuroLLVM C++ on the web: ponies for developers without pwn’ing users.
  21. CppCast WebAssembly.Podcast.
  22. EuroLLVM Portable Native Client. Fast, Secure, Simple: Pick Three.

Standards Docket

C++ Committee

Ongoing Series

Patent Register

US20260178787A1

System and method for management of vehicle software design material.

US9223550B1

Portable handling of primitives for concurrent execution.

Dispatch