JF Bastien

Crafting a platform where code drives the physical world.

As the most senior engineer in the company, serve as technical lead for a safety-critical software platform driving Toyota’s transformation to a software-first mobility company. Build novel technical foundations while navigating the human and business challenges of scaling software at the world’s largest automaker.

• Design, hire for, and scale foundational safety software infrastructure for vehicle development.
• Lead hardware / software co-design strategy across the electrical and electronic supply chain.
• Architect safety qualification of software toolchains, enabling OEM-controlled development environments across C, C++, and Rust.
• Drive Toyota’s adoption of Rust for safety-critical systems, founding the Safety-Critical Rust Consortium and lead rollout.
• Champion platform security initiatives to meet emerging automotive cybersecurity regulations.
• Chair C++ language evolution, delivering contracts and reflection; build a team advancing safety and security in C and MISRA.
• Define Toyota’s open source strategy in collaboration with the new Open Source Program Office.
• As a vice president and executive, shape the organization to scale from startup to production-oriented change agent for Toyota Group.

Security through compiler technology.

• C++ lead and compiler engineer on the LLVM team: significantly improved the security of iOS and macOS through compiler technologies which I designed, implemented, and led a team to deploy strategically to high-value attack targets. Founder of the LLVM Security Group.
• Compiler engineer on WebKit’s JavaScriptCore: implemented WebAssembly, performance tune WebAssembly and JavaScript, Spectre mitigations.

Bring portable, fast and securely sandboxed native code to the Web.

• Instigator, co-designer, compiler engineer on WebAssembly, awarded the 2021 ACM SIGPLAN Programming Languages Software Award.
• Technical lead of Portable Native Client, shipping LLVM to over a billion users.
• Implementor of Native Client’s ARM sandbox.

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.

Reduced aircraft simulation development effort by an order of magnitude.

• Designed and implemented a modern C++03 runtime.
• C++ reflection framework.
• Binary / source compatibility validator.
• Avionics systems engineering using the above-mentioned runtime.
• Maintain older Fortran / C code.

Mechanical engineering design on the Global Express business jet.

Completed majority of coursework toward Master’s degree while working full-time; focused on compilers, systems, and hardware.

• 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.

• P3477 There are exactly 8 bits in a byte
• p2809 Trivial infinite loops are not Undefined Behavior
• p1152 Deprecating volatile
• p0907 Signed integers are two’s complement
• p1860 C++ networking must be secure by default
• n4455 No sane compiler would optimize atomics
• p0323 std::expected
• p2723 Zero-initialize objects of automatic storage duration
• p1225 Feedback on 2D graphics
• p1482 Modules feedback
• p1746 Feedback on std::audio
• p0476 Bit-casting object representations
• p1382 volatile load and volatile store
• p0750 Consume
• p0690 Tearable atomics
• p0995 Improving atomic_flag
• p1135 The C++20 synchronization library
• n4509 constexpr atomic::is_always_lock_free
• p0502 Throwing out of a parallel algorithm terminates
• p0154 Hardware constructive/destructive interference size
• p1119 ABI for interference size
• p0528 Padding bits, atomic compare-and-exchange
• p1205 Teleportation via co_await
• p0193 Where is vectorization in C++‽
• p0394 Hotel Parallelifornia
• p0020 Floating point atomic
• p0153 Atomic object fence
• p0097 Use cases for thread-local storage
• p0566 Hazard pointer, RCU
• p0418 Fail or succeed: there is no atomic lattice
• p1102 Down with ()!
• p1110 A placeholder with no name
• p1153 Copying volatile subobjects is not trivial
• p1245 export module containing [[attribute]];
• p1246 The no_float function attribute
• p1247 Disabling static destructors
• p2186 Removing garbage collection support

0. First meetup
1. C++ and security
2. Integrating security into your build pipeline
3. Reflection in C++26: the renaissance of C++

0. mov fp, sp
1. *(char*)0 = 0
2. https://tlb.it^M
3. __builtin_expect(!!(x), 0)
4. t-r-a-c-/e̅‾\-o-m-p-i-l-e
5. Parsers
6. ƑẍɄʑʑ҉⟆Ƒu𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩