Stories by matt_d

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

Designing a RISC-V CPU in VHDL 17: DDR3 Memory Controller, Clock Domain Crossing

x86-64 Instruction Usage among C/C++ Applications [pdf]

Why Ice Lake is Important – a bit-basher’s perspective

A Survey of Computer Architecture Simulation Techniques and Tools

A little (more) about V8 and WebAssembly – Ben Titzer (PLISS 2019)

87
88
89
90
91
92
93
94
95
96