HN Explorer

mrigger

↗ HN profile [ 215 ms ] full profile
Karma
165
Created
June 7, 2020 (6y ago)
Submissions
0
Researcher at ETH Zurich, Switzerland. https://twitter.com/RiggerManuel
  1. GrayC: Greybox Fuzzing of Compilers and Analysers for C (github.com)
    4 points 0
  2. Encrypted Databases Made Secure yet Maintainable (github.com)
    2 points 4
  3. Dynamic Data-Race Prediction: Fundamentals, Theory and Practice (3 Hours Video) (youtube.com)
    1 points 0
  4. Modus: A language for building Docker/OCI container images (github.com)
    56 points 28
  5. DuckDB Testing – Present and Future (youtube.com)
    1 points 0
  6. Linear-Time Temporal Logic Guided Greybox Fuzzing (github.com)
    1 points 0
  7. YouTube Interviewing Series on Getting Faculty Positions in Computer Science (youtube.com)
    1 points 0
  8. Interview Questions for Computer Science Faculty Jobs (csfaculty.github.io)
    1 points 0
  9. Graalphp: An Efficient PHP Implementation Built on GraalVM (github.com)
    113 points 57