Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel Fähndrich
@article{DBLP:journals/cacm/DistefanoFLO19,
author = {Dino Distefano and
Manuel F{\"{a}}hndrich and
Francesco Logozzo and
Peter W. O'Hearn},
title = {Scaling static analyses at Facebook},
journal = {Commun. {ACM}},
volume = {62},
number = {8},
pages = {62--70},
year = {2019},
url = {https://doi.org/10.1145/3338112},
doi = {10.1145/3338112},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/DistefanoFLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/XiaoTFHMX15,
author = {Xusheng Xiao and
Nikolai Tillmann and
Manuel F{\"{a}}hndrich and
Jonathan de Halleux and
Michal Moskal and
Tao Xie},
title = {User-aware privacy control via extended static-information-flow analysis},
journal = {Autom. Softw. Eng.},
volume = {22},
number = {3},
pages = {333--366},
year = {2015},
url = {https://doi.org/10.1007/s10515-014-0166-y},
doi = {10.1007/S10515-014-0166-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/XiaoTFHMX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurckhardtLPF15,
author = {Sebastian Burckhardt and
Daan Leijen and
Jonathan Protzenko and
Manuel F{\"{a}}hndrich},
editor = {John Tang Boyland},
title = {Global Sequence Protocol: {A} Robust Abstraction for Replicated Shared
State},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {568--590},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.568},
doi = {10.4230/LIPICS.ECOOP.2015.568},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BurckhardtLPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FahndrichL14,
author = {Manuel F{\"{a}}hndrich and
Francesco Logozzo},
title = {{SAS2013} artifact submission experience report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {39--40},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641650},
doi = {10.1145/2641638.2641650},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FahndrichL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Fahndrich14,
author = {Manuel F{\"{a}}hndrich},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Lessons from a web-based {IDE} and runtime},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {1--2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543746},
doi = {10.1145/2543728.2543746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Fahndrich14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LogozzoLFB14,
author = {Francesco Logozzo and
Shuvendu K. Lahiri and
Manuel F{\"{a}}hndrich and
Sam Blackshear},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Verification modulo versions: towards usable verification},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {294--304},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594326},
doi = {10.1145/2594291.2594326},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LogozzoLFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MarronSSF13,
author = {Mark Marron and
C{\'{e}}sar S{\'{a}}nchez and
Zhendong Su and
Manuel F{\"{a}}hndrich},
title = {Abstracting Runtime Heaps for Program Understanding},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {6},
pages = {774--786},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.69},
doi = {10.1109/TSE.2012.69},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MarronSSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtFHMMTK13,
author = {Sebastian Burckhardt and
Manuel F{\"{a}}hndrich and
Peli de Halleux and
Sean McDirmid and
Michal Moskal and
Nikolai Tillmann and
Jun Kato},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {It's alive! continuous feedback in {UI} programming},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {95--104},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462170},
doi = {10.1145/2491956.2462170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtFHMMTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CousotCFL13,
author = {Patrick Cousot and
Radhia Cousot and
Manuel F{\"{a}}hndrich and
Francesco Logozzo},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Automatic Inference of Necessary Preconditions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {128--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_10},
doi = {10.1007/978-3-642-35873-9\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CousotCFL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2013,
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9},
doi = {10.1007/978-3-642-38856-9},
isbn = {978-3-642-38855-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BouazizLF12,
author = {Mehdi Bouaziz and
Francesco Logozzo and
Manuel F{\"{a}}hndrich},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {Inference of Necessary Field Conditions with Abstract Interpretation},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {173--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_13},
doi = {10.1007/978-3-642-35182-2\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BouazizLF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/TillmannMHFX12,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Manuel F{\"{a}}hndrich and
Tao Xie},
editor = {Daoxu Chen and
Mike Barker and
LiGuo Huang},
title = {Engage Your Students by Teaching Computer Science Using Only Mobile
Devices with TouchDevelop},
booktitle = {25th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
pages = {87--89},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSEET.2012.11},
doi = {10.1109/CSEET.2012.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/TillmannMHFX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurckhardtFLW12,
author = {Sebastian Burckhardt and
Manuel F{\"{a}}hndrich and
Daan Leijen and
Benjamin P. Wood},
editor = {James Noble},
title = {Cloud Types for Eventual Consistency},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {283--307},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_14},
doi = {10.1007/978-3-642-31057-7\_14},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BurckhardtFLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtLFS12,
author = {Sebastian Burckhardt and
Daan Leijen and
Manuel F{\"{a}}hndrich and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Eventually Consistent Transactions},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {67--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_4},
doi = {10.1007/978-3-642-28869-2\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtLFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Fahndrich0LL12,
author = {Manuel F{\"{a}}hndrich and
Michael Barnett and
Daan Leijen and
Francesco Logozzo},
editor = {Diego Garbervetsky and
Sunghun Kim},
title = {Integrating a set of contract checking tools into visual studio},
booktitle = {Proceedings of the Second International Workshop on Developing Tools
as Plug-Ins, {TOPI} 2012, Zurich, Switzerland, June 3, 2012},
pages = {43--48},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TOPI.2012.6229809},
doi = {10.1109/TOPI.2012.6229809},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/Fahndrich0LL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/TillmannMHFBSX12,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Manuel F{\"{a}}hndrich and
Judith Bishop and
Arjmand Samuel and
Tao Xie},
editor = {Tami Lapidot and
Judith Gal{-}Ezer and
Michael E. Caspersen and
Orit Hazzan},
title = {The future of teaching programming is on mobile devices},
booktitle = {Annual Conference on Innovation and Technology in Computer Science
Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
pages = {156--161},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325296.2325336},
doi = {10.1145/2325296.2325336},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/TillmannMHFBSX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiaoTFHM12,
author = {Xusheng Xiao and
Nikolai Tillmann and
Manuel F{\"{a}}hndrich and
Jonathan de Halleux and
Michal Moskal},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {User-aware privacy control via extended static-information-flow analysis},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {80--89},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351689},
doi = {10.1145/2351676.2351689},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XiaoTFHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LogozzoBFCC12,
author = {Francesco Logozzo and
Michael Barnett and
Manuel F{\"{a}}hndrich and
Patrick Cousot and
Radhia Cousot},
editor = {Gary T. Leavens},
title = {A semantic integrated development environment},
booktitle = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming,
and Applications: Software for Humanity, Tucson, AZ, USA, October
21-25, 2012},
pages = {15--16},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384716.2384724},
doi = {10.1145/2384716.2384724},
timestamp = {Mon, 14 Feb 2022 15:08:35 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/LogozzoBFCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/TillmannMHFX12,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Manuel F{\"{a}}hndrich and
Tao Xie},
editor = {Laurie A. Smith King and
David R. Musicant and
Tracy Camp and
Paul T. Tymann},
title = {Engage your students by teaching programming using only mobile devices
with TouchDevelop (abstract only)},
booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
2012},
pages = {663},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2157136.2157356},
doi = {10.1145/2157136.2157356},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/TillmannMHFX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannMHFB12,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Manuel F{\"{a}}hndrich and
Sebastian Burckhardt},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {TouchDevelop: app development on mobile devices},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {39},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393641},
doi = {10.1145/2393596.2393641},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/TillmannMHFB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-1327,
author = {Mark Marron and
C{\'{e}}sar S{\'{a}}nchez and
Zhendong Su and
Manuel F{\"{a}}hndrich},
title = {Abstracting Runtime Heaps for Program Understanding},
journal = {CoRR},
volume = {abs/1201.1327},
year = {2012},
url = {http://arxiv.org/abs/1201.1327},
eprinttype = {arXiv},
eprint = {1201.1327},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-1327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BarnettFLMSV11,
author = {Mike Barnett and
Manuel F{\"{a}}hndrich and
K. Rustan M. Leino and
Peter M{\"{u}}ller and
Wolfram Schulte and
Herman Venter},
title = {Specification and verification: the Spec{\#} experience},
journal = {Commun. {ACM}},
volume = {54},
number = {6},
pages = {81--91},
year = {2011},
url = {https://doi.org/10.1145/1953122.1953145},
doi = {10.1145/1953122.1953145},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BarnettFLMSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LeijenFB11,
author = {Daan Leijen and
Manuel F{\"{a}}hndrich and
Sebastian Burckhardt},
editor = {Koen Claessen},
title = {Prettier concurrency: purely functional concurrent revisions},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2011, Tokyo, Japan, 22 September 2011},
pages = {83--94},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034675.2034686},
doi = {10.1145/2034675.2034686},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/haskell/LeijenFB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TillmannMHF11,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Manuel F{\"{a}}hndrich},
editor = {Robert Hirschfeld and
Eelco Visser},
title = {TouchDevelop: programming cloud-connected mobile devices via touchscreen},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2011, part of {SPLASH} '11, Portland, OR, USA, October 22-27,
2011},
pages = {49--60},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048237.2048245},
doi = {10.1145/2048237.2048245},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TillmannMHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FahndrichL12,
author = {Manuel F{\"{a}}hndrich and
Francesco Logozzo},
editor = {Damien Mass{\'{e}} and
Laurent Mauborgne},
title = {Checking Compatibility of Bit Sizes in Floating Point Comparison Operations},
booktitle = {Proceedings of the Third International Workshop on Numerical and Symbolic
Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {288},
pages = {15--23},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2012.10.004},
doi = {10.1016/J.ENTCS.2012.10.004},
timestamp = {Fri, 25 Nov 2022 14:37:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FahndrichL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LogozzoF10,
author = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Pentagons: {A} weakly relational abstract domain for the efficient
validation of array accesses},
journal = {Sci. Comput. Program.},
volume = {75},
number = {9},
pages = {796--807},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.04.004},
doi = {10.1016/J.SCICO.2009.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LogozzoF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/FahndrichL10,
author = {Manuel F{\"{a}}hndrich and
Francesco Logozzo},
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {Static Contract Checking with Abstract Interpretation},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
pages = {10--30},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18070-5\_2},
doi = {10.1007/978-3-642-18070-5\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/FahndrichL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BebenitaBFLSTV10,
author = {Michael Bebenita and
Florian Brandner and
Manuel F{\"{a}}hndrich and
Francesco Logozzo and
Wolfram Schulte and
Nikolai Tillmann and
Herman Venter},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {{SPUR:} a trace-based {JIT} compiler for {CIL}},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {708--725},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869517},
doi = {10.1145/1869459.1869517},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BebenitaBFLSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FahndrichBL10,
author = {Manuel F{\"{a}}hndrich and
Michael Barnett and
Francesco Logozzo},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Embedded contract languages},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2103--2110},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774531},
doi = {10.1145/1774088.1774531},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/FahndrichBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Fahndrich10,
author = {Manuel F{\"{a}}hndrich},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Static Verification for Code Contracts},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {2--5},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_2},
doi = {10.1007/978-3-642-15769-1\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Fahndrich10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BarnettFHLT09,
author = {Michael Barnett and
Manuel F{\"{a}}hndrich and
Peli de Halleux and
Francesco Logozzo and
Nikolai Tillmann},
title = {Exploiting the synergy between automated-test-generation and programming-by-contract},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {401--402},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071032},
doi = {10.1109/ICSE-COMPANION.2009.5071032},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BarnettFHLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Fahndrich09,
author = {Manuel F{\"{a}}hndrich},
editor = {Thorsten Altenkirch and
Todd D. Millstein},
title = {Language-agnostic specification and verification: invited talk},
booktitle = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
2009},
pages = {1--2},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481848.1481849},
doi = {10.1145/1481848.1481849},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/Fahndrich09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/XiaFL09,
author = {Songtao Xia and
Manuel F{\"{a}}hndrich and
Francesco Logozzo},
editor = {Jens Palsberg and
Zhendong Su},
title = {Inferring Dataflow Properties of User Defined Table Processors},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {19--35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_4},
doi = {10.1007/978-3-642-03237-0\_4},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sas/XiaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FahndrichGS08,
author = {Manuel F{\"{a}}hndrich and
Diego Garbervetsky and
Wolfram Schulte},
title = {A Static Analysis to Detect Re-Entrancy in Object Oriented Programs},
journal = {J. Object Technol.},
volume = {7},
number = {5},
pages = {5--23},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.5.a1},
doi = {10.5381/JOT.2008.7.5.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FahndrichGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FahndrichR08,
author = {Manuel F{\"{a}}hndrich and
Jakob Rehof},
title = {Type-based flow analysis and context-free language reachability},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {823--894},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006968},
doi = {10.1017/S0960129508006968},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FahndrichR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LogozzoF08,
author = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
editor = {Laurie J. Hendren},
title = {On the Relative Completeness of Bytecode Analysis Versus Source Code
Analysis},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4959},
pages = {197--212},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_14},
doi = {10.1007/978-3-540-78791-4\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LogozzoF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FerraraLF08,
author = {Pietro Ferrara and
Francesco Logozzo and
Manuel F{\"{a}}hndrich},
editor = {Gail E. Harris},
title = {Safer unsafe code for .NET},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {329--346},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449791},
doi = {10.1145/1449764.1449791},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FerraraLF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LogozzoF08,
author = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Pentagons: a weakly relational abstract domain for the efficient validation
of array accesses},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {184--188},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363736},
doi = {10.1145/1363686.1363736},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/LogozzoF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HuntAFHHLLSTW07,
author = {Galen C. Hunt and
Mark Aiken and
Manuel F{\"{a}}hndrich and
Chris Hawblitzel and
Orion Hodson and
James R. Larus and
Steven Levi and
Bjarne Steensgaard and
David Tarditi and
Ted Wobber},
editor = {Paulo Ferreira and
Thomas R. Gross and
Lu{\'{\i}}s Veiga},
title = {Sealing {OS} processes to improve dependability and safety},
booktitle = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March
21-23, 2007},
pages = {341--354},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1272996.1273032},
doi = {10.1145/1272996.1273032},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/HuntAFHHLLSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FahndrichX07,
author = {Manuel F{\"{a}}hndrich and
Songtao Xia},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Establishing object invariants with delayed types},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {337--350},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297052},
doi = {10.1145/1297027.1297052},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FahndrichX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMmsp/AikenFHHL06,
author = {Mark Aiken and
Manuel F{\"{a}}hndrich and
Chris Hawblitzel and
Galen C. Hunt and
James R. Larus},
editor = {Antony L. Hosking and
Ali{-}Reza Adl{-}Tabatabai},
title = {Deconstructing process isolation},
booktitle = {Proceedings of the 2006 workshop on Memory System Performance and
Correctness, San Jose, California, USA, October 11, 2006},
pages = {1--10},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1178597.1178599},
doi = {10.1145/1178597.1178599},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACMmsp/AikenFHHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/FahndrichAHHHLL06,
author = {Manuel F{\"{a}}hndrich and
Mark Aiken and
Chris Hawblitzel and
Orion Hodson and
Galen C. Hunt and
James R. Larus and
Steven Levi},
editor = {Yolande Berbers and
Willy Zwaenepoel},
title = {Language support for fast and reliable message-based communication
in singularity {OS}},
booktitle = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
18-21, 2006},
pages = {177--190},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217935.1217953},
doi = {10.1145/1217935.1217953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/FahndrichAHHHLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/FahndrichCL06,
author = {Manuel F{\"{a}}hndrich and
Michael Carbin and
James R. Larus},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Reflective program generation with patterns},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {275--284},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173748},
doi = {10.1145/1173706.1173748},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/FahndrichCL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BarnettDFJLSV05,
author = {Michael Barnett and
Robert DeLine and
Manuel F{\"{a}}hndrich and
Bart Jacobs and
K. Rustan M. Leino and
Wolfram Schulte and
Herman Venter},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {The Spec{\#} Programming System: Challenges and Directions},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {144--152},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_16},
doi = {10.1007/978-3-540-69149-5\_16},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BarnettDFJLSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2005,
editor = {J. Gregory Morrisett and
Manuel F{\"{a}}hndrich},
title = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Long Beach, CA, USA,
January 10, 2005},
publisher = {{ACM}},
year = {2005},
url = {http://dl.acm.org/citation.cfm?id=1040294},
isbn = {1-58113-999-3},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BarnettDFLS04,
author = {Michael Barnett and
Robert DeLine and
Manuel F{\"{a}}hndrich and
K. Rustan M. Leino and
Wolfram Schulte},
title = {Verification of Object-Oriented Programs with Invariants},
journal = {J. Object Technol.},
volume = {3},
number = {6},
pages = {27--56},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.6.a2},
doi = {10.5381/JOT.2004.3.6.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BarnettDFLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LarusBDDFPRV04,
author = {James R. Larus and
Thomas Ball and
Manuvir Das and
Robert DeLine and
Manuel F{\"{a}}hndrich and
Jonathan D. Pincus and
Sriram K. Rajamani and
Ramanathan Venkatapathy},
title = {Righting Software},
journal = {{IEEE} Softw.},
volume = {21},
number = {3},
pages = {92--100},
year = {2004},
url = {https://doi.org/10.1109/MS.2004.1293079},
doi = {10.1109/MS.2004.1293079},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LarusBDDFPRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DeLineF04,
author = {Robert DeLine and
Manuel F{\"{a}}hndrich},
editor = {Martin Odersky},
title = {Typestates for Objects},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {465--490},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_21},
doi = {10.1007/978-3-540-24851-4\_21},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DeLineF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FahndrichL03,
author = {Manuel F{\"{a}}hndrich and
K. Rustan M. Leino},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Declaring and checking non-null types in an object-oriented language},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {302--312},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949332},
doi = {10.1145/949305.949332},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FahndrichL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichD02,
author = {Manuel F{\"{a}}hndrich and
Robert DeLine},
editor = {Jens Knoop and
Laurie J. Hendren},
title = {Adoption and Focus: Practical Linear Types for Imperative Programming},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
2002},
pages = {13--24},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512529.512532},
doi = {10.1145/512529.512532},
timestamp = {Wed, 07 Jul 2021 17:30:34 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FahndrichD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeLineF01,
author = {Robert DeLine and
Manuel F{\"{a}}hndrich},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Enforcing High-Level Protocols in Low-Level Software},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {59--69},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378811},
doi = {10.1145/378795.378811},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DeLineF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RehofF01,
author = {Jakob Rehof and
Manuel F{\"{a}}hndrich},
editor = {Chris Hankin and
Dave Schmidt},
title = {Type-base flow analysis: from polymorphic subtyping to CFL-reachability},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {54--66},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360208},
doi = {10.1145/360204.360208},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/RehofF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DasLFR01,
author = {Manuvir Das and
Ben Liblit and
Manuel F{\"{a}}hndrich and
Jakob Rehof},
editor = {Patrick Cousot},
title = {Estimating the Impact of Scalable Pointer Analysis on Optimization},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {260--278},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_15},
doi = {10.1007/3-540-47764-0\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DasLFR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AikenFS00,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Zhendong Su},
title = {Detecting races in Relay Ladder Logic programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {1},
pages = {93--105},
year = {2000},
url = {https://doi.org/10.1007/PL00010810},
doi = {10.1007/PL00010810},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AikenFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichRD00,
author = {Manuel F{\"{a}}hndrich and
Jakob Rehof and
Manuvir Das},
editor = {Monica S. Lam},
title = {Scalable context-sensitive flow analysis using instantiation constraints},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
Canada, June 18-21, 2000},
pages = {253--263},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349299.349332},
doi = {10.1145/349299.349332},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FahndrichRD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuFA00,
author = {Zhendong Su and
Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Projection Merging: Reducing Redundancies in Inclusion Constraint
Graphs},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {81--95},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325706},
doi = {10.1145/325694.325706},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SuFA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FosterFA00,
author = {Jeffrey S. Foster and
Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Jens Palsberg},
title = {Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis
for {C}},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {175--198},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_10},
doi = {10.1007/978-3-540-45099-3\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FosterFA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FosterFA99,
author = {Jeffrey S. Foster and
Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Barbara G. Ryder and
Benjamin G. Zorn},
title = {A Theory of Type Qualifiers},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
May 1-4, 1999},
pages = {192--203},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301618.301665},
doi = {10.1145/301618.301665},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FosterFA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichFSA98,
author = {Manuel F{\"{a}}hndrich and
Jeffrey S. Foster and
Zhendong Su and
Alexander Aiken},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Partial Online Cycle Elimination in Inclusion Constraint Graphs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {85--96},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277667},
doi = {10.1145/277650.277667},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FahndrichFSA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AikenFS98,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Zhendong Su},
editor = {Bernhard Steffen},
title = {Detecting Races in Relay Ladder Logic Programs},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {184--200},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054172},
doi = {10.1007/BFB0054172},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AikenFS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/AikenFFS98,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Jeffrey S. Foster and
Zhendong Su},
editor = {Xavier Leroy and
Atsushi Ohori},
title = {A Toolkit for Constructing Type- and Constraint-Based Program Analyses},
booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
pages = {78--96},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055513},
doi = {10.1007/BFB0055513},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tic/AikenFFS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FahndrichB97,
author = {Manuel F{\"{a}}hndrich and
John Boyland},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Statically Checkable Pattern Abstractions},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {75--84},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258957},
doi = {10.1145/258948.258957},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FahndrichB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FahndrichA97,
author = {Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Pascal Van Hentenryck},
title = {Program Analysis Using Mixed Term and Set Constraints},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {114--126},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032737},
doi = {10.1007/BFB0032737},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FahndrichA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenF95,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich},
editor = {John Williams},
title = {Dynamic Typing and Subtype Inference},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {182--191},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224201},
doi = {10.1145/224164.224201},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AikenF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AikenFL95,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Raph Levien},
editor = {David W. Wall},
title = {Better Static Memory Management: Improving Region-Based Analysis of
Higher-Order Languages},
booktitle = {Proceedings of the {ACM} SIGPLAN'95 Conference on Programming Language
Design and Implementation (PLDI), La Jolla, California, USA, June
18-21, 1995},
pages = {174--185},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/207110.207137},
doi = {10.1145/207110.207137},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AikenFL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-10-22 22:06 CEST 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:
