progscrape: eecs.berkeley.edu

The Design and Evaluation of a High Performance Smalltalk System

4 years ago eecs.berkeley.edu

The Problem with Threads (2006)

4 years ago eecs.berkeley.edu

PerfFuzz: Automatically Generating Pathological Inputs

4 years ago people.eecs.berkeley.edu

Doug Tygar, Author of Why Johnny Can't Encrypt, Has Passed Away

4 years ago eecs.berkeley.edu

Why Events Are a Bad Idea

4 years ago people.eecs.berkeley.edu

JQF: Coverage-Guided Property-Based Testing in Java

4 years ago people.eecs.berkeley.edu java

PRaft: Building Provably Safe Distributed Systems using Model Checking

4 years ago people.eecs.berkeley.edu

How Futile are Mindless Assessments of Roundoff in Floating-Point Computation ?

4 years ago people.eecs.berkeley.edu

An Interview with the Old Man of Floating-Point (1998)

5 years ago people.eecs.berkeley.edu

Bounds for sorting by prefix reversal (1978)

5 years ago people.eecs.berkeley.edu

A Hardware Accelerator for Tracing Garbage Collection (2018)

5 years ago people.eecs.berkeley.edu

Model-Checking an Entire Linux Distribution for Security Vulnerabilities (2005)

5 years ago people.eecs.berkeley.edu linux

Return of the Runtimes: Rethinking the Language Runtime System (2017)

5 years ago people.eecs.berkeley.edu

Reple: “Replay-Based” REPLs for Compiled Languages

5 years ago people.eecs.berkeley.edu

CS 188 – Introduction to Artificial Intelligence

5 years ago inst.eecs.berkeley.edu ai

Infinitesimal machinery

5 years ago people.eecs.berkeley.edu

Storing C++ Objects in Distributed Memory

5 years ago people.eecs.berkeley.edu c++

A Highly Productive Implementation of an Out-of-Order Processor Generator

5 years ago eecs.berkeley.edu

Timing Analysis of Keystrokes and Timing Attacks on SSH (2001)

5 years ago people.eecs.berkeley.edu ssh

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery

6 years ago people.eecs.berkeley.edu

Statically-Directed Dynamic Automated Test Generation

6 years ago people.eecs.berkeley.edu

Creating Expressive C++ Smart Pointers for Remote Memory

6 years ago people.eecs.berkeley.edu c++

LogP: Towards a Realistic Model of Parallel Computation (1993)

6 years ago people.eecs.berkeley.edu

"we must discard threads as a programming model"(2006)

6 years ago eecs.berkeley.edu

Latency Numbers Every Programmer Should Know

6 years ago people.eecs.berkeley.edu

High-Coverage Hint Generation for Massive Courses

6 years ago people.eecs.berkeley.edu

Scaling up Superoptimization

6 years ago people.eecs.berkeley.edu

The Problem with Threads (2006)

6 years ago eecs.berkeley.edu

Beastly Numbers (1996)

6 years ago people.eecs.berkeley.edu

Can Logic Programming Execute as Fast as Imperative Programming? (1990)

6 years ago eecs.berkeley.edu