Archive |
02.01.19
CIS Seminar: “Visualization for People + Systems”
Abstract: While computers can help us manage data, human judgment and domain expertise is what turns it into understanding. Meeting the challenges of increasingly large and complex data requires methods […]
01.10.19
CIS Seminar: “Made to Order: Verifying Correctness and Security of Hardware through Event Orderings”
Correctness and security problems in modern computer systems can result from problematic hardware event orderings and interleavings during an application’s execution. Since hardware designs are complex and since a single […]
01.10.19
CIS Seminar: “What Should We Do With Persistent Main Memory?”
Memory systems are on the verge of a renaissance: Scalable, persistent main memories (e.g., Intel’s 3DXPoint) are the first new technology to enter the upper layers of the memory hierarchy […]
Archive |