Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319667058, 9783319667065
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Portability Analysis for Weak Memory Models porthos: One Tool for all Models

2017 ◽  
pp. 299-320 ◽  
Author(s):  
Hernán Ponce-de-León ◽  
Florian Furbach ◽  
Keijo Heljanko ◽  
Roland Meyer
Keyword(s):  
Memory Models

Template Polyhedra with a Twist

2017 ◽  
pp. 321-341
Author(s):  
Sriram Sankaranarayanan ◽  
Mohamed Amin Ben Sassi

Securing the SSA Transform

2017 ◽  
pp. 88-105 ◽  
Author(s):  
Chaoqiang Deng ◽  
Kedar S. Namjoshi

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs

2017 ◽  
pp. 253-276 ◽  
Author(s):  
Suvam Mukherjee ◽  
Oded Padon ◽  
Sharon Shoham ◽  
Deepak D’Souza ◽  
Noam Rinetzky

Relative Store Fragments for Singleton Abstraction

2017 ◽  
pp. 106-127 ◽  
Author(s):  
Leandro Facchinetti ◽  
Zachary Palmer ◽  
Scott F. Smith
Load More ...
Sign in / Sign up

Export Citation Format

Share Document