Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Manuel Rigger

mrigger

0 Stars

Decks

Intramorphic Testing: A New Approach to the Test Oracle Problem

0

180

Short presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20

0

230

Long presentation for "Testing Database Engines via Pivoted Query Synthesis" at OSDI '20

0

330

"Finding Bugs in Database Systems via Query Partitioning" at OOPSLA '20

0

410

"Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20

0

210

Teaser for "Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" at ESEC/FSE '20

0

160

Testing Database Management Systems via Pivoted Query Synthesis

0

55

Understanding GCC Builtins to Develop Better Tools

2

510

Sulong: Executing Low-level Languages on Truffle

0

230

Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine

0

170

Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows

0

320

Salzburg '18: Memory-safe and Efficient Execution of C/C++ on the GraalVM

2

1.2k

Programming '18: Introspection for C and its Applications to Library Robustness

0

620

Programming '18 SRC: Safe Execution of LLVM-based Languages on the Java Virtual Machine

1

310

MoreVMs'18: Sulong, and Thanks for All the Fish

2

590

ASPLOS'18: Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

0

1.5k

VEE'18: An Analysis of x86-64 Inline Assembly in C Programs

1

700

1

270

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade