default search action

combined dblp search
author search
venue search
publication search

ask others

10. SAS 2003: San Diego, California, USA

> Home > Conferences and Workshops > SAS

Refine list

refinements active!

zoomed in on 28 of 28 records

view refined list in

export refined list as

showing all 28 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  authority control:
- export record
  dblp key:
  - conf/sas/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/2003
Radhia Cousot:
Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Lecture Notes in Computer Science 2694, Springer 2003, ISBN 3-540-40325-6
no results

Static Analysis of Object-Oriented Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChristensenMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChristensenMS03
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
Precise Analysis of String Expressions. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BessonJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BessonJ03
Frédéric Besson, Thomas P. Jensen:
Modular Class Analysis with DATALOG. 19-36
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Logozzo03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Logozzo03
Francesco Logozzo:
Class-Level Modular Analysis for Object Oriented Languages. 37-54
no results

Static Analysis of Concurrent Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sas/Boyland03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Boyland03
John Boyland:
Checking Interference with Fractional Permissions. 55-72
- view
  authority control:
- export record
  dblp key:
  - conf/sas/CarlssonSW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CarlssonSW03
Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson:
Message Analysis for Concurrent Languages. 73-90
- view
  authority control:
- export record
  dblp key:
  - conf/sas/TardieuS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/TardieuS03
Olivier Tardieu, Robert de Simone:
Instantaneous Termination in Pure Esterel. 91-108
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChatterjeeMMZHP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChatterjeeMMZHP03
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack Size Analysis for Interrupt-Driven Programs. 109-126
no results

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/sas/HermenegildoPBL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HermenegildoPBL03
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). 127-152
no results

Static Analysis of Functional Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sas/Minamide03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Minamide03
Yasuhiko Minamide:
Selective Tail Call Elimination. 153-170
- view
  authority control:
- export record
  dblp key:
  - conf/sas/LeeYY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/LeeYY03
Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Inserting Safe Memory Reuse Commands into ML-Like Programs. 171-188
no results

Static Analysis of Procedural Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sas/RepsSJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/RepsSJ03
Thomas W. Reps, Stefan Schwoon, Somesh Jha:
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. 189-213
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GuyerL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GuyerL03
Samuel Z. Guyer, Calvin Lin:
Client-Driven Pointer Analysis. 214-236
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Monniaux03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Monniaux03
David Monniaux:
Abstract Interpretation of Programs as Markov Decision Processes. 237-254
no results

Static Data Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/sas/BaldanKK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BaldanKK03
Paolo Baldan, Barbara König, Bernhard König:
A Logic for Analyzing Abstractions of Graph Transformation Systems. 255-272
- view
  authority control:
- export record
  dblp key:
  - conf/sas/LiblitAY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/LiblitAY03
Ben Liblit, Alex Aiken, Katherine A. Yelick:
Type Systems for Distributed Data Sharing. 273-294
- view
  authority control:
- export record
  dblp key:
  - conf/sas/KremenekE03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KremenekE03
Ted Kremenek, Dawson R. Engler:
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. 295-315
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AbadiB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AbadiB03
Martín Abadi, Bruno Blanchet:
Computer-Assisted Verification of a Protocol for Certified Email. 316-335
no results

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/sas/McMillan03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/McMillan03
Kenneth L. McMillan:
Craig Interpolation and Reachability Analysis. 336
no results

Static Linear Relation Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/sas/BagnaraHRZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BagnaraHRZ03
Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
Precise Widening Operators for Convex Polyhedra. 337-354
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HalbwachsMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HalbwachsMP03
Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux:
Cartesian Factoring of Polyhedra in Linear Relation Analysis. 355-365
no results

Static Analysis Based Program Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/sas/Thiemann03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Thiemann03
Peter Thiemann:
Continuation-Based Partial Evaluation without Continuations. 366-382
- view
  authority control:
- export record
  dblp key:
  - conf/sas/UnnikrishnanCKKK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/UnnikrishnanCKKK03
Priya Unnikrishnan, Guangyu Chen, Mahmut T. Kandemir, Mustafa Karaköy, Ibrahim Kolcu:
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications. 383-400
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChenLG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChenLG03
Wen-Ke Chen, Bengu Li, Rajiv Gupta:
Code Compaction of Matching Single-Entry Multiple-Exit Regions. 401-417
no results

Static Heap Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/sas/KuncakR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KuncakR03
Viktor Kuncak, Martin C. Rinard:
Existential Heap Abstraction Entailment Is Undecidable. 418-438
- view
  authority control:
- export record
  dblp key:
  - conf/sas/FieldGRY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/FieldGRY03
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav:
Typestate Verification: Abstraction Techniques and Complexity Results. 439-462
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChongR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChongR03
Stephen Chong, Radu Rugina:
Static Analysis of Accessed Regions in Recursive Data Structures. 463-482
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ShahamYKS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ShahamYKS03
Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv:
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. 483-503
no results

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.