Stories by matt_d

Software Ethology: An Accurate and Resilient Semantic Binary Analysis Framework

MazuCC: A minimalist C compiler with x86_64 code generation

An Experimental Floating-Point Scalar Evolution

Loop Optimizations in LLVM – Issues and Solutions

Ara: A 1 GHz+ Scalable and Energy-Efficient RISC-V Vector Processor

Static Program Analysis – Anders Møller – PLISS 2019

Deep Learning Toolkit-Enabled GPU Acceleration for Modern VLSI Placement

What's New in Clang and LLVM – WWDC 2019

Implementing First-Class Continuations by Source to Source Translation

Starting with Semantics – Sylvan Clebsch – PLISS 2019

FaCT: A DSL for Timing-Sensitive Computation [PDF]

Beyond Spectre: Confronting New Technical and Policy Challenges

In Search of Verified On-the-Fly Concurrent Garbage Collection on Modern CPUs

In-DRAM Bulk Bitwise Execution Engine

Hardware Acceleration Opportunities for Machine Learning on Datasets

Verified Compilation on a Verified Processor [pdf]

First-Class Continuations: What and Why – Arjun Guha – PLISS 2019

Compositional Compiler Verification for a Multi-Language World – Amal Ahmed

Conditional Compilation is Dead, Long Live Conditional Compilation!

Fuzzing Unit Tests with DeepState and Eclipser

95
96
97
98
99
100
101
102
103
104