- Towards Shape Analysis of B-Trees
J. Herter
Universität des Saarlandes, 2008.
[pdf]
[bib]
@mastersthesis{Herter08,
author = {J\"org Herter},
title = {Towards Shape Analysis of {B}-Trees},
school = {Universit\"at des Saarlandes},
year = {2008},
month = {January},
url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/TowardsShapeAnalysisOfBTrees.pdf}
}
- Shape Analysis of Sets
J. Reineke
Workshop Trustworthy Software 2006, 2006.
[pdf]
[slides]
[bib]
@inproceedings{Reineke06,
author = {Jan Reineke},
title = {Shape Analysis of Sets},
booktitle = {Workshop Trustworthy Software 2006},
year = {2006},
editor = {Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
address = {Dagstuhl, Germany},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/shapeAnalysisOfSets.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Paper.698.pdf}
}
- Algorithm Animation using Shape Analysis: Visualising Abstract Executions
D. Johannes, R. Seidel, and R. Wilhelm
SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, 2005.
[doi]
[bib]
@inproceedings{Johannes05,
author = {Dierk Johannes and Raimund Seidel and Reinhard Wilhelm},
title = {Algorithm Animation using Shape Analysis: Visualising Abstract Executions},
booktitle = {SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization},
year = {2005},
pages = {17--26},
address = {New York, NY, USA},
publisher = {ACM},
doi = {10.1145/1056018.1056021},
isbn = {1-59593-073-6},
location = {St. Louis, Missouri}
}
- Shape Analysis of Sets
J. Reineke
Universität des Saarlandes, Germany, 2005.
[pdf]
[slides]
[bib]
@mastersthesis{Reineke05,
author = {Jan Reineke},
title = {Shape Analysis of Sets},
school = {Universit\"at des Saarlandes, Germany},
year = {2005},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/shapeAnalysisOfSets.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf}
}
- A Semantics for Procedure Local Heaps and its Abstractions
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005.
[pdf]
[bib]
@inproceedings{Rinetzky05,
author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {A Semantics for Procedure Local Heaps and its Abstractions},
booktitle = {32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)},
year = {2005},
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/popl05.pdf}
}
- Static Program Analysis via 3-Valued Logic
T. Reps, S. Sagiv, and R. Wilhelm
CAV 2004, 2004.
[bib]
@inproceedings{Reps04,
author = {Thomas Reps and Shmuel Sagiv and Reinhard Wilhelm},
title = {Static Program Analysis via 3-Valued Logic},
booktitle = {CAV 2004},
year = {2004},
volume = {3114},
series = {LNCS},
pages = {15--30},
}
- A Semantics for Procedure Local Heaps and its Abstractions
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
Technical Report, AVACS, 2004.
[pdf]
[bib]
@techreport{Rinetzky04,
author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {A Semantics for Procedure Local Heaps and its Abstractions},
institution = {AVACS},
year = {2004},
type = {Tech. Rep.},
number = {1},
month = {September},
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/avacsTR1.pdf}
}
- Verifying Temporal Heap Properties Specified via Evolution Logic
E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm
European Symposium on Programming, 2003.
[bib]
@inproceedings{Yahav03,
author = {Eran Yahav and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
booktitle = {European Symposium on Programming},
year = {2003},
volume = {2618},
series = {LNCS},
pages = {204--222},
publisher = {Springer Verlag},
}
- Shape Analysis and Applications
T. Reps, M. Sagiv, and R. Wilhelm
The Compiler Design Handbook: Optimizations \& Machine Code Generation, CRC Press, 2002.
[bib]
@incollection{Reps02,
author = {Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {Shape Analysis and Applications},
booktitle = {The Compiler Design Handbook: Optimizations \& Machine Code Generation},
publisher = {CRC Press},
year = {2002},
editor = {Y N Srikant and Priti Shankar},
pages = {175--217},
}
- Parametric Shape Analysis via 3-Valued Logic
M. Sagiv, T. Reps, and R. Wilhelm
ACM Transactions on Programming Languages and Systems, 24 (3), 2002.
[bib]
@article{Sagiv02,
author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
title = {Parametric Shape Analysis via 3-Valued Logic},
journal = {ACM Transactions on Programming Languages and Systems},
year = {2002},
volume = {24},
pages = {217--298},
number = {3},
}
- Putting Static Analysis to Work for Verification: A Case Study
T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm
Intl. Symp. on Software Testing and Analysis, 2000.
[bib]
@inproceedings{Lev-Ami00,
author = {T. Lev-Ami and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {Putting Static Analysis to Work for Verification: A Case Study},
booktitle = {Intl. Symp. on Software Testing and Analysis},
year = {2000},
pages = {26--38},
}
- Shape Analysis
R. Wilhelm, M. Sagiv, and T. Reps
International Conference on Compiler Construction, 2000.
[bib]
@inproceedings{Wilhelm00b,
author = {Reinhard Wilhelm and Mooly Sagiv and Thomas Reps},
title = {Shape Analysis},
booktitle = {International Conference on Compiler Construction},
year = {2000},
number = {1781},
series = {LNCS},
pages = {1--16},
publisher = {Springer Verlag},
}
- Parametric Shape-Analysis via 3-Valued Logic
M. Sagiv, T. Reps, and R. Wilhelm
Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1999.
[bib]
@inproceedings{Sagiv99,
author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
title = {Parametric Shape-Analysis via 3-Valued Logic},
booktitle = {Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
year = {1999},
address = {San Antonio, Texas},
}
- Solving Shape-Analysis Problems in Languages with Destructive Updating
M. Sagiv, T. Reps, and R. Wilhelm
ACM Transactions on Programming Languages and Systems, 20 (1), 1998.
[bib]
@article{Sagiv98,
author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
journal = {ACM Transactions on Programming Languages and Systems},
year = {1998},
volume = {20},
pages = {1--50},
number = {1},
month = jan,
}
- A Logic-Based Approach to Data Flow Analysis Problems
S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
ACTA INFORMATICA, 35, 1998.
[bib]
@article{Sagiv98a,
author = {S. Sagiv and N. Francez and M. Rodeh and Reinhard Wilhelm},
title = {A Logic-Based Approach to Data Flow Analysis Problems},
journal = {ACTA INFORMATICA},
year = {1998},
volume = {35},
pages = {457--504},
}
- Solving Shape-Analysis Problems in Languages with Destructive Updating
M. Sagiv, T. Reps, and R. Wilhelm
Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1996.
[bib]
@inproceedings{Sagiv96,
author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
booktitle = {Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
year = {1996},
address = {St. Petersburg Beach, Florida},
}
- A Logic-Based Approach to Data Flow Analysis Problems
S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
Programming Language Implementation and Logic Programming, 1990.
[bib]
@inproceedings{Sagiv90,
author = {S. Sagiv and N. Francez and M. Rodeh and Reinhard Wilhelm},
title = {A Logic-Based Approach to Data Flow Analysis Problems},
booktitle = {Programming Language Implementation and Logic Programming},
year = {1990},
editor = {P. Deransart and J. Ma\luszy\'nski},
volume = {456},
series = {LNCS},
pages = {277--291},
address = {Link\"oping, Sweden},
month = {August},
publisher = {Springer Verlag},
}