default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dagstuhl/P8161.bht:"
download as .bib file
@proceedings{DBLP:conf/dagstuhl/2008P8161,
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08161/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Barany08,
author = {Gerg{\"{o}} Barany},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Value Flow Graph Analysis with SATIrE},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1570/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Barany08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Binkley08,
author = {Dave W. Binkley},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Dependence Cluster Causes},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1571/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Binkley08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Blieberger08,
author = {Johann Blieberger},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Average Case Analysis of Some Elimination-Based Data-Flow Analysis
Algorithms},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1572/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Blieberger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CifuentesS08,
author = {Cristina Cifuentes and
Bernhard Scholz},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Parfait - Designing a Scalable Bug Checker},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1573/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CifuentesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Gesellensetter08,
author = {Lars Gesellensetter},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Scalable Analysis via Machine Learning: Predicting Memory Dependencies
Precisely},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1574/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Gesellensetter08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Knoop08,
author = {Jens Knoop},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Data-Flow Analysis for Multi-Core Computing Systems: {A} Reminder
to Reverse Data-Flow Analysis},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1575/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Knoop08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MartinNRS08,
author = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {08161 Abstracts Collection - Scalable Program Analysis},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1576/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MartinNRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/QuinlanBP08,
author = {Daniel J. Quinlan and
Gerg{\"{o}} Barany and
Thomas Panas},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Towards Distributed Memory Parallel Program Analysis},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1568/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/QuinlanBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schordan08,
author = {Markus Schordan},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Source-To-Source Analysis with SATIrE - an Example Revisited},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1569/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schordan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-04 00:45 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
