Alexandre Bartel
Professeur at Umeå University
Umeå, Sweden
Summary
🤩
RockstarAlexandre Bartel is a Professor of Computing Science at Umeå University with 14 years of experience researching software engineering and computer security. He focuses on program analysis and verification, especially for JVM and Android ecosystems, designing efficient algorithms to assess and ensure security properties. His practical contributions to the Soot Java optimization framework improved Dalvik bytecode handling and Jimple generation, reflecting a blend of deep theoretical insight and hands-on tool development. Based in Umeå, Sweden, he bridges academic research and open-source engineering to make software layers more verifiable and resilient against security flaws.
14 years of coding experience
Github Skills (7)
javas10
j10
code-analysis10
soot10
bytecode10
jimp10
java10
Programming languages (3)
Github contributions (5)
soot-oss/soot
Jun 2012 - Jan 2018
Soot - A Java optimization framework
Role in this project:
Back-end Developer
Back-end DeveloperContributions:161 commits, 2 PRs, 25 pushes in 5 years 7 months
Contributions summary:Alexandre primarily worked on the Soot Java optimization framework, with commits focused on enhancing the framework's ability to handle Dalvik bytecode, specifically by addressing issues related to type handling and instruction parsing. Key contributions include improvements in the representation of different data types (like floats and doubles) within Jimple, and adjustments to exception handling, including correct placement of exception handlers within the try blocks. The user's work addressed bugs related to Dalvik bytecode handling and the generation of Jimple code.
javaoptimizationjava-optimization-frameworkanalysis-frameworkstatic-analysis
software-engineering-and-security/inspector-gadget
Apr 2019 - Dec 2019
Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analysts in exploit development. It discovers gadgets, chains gadgets together, and ensures that side effects such as register dereferences do not crash the program.
Contributions:13 commits, 2 PRs, 12 pushes in 8 months
exploitgadgetsregistergadget-chainvulnerability
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.