BibTeX records: Karl Palmskog

download as .bib file

@article{DBLP:journals/ftpl/RingerPSGT19,
  author    = {Talia Ringer and
               Karl Palmskog and
               Ilya Sergey and
               Milos Gligoric and
               Zachary Tatlock},
  title     = {{QED} at Large: {A} Survey of Engineering of Formally Verified Software},
  journal   = {Foundations and Trends in Programming Languages},
  volume    = {5},
  number    = {2-3},
  pages     = {102--281},
  year      = {2019},
  url       = {https://doi.org/10.1561/2500000045},
  doi       = {10.1561/2500000045},
  timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/RingerPSGT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CharalambidesPA19,
  author    = {Minas Charalambides and
               Karl Palmskog and
               Gul Agha},
  editor    = {Michele Boreale and
               Flavio Corradini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Types for Progress in Actor Programs},
  booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11665},
  pages     = {315--339},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2\_18},
  doi       = {10.1007/978-3-030-21485-2\_18},
  timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/CharalambidesPA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KalimPMMGM19,
  author    = {Faria Kalim and
               Karl Palmskog and
               Jayasi Mehar and
               Adithya Murali and
               Indranil Gupta and
               P. Madhusudan},
  editor    = {Clark W. Barrett and
               Jin Yang},
  title     = {Kaizen: Building a Performant Blockchain System Verified for Consensus
               and Integrity},
  booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
               CA, USA, October 22-25, 2019},
  pages     = {96--104},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.23919/FMCAD.2019.8894248},
  doi       = {10.23919/FMCAD.2019.8894248},
  timestamp = {Thu, 14 Nov 2019 12:14:47 +0100},
  biburl    = {https://dblp.org/rec/conf/fmcad/KalimPMMGM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CelikPPAG19,
  author    = {Ahmet {\c{C}}elik and
               Karl Palmskog and
               Marinela Parovic and
               Emilio Jes{\'{u}}s Gallego Arias and
               Milos Gligoric},
  title     = {Mutation Analysis for Coq},
  booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages     = {539--551},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ASE.2019.00057},
  doi       = {10.1109/ASE.2019.00057},
  timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/CelikPPAG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05523,
  author    = {Musab A. Alturki and
               Jing Chen and
               Victor Luchangco and
               Brandon M. Moore and
               Karl Palmskog and
               Lucas Pe{\~{n}}a and
               Grigore Rosu},
  title     = {Towards a Verified Model of the Algorand Consensus Protocol in Coq},
  journal   = {CoRR},
  volume    = {abs/1907.05523},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.05523},
  archivePrefix = {arXiv},
  eprint    = {1907.05523},
  timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1907-05523.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/AghaP18,
  author    = {Gul Agha and
               Karl Palmskog},
  title     = {A Survey of Statistical Model Checking},
  journal   = {{ACM} Trans. Model. Comput. Simul.},
  volume    = {28},
  number    = {1},
  pages     = {6:1--6:39},
  year      = {2018},
  url       = {https://doi.org/10.1145/3158668},
  doi       = {10.1145/3158668},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tomacs/AghaP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AghaP18,
  author    = {Gul Agha and
               Karl Palmskog},
  editor    = {Marten Lohstroh and
               Patricia Derler and
               Marjan Sirjani},
  title     = {Transforming Threads into Actors: Learning Concurrency Structure from
               Execution Traces},
  booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
               Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {10760},
  pages     = {16--37},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95246-8\_2},
  doi       = {10.1007/978-3-319-95246-8\_2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/AghaP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CelikPG18,
  author    = {Ahmet {\c{C}}elik and
               Karl Palmskog and
               Milos Gligoric},
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {A regression proof selection tool for coq},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {117--120},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3183440.3183493},
  doi       = {10.1145/3183440.3183493},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CelikPG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PalmskogCG18,
  author    = {Karl Palmskog and
               Ahmet {\c{C}}elik and
               Milos Gligoric},
  editor    = {Frank Tip and
               Eric Bodden},
  title     = {piCoq: parallel regression proving for large-scale verification projects},
  booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
               July 16-21, 2018},
  pages     = {344--355},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3213846.3213877},
  doi       = {10.1145/3213846.3213877},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/PalmskogCG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CelikPG17,
  author    = {Ahmet {\c{C}}elik and
               Karl Palmskog and
               Milos Gligoric},
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {iCoq: regression proof selection for large-scale verification projects},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {171--182},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115630},
  doi       = {10.1109/ASE.2017.8115630},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/CelikPG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-10056,
  author    = {Edgar Pek and
               Pranav Garg and
               Muntasir Raihan Rahman and
               Karl Palmskog and
               Indranil Gupta and
               P. Madhusudan},
  title     = {Inferring Formal Properties of Production Key-Value Stores},
  journal   = {CoRR},
  volume    = {abs/1712.10056},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.10056},
  archivePrefix = {arXiv},
  eprint    = {1712.10056},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1712-10056.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PalmskogHM15,
  author    = {Karl Palmskog and
               Farah Hariri and
               Darko Marinov},
  title     = {A Case Study on Executing Instrumented Code in Java PathFinder},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {40},
  number    = {6},
  pages     = {1--5},
  year      = {2015},
  url       = {https://doi.org/10.1145/2830719.2830730},
  doi       = {10.1145/2830719.2830730},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sigsoft/PalmskogHM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/DamP15,
  author    = {Mads Dam and
               Karl Palmskog},
  title     = {Location-independent routing in process network overlays},
  journal   = {Service Oriented Computing and Applications},
  volume    = {9},
  number    = {3-4},
  pages     = {285--309},
  year      = {2015},
  url       = {https://doi.org/10.1007/s11761-014-0173-7},
  doi       = {10.1007/s11761-014-0173-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/soca/DamP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/DamP14,
  author    = {Mads Dam and
               Karl Palmskog},
  title     = {Location Independent Routing in Process Network Overlays},
  booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2014, Torino, Italy, February
               12-14, 2014},
  pages     = {715--724},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://doi.org/10.1109/PDP.2014.30},
  doi       = {10.1109/PDP.2014.30},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/pdp/DamP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/DamP13,
  author    = {Mads Dam and
               Karl Palmskog},
  editor    = {Nadeem Jamali and
               Alessandro Ricci and
               Gera Weiss and
               Akinori Yonezawa},
  title     = {Efficient and fully abstract routing of futures in object network
               overlays},
  booktitle = {Proceedings of the 2013 Workshop on Programming based on Actors, Agents,
               and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA,
               October 27-28, 2013},
  pages     = {49--60},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2541329.2541340},
  doi       = {10.1145/2541329.2541340},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/agere/DamP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PalmskogDLJ13,
  author    = {Karl Palmskog and
               Mads Dam and
               Andreas Lundblad and
               Ali Jafari},
  editor    = {Marco Carbone and
               Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Ana Sokolova},
  title     = {{ABS-NET:} Fully Decentralized Runtime Adaptation for Distributed
               Objects},
  booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
               Florence, Italy, 6th June 2013},
  series    = {{EPTCS}},
  volume    = {131},
  pages     = {85--100},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.131.8},
  doi       = {10.4204/EPTCS.131.8},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/PalmskogDLJ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/JonssonPV12,
  author    = {Kristj{\'{a}}n Valur J{\'{o}}nsson and
               Karl Palmskog and
               Ymir Vigfusson},
  title     = {Secure distributed top-k aggregation},
  booktitle = {Proceedings of {IEEE} International Conference on Communications,
               {ICC} 2012, Ottawa, ON, Canada, June 10-15, 2012},
  pages     = {804--809},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://doi.org/10.1109/ICC.2012.6364049},
  doi       = {10.1109/ICC.2012.6364049},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icc/JonssonPV12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecumn/IsmailovPWAW07,
  author    = {Yuri Ismailov and
               Karl Palmskog and
               Micael Widell and
               Petter Arvidsson and
               YaoShuang Wang},
  title     = {Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant
               Communication},
  booktitle = {Fourth European Conference on Universal Multiservice Networks {(ECUMN}
               2007), 14-16 February 2007, Toulouse, France},
  pages     = {337--345},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://doi.org/10.1109/ECUMN.2007.47},
  doi       = {10.1109/ECUMN.2007.47},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/ecumn/IsmailovPWAW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics