Published in: Dagstuhl Reports, Volume 13, Issue 3 (2023)
Swen Jacobs, Kenneth McMillan, Roopsha Samanta, and Ilya Sergey. Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112). In Dagstuhl Reports, Volume 13, Issue 3, pp. 32-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{jacobs_et_al:DagRep.13.3.32, author = {Jacobs, Swen and McMillan, Kenneth and Samanta, Roopsha and Sergey, Ilya}, title = {{Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)}}, pages = {32--48}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {3}, editor = {Jacobs, Swen and McMillan, Kenneth and Samanta, Roopsha and Sergey, Ilya}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.3.32}, URN = {urn:nbn:de:0030-drops-192278}, doi = {10.4230/DagRep.13.3.32}, annote = {Keywords: Deductive Verification, Distributed Algorithms, Formal Verification, Model Checking} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Matías Toro and Éric Tanter. Abstracting Gradual References (SCICO Journal-first). In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 33:1-33:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{toro_et_al:LIPIcs.ECOOP.2020.33, author = {Toro, Mat{\'\i}as and Tanter, \'{E}ric}, title = {{Abstracting Gradual References}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {33:1--33:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-154-2}, ISSN = {1868-8969}, year = {2020}, volume = {166}, editor = {Hirschfeld, Robert and Pape, Tobias}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.33}, URN = {urn:nbn:de:0030-drops-131900}, doi = {10.4230/LIPIcs.ECOOP.2020.33}, annote = {Keywords: Gradual Typing, Mutable References, Abstract interpretation} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Álvaro García-Pérez and Maria A. Schett. Deconstructing Stellar Consensus. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{garciaperez_et_al:LIPIcs.OPODIS.2019.5, author = {Garc{\'\i}a-P\'{e}rez, \'{A}lvaro and Schett, Maria A.}, title = {{Deconstructing Stellar Consensus}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {5:1--5:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.5}, URN = {urn:nbn:de:0030-drops-117910}, doi = {10.4230/LIPIcs.OPODIS.2019.5}, annote = {Keywords: Blockchain, Consensus protocol, Stellar, Byzantine quorum systems} }
Published in: DARTS, Volume 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee. Concurrent Data Structures Linked in Time (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 4:1-4:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{delbianco_et_al:DARTS.3.2.4, author = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya}, title = {{Concurrent Data Structures Linked in Time (Artifact)}}, pages = {4:1--4:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2017}, volume = {3}, number = {2}, editor = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.3.2.4}, URN = {urn:nbn:de:0030-drops-72850}, doi = {10.4230/DARTS.3.2.4}, annote = {Keywords: separation logic, linearization Points, concurrent snapshots, FCSL} }
Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee. Concurrent Data Structures Linked in Time. In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, pp. 8:1-8:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{delbianco_et_al:LIPIcs.ECOOP.2017.8, author = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya}, title = {{Concurrent Data Structures Linked in Time}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {8:1--8:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.8}, URN = {urn:nbn:de:0030-drops-72558}, doi = {10.4230/LIPIcs.ECOOP.2017.8}, annote = {Keywords: Separation logic, Linearization Points, Concurrent snapshots, FCSL} }
Published in: LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017)
James R. Wilcox, Ilya Sergey, and Zachary Tatlock. Programming Language Abstractions for Modularly Verified Distributed Systems. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 71, pp. 19:1-19:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{wilcox_et_al:LIPIcs.SNAPL.2017.19, author = {Wilcox, James R. and Sergey, Ilya and Tatlock, Zachary}, title = {{Programming Language Abstractions for Modularly Verified Distributed Systems}}, booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)}, pages = {19:1--19:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-032-3}, ISSN = {1868-8969}, year = {2017}, volume = {71}, editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.19}, URN = {urn:nbn:de:0030-drops-71266}, doi = {10.4230/LIPIcs.SNAPL.2017.19}, annote = {Keywords: Distributed systems, program verification, distributed protocols, domain-specific languages, type systems, dependent types, program logics.} }
Published in: LIPIcs, Volume 33, 30th Conference on Computational Complexity (CCC 2015)
Alex Samorodnitsky, Ilya Shkredov, and Sergey Yekhanin. Kolmogorov Width of Discrete Linear Spaces: an Approach to Matrix Rigidity. In 30th Conference on Computational Complexity (CCC 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 33, pp. 347-364, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{samorodnitsky_et_al:LIPIcs.CCC.2015.347, author = {Samorodnitsky, Alex and Shkredov, Ilya and Yekhanin, Sergey}, title = {{Kolmogorov Width of Discrete Linear Spaces: an Approach to Matrix Rigidity}}, booktitle = {30th Conference on Computational Complexity (CCC 2015)}, pages = {347--364}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-81-1}, ISSN = {1868-8969}, year = {2015}, volume = {33}, editor = {Zuckerman, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2015.347}, URN = {urn:nbn:de:0030-drops-50703}, doi = {10.4230/LIPIcs.CCC.2015.347}, annote = {Keywords: Matrix rigidity, linear codes, Kolmogorov width} }
Published in: OASIcs, Volume 26, German Conference on Bioinformatics 2012
Ilya Chernyavsky, Theodore Alexandrov, Peter Maass, and Sergey I. Nikolenko. A Two-Step Soft Segmentation Procedure for MALDI Imaging Mass Spectrometry Data. In German Conference on Bioinformatics 2012. Open Access Series in Informatics (OASIcs), Volume 26, pp. 39-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{chernyavsky_et_al:OASIcs.GCB.2012.39, author = {Chernyavsky, Ilya and Alexandrov, Theodore and Maass, Peter and Nikolenko, Sergey I.}, title = {{A Two-Step Soft Segmentation Procedure for MALDI Imaging Mass Spectrometry Data}}, booktitle = {German Conference on Bioinformatics 2012}, pages = {39--48}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-44-6}, ISSN = {2190-6807}, year = {2012}, volume = {26}, editor = {B\"{o}cker, Sebastian and Hufsky, Franziska and Scheubert, Kerstin and Schleicher, Jana and Schuster, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2012.39}, URN = {urn:nbn:de:0030-drops-37163}, doi = {10.4230/OASIcs.GCB.2012.39}, annote = {Keywords: MALDI imaging mass spectrometry, hyperspectral image segmentation, probabilistic graphical models, latent Dirichlet allocation, Markov random field} }
Feedback for Dagstuhl Publishing