Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:CARL LEONARDSSON
Found 3 entries
  1. Automatic Fence Insertion in Integer Programs via Predicate Abstraction
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012.
  2. Memorax: Fence Inference under the TSO Memory Model
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
    The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.
  3. Counter-Example Guided Fence Insertion under TSO
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
    18th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, March 24 - April 1, 2012.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)