Rafael Menezes
Associate Researcher
Manchester, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolRafael Menezes is an Associate Researcher at The University of Manchester with 11 years of experience bridging academic research and practical software development in computer science. Currently pursuing a PhD at Manchester, he brings deep expertise in benchmarking and tool integration, evidenced by contributions to the well-regarded BenchExec framework where he implemented tool adaptors, result handling improvements, and bug fixes for ESBMC support. His background includes an MS in Informatics and a BS in Computer Science from Brazilian universities, reflecting a strong foundation in systems and formal verification tooling. Colleagues describe him as a meticulous backend developer who turns research prototypes into reliable, reproducible experiments—a skill that makes his work valuable for both papers and production-grade tooling.
11 years of coding experience
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at The University of ManchesterMaster of Science - MS Informatics, Master of Science - MS Informatics at Universidade Federal do AmazonasBachelor's degree Computer Science, Bachelor's degree Computer Science at Universidade Federal de Roraima
Github Skills (12)
benchmarking10
benchmarkdotnet10
google-benchmark10
benchmark10
microbenchmark10
python10
benchmarkjs10
performance-measurement9
resource-management9
measurement9
c178
c118
Programming languages (12)
Github contributions (5)
sosy-lab/benchexec
Feb 2019 - Oct 2021
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Role in this project:
Backend Developer
Backend DeveloperContributions:4 reviews, 6 commits, 3 PRs in 2 years 9 months
Contributions summary:Rafael contributed to the `benchexec` project by primarily working on tool adaptations. Their contributions include adding support for a "DONE" result in `esbmc.py`, creating and modifying the `FuSeBMC.py` tool adaptor, and refactoring the code. They also addressed a bug related to accessing output lines in the `determine_result` method and extended support for memcleanup in ESBMC.
cgroupsbenchmarkingpythonlinuxbenchmark-framework
rafaelsamenezes/jimple2json
Aug 2021 - Feb 2023
A Jimple to JSON parser
Contributions:1 release, 2 reviews, 2 PRs in 1 year 6 months
to-jsonjimpleparserjsonjson-parser
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.