Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Matthias Blume
@article{DBLP:journals/jfp/AcarBD13, author = {Umut A. Acar and Matthias Blume and Jacob Donham}, title = {A consistent semantics of self-adjusting computation}, journal = {J. Funct. Program.}, volume = {23}, number = {3}, pages = {249--292}, year = {2013}, url = {https://doi.org/10.1017/S0956796813000099}, doi = {10.1017/S0956796813000099}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AcarBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BlumeV12, author = {Matthias Blume and Germ{\'{a}}n Vidal}, title = {Preface}, journal = {Theor. Comput. Sci.}, volume = {435}, pages = {1--2}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2012.02.021}, doi = {10.1016/J.TCS.2012.02.021}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BlumeV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/jmlr/XieLTLKB12, author = {Jianjun Xie and Scott Leishman and Liang Tian and David Lisuk and Seongjoon Koo and Matthias Blume}, editor = {Gideon Dror and Yehuda Koren and Markus Weimer}, title = {Feature Engineering in User's Music Preference Prediction}, booktitle = {Proceedings of {KDD} Cup 2011 competition, San Diego, CA, USA, 2011}, series = {{JMLR} Proceedings}, volume = {18}, pages = {183--197}, publisher = {JMLR.org}, year = {2012}, url = {http://proceedings.mlr.press/v18/xie12a.html}, timestamp = {Wed, 29 May 2019 08:41:47 +0200}, biburl = {https://dblp.org/rec/journals/jmlr/XieLTLKB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/AhmedB11, author = {Amal Ahmed and Matthias Blume}, editor = {Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy}, title = {An equivalence-preserving {CPS} translation via multi-language semantics}, booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21, 2011}, pages = {431--444}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2034773.2034830}, doi = {10.1145/2034773.2034830}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/AhmedB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-0478, author = {Umut A. Acar and Matthias Blume and Jacob Donham}, title = {A Consistent Semantics of Self-Adjusting Computation}, journal = {CoRR}, volume = {abs/1106.0478}, year = {2011}, url = {http://arxiv.org/abs/1106.0478}, eprinttype = {arXiv}, eprint = {1106.0478}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-0478.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/flops/2010, editor = {Matthias Blume and Naoki Kobayashi and Germ{\'{a}}n Vidal}, title = {Functional and Logic Programming, 10th International Symposium, {FLOPS} 2010, Sendai, Japan, April 19-21, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6009}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12251-4}, doi = {10.1007/978-3-642-12251-4}, isbn = {978-3-642-12250-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/AcarBBHT09, author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Robert Harper and Kanat Tangwongsan}, title = {An experimental analysis of self-adjusting computation}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {32}, number = {1}, pages = {3:1--3:53}, year = {2009}, url = {https://doi.org/10.1145/1596527.1596530}, doi = {10.1145/1596527.1596530}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/AcarBBHT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/ChaeB09, author = {Wonseok Chae and Matthias Blume}, editor = {Sven Apel and William R. Cook and Krzysztof Czarnecki and Christian K{\"{a}}stner and Neil Loughran and Oscar Nierstrasz}, title = {Language support for feature-oriented product line engineering}, booktitle = {Proceedings of the First International Workshop on Feature-Oriented Software Development, {FOSD} 2009, Denver, Colorado, USA, October 6, 2009}, series = {{ACM} International Conference Proceeding Series}, pages = {3--10}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1629716.1629720}, doi = {10.1145/1629716.1629720}, timestamp = {Fri, 30 Dec 2022 23:08:54 +0100}, biburl = {https://dblp.org/rec/conf/models/ChaeB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BlumeAC08, author = {Matthias Blume and Umut A. Acar and Wonseok Chae}, editor = {G. Ramalingam}, title = {Exception Handlers as Extensible Cases}, booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008, Bangalore, India, December 9-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5356}, pages = {273--289}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89330-1\_20}, doi = {10.1007/978-3-540-89330-1\_20}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BlumeAC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/AhmedB08, author = {Amal Ahmed and Matthias Blume}, editor = {James Hook and Peter Thiemann}, title = {Typed closure conversion preserves observational equivalence}, booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2008, Victoria, BC, Canada, September 20-28, 2008}, pages = {157--168}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411204.1411227}, doi = {10.1145/1411204.1411227}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/AhmedB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ml/BlumeRR08, author = {Matthias Blume and Mike Rainey and John H. Reppy}, editor = {Eijiro Sumii}, title = {Calling variadic functions from a strongly-typed language}, booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008}, pages = {47--58}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411304.1411312}, doi = {10.1145/1411304.1411312}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ml/BlumeRR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AcarAB08, author = {Umut A. Acar and Amal Ahmed and Matthias Blume}, editor = {George C. Necula and Philip Wadler}, title = {Imperative self-adjusting computation}, booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2008, San Francisco, California, USA, January 7-12, 2008}, pages = {309--322}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1328438.1328476}, doi = {10.1145/1328438.1328476}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AcarAB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/ChaeB08, author = {Wonseok Chae and Matthias Blume}, title = {Building a Family of Compilers}, booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008, Limerick, Ireland, September 8-12, 2008, Proceedings}, pages = {307--316}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SPLC.2008.28}, doi = {10.1109/SPLC.2008.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/splc/ChaeB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/DreyerB07, author = {Derek Dreyer and Matthias Blume}, editor = {Rocco De Nicola}, title = {Principal Type Schemes for Modular Programs}, booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, {ESOP} 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4421}, pages = {441--457}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71316-6\_30}, doi = {10.1007/978-3-540-71316-6\_30}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/DreyerB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/AcarBD07, author = {Umut A. Acar and Matthias Blume and Jacob Donham}, editor = {Rocco De Nicola}, title = {A Consistent Semantics of Self-adjusting Computation}, booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, {ESOP} 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4421}, pages = {458--474}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71316-6\_31}, doi = {10.1007/978-3-540-71316-6\_31}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/AcarBD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semeval/KalmarB07, author = {Paul Kalmar and Matthias Blume}, editor = {Eneko Agirre and Llu{\'{\i}}s M{\`{a}}rquez i Villodre and Richard Wicentowski}, title = {{FICO:} Web Person Disambiguation Via Weighted Similarity of Entity Contexts}, booktitle = {Proceedings of the 4th International Workshop on Semantic Evaluations, SemEval@ACL 2007, Prague, Czech Republic, June 23-24, 2007}, pages = {149--152}, publisher = {The Association for Computer Linguistics}, year = {2007}, url = {https://aclanthology.org/S07-1030/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semeval/KalmarB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BlumeM06, author = {Matthias Blume and David A. McAllester}, title = {Sound and complete models of contracts}, journal = {J. Funct. Program.}, volume = {16}, number = {4-5}, pages = {375--414}, year = {2006}, url = {https://doi.org/10.1017/S0956796806005971}, doi = {10.1017/S0956796806005971}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BlumeM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/FindlerB06, author = {Robert Bruce Findler and Matthias Blume}, editor = {Masami Hagiya and Philip Wadler}, title = {Contracts as Pairs of Projections}, booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS} 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3945}, pages = {226--241}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11737414\_16}, doi = {10.1007/11737414\_16}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/FindlerB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/BlumeAC06, author = {Matthias Blume and Umut A. Acar and Wonseok Chae}, editor = {John H. Reppy and Julia Lawall}, title = {Extensible programming with first-class cases}, booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September 16-21, 2006}, pages = {239--250}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1159803.1159836}, doi = {10.1145/1159803.1159836}, timestamp = {Mon, 17 Jan 2022 15:20:18 +0100}, biburl = {https://dblp.org/rec/conf/icfp/BlumeAC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/AcarBBT06, author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Kanat Tangwongsan}, editor = {Michael I. Schwartzbach and Thomas Ball}, title = {An experimental analysis of self-adjusting computation}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006}, pages = {96--107}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1133981.1133993}, doi = {10.1145/1133981.1133993}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/pldi/AcarBBT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/conll/FreitagBBCKRW05, author = {Dayne Freitag and Matthias Blume and John Byrnes and Edmond Chow and Sadik Kapadia and Richard Rohwer and Zhiqiang Wang}, editor = {Ido Dagan and Daniel Gildea}, title = {New Experiments in Distributional Representations of Synonymy}, booktitle = {Proceedings of the Ninth Conference on Computational Natural Language Learning, CoNLL 2005, Ann Arbor, Michigan, USA, June 29-30, 2005}, pages = {25--32}, publisher = {{ACL}}, year = {2005}, url = {https://aclanthology.org/W05-0604/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/conll/FreitagBBCKRW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AcarBBHT06, author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Robert Harper and Kanat Tangwongsan}, editor = {Nick Benton and Xavier Leroy}, title = {A Library for Self-Adjusting Computation}, booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn, Estonia, September 29, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {148}, number = {2}, pages = {127--154}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.043}, doi = {10.1016/J.ENTCS.2005.11.043}, timestamp = {Fri, 16 Dec 2022 13:23:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AcarBBHT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/BlumeM04, author = {Matthias Blume and David A. McAllester}, editor = {Chris Okasaki and Kathleen Fisher}, title = {A sound (and complete) model of contracts}, booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September 19-21, 2004}, pages = {189--200}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1016850.1016876}, doi = {10.1145/1016850.1016876}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/BlumeM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/GeorgeB03, author = {Lal George and Matthias Blume}, editor = {Ron Cytron and Rajiv Gupta}, title = {Taming the {IXP} network processor}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003}, pages = {26--37}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/781131.781135}, doi = {10.1145/781131.781135}, timestamp = {Fri, 25 Jun 2021 17:17:37 +0200}, biburl = {https://dblp.org/rec/conf/pldi/GeorgeB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/Blume01, author = {Matthias Blume}, editor = {Nick Benton and Andrew Kennedy}, title = {No-Longer-Foreign: Teaching an {ML} compiler to speak {C} "natively"}, booktitle = {First International Workshop on Multi-Language Infrastructure and Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze, Italy, September 8, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {59}, number = {1}, pages = {36--52}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)80452-9}, doi = {10.1016/S1571-0661(05)80452-9}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Blume01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/Blume99, author = {Matthias Blume}, title = {Dependency analysis for Standard {ML}}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {21}, number = {4}, pages = {790--812}, year = {1999}, url = {https://doi.org/10.1145/325478.325481}, doi = {10.1145/325478.325481}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/Blume99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BlumeA99, author = {Matthias Blume and Andrew W. Appel}, title = {Hierarchical modularity}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {21}, number = {4}, pages = {813--847}, year = {1999}, url = {https://doi.org/10.1145/325478.325518}, doi = {10.1145/325478.325518}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/BlumeA99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nn/BlumeE97, author = {Matthias Blume and Sadik C. Esener}, title = {An Efficient Mapping of Fuzzy {ART} onto a Neural Architecture}, journal = {Neural Networks}, volume = {10}, number = {3}, pages = {409--411}, year = {1997}, url = {https://doi.org/10.1016/S0893-6080(96)00085-8}, doi = {10.1016/S0893-6080(96)00085-8}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nn/BlumeE97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/BlumeA97, author = {Matthias Blume and Andrew W. Appel}, editor = {Simon L. Peyton Jones and Mads Tofte and A. Michael Berman}, title = {Lambda-Splitting: {A} Higher-Order Approach to Cross-Module Optimizations}, booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June 9-11, 1997}, pages = {112--124}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/258948.258960}, doi = {10.1145/258948.258960}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/BlumeA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.