JF Bastien

Crafting a platform where code drives the physical world.

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.
• Chair of C++ language evolution: contracts, reflection; safety & security team for C and MISRA.
• Toyota’s open-source strategy, with the Open Source Program Office.
• VP and executive: organizational scaling, startup → production-oriented change agent for Toyota Group.

Security through compiler technology.

• C++ lead and compiler engineer on the LLVM team: iOS/macOS security hardening through compiler technology, 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.

Portable, fast, and securely sandboxed native code for the Web.

• Instigator, co-designer, compiler engineer on WebAssembly; 2021 ACM SIGPLAN Programming Languages Software Award.
• Technical leadership 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.

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

Mechanical engineering design on the Global Express business jet.

Majority of coursework toward Master’s degree while working full-time; compilers, systems, 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𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩