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

340

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

0

330

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

0

460

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

0

530

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

0

290

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

0

240

Testing Database Management Systems via Pivoted Query Synthesis

0

99

Understanding GCC Builtins to Develop Better Tools

2

690

Sulong: Executing Low-level Languages on Truffle

0

320

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

0

260

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

0

480

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

2

1.5k

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

0

750

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

1

440

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

2

700

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

0

2k

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

1

910

1

340

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