Write a Blog >>
Events (25 results)

HPTT: A High-Performance Tensor Transposition C++ Library

ARRAY 2017 When: Sun 18 Jun 2017 17:00 - 17:30 People: Paul Springer, Tong Su, Paolo Bientinesi

… Recently we presented TTC, a domain-specific compiler for tensor transpositions. Despite the fact that the performance of the generated code is nearly optimal, due to its offline nature, TTC cannot be utilized in all the application codes …

Hermes: Assessment and Creation of Effective Test Corpora

SOAP When: Sun 18 Jun 2017 16:00 - 16:20 People: Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini

… of all QC projects useful for generic data- and control-flow analyses …

Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems

LCTES 2017 When: Wed 21 Jun 2017 16:45 - 17:10Wed 21 Jun 2017 14:00 - 15:00 People: Wenguang Zheng, Hui Wu, Chuanyao Nie

… of all the tasks scheduled on each core into a DAG by considering … allocator converts the interference graph of all the tasks into a DAG by using a k … task. Both cache allocators significantly improve the utilization of all

RTHMS: A Tool for Data Placement on Hybrid Memory System

ISMM 2017 When: Sun 18 Jun 2017 15:00 - 15:30 People: Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Stefano Markidis, Pietro Cicotti, Erwin Laure

… Modern applications running on supercomputers have increasing demands for memory, in terms of capacity, speed, power efficiency, and persistence. Since there is no single memory technology today that can satisfy all these requirements …

OSEK-V: Application-Specific RTOS Instantiation in Hardware

LCTES 2017 When: Thu 22 Jun 2017 11:45 - 12:10Wed 21 Jun 2017 14:00 - 15:00 People: Christian Dietrich, Daniel Lohmann

… The employment of a real-time operating system (RTOS) in an embedded control systems is often an all-or-nothing decision: While the RTOS-abstractions provide for easier software composition and development, the price in terms of event …

"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis

ISMM 2017 When: Sun 18 Jun 2017 16:00 - 16:30 People: Vini Kanvar, Uday P. Khedker

… A points-to analysis computes a sound abstraction of heap memory conventionally using a name-based abstraction that summarizes runtime memory by grouping locations using the names of allocation sites: All concrete heap locations allocated …

[Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO

LCTES 2017 When: Wed 21 Jun 2017 14:00 - 15:00 People: Cosmin Gorgovan, Amanieu d'Antras, Mikel Luján

… , do not affect performance on all available systems and microarchitectures …

A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting

LCTES 2017 When: Thu 22 Jun 2017 11:20 - 11:45Wed 21 Jun 2017 14:00 - 15:00 People: Chen Pan, Mimi Xie, Yongpan Liu, Yanzhi Wang, Jason Xue, Yiran Chen, Jingtong Hu

… unnecessary checkpointings or checkpointing failures. On the software side, not all tasks …

Integrated IoT Programming with Selective Abstraction

LCTES 2017 When: Wed 21 Jun 2017 15:55 - 16:20Wed 21 Jun 2017 14:00 - 15:00 People: Gyeongmin Lee, Seonyeong Heo, Bongjun Kim, Jong Kim, Hanjun Kim

… abstraction, or abstract all the devices to the standard interfaces requiring …

Auto-Vectorization for Image Processing DSLs

LCTES 2017 When: Wed 21 Jun 2017 11:40 - 12:05Wed 21 Jun 2017 14:00 - 15:00 People: Oliver Reiche, Christof Kobylko, Frank Hannig, Jürgen Teich

… , and not portable at all. Based on whole-function vectorization, a method to replace con …

Graal: High Performance Compilation for Managed Languages

Tutorials When: Fri 23 Jun 2017 09:00 - 12:00 People: Christian Wimmer

… VM or the V8 JavaScript VM optimize your code, you will get all your questions …-level Java code * Compiler intrinsics: use all your hardware instructions with Graal …

Instruction Punning: Lightweight Instrumentation for x86-64

Research Papers When: Mon 19 Jun 2017 16:35 - 17:00 People: Buddhika Chamith, Luke Dalessandro, Bo Joel Svensson, Ryan R. Newton

… activation/deactivation costs that are cheaper than a system call, even when all

Skeletal Program Enumeration for Rigorous Compiler Testing

Research Papers When: Mon 19 Jun 2017 17:25 - 17:50 People: Qirun Zhang, Chengnian Sun, Zhendong Su

… skeleton P and a set of variables V , enumerate a set of programs P exhibiting all … and variable set, offering a level of guarantee absent from all existing compiler … is a novel algorithm for computing the canonical (and smallest) set of all non-α …

Repairing Sequential Consistency in C/C++11

Research Papers When: Tue 20 Jun 2017 16:10 - 16:35 People: Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer

… , the semantics of SC atomic accesses in C/C++11, as well as in all proposed strengthenings …

Network Configuration Synthesis with Abstract Topologies

Research Papers When: Tue 20 Jun 2017 11:15 - 11:40 People: Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker

… algorithms operate entirely on abstract topologies and guarantee correctness for all its …

Synthesis of Divide and Conquer Parallelism for Loops

Research Papers When: Tue 20 Jun 2017 14:00 - 14:25 People: Azadeh Farzan, Victor Nicolet

… parallel programs.

(An anonymous extended version including all proofs has been …

Bringing the Web up to Speed with WebAssembly

Research Papers When: Mon 19 Jun 2017 14:00 - 14:25 People: Andreas Haas, Andreas Rossberg, Derek Schuff, Ben L. Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman

… . Engineers from all major browser vendors have risen to the challenge …

WALA Hack-A-Thon

Tutorials When: Thu 22 Jun 2017 09:00 - 18:00 People: Julian Dolby, Karim Ali

… set of ideas that we are trying to develop, and all of us working intensively …

Systematic Black-Box Analysis of Collaborative Web Applications

Research Papers When: Mon 19 Jun 2017 15:15 - 15:40 People: Marina Billes, Anders Møller, Michael Pradel

… -client web applications.

Naively exploring all possible interactions between …

Context Transformations for Pointer Analysis

Research Papers When: Mon 19 Jun 2017 16:35 - 17:00 People: Rei Thiessen, Ondřej Lhoták

… analyses is an explicit enumeration of all input and output values of context …

Automatic Program Inversion using Symbolic Transducers

Research Papers When: Tue 20 Jun 2017 11:15 - 11:40 People: Qinheping Hu, Loris D'Antoni

… idea: if an \SEFT is injective, inverting it amounts to inverting all its …

Practical Partial Evaluation for High-Performance Dynamic Language Runtimes

Research Papers When: Wed 21 Jun 2017 09:25 - 09:50 People: Thomas Wuerthinger, Christian Wimmer, Christian Humer, Andreas Woess, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer

… of the compiled code while still compiling in all parts of an operation …

Synthesizing Memory Models from Framework Sketches and Litmus Tests

Research Papers When: Tue 20 Jun 2017 12:05 - 12:30 People: James Bornholt, Emina Torlak

… on all tests. The MemSynth engine employs a novel embedding of bounded …

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

Research Papers When: Tue 20 Jun 2017 14:50 - 15:15 People: Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

… amount of SQL language features, our semantics covers all major features of SQL …

Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels

Research Papers When: Tue 20 Jun 2017 10:50 - 11:15 People: Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

… by instead proving a universal property: all traces within the partition satisfy some …