César Rodríguez (@cesaro)
github

cesaro

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Rank 516,906 (Top 19 %)
  • Followers 17
  • Following 2
  • Registered over 14 years ago
  • Most used languages
    C++
         50.0 %
    C
         25.0 %
    Python
         25.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 19,987
  • Country Ranking
    C
         1,432
    C++
         1,743

Top repositories

1

cunf

A model checker for safe Petri nets based on partial-order semantics
C++
13
star
2

dpu

Dynamic analysis of multithreaded C programs
C
11
star
3

pod

POD is a research tool to perform partial-order based process discovery
Python
2
star
4

steroids

A library for dynamic analysis of multithreaded POSIX C programs
C++
1
star