Y Hacker News new | ask | show | jobs

user: mrigger created: 2020-06-07 karma: 166 Researcher at ETH Zurich, Switzerland. https://twitter.com/RiggerManuel submissions: GrayC: Greybox Fuzzing of Compilers and Analysers for C 4 points | 0 comments Encrypted Databases Made Secure yet Maintainable 2 points | 2 comments Dynamic Data-Race Prediction: Fundamentals, Theory and Practice (3 Hours Video) 1 points | 0 comments 0 points | 0 comments Modus: A language for building Docker/OCI container images 56 points | 28 comments DuckDB Testing – Present and Future 1 points | 0 comments Linear-Time Temporal Logic Guided Greybox Fuzzing 1 points | 0 comments YouTube Interviewing Series on Getting Faculty Positions in Computer Science 1 points | 0 comments Interview Questions for Computer Science Faculty Jobs 1 points | 0 comments 0 points | 0 comments Graalphp: An Efficient PHP Implementation Built on GraalVM 113 points | 56 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments