JF Bastien

Security through compiler technology.

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

Bring portable, fast and secure native code to the Web.

• Instigator, co-designer, compiler engineer on WebAssembly, awarded the 2021 ACM SIGPLAN Programming Languages Software Award.
• Techical 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 CPU.

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

Reduce aircraft simulation development effort an order of magnitude.

• Design and implement 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.

Part-time graduate studies in computer sciences, focusing on compilers, systems and hardware.

I completed ⅔ of a degree, which rounds toward −∞.

• Lead teaching assistant, 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.

• 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

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