$30 off During Our Annual Pro Sale. View Details »
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Manuel Rigger
mrigger
24 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
Intramorphic Testing: A New Approach to the Test Oracle Problem
mrigger
0
44
Long presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20
mrigger
0
230
Short presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20
mrigger
0
120
Teaser for "Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20
mrigger
0
56
"Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20
mrigger
0
140
"Finding Bugs in Database Systems via Query Partitioning" at OOPSLA '20
mrigger
0
290
Testing Database Management Systems via Pivoted Query Synthesis
mrigger
0
24
Understanding GCC Builtins to Develop Better Tools
mrigger
2
280
Sulong: Executing Low-level Languages on Truffle
mrigger
0
130
Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
mrigger
0
96
Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows
mrigger
0
130
Salzburg '18: Memory-safe and Efficient Execution of C/C++ on the GraalVM
mrigger
2
930
Programming '18: Introspection for C and its Applications to Library Robustness
mrigger
0
410
Programming '18 SRC: Safe Execution of LLVM-based Languages on the Java Virtual Machine
mrigger
1
130
MoreVMs'18: Sulong, and Thanks for All the Fish
mrigger
2
420
ASPLOS'18: Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
mrigger
0
840
VEE'18: An Analysis of x86-64 Inline Assembly in C Programs
mrigger
1
410
Cambridge'18
mrigger
1
200
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade