Yoann Padioleau

Software Engineer at r2c

Umbria, Italy
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Yoann Padioleau is a software engineer with 13 years of experience specializing in program analysis, parsing and static security tooling, currently applying his expertise at r2c on Python and JavaScript analysis. With a strong research background including a PhD and postdocs at INRIA and UIUC, he blends academic rigor with practical engineering from a long stint at Facebook to current open-source security work. He is an active contributor to Semgrep (improving security rules and adapting them to core changes) and has improved core parsers in projects like difftastic and pfff, demonstrating deep language-agnostic parsing skills across Python, Java, JavaScript, Go, Kotlin and PHP. Known for quietly improving core tooling rather than flashy features, he focuses on parsing accuracy, regression fixes and vulnerability detection that materially raise the quality of code analysis. Based in Umbria, Italy, he combines a researcher’s attention to formal correctness with hands-on backend development experience in large, collaborative codebases.
code13 years of coding experience
job7 years of employment as a software developer
bookpostdoc, Doctorat, computer science, ingenieur, computer science, postdoc, Doctorat, computer science, ingenieur, computer science at University of Illinois Urbana-Champaign Université de Rennes I
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (32)

kotlin10
tree-sitter10
static-analysis10
parser10
python10
elixir10
semgrep10
java10
ocaml10
security10
javas10
php10
code-analysis10
go10
parsing10

Programming languages (27)

CGoHTMLReasonTypeScriptShellSolidityOCaml

Github contributions (5)

github-logo-circle
semgrep/semgrep

Dec 2019 - Jan 2023

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Role in this project:
userBack-end Developer
Contributions:1 release, 3470 reviews, 2396 commits in 3 years 1 month
Contributions summary:Yoann appears to be primarily involved in developing and maintaining the back-end components of the `semgrep/semgrep` repository. Their contributions focus on parsing and transforming code written in various languages. The user implemented features for parsing and processing code and added specific support for new constructs like Java text blocks, C# typed metavariables, and Elixir code. The user also focused on ensuring that the codebase is well-structured and that parsing errors are handled correctly.
looklinterpythonr2cjavascript
facebookarchive/pfff

May 2013 - Jan 2017

Tools for code analysis, visualizations, or style-preserving source transformation.
Role in this project:
userBack-end Developer
Contributions:1 release, 68 commits, 13 PRs in 3 years 8 months
Contributions summary:Yoann's contributions primarily involve code analysis tools and source transformation utilities for the `pfff` repository. The user made changes to several core files, including `main_codegraph.ml`, `commons/common.ml`, and `main_sgrep.ml`. These edits encompass comments, merging branches, and implementing PHP matching functionalities. The user also updated the `lang_php` directory with new matching features.
transformationrefactoringvisualizationscode-analysisstatic-analysis
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Yoann Padioleau - Software Engineer at r2c