Genki Robotics
VP, Software Platform
/present
Crafting a platform where code drives the physical world.
Profile
Systems and compiler engineer building and scaling platforms: security engineering, standardization, open source. Chair of the C++ Language Evolution Working Group; former chair of the WebAssembly community group. At the hardware/software boundary, from silicon-aware optimization to user-facing platforms.
Service Record
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.
- 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.
Apple
Compiler Engineer
/
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.
Compiler Engineer
/
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.
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
/
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.
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
- arXiv VLMaxxing through FrameMogging: Training-Free Anti-Recomputation for Video Vision-Language Models (VLMaxxi.ng).
- PLDI Bringing the Web up to Speed with WebAssembly.Best paper award.Re-published as a Communications of the ACM Research Highlight.
- ASPLOS Sound Loop Superoptimization for Google Native Client.
- TACAS EMME: a formal tool for the ECMAScript Memory Model Evaluation.
Talks
- NDC TechTown Much ado about noping (what does a computer do when it has nothing to do?).
-
C++onSea
*(char*)0 = 0;.328k views! 3rd most viewed C++ conference talk ever! - C++Online The bytes before the types: unveiling uninitialized uses.Conference keynote.
- Autosar From software craft to engineering.Conference keynote.
- C++Now Safety と Security: The Future of C++.Conference keynote.
- WWDC What’s new in Clang and LLVM?
- LLVM Making undefined behavior hurt less.
- LLVM Hardware interference size: new in C++17, add it to libc++.
- LLVM Migrating to C++14, and beyond!
- LLVM WebAssembly: Here Be Dragons.Conference keynote.
- EuroLLVM C++ on the web: ponies for developers without pwn’ing users.
- EuroLLVM Portable Native Client. Fast, Secure, Simple: Pick Three.
- C++Now Your Favorite Undefined Behavior in C++.
- CppCon Just-in-Time compilation.
- CppCon Deprecating volatile.
- CppCon Signed Integers are Two’s Complement.
- CppCon No sane compiler would optimize atomics.
- CppCast San Diego EWGI trip report.Podcast.
- CppCast WebAssembly.Podcast.
- UTokyo Future Mobility: The Relation Between Humans and Services.
- SAE Leadership Summit: Evolution of the Vehicle Architecture.
- eSOL Hardware and software: separation, or deeper integration?.
Standards Docket
C++ Committee
- P3477There are exactly 8 bits in a byte
- P2809Trivial infinite loops are not Undefined Behavior
- P1152Deprecating
volatile - P0907Signed integers are two’s complement
- P1860C++ networking must be secure by default
- N4455No sane compiler would optimize atomics
- P0323
std::expected - P2723Zero-initialize objects of automatic storage duration
- P1225Feedback on 2D graphics
- P1482Modules feedback
- P1746Feedback on
std::audio - P0476Bit-casting object representations
- P1382
volatileload andvolatilestore - P0750Consume
- P0690Tearable atomics
- P0995Improving
atomic_flag - P1135The C++20 synchronization library
- N4509
constexpr atomic::is_always_lock_free - P0502Throwing out of a parallel algorithm terminates
- P0154Hardware constructive/destructive interference size
- P1119ABI for interference size
- P0528Padding bits, atomic compare-and-exchange
- P1205Teleportation via
co_await - P0193Where is vectorization in C++‽
- P0394Hotel Parallelifornia
- P0020Floating point atomic
- P0153Atomic object fence
- P0097Use cases for thread-local storage
- P0566Hazard pointer, RCU
- P0418Fail or succeed: there is no atomic lattice
- P1102Down with
()! - P1110A placeholder with no name
- P1153Copying volatile subobjects is not trivial
- P1245export module containing
[[attribute]]; - P1246The
no_floatfunction attribute - P1247Disabling
staticdestructors - P2186Removing garbage collection support
Ongoing Series
Tokyo C++
- 00First meetupyoutu.be/FU5Tl_Zdtmw
- 01C++ and securityyoutu.be/mrQKfl893e8
- 02Integrating security into your build pipelineyoutu.be/rkDTgkN7FIY
- 03Reflection in C++26: the renaissance of C++youtu.be/vRda0mGYg_A
TLB hit
- 00
mov fp, sptlbh.it/000_mov_fp_sp.html - 01
*(char*)0 = 0tlbh.it/001_deref_char_star_0_eq_0.html - 02
https://tlbh.it^Mtlbh.it/002_https_tlbh_dot_it_CR.html - 03
__builtin_expect(!!(x), 0)tlbh.it/003_builtin_expect_bang_bang_x_0.html - 04
t-r-a-c-/e̅‾\-o-m-p-i-l-etlbh.it/004_trace_compilers.html - 05
Parserstlbh.it/005_parsers.html - 06
ƑẍɄʑʑ҉⋆Ƒuẑẑ⧫ᶳΩƑūƶƶ⊙⬢tlbh.it/006_fuzz.html
Patent Register
US20260133957A1
Atomicity in OTA updates for vehicle systems.
US20260010358A1
System, method, and computer program for managing vehicle software updates.
US12423471B2
Program operation sequence determination for reduced potential leakage of personally identifiable information.
US20250238572A1
System and method for managing components of a vehicle system.
US20250147864A1
System and method for performing validations of software.
US20250060490A1
Vehicle recording based terrain objective characteristic determination.
US20250060943A1
Providing timing-independence for software.
US12216672B2
Mobile computing network programming for queried content capture.
US12204493B2
Mobile computing network queried content capture.
US12169394B2
Method of optimizing execution of a function on a control system and apparatus for the same.
US20230350354A1, EP4270189A1, JP2023164278A, JP7458521B2, CN117008982A
US12045602B2
Correctness verification system, method, device, and program.
US20230305829A1, EP4250091A1, EP4250091B1, JP2023143729A, JP7499366B2, CN116841861A
US11954034B2
Cache coherency protocol for encoding a cache line with a domain shared state.
US20230305961A1, EP4254202A1, EP4254202B1, JP2023145337A, CN116860663A
US11860996B1
Security concepts for web frameworks.
US9189375B1
Dynamic sandboxing.
US9563424B2
Native code instruction selection.
US9223550B1
Portable handling of primitives for concurrent execution.