BibTeX records: Manuel Fähndrich

download as .bib file

@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 = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ase/XiaoTFHMX15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurckhardtLPF15,
  author    = {Sebastian Burckhardt and
               Daan Leijen and
               Jonathan Protzenko and
               Manuel F{\"{a}}hndrich},
  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},
  pages     = {568--590},
  year      = {2015},
  crossref  = {DBLP:conf/ecoop/2015},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.568},
  doi       = {10.4230/LIPIcs.ECOOP.2015.568},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/BurckhardtLPF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Fahndrich14,
  author    = {Manuel F{\"{a}}hndrich},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/pepm/2014},
  url       = {http://doi.acm.org/10.1145/2543728.2543746},
  doi       = {10.1145/2543728.2543746},
  timestamp = {Thu, 09 Jan 2014 10:44:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/Fahndrich14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LogozzoLFB14,
  author    = {Francesco Logozzo and
               Shuvendu K. Lahiri and
               Manuel F{\"{a}}hndrich and
               Sam Blackshear},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/pldi/2014},
  url       = {http://doi.acm.org/10.1145/2594291.2594326},
  doi       = {10.1145/2594291.2594326},
  timestamp = {Tue, 20 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/LogozzoLFB14},
  bibsource = {dblp computer science bibliography, http://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, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/MarronSSF13},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {http://doi.acm.org/10.1145/2462156.2462170},
  doi       = {10.1145/2462156.2462170},
  timestamp = {Thu, 11 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/BurckhardtFHMMTK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CousotCFL13,
  author    = {Patrick Cousot and
               Radhia Cousot and
               Manuel F{\"{a}}hndrich and
               Francesco Logozzo},
  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},
  pages     = {128--148},
  year      = {2013},
  crossref  = {DBLP:conf/vmcai/2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9_10},
  doi       = {10.1007/978-3-642-35873-9_10},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/CousotCFL13},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/FahndrichL12,
  author    = {Manuel F{\"{a}}hndrich and
               Francesco Logozzo},
  title     = {Checking Compatibility of Bit Sizes in Floating Point Comparison Operations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {288},
  pages     = {15--23},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.10.004},
  doi       = {10.1016/j.entcs.2012.10.004},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/FahndrichL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BouazizLF12,
  author    = {Mehdi Bouaziz and
               Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  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},
  pages     = {173--189},
  year      = {2012},
  crossref  = {DBLP:conf/aplas/2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2_13},
  doi       = {10.1007/978-3-642-35182-2_13},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/BouazizLF12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/csee/2012},
  url       = {https://doi.org/10.1109/CSEET.2012.11},
  doi       = {10.1109/CSEET.2012.11},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csee/TillmannMHFX12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurckhardtFLW12,
  author    = {Sebastian Burckhardt and
               Manuel F{\"{a}}hndrich and
               Daan Leijen and
               Benjamin P. Wood},
  title     = {Cloud Types for Eventual Consistency},
  booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
               Beijing, China, June 11-16, 2012. Proceedings},
  pages     = {283--307},
  year      = {2012},
  crossref  = {DBLP:conf/ecoop/2012},
  url       = {https://doi.org/10.1007/978-3-642-31057-7_14},
  doi       = {10.1007/978-3-642-31057-7_14},
  timestamp = {Mon, 06 Nov 2017 16:35:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/BurckhardtFLW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtLFS12,
  author    = {Sebastian Burckhardt and
               Daan Leijen and
               Manuel F{\"{a}}hndrich and
               Mooly Sagiv},
  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},
  pages     = {67--86},
  year      = {2012},
  crossref  = {DBLP:conf/esop/2012},
  url       = {https://doi.org/10.1007/978-3-642-28869-2_4},
  doi       = {10.1007/978-3-642-28869-2_4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/BurckhardtLFS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/Fahndrich0LL12,
  author    = {Manuel F{\"{a}}hndrich and
               Michael Barnett and
               Daan Leijen and
               Francesco Logozzo},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012topi},
  url       = {https://doi.org/10.1109/TOPI.2012.6229809},
  doi       = {10.1109/TOPI.2012.6229809},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/Fahndrich0LL12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/iticse/2012},
  url       = {http://doi.acm.org/10.1145/2325296.2325336},
  doi       = {10.1145/2325296.2325336},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iticse/TillmannMHFBSX12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/kbse/2012},
  url       = {http://doi.acm.org/10.1145/2351676.2351689},
  doi       = {10.1145/2351676.2351689},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/XiaoTFHM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LogozzoBFCC12,
  author    = {Francesco Logozzo and
               Michael Barnett and
               Manuel F{\"{a}}hndrich and
               Patrick Cousot and
               Radhia Cousot},
  title     = {A semantic integrated development environment},
  booktitle = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '12, Tucson, AZ, USA, October 21-25, 2012},
  pages     = {15--16},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012s},
  url       = {http://doi.acm.org/10.1145/2384716.2384724},
  doi       = {10.1145/2384716.2384724},
  timestamp = {Fri, 22 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/LogozzoBFCC12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/sigcse/2012},
  url       = {http://doi.acm.org/10.1145/2157136.2157356},
  doi       = {10.1145/2157136.2157356},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigcse/TillmannMHFX12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/sigsoft/2012},
  url       = {http://doi.acm.org/10.1145/2393596.2393641},
  doi       = {10.1145/2393596.2393641},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/TillmannMHFB12},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1201.1327},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1201-1327},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/1953122.1953145},
  doi       = {10.1145/1953122.1953145},
  timestamp = {Wed, 01 Oct 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/BarnettFLMSV11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LeijenFB11,
  author    = {Daan Leijen and
               Manuel F{\"{a}}hndrich and
               Sebastian Burckhardt},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/haskell/2011},
  url       = {http://doi.acm.org/10.1145/2034675.2034686},
  doi       = {10.1145/2034675.2034686},
  timestamp = {Fri, 13 Jan 2012 14:09:04 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/haskell/LeijenFB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TillmannMHF11,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Manuel F{\"{a}}hndrich},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/oopsla/2011onward},
  url       = {http://doi.acm.org/10.1145/2048237.2048245},
  doi       = {10.1145/2048237.2048245},
  timestamp = {Thu, 20 Jun 2013 09:35:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/TillmannMHF11},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/LogozzoF10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/FahndrichL10,
  author    = {Manuel F{\"{a}}hndrich and
               Francesco Logozzo},
  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},
  pages     = {10--30},
  year      = {2010},
  crossref  = {DBLP:conf/foveoos/2010},
  url       = {https://doi.org/10.1007/978-3-642-18070-5_2},
  doi       = {10.1007/978-3-642-18070-5_2},
  timestamp = {Fri, 19 May 2017 01:25:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/foveoos/FahndrichL10},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/oopsla/2010},
  url       = {http://doi.acm.org/10.1145/1869459.1869517},
  doi       = {10.1145/1869459.1869517},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/BebenitaBFLSTV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/FahndrichBL10,
  author    = {Manuel F{\"{a}}hndrich and
               Michael Barnett and
               Francesco Logozzo},
  title     = {Embedded contract languages},
  booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  pages     = {2103--2110},
  year      = {2010},
  crossref  = {DBLP:conf/sac/2010},
  url       = {http://doi.acm.org/10.1145/1774088.1774531},
  doi       = {10.1145/1774088.1774531},
  timestamp = {Thu, 23 Nov 2017 16:18:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/FahndrichBL10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/Fahndrich10,
  author    = {Manuel F{\"{a}}hndrich},
  title     = {Static Verification for Code Contracts},
  booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
               France, September 14-16, 2010. Proceedings},
  pages     = {2--5},
  year      = {2010},
  crossref  = {DBLP:conf/sas/2010},
  url       = {https://doi.org/10.1007/978-3-642-15769-1_2},
  doi       = {10.1007/978-3-642-15769-1_2},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/Fahndrich10},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/icse/2009c},
  url       = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071032},
  doi       = {10.1109/ICSE-COMPANION.2009.5071032},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/BarnettFHLT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Fahndrich09,
  author    = {Manuel F{\"{a}}hndrich},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/plpv/2009},
  url       = {http://doi.acm.org/10.1145/1481848.1481849},
  doi       = {10.1145/1481848.1481849},
  timestamp = {Thu, 28 Jan 2010 11:03:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/plpv/Fahndrich09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/XiaFL09,
  author    = {Songtao Xia and
               Manuel F{\"{a}}hndrich and
               Francesco Logozzo},
  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},
  pages     = {19--35},
  year      = {2009},
  crossref  = {DBLP:conf/sas/2009},
  url       = {https://doi.org/10.1007/978-3-642-03237-0_4},
  doi       = {10.1007/978-3-642-03237-0_4},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/XiaFL09},
  bibsource = {dblp computer science bibliography, http://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   = {Journal of Object Technology},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jot/FahndrichGS08},
  bibsource = {dblp computer science bibliography, http://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   = {Mathematical Structures in Computer Science},
  volume    = {18},
  number    = {5},
  pages     = {823--894},
  year      = {2008},
  url       = {https://doi.org/10.1017/S0960129508006968},
  doi       = {10.1017/S0960129508006968},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mscs/FahndrichR08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cc/LogozzoF08,
  author    = {Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  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},
  pages     = {197--212},
  year      = {2008},
  crossref  = {DBLP:conf/cc/2008},
  url       = {https://doi.org/10.1007/978-3-540-78791-4_14},
  doi       = {10.1007/978-3-540-78791-4_14},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cc/LogozzoF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FerraraLF08,
  author    = {Pietro Ferrara and
               Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/oopsla/2008},
  url       = {http://doi.acm.org/10.1145/1449764.1449791},
  doi       = {10.1145/1449764.1449791},
  timestamp = {Mon, 27 Oct 2008 11:03:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/FerraraLF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/LogozzoF08,
  author    = {Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/sac/2008},
  url       = {http://doi.acm.org/10.1145/1363686.1363736},
  doi       = {10.1145/1363686.1363736},
  timestamp = {Tue, 03 Nov 2015 12:36:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/LogozzoF08},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/eurosys/2007},
  url       = {http://doi.acm.org/10.1145/1272996.1273032},
  doi       = {10.1145/1272996.1273032},
  timestamp = {Tue, 15 Jul 2008 20:56:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurosys/HuntAFHHLLSTW07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FahndrichX07,
  author    = {Manuel F{\"{a}}hndrich and
               Songtao Xia},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/oopsla/2007},
  url       = {http://doi.acm.org/10.1145/1297027.1297052},
  doi       = {10.1145/1297027.1297052},
  timestamp = {Tue, 23 Oct 2007 08:00:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/FahndrichX07},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/ACMmsp/2006},
  url       = {http://doi.acm.org/10.1145/1178597.1178599},
  doi       = {10.1145/1178597.1178599},
  timestamp = {Thu, 17 Apr 2008 15:03:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ACMmsp/AikenFHHL06},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/eurosys/2006},
  url       = {http://doi.acm.org/10.1145/1217935.1217953},
  doi       = {10.1145/1217935.1217953},
  timestamp = {Wed, 16 May 2007 10:01:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurosys/FahndrichAHHHLL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/FahndrichCL06,
  author    = {Manuel F{\"{a}}hndrich and
               Michael Carbin and
               James R. Larus},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/gpce/2006},
  url       = {http://doi.acm.org/10.1145/1173706.1173748},
  doi       = {10.1145/1173706.1173748},
  timestamp = {Wed, 06 Dec 2006 10:15:27 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/FahndrichCL06},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {144--152},
  year      = {2005},
  crossref  = {DBLP:conf/vstte/2005},
  url       = {https://doi.org/10.1007/978-3-540-69149-5_16},
  doi       = {10.1007/978-3-540-69149-5_16},
  timestamp = {Mon, 30 Oct 2017 11:35:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/BarnettDFJLSV05},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/tldi/2005},
  bibsource = {dblp computer science bibliography, http://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   = {Journal of Object Technology},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jot/BarnettDFLS04},
  bibsource = {dblp computer science bibliography, http://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} Software},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/software/LarusBDDFPRV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DeLineF04,
  author    = {Robert DeLine and
               Manuel F{\"{a}}hndrich},
  title     = {Typestates for Objects},
  booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
               Oslo, Norway, June 14-18, 2004, Proceedings},
  pages     = {465--490},
  year      = {2004},
  crossref  = {DBLP:conf/ecoop/2004},
  url       = {https://doi.org/10.1007/978-3-540-24851-4_21},
  doi       = {10.1007/978-3-540-24851-4_21},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/DeLineF04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FahndrichL03,
  author    = {Manuel F{\"{a}}hndrich and
               K. Rustan M. Leino},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/oopsla/2003p},
  url       = {http://doi.acm.org/10.1145/949305.949332},
  doi       = {10.1145/949305.949332},
  timestamp = {Mon, 13 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/FahndrichL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichD02,
  author    = {Manuel F{\"{a}}hndrich and
               Robert DeLine},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/pldi/2002},
  url       = {http://doi.acm.org/10.1145/512529.512532},
  doi       = {10.1145/512529.512532},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/FahndrichD02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeLineF01,
  author    = {Robert DeLine and
               Manuel F{\"{a}}hndrich},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/pldi/2001},
  url       = {http://doi.acm.org/10.1145/378795.378811},
  doi       = {10.1145/378795.378811},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/DeLineF01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/RehofF01,
  author    = {Jakob Rehof and
               Manuel F{\"{a}}hndrich},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/popl/2001},
  url       = {http://doi.acm.org/10.1145/360204.360208},
  doi       = {10.1145/360204.360208},
  timestamp = {Mon, 18 Mar 2013 08:39:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/RehofF01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/DasLFR01,
  author    = {Manuvir Das and
               Ben Liblit and
               Manuel F{\"{a}}hndrich and
               Jakob Rehof},
  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},
  pages     = {260--278},
  year      = {2001},
  crossref  = {DBLP:conf/sas/2001},
  url       = {https://doi.org/10.1007/3-540-47764-0_15},
  doi       = {10.1007/3-540-47764-0_15},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/DasLFR01},
  bibsource = {dblp computer science bibliography, http://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   = {{STTT}},
  volume    = {3},
  number    = {1},
  pages     = {93--105},
  year      = {2000},
  url       = {https://doi.org/10.1007/PL00010810},
  doi       = {10.1007/PL00010810},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/AikenFS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichRD00,
  author    = {Manuel F{\"{a}}hndrich and
               Jakob Rehof and
               Manuvir Das},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/pldi/2000},
  url       = {http://doi.acm.org/10.1145/349299.349332},
  doi       = {10.1145/349299.349332},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/FahndrichRD00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuFA00,
  author    = {Zhendong Su and
               Manuel F{\"{a}}hndrich and
               Alexander Aiken},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/popl/2000},
  url       = {http://doi.acm.org/10.1145/325694.325706},
  doi       = {10.1145/325694.325706},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/SuFA00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/FosterFA00,
  author    = {Jeffrey S. Foster and
               Manuel F{\"{a}}hndrich and
               Alexander Aiken},
  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},
  pages     = {175--198},
  year      = {2000},
  crossref  = {DBLP:conf/sas/2000},
  url       = {https://doi.org/10.1007/978-3-540-45099-3_10},
  doi       = {10.1007/978-3-540-45099-3_10},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/FosterFA00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FosterFA99,
  author    = {Jeffrey S. Foster and
               Manuel F{\"{a}}hndrich and
               Alexander Aiken},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/pldi/1999},
  url       = {http://doi.acm.org/10.1145/301618.301665},
  doi       = {10.1145/301618.301665},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/FosterFA99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichFSA98,
  author    = {Manuel F{\"{a}}hndrich and
               Jeffrey S. Foster and
               Zhendong Su and
               Alexander Aiken},
  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},
  year      = {1998},
  crossref  = {DBLP:conf/pldi/1998},
  url       = {http://doi.acm.org/10.1145/277650.277667},
  doi       = {10.1145/277650.277667},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/FahndrichFSA98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AikenFS98,
  author    = {Alexander Aiken and
               Manuel F{\"{a}}hndrich and
               Zhendong Su},
  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},
  pages     = {184--200},
  year      = {1998},
  crossref  = {DBLP:conf/tacas/1998},
  url       = {https://doi.org/10.1007/BFb0054172},
  doi       = {10.1007/BFb0054172},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/AikenFS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tic/AikenFFS98,
  author    = {Alexander Aiken and
               Manuel F{\"{a}}hndrich and
               Jeffrey S. Foster and
               Zhendong Su},
  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},
  pages     = {78--96},
  year      = {1998},
  crossref  = {DBLP:conf/tic/1998},
  url       = {https://doi.org/10.1007/BFb0055513},
  doi       = {10.1007/BFb0055513},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tic/AikenFFS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FahndrichB97,
  author    = {Manuel F{\"{a}}hndrich and
               John Boyland},
  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},
  year      = {1997},
  crossref  = {DBLP:conf/icfp/1997},
  url       = {http://doi.acm.org/10.1145/258948.258957},
  doi       = {10.1145/258948.258957},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/FahndrichB97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/FahndrichA97,
  author    = {Manuel F{\"{a}}hndrich and
               Alexander Aiken},
  title     = {Program Analysis Using Mixed Term and Set Constraints},
  booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  pages     = {114--126},
  year      = {1997},
  crossref  = {DBLP:conf/sas/1997},
  url       = {https://doi.org/10.1007/BFb0032737},
  doi       = {10.1007/BFb0032737},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/FahndrichA97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenF95,
  author    = {Alexander Aiken and
               Manuel F{\"{a}}hndrich},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/fpca/1995},
  url       = {http://doi.acm.org/10.1145/224164.224201},
  doi       = {10.1145/224164.224201},
  timestamp = {Thu, 12 Nov 2015 12:04:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fpca/AikenF95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AikenFL95,
  author    = {Alexander Aiken and
               Manuel F{\"{a}}hndrich and
               Raph Levien},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/pldi/1995},
  url       = {http://doi.acm.org/10.1145/207110.207137},
  doi       = {10.1145/207110.207137},
  timestamp = {Mon, 21 May 2012 16:19:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/AikenFL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015,
  editor    = {John Tang Boyland},
  title     = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
               July 5-10, 2015, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {37},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-86-6},
  isbn      = {978-3-939897-86-6},
  timestamp = {Mon, 29 Jun 2015 15:27:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2014,
  editor    = {Wei{-}Ngan Chin and
               Jurriaan Hage},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2543728},
  isbn      = {978-1-4503-2619-3},
  timestamp = {Thu, 09 Jan 2014 10:44:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014,
  editor    = {Michael F. P. O'Boyle and
               Keshav Pingali},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2594291},
  isbn      = {978-1-4503-2784-8},
  timestamp = {Sat, 10 May 2014 14:18:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013,
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2491956},
  isbn      = {978-1-4503-2014-6},
  timestamp = {Sun, 09 Jun 2013 12:25:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2013,
  editor    = {Roberto Giacobazzi and
               Josh Berdine and
               Isabella Mastroeni},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9},
  doi       = {10.1007/978-3-642-35873-9},
  isbn      = {978-3-642-35872-2},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aplas/2012,
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2},
  doi       = {10.1007/978-3-642-35182-2},
  isbn      = {978-3-642-35181-5},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csee/2012,
  editor    = {Daoxu Chen and
               Mike Barker and
               LiGuo Huang},
  title     = {25th {IEEE} Conference on Software Engineering Education and Training,
               CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6242776},
  isbn      = {978-1-4673-1592-0},
  timestamp = {Wed, 18 Nov 2015 15:17:54 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/csee/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012,
  editor    = {James Noble},
  title     = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
               Beijing, China, June 11-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7313},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31057-7},
  doi       = {10.1007/978-3-642-31057-7},
  isbn      = {978-3-642-31056-0},
  timestamp = {Mon, 06 Nov 2017 16:35:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2012,
  editor    = {Helmut Seidl},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28869-2},
  doi       = {10.1007/978-3-642-28869-2},
  isbn      = {978-3-642-28868-5},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2012topi,
  editor    = {Diego Garbervetsky and
               Sunghun Kim},
  title     = {Proceedings of the Second International Workshop on Developing Tools
               as Plug-Ins, {TOPI} 2012, Zurich, Switzerland, June 3, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6220301},
  isbn      = {978-1-4673-1820-4},
  timestamp = {Thu, 05 Jan 2017 08:48:01 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2012topi},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iticse/2012,
  editor    = {Tami Lapidot and
               Judith Gal{-}Ezer and
               Michael E. Caspersen and
               Orit Hazzan},
  title     = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2325296},
  isbn      = {978-1-4503-1246-2},
  timestamp = {Mon, 09 Jul 2012 08:25:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iticse/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2012,
  editor    = {Michael Goedicke and
               Tim Menzies and
               Motoshi Saeki},
  title     = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2351676},
  isbn      = {978-1-4503-1204-2},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012s,
  editor    = {Gary T. Leavens},
  title     = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '12, Tucson, AZ, USA, October 21-25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384716},
  isbn      = {978-1-4503-1563-0},
  timestamp = {Fri, 19 Oct 2012 08:42:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2012s},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2012,
  editor    = {Laurie A. Smith King and
               David R. Musicant and
               Tracy Camp and
               Paul T. Tymann},
  title     = {Proceedings of the 43rd {ACM} technical symposium on Computer science
               education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
               2012},
  publisher = {{ACM}},
  year      = {2012},
  isbn      = {978-1-4503-1098-7},
  timestamp = {Mon, 05 Mar 2012 08:17:41 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigcse/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2012,
  editor    = {Will Tracz and
               Martin P. Robillard and
               Tevfik Bultan},
  title     = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
               (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2393596},
  isbn      = {978-1-4503-1614-9},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/haskell/2011,
  editor    = {Koen Claessen},
  title     = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2011, Tokyo, Japan, 22 September 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0860-1},
  timestamp = {Fri, 13 Jan 2012 14:09:04 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/haskell/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011onward,
  editor    = {Robert Hirschfeld and
               Eelco Visser},
  title     = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
               Onward! 2011, part of {SPLASH} '11, Portland, OR, USA, October 22-27,
               2011},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2048237},
  isbn      = {978-1-4503-0941-7},
  timestamp = {Thu, 20 Jun 2013 09:35:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2011onward},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2010,
  editor    = {Bernhard Beckert and
               Claude March{\'{e}}},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18070-5},
  doi       = {10.1007/978-3-642-18070-5},
  isbn      = {978-3-642-18069-9},
  timestamp = {Fri, 19 May 2017 01:25:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/foveoos/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010,
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  title     = {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}},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0203-6},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2010,
  editor    = {Sung Y. Shin and
               Sascha Ossowski and
               Michael Schumacher and
               Mathew J. Palakal and
               Chih{-}Cheng Hung},
  title     = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1774088},
  doi       = {10.1145/1774088},
  isbn      = {978-1-60558-639-7},
  timestamp = {Thu, 23 Nov 2017 16:18:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/2010,
  editor    = {Radhia Cousot and
               Matthieu Martel},
  title     = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
               France, September 14-16, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6337},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15769-1},
  doi       = {10.1007/978-3-642-15769-1},
  isbn      = {978-3-642-15768-4},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2009c,
  title     = {31st International Conference on Software Engineering, {ICSE} 2009,
               May 16-24, 2009, Vancouver, Canada, Companion Volume},
  publisher = {{IEEE}},
  year      = {2009},
  isbn      = {978-1-4244-3494-7},
  timestamp = {Tue, 16 Jun 2009 14:53:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2009c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plpv/2009,
  editor    = {Thorsten Altenkirch and
               Todd D. Millstein},
  title     = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
               2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-330-3},
  timestamp = {Thu, 28 Jan 2010 11:03:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/plpv/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/2009,
  editor    = {Jens Palsberg and
               Zhendong Su},
  title     = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
               CA, USA, August 9-11, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03237-0},
  doi       = {10.1007/978-3-642-03237-0},
  isbn      = {978-3-642-03236-3},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cc/2008,
  editor    = {Laurie J. Hendren},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78791-4},
  doi       = {10.1007/978-3-540-78791-4},
  isbn      = {978-3-540-78790-7},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cc/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2008,
  editor    = {Gail E. Harris},
  title     = {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}},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-215-3},
  timestamp = {Mon, 27 Oct 2008 11:03:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2008,
  editor    = {Roger L. Wainwright and
               Hisham Haddad},
  title     = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
               Fortaleza, Ceara, Brazil, March 16-20, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1363686},
  doi       = {10.1145/1363686},
  isbn      = {978-1-59593-753-7},
  timestamp = {Tue, 03 Nov 2015 12:36:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2007,
  editor    = {Paulo Ferreira and
               Thomas R. Gross and
               Lu{\'{\i}}s Veiga},
  title     = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March
               21-23, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-636-3},
  timestamp = {Tue, 15 Jul 2008 20:56:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurosys/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2007,
  editor    = {Richard P. Gabriel and
               David F. Bacon and
               Cristina Videira Lopes and
               Guy L. Steele Jr.},
  title     = {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},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-786-5},
  timestamp = {Tue, 23 Oct 2007 08:00:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ACMmsp/2006,
  editor    = {Antony L. Hosking and
               Ali{-}Reza Adl{-}Tabatabai},
  title     = {Proceedings of the 2006 workshop on Memory System Performance and
               Correctness, San Jose, California, USA, October 11, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-578-9},
  timestamp = {Thu, 17 Apr 2008 15:03:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ACMmsp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2006,
  editor    = {Yolande Berbers and
               Willy Zwaenepoel},
  title     = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
               18-21, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-322-0},
  timestamp = {Wed, 16 May 2007 10:01:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurosys/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gpce/2006,
  editor    = {Stan Jarzabek and
               Douglas C. Schmidt and
               Todd L. Veldhuizen},
  title     = {Generative Programming and Component Engineering, 5th International
               Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
               Proceedings},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-237-2},
  timestamp = {Wed, 06 Dec 2006 10:15:27 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vstte/2005,
  editor    = {Bertrand Meyer and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69149-5},
  doi       = {10.1007/978-3-540-69149-5},
  isbn      = {978-3-540-69147-1},
  timestamp = {Mon, 30 Oct 2017 11:35:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2004,
  editor    = {Martin Odersky},
  title     = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
               Oslo, Norway, June 14-18, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3086},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98195},
  doi       = {10.1007/b98195},
  isbn      = {3-540-22159-X},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2003p,
  editor    = {Ron Crocker and
               Guy L. Steele Jr.},
  title     = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages and Applications, {OOPSLA} 2003, October
               26-30, 2003, Anaheim, CA, {USA}},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-712-5},
  timestamp = {Mon, 02 Feb 2004 12:55:09 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2003p},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2002,
  editor    = {Jens Knoop and
               Laurie J. Hendren},
  title     = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
               2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=512529},
  isbn      = {1-58113-463-0},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2001,
  editor    = {Michael Burke and
               Mary Lou Soffa},
  title     = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
               20-22, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=378795},
  isbn      = {1-58113-414-2},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2001,
  editor    = {Chris Hankin and
               Dave Schmidt},
  title     = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
               Symposium on Principles of Programming Languages, London, UK, January
               17-19, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=360204},
  isbn      = {1-58113-336-7},
  timestamp = {Mon, 18 Mar 2013 08:39:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/2001,
  editor    = {Patrick Cousot},
  title     = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
               July 16-18, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-47764-0},
  doi       = {10.1007/3-540-47764-0},
  isbn      = {3-540-42314-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2000,
  editor    = {Monica S. Lam},
  title     = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
               Canada, June 18-21, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=349299},
  isbn      = {1-58113-199-2},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2000,
  editor    = {Mark N. Wegman and
               Thomas W. Reps},
  title     = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Boston, Massachusetts, USA,
               January 19-21, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=325694},
  isbn      = {1-58113-125-9},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/2000,
  editor    = {Jens Palsberg},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/b87738},
  doi       = {10.1007/b87738},
  isbn      = {3-540-67668-6},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/1999,
  editor    = {Barbara G. Ryder and
               Benjamin G. Zorn},
  title     = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
               May 1-4, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=301618},
  isbn      = {1-58113-094-5},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/1998,
  editor    = {Jack W. Davidson and
               Keith D. Cooper and
               A. Michael Berman},
  title     = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
               Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=277650},
  isbn      = {0-89791-987-4},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/1998,
  editor    = {Bernhard Steffen},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054159},
  doi       = {10.1007/BFb0054159},
  isbn      = {3-540-64356-7},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tic/1998,
  editor    = {Xavier Leroy and
               Atsushi Ohori},
  title     = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
               Japan, March 25-27, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1473},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055508},
  doi       = {10.1007/BFb0055508},
  isbn      = {3-540-64925-5},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tic/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/1997,
  editor    = {Simon L. Peyton Jones and
               Mads Tofte and
               A. Michael Berman},
  title     = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-918-1},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/1997,
  editor    = {Pascal Van Hentenryck},
  title     = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1302},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0032729},
  doi       = {10.1007/BFb0032729},
  isbn      = {3-540-63468-1},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fpca/1995,
  editor    = {John Williams},
  title     = {Proceedings of the seventh international conference on Functional
               programming languages and computer architecture, {FPCA} 1995, La Jolla,
               California, USA, June 25-28, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/224164},
  doi       = {10.1145/224164},
  isbn      = {0-89791-719-7},
  timestamp = {Thu, 12 Nov 2015 12:04:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fpca/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/1995,
  editor    = {David W. Wall},
  title     = {Proceedings of the {ACM} SIGPLAN'95 Conference on Programming Language
               Design and Implementation (PLDI), La Jolla, California, USA, June
               18-21, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=207110},
  isbn      = {0-89791-697-2},
  timestamp = {Mon, 21 May 2012 16:19:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier