|
Conferences in DBLP
- Frank Tip
Refactoring Using Type Constraints. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:1-17 [Conf]
- Alan Mycroft
Programming Language Design and Analysis Motivated by Hardware Evolution. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:18-33 [Conf]
- Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:34-51 [Conf]
- Tristan Le Gall, Bertrand Jeannet
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:52-68 [Conf]
- Sharon Shoham, Orna Grumberg
Compositional Verification and 3-Valued Abstractions Join Forces. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:69-86 [Conf]
- James Brotherston
Formalised Inductive Reasoning in the Logic of Bunched Implications. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:87-103 [Conf]
- David Monniaux
Optimal Abstraction on Real-Valued Programs. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:104-120 [Conf]
- Axel Simon, Andy King
Taming the Wrapping of Integer Arithmetic. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:121-136 [Conf]
- Eric Goubault, Sylvie Putot
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:137-152 [Conf]
- V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
A Framework for End-to-End Verification and Evaluation of Register Allocators. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:153-169 [Conf]
- Tao Wei, Jian Mao, Wei Zou, Yu Chen
A New Algorithm for Identifying Loops in Decompilation. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:170-183 [Conf]
- Jérôme Leroux, Grégoire Sutre
Accelerated Data-Flow Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:184-199 [Conf]
- Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
Abstract Error Projection. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:200-217 [Conf]
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
Precise Thread-Modular Verification. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:218-232 [Conf]
- Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
Modular Safety Checking for Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:233-248 [Conf]
- Jörg Bauer, Reinhard Wilhelm
Static Analysis of Dynamic Communication Systems by Partner Abstraction. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:249-264 [Conf]
- Ben Hardekopf, Calvin Lin
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:265-280 [Conf]
- Amir Kamil, Katherine A. Yelick
Hierarchical Pointer Analysis for Distributed Programs. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:281-297 [Conf]
- Matthieu Martel
Semantics-Based Transformation of Arithmetic Expressions. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:298-314 [Conf]
- Francesco Banterle, Roberto Giacobazzi
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:315-332 [Conf]
- Patrick Cousot, Pierre Ganty, Jean-François Raskin
Fixpoint-Guided Abstraction Refinements. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:333-348 [Conf]
- Denis Gopan, Thomas W. Reps
Guided Static Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:349-365 [Conf]
- Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Program Analysis Using Symbolic Ranges. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:366-383 [Conf]
- Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Shape Analysis with Structural Invariant Checkers. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:384-401 [Conf]
- Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Footprint Analysis: A Shape Analysis That Discovers Preconditions. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:402-418 [Conf]
- Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
Arithmetic Strengthening for Shape Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:419-436 [Conf]
- David Delmas, Jean Souyris
Astrée: From Research to Industry. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:437-451 [Conf]
- Étienne Payet, Fausto Spoto
Magic-Sets Transformation for the Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:452-467 [Conf]
|