:facetid:toc:\"db/conf/sas/sas2015.bht\"OK:facetid:toc:db/conf/sas/sas2015.bhtAssalé AdjéPierre-Loïc GarocheVictor MagronProperty-based Polynomial Invariant Generation Using Sums-of-Squares Optimization.SAS235-2512015Conference and Workshop Papersclosedconf/sas/AdjeGM1510.1007/978-3-662-48288-9_14https://doi.org/10.1007/978-3-662-48288-9_14https://dblp.org/rec/conf/sas/AdjeGM15URL#4013540Elvira AlbertJesús CorreasEinar Broch JohnsenGuillermo Román-DíezParallel Cost Analysis of Distributed Systems.SAS275-2922015Conference and Workshop Papersclosedconf/sas/AlbertCJR1510.1007/978-3-662-48288-9_16https://doi.org/10.1007/978-3-662-48288-9_16https://dblp.org/rec/conf/sas/AlbertCJR15URL#4013541Elvira AlbertSamir GenaimPablo GordilloMay-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.SAS72-892015Conference and Workshop Papersclosedconf/sas/AlbertGG1510.1007/978-3-662-48288-9_5https://doi.org/10.1007/978-3-662-48288-9_5https://dblp.org/rec/conf/sas/AlbertGG15URL#4013542Peter AldousMatthew MightStatic Analysis of Non-interference in Expressive Low-Level Languages.SAS1-172015Conference and Workshop Papersclosedconf/sas/AldousM1510.1007/978-3-662-48288-9_1https://doi.org/10.1007/978-3-662-48288-9_1https://dblp.org/rec/conf/sas/AldousM15URL#4013543Alexey BakhirkinJosh BerdineNir PitermanA Forward Analysis for Recurrent Sets.SAS293-3112015Conference and Workshop Papersclosedconf/sas/BakhirkinBP1510.1007/978-3-662-48288-9_17https://doi.org/10.1007/978-3-662-48288-9_17https://dblp.org/rec/conf/sas/BakhirkinBP15URL#4013544Martin BrainSaurabh Joshi 0001Daniel KroeningPeter SchrammelSafety Verification and Refutation by k-Invariants and k-Induction.SAS145-1612015Conference and Workshop Papersclosedconf/sas/Brain0KS1510.1007/978-3-662-48288-9_9https://doi.org/10.1007/978-3-662-48288-9_9https://dblp.org/rec/conf/sas/Brain0KS15URL#4013545Ghila CastelnuovoMayur NaikNoam RinetzkyMooly SagivHongseok YangModularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis.SAS252-2742015Conference and Workshop Papersclosedconf/sas/CastelnuovoNRSY1510.1007/978-3-662-48288-9_15https://doi.org/10.1007/978-3-662-48288-9_15https://dblp.org/rec/conf/sas/CastelnuovoNRSY15URL#4013546Dario CattaruzzaAlessandro AbatePeter SchrammelDaniel KroeningUnbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.SAS312-3312015Conference and Workshop Papersclosedconf/sas/CattaruzzaASK1510.1007/978-3-662-48288-9_18https://doi.org/10.1007/978-3-662-48288-9_18https://dblp.org/rec/conf/sas/CattaruzzaASK15URL#4013547Junjie ChenPatrick CousotA Binary Decision Tree Abstract Domain Functor.SAS36-532015Conference and Workshop Papersclosedconf/sas/ChenC1510.1007/978-3-662-48288-9_3https://doi.org/10.1007/978-3-662-48288-9_3https://dblp.org/rec/conf/sas/ChenC15URL#4013548Wontae ChoiSatish Chandra 0001George C. NeculaKoushik SenSJS: A Type System for JavaScript with Fixed Object Layout.SAS181-1982015Conference and Workshop Papersclosedconf/sas/ChoiCNS1510.1007/978-3-662-48288-9_11https://doi.org/10.1007/978-3-662-48288-9_11https://dblp.org/rec/conf/sas/ChoiCNS15URL#4013549Anshul GargSubhajit Roy 0001Synthesizing Heap Manipulations via Integer Linear Programming.SAS109-1272015Conference and Workshop Papersclosedconf/sas/GargR1510.1007/978-3-662-48288-9_7https://doi.org/10.1007/978-3-662-48288-9_7https://dblp.org/rec/conf/sas/GargR15URL#4013550Kodai HashimotoHiroshi Unno 0001Refinement Type Inference via Horn Constraint Optimization.SAS199-2162015Conference and Workshop Papersclosedconf/sas/HashimotoU1510.1007/978-3-662-48288-9_12https://doi.org/10.1007/978-3-662-48288-9_12https://dblp.org/rec/conf/sas/HashimotoU15URL#4013551Woosuk LeeHyunsook HongKwangkeun YiJung Hee CheonStatic Analysis with Set-Closure in Secrecy.SAS18-352015Conference and Workshop Papersclosedconf/sas/LeeHYC1510.1007/978-3-662-48288-9_2https://doi.org/10.1007/978-3-662-48288-9_2https://dblp.org/rec/conf/sas/LeeHYC15URL#4013552Huisong LiXavier RivalBor-Yuh Evan ChangShape Analysis for Unstructured Sharing.SAS90-1082015Conference and Workshop Papersclosedconf/sas/LiRC1510.1007/978-3-662-48288-9_6https://doi.org/10.1007/978-3-662-48288-9_6https://dblp.org/rec/conf/sas/LiRC15URL#4013553Yue Li 0006Tian Tan 0001Jingling XueEffective Soundness-Guided Reflection Analysis.SAS162-1802015Conference and Workshop Papersclosedconf/sas/LiTX1510.1007/978-3-662-48288-9_10https://doi.org/10.1007/978-3-662-48288-9_10https://dblp.org/rec/conf/sas/LiTX15URL#4013554David MonniauxFrancesco AlbertiA Simple Abstraction of Arrays and Maps by Program Translation.SAS217-2342015Conference and Workshop Papersclosedconf/sas/MonniauxA1510.1007/978-3-662-48288-9_13https://doi.org/10.1007/978-3-662-48288-9_13https://dblp.org/rec/conf/sas/MonniauxA15URL#4013555Marianna RapoportOndrej LhotákFrank TipPrecise Data Flow Analysis in the Presence of Correlated Method Calls.SAS54-712015Conference and Workshop Papersclosedconf/sas/RapoportLT1510.1007/978-3-662-48288-9_4https://doi.org/10.1007/978-3-662-48288-9_4https://dblp.org/rec/conf/sas/RapoportLT15URL#4013556Tachio TerauchiExplaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.SAS128-1442015Conference and Workshop Papersclosedconf/sas/Terauchi1510.1007/978-3-662-48288-9_8https://doi.org/10.1007/978-3-662-48288-9_8https://dblp.org/rec/conf/sas/Terauchi15URL#4013557Sandrine BlazyThomas P. JensenStatic Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, ProceedingsSASLecture Notes in Computer Science9291Springer2015Editorshipconf/sas/201510.1007/978-3-662-48288-9https://doi.org/10.1007/978-3-662-48288-9https://dblp.org/rec/conf/sas/2015URL#4042232