Events (21 results)

Putting in All the Stops: Execution Control for JavaScript

PLDI Research Papers When: Wed 20 Jun 2018 11:50 - 12:15 People: Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

… …

CakeML: from functions to machine code with proof all the way

DeepSpec 2018 When: Mon 18 Jun 2018 10:00 - 10:30 People: Magnus O. Myreen

… …

To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries

PLDI Research Papers When: Wed 20 Jun 2018 17:00 - 17:25 People: Michael J. Steindorfer, Jurgen Vinju

… …

Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving

ISMM 2018 When: Mon 18 Jun 2018 16:30 - 17:00 People: Jacob Brock, Chen Ding, Rahman Lavaee, Fangzhou Liu, Liang Yuan

… Cache in multicore machines is often shared, and the cache performance depends on how memory accesses belonging to different programs interleave with one another. The full range of performance possibilities includes all possible …

Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs

LCTES 2018 When: Tue 19 Jun 2018 14:50 - 15:15 People: Bernhard Egger, Eunjin Song, Hochan Lee, Daeyoung Shin

… . In addition to detecting all randomly inserted faults, the generated test …

Keynote: Blockchain and Embedded Systems

LCTES 2018 When: Tue 19 Jun 2018 09:15 - 10:30

… TJ Watson Research Center to lead all aspects of Blockchain solutions …

Verifying seL4 towards Concurrency

DeepSpec 2018 When: Tue 19 Jun 2018 14:30 - 15:00 People: Thomas Sewell

… and extend the proofs over nearly ten years since then.

Nearly all modern hardware …

A Quick Hack to ask any SMT Solver if my Coq Goal is True

DeepSpec 2018 When: Tue 19 Jun 2018 16:50 - 16:55 People: Sam Gruetter

… Suppose I am despairing on a Coq proof goal about integers, but omega, lia, nia etc don’t work, and I don’t even know if my goal is true at all. Before continuing my proof, I’d like a quick diagnosis, by a bleeding edge tool, on whether …

Bounding Data Races in Space and Time

PLDI Research Papers When: Wed 20 Jun 2018 17:00 - 17:25 People: Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy

… We propose a new semantics for shared-memory parallel programs that gives strong guarantees even in the presence of data races. Our local data race freedom property guarantees that all data-race-free portions of programs exhibit …

The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++

PLDI Research Papers When: Wed 20 Jun 2018 16:10 - 16:35 People: Nathan Chong, Tyler Sorensen, John Wickerson

… architectures and languages as x86, Power, and C++ all support TM, and all have weak …

Verifying That Web Pages Have Accessible Layout

PLDI Research Papers When: Wed 20 Jun 2018 11:00 - 11:25 People: Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

… Usability and accessibility guidelines aim to make graphical user interfaces accessible to all users, by, say, requiring that text is sufficiently large … rendering are not well understood, and 3) no tools exist to check all possible …

GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis

PLDI Research Papers When: Fri 22 Jun 2018 16:10 - 16:35 People: Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noel Pouchet, Fabrice Rastello, P. Sadayappan

… on all kernels from the Rodinia suite and GPU tensor contraction kernels from …

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models

PLDI Research Papers When: Fri 22 Jun 2018 14:00 - 14:25 People: Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

… that all safety results are preserved end-to-end as it bridges abstraction gaps …

High-Coverage, Unbounded Sound Predictive Race Detection

PLDI Research Papers When: Thu 21 Jun 2018 14:50 - 15:15 People: Jake Roemer, Kaan Genç, Michael Bond

… that finds all possible predictable races but may detect false races. Vindicator …

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism

PLDI Research Papers When: Fri 22 Jun 2018 17:00 - 17:25 People: Umut Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

… overheads for all nested parallel programs. We present a prototype C …

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code

PLDI Research Papers When: Fri 22 Jun 2018 14:25 - 14:50 People: Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang

… of Pinpoint and all experimental results are freely available. …

Inferring Crypto API Rules from Code Changes

PLDI Research Papers When: Thu 21 Jun 2018 15:15 - 15:40 People: Rumen Atanasov Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev

… changes (over 99% of all changes) without removing security fixes, and (ii) over 80 …

Advanced Automata-Based Algorithms for Program Termination Checking

PLDI Research Papers When: Wed 20 Jun 2018 15:15 - 15:40 People: Yu-Fang Chen, Matthias Heizmann, Ondrej Lengal, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

… ) represents a set of terminating paths. All these paths can be safely removed from …

Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability

PLDI Research Papers When: Wed 20 Jun 2018 15:15 - 15:40 People: Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Harry Xu, Zhendong Su

… benefits for all dynamic techniques that need heap information, significantly …

Write-Rationing Garbage Collection for Hybrid Memories

PLDI Research Papers When: Wed 20 Jun 2018 11:25 - 11:50 People: Shoaib Akram, Jennifer B. Sartor, Kathryn S McKinley, Lieven Eeckhout

… in DRAM and survivors in a DRAM observer space. It monitors all mature object writes …

Static Analysis for C++ with Phasar

PLDI Tutorials When: Tue 19 Jun 2018 09:00 - 10:30Tue 19 Jun 2018 11:00 - 12:15Tue 19 Jun 2018 14:00 - 15:40Tue 19 Jun 2018 16:10 - 17:35 People: Eric Bodden, Philipp Dominik Schubert, Ben Hermann

… virtual machine containing all necessary parts for the tutorial and a link …