Search events for 'all'
Accepted posters and posters for all the accepted papers will be presented in this session
LCTES 2017 When: Wed 21 Jun 2017 14:00 - 15:00
… …
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
… a minimal subset of all QC projects useful for generic data- and control-flow …
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 …
Static Analysis for Improving Software Performance, Safety and Security
LCTES 2017 When: Wed 21 Jun 2017 09:15 - 10:15 People: Jingling Xue
… Static program analysis is increasingly recognized as a fundamental tool for compiler optimization, bug detection and security analysis (among others). Pointer analysis is the foundation, on which virtually all other analyses are based …
"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 …
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
LCTES 2017 When: Wed 21 Jun 2017 16:45 - 17:10 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 …
OSEK-V: Application-Specific RTOS Instantiation in Hardware
LCTES 2017 When: Thu 22 Jun 2017 11:45 - 12:10 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 …
[Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO
LCTES 2017 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:45 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 …
Auto-Vectorization for Image Processing DSLs
LCTES 2017 When: Wed 21 Jun 2017 11:40 - 12:05 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 …
Integrated IoT Programming with Selective Abstraction
LCTES 2017 When: Wed 21 Jun 2017 15:55 - 16:20 People: Gyeongmin Lee, Seonyeong Heo, Bongjun Kim, Jong Kim, Hanjun Kim
… abstraction, or abstract all the devices to the standard interfaces requiring …
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials When: Fri 23 Jun 2017 10:30 - 12:10Fri 23 Jun 2017 09:00 - 10: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
PLDI 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
PLDI 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-α …
Network Configuration Synthesis with Abstract Topologies
PLDI 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 …
Repairing Sequential Consistency in C/C++11
PLDI 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 …
Context Transformations for Pointer Analysis
PLDI 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
PLDI 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 …
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI 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 …
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers When: Wed 21 Jun 2017 10:45 - 11:10 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 …
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers When: Tue 20 Jun 2017 14:00 - 14:25 People: Azadeh Farzan, Victor Nicolet
… programs.
(An anonymous extended version including all proofs has been …
Bringing the Web up to Speed with WebAssembly
PLDI 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 …
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI 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 …
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
PLDI 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 …
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
PLDI 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 …
WALA Hack-A-Thon
PLDI Tutorials When: Thu 22 Jun 2017 09:00 - 10:00Thu 22 Jun 2017 10:30 - 12:10Thu 22 Jun 2017 13:40 - 15:20Thu 22 Jun 2017 15:50 - 17:00 People: Julian Dolby, Karim Ali
… are trying to develop, and all of us working intensively on them during …