Search dblp for Publications

export results for "toc:db/conf/sas/sas2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sas/AdjeGM15,
  author    = {Assal{\'{e}} Adj{\'{e}} and
               Pierre{-}Lo{\"{\i}}c Garoche and
               Victor Magron},
  title     = {Property-based Polynomial Invariant Generation Using Sums-of-Squares
               Optimization},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {235--251},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/AlbertCJR15,
  author    = {Elvira Albert and
               Jes{\'{u}}s Correas and
               Einar Broch Johnsen and
               Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
  title     = {Parallel Cost Analysis of Distributed Systems},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {275--292},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/AlbertGG15,
  author    = {Elvira Albert and
               Samir Genaim and
               Pablo Gordillo},
  title     = {May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural
               Synchronization},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {72--89},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/AldousM15,
  author    = {Peter Aldous and
               Matthew Might},
  title     = {Static Analysis of Non-interference in Expressive Low-Level Languages},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {1--17},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/BakhirkinBP15,
  author    = {Alexey Bakhirkin and
               Josh Berdine and
               Nir Piterman},
  title     = {A Forward Analysis for Recurrent Sets},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {293--311},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/Brain0KS15,
  author    = {Martin Brain and
               Saurabh Joshi and
               Daniel Kroening and
               Peter Schrammel},
  title     = {Safety Verification and Refutation by k-Invariants and k-Induction},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {145--161},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/CastelnuovoNRSY15,
  author    = {Ghila Castelnuovo and
               Mayur Naik and
               Noam Rinetzky and
               Mooly Sagiv and
               Hongseok Yang},
  title     = {Modularity in Lattices: {A} Case Study on the Correspondence Between
               Top-Down and Bottom-Up Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {252--274},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/CattaruzzaASK15,
  author    = {Dario Cattaruzza and
               Alessandro Abate and
               Peter Schrammel and
               Daniel Kroening},
  title     = {Unbounded-Time Analysis of Guarded {LTI} Systems with Inputs by Abstract
               Acceleration},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {312--331},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/ChenC15,
  author    = {Junjie Chen and
               Patrick Cousot},
  title     = {A Binary Decision Tree Abstract Domain Functor},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {36--53},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/ChoiCNS15,
  author    = {Wontae Choi and
               Satish Chandra and
               George C. Necula and
               Koushik Sen},
  title     = {{SJS:} {A} Type System for JavaScript with Fixed Object Layout},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {181--198},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/GargR15,
  author    = {Anshul Garg and
               Subhajit Roy},
  title     = {Synthesizing Heap Manipulations via Integer Linear Programming},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {109--127},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/HashimotoU15,
  author    = {Kodai Hashimoto and
               Hiroshi Unno},
  title     = {Refinement Type Inference via Horn Constraint Optimization},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {199--216},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/LeeHYC15,
  author    = {Woosuk Lee and
               Hyunsook Hong and
               Kwangkeun Yi and
               Jung Hee Cheon},
  title     = {Static Analysis with Set-Closure in Secrecy},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {18--35},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/LiRC15,
  author    = {Huisong Li and
               Xavier Rival and
               Bor{-}Yuh Evan Chang},
  title     = {Shape Analysis for Unstructured Sharing},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {90--108},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/LiTX15,
  author    = {Yue Li and
               Tian Tan and
               Jingling Xue},
  title     = {Effective Soundness-Guided Reflection Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {162--180},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/MonniauxA15,
  author    = {David Monniaux and
               Francesco Alberti},
  title     = {A Simple Abstraction of Arrays and Maps by Program Translation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {217--234},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/RapoportLT15,
  author    = {Marianna Rapoport and
               Ondrej Lhot{\'{a}}k and
               Frank Tip},
  title     = {Precise Data Flow Analysis in the Presence of Correlated Method Calls},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {54--71},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/Terauchi15,
  author    = {Tachio Terauchi},
  title     = {Explaining the Effectiveness of Small Refinement Heuristics in Program
               Verification with {CEGAR}},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  pages     = {128--144},
  publisher = {Springer},
  year      = {2015}
}
@proceedings{DBLP:conf/sas/2015,
  editor    = {Sandrine Blazy and
               Thomas P. Jensen},
  title     = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
               France, September 9-11, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  publisher = {Springer},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics