Search events for 'all'
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: Samuel 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 …
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 …
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 …
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-Noël Pouchet, Fabrice Rastello, P. Sadayappan
… on all kernels from the Rodinia suite and GPU tensor contraction kernels from …
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 D. Bond
… that finds all possible predictable races but may detect false races. Vindicator …
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 …
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 …
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. …
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 …
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, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
… ) represents a set of terminating paths. All these paths can be safely removed from …
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
PLDI Research Papers When: Fri 22 Jun 2018 17:00 - 17:25 People: Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
… overheads for all nested parallel programs. We present a prototype C …
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 …