$ whoami

javier ron

// Systems programmer. Researcher on AI for code, verifiable software supply chains, and systems reliability. Game programmer.

PhD candidate @ KTH (Stockholm) · prev. Meta, Firstset, Criptext, Freaky Creations.

## about

## experience

• ▸

  Software Engineering Intern (PhD)

  @Meta
  Menlo Park, CA, USA · Jun 2025 — Sep 2025
  • — Metadata Store team. Re-implemented data recovery functionality.
  JavaThriftReactHack
• ▸

  Software Engineering Intern

  @Firstset
  Stockholm, Sweden · Jul 2024 — Sep 2024
  • — Automated Ethereum infrastructure for the Lido CSM staking protocol.
  PythonEthereum
• ▸

  Research Assistant

  @KTH Royal Institute of Technology
  Stockholm, Sweden · 2019 — 2021
  • — Research on AI for automatic program repair.
  • — Published a paper on continual learning for automatic repair of Java bugs.
  JavaJenkins
• ▸

  Backend Engineer

  @Criptext
  Guayaquil, Ecuador · 2018 — 2019
  • — Owned backend development. Microservices, API engineering.
  Node.jsC
• ▸

  Google Summer of Code Intern

  @CROSS @ UC Santa Cruz
  Santa Cruz, CA, USA · Jun 2018 — Sep 2018
  • — Spent the summer at UC Santa Cruz working on Zlog, a fast distributed ledger. Caching solutions.
  C++
• ▸

  Game Programmer & Co-founder

  @Freaky Creations
  Guayaquil, Ecuador · 2012 — 2018
  • — Gameplay, UI, and tools programming for To Leave.
  • — Released on all major platforms (Steam, Switch, PS4, Xbox).
  UnityC#

## education

• ▸

  Ph.D. in Computer Science / Software

  KTH Royal Institute of Technology
  Stockholm, Sweden · 2021 — present
  • — Supervised by Martin Monperrus.
• ▸

  M.Sc. Software Engineering of Distributed Systems

  KTH Royal Institute of Technology
  Stockholm, Sweden · 2019 — 2021
  • — Thesis: Scaling the Simulation Core of Modifiable Virtual Environments with Serverless Computing.
• ▸

  Computer Science Engineering

  ESPOL University
  Guayaquil, Ecuador · 2008 — 2018

## publications

### first-authored

• ▸

  N-Version Programming with Coding Agents · arXiv · 2026

  Evaluating N-version programming with contemporary AI coding agents.

  coding agentsN-version programmingLLMs
• ▸

  Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation · arXiv (under review) · 2026

  Verifiable provenance of software artifacts via zero-knowledge compilation.

  software supply chainzero-knowledgeprovenance
• ▸

  Galapagos: Automated N-Version Programming with LLMs · ACM TOSEM · 2025

  Automated N-version programming using large language models.

  LLMsN-version programmingprogram synthesis
• ▸

  Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks · ACM Distributed Ledger Technologies · 2025

  Cryptographic proofs of client diversity for blockchain network resilience.

  blockchainscryptographyclient diversity
• ▸

  Highly Available Blockchain Nodes with N-Version Design · IEEE TDSC · 2023

  N-version design applied to Ethereum clients to improve node availability.

  EthereumN-version designreliability

### collaborations

• ▸

  zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets · arXiv · 2026

  Privacy-preserving SBOM sharing with zero-knowledge sets.

  SBOMzero-knowledge
• ▸

  Uppercase is All You Need · SIGBOVIK · 2025

  A very serious study of how uppercase text affects prompting, code generation, and AI behavior.

  LLMsprompting
• ▸

  Generative AI to Generate Test Data Generators · IEEE Software · 2024

  Evaluating LLMs for generating realistic test data generators across domains and integration levels.

  LLMssoftware testingtest data generation
• ▸

  Challenges of Producing Software Bill of Materials for Java · IEEE Security & Privacy · 2023

  Open challenges in producing accurate SBOMs for the Java ecosystem.

  JavaMaven
• ▸

  Chaos Engineering of Ethereum Blockchain Clients · ACM Distributed Ledger Technologies · 2023

  Chaos engineering of Ethereum blockchain clients via syscall fault injection.

  eBPFfault injectionsyscall interception
• ▸

  Servo: Increasing the Scalability of Modifiable Virtual Environments using Serverless Computing · IEEE ICDCS · 2023

  Serverless scaling of modifiable virtual environments (Minecraft-like games).

  MinecraftJavaAWS
• ▸

  A Software-Repair Robot Based on Continual Learning · IEEE Software · 2021

  Continual learning for automatic repair of Java bugs.

  JavaOpenNMT

### master's thesis supervision

As part of my PhD, I've mentored junior members of the research team on their master's theses.

• ▸
  Vivi Andersson · Geth Rebuild: Verifiable Builds for Go Ethereum
• ▸
  Titouan Forissier · EVeilM: EVM Bytecode Obfuscation
• ▸
  Dhruv Shetty · Minimizing Blast Radius of Chaos Engineering Experiments via Steady-State Metrics Forecasting
• ▸
  Tom Sorger · Towards Zero-Knowledge Software Bill of Materials
• ▸
  Leonard Stutzer · State Validation of Ethash-based Blockchains using a zk-SNARK-based Chain Relay

## awards & honors

• ★KTH One-year Scholarship · 2020

  Awarded to KTH master’s students with outstanding first-year results

• ★1st place — ETH Prague Hackathon · 2024

  Transaction mining for automatic program repair of smart contracts.

## skills

programming languages

## languages

• English — Full Professional
• Spanish — Native
• Swedish — Intermediate

## contact