Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ecoop/ecoop2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/ecoop/00010C23,
author = {Jens Dietrich and
David J. Pearce and
Mahin Chandramohan},
editor = {Karim Ali and
Guido Salvaneschi},
title = {On Leveraging Tests to Infer Nullable Annotations},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {10:1--10:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.10},
doi = {10.4230/LIPICS.ECOOP.2023.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/00010C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BarwellHY023,
author = {Adam D. Barwell and
Ping Hou and
Nobuko Yoshida and
Fangyi Zhou},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Designing Asynchronous Multiparty Protocols with Crash-Stop Failures},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {1:1--1:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.1},
doi = {10.4230/LIPICS.ECOOP.2023.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BarwellHY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BauwensB23,
author = {Jim Bauwens and
Elisa Gonzalez Boix},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Nested Pure Operation-Based CRDTs},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {2:1--2:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.2},
doi = {10.4230/LIPICS.ECOOP.2023.2},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BauwensB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BhatiaKSC23,
author = {Sahil Bhatia and
Sumer Kohli and
Sanjit A. Seshia and
Alvin Cheung},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Building Code Transpilers for Domain-Specific Languages Using Program
Synthesis (Experience Paper)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {38:1--38:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.38},
doi = {10.4230/LIPICS.ECOOP.2023.38},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BhatiaKSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BianchiniDGZ23,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Multi-Graded Featherweight Java},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {3:1--3:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.3},
doi = {10.4230/LIPICS.ECOOP.2023.3},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BianchiniDGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BrandlEKH23,
author = {Katharina Brandl and
Sebastian Erdweg and
Sven Keidel and
Nils Hansen},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Modular Abstract Definitional Interpreters for WebAssembly},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {5:1--5:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.5},
doi = {10.4230/LIPICS.ECOOP.2023.5},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BrandlEKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Castro-PerezY23,
author = {David Castro{-}Perez and
Nobuko Yoshida},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Dynamically Updatable Multiparty Session Protocols: Generating Concurrent
Go Code from Unbounded Protocols},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {6:1--6:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.6},
doi = {10.4230/LIPICS.ECOOP.2023.6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Castro-PerezY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cruz-FilipeGLMP23,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Eva Graversen and
Lovro Lugovic and
Fabrizio Montesi and
Marco Peressotti},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Modular Compilation for Higher-Order Functional Choreographies},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {7:1--7:37},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.7},
doi = {10.4230/LIPICS.ECOOP.2023.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Cruz-FilipeGLMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FanP23,
author = {Andong Fan and
Lionel Parreaux},
editor = {Karim Ali and
Guido Salvaneschi},
title = {super-Charging Object-Oriented Programming Through Precise Typing
of Open Recursion},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {11:1--11:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.11},
doi = {10.4230/LIPICS.ECOOP.2023.11},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FanP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Geffen0TB23,
author = {Jacob Van Geffen and
Xi Wang and
Emina Torlak and
James Bornholt},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Synthesis-Aided Crash Consistency for Storage Systems},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {35:1--35:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.35},
doi = {10.4230/LIPICS.ECOOP.2023.35},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Geffen0TB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Guerra0S23,
author = {Henrique Botelho Guerra and
Jo{\~{a}}o F. Ferreira and
Jo{\~{a}}o Costa Seco},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Hoogle{\(\star\)}: Constants and {\(\lambda\)}-abstractions in Petri-net-based
Synthesis using Symbolic Execution},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {4:1--4:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.4},
doi = {10.4230/LIPICS.ECOOP.2023.4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Guerra0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HaasMYBM23,
author = {Julian Haas and
Ragnar Mogk and
Elena Yanakieva and
Annette Bieniusa and
Mira Mezini},
editor = {Karim Ali and
Guido Salvaneschi},
title = {LoRe: {A} Programming Model for Verifiably Safe Local-First Software
(Extended Abstract)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {12:1--12:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.12},
doi = {10.4230/LIPICS.ECOOP.2023.12},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HaasMYBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HarrisC0B23,
author = {Sarah Harris and
Simon Cooksey and
Michael Vollmer and
Mark Batty},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience
Paper)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {39:1--39:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.39},
doi = {10.4230/LIPICS.ECOOP.2023.39},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HarrisC0B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HennigerA23,
author = {Simon Henniger and
Nada Amin},
editor = {Karim Ali and
Guido Salvaneschi},
title = {The Dolorem Pattern: Growing a Language Through Compile-Time Function
Execution (Pearl/Brave New Idea)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {41:1--41:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.41},
doi = {10.4230/LIPICS.ECOOP.2023.41},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HennigerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JinYCSS23,
author = {Feiyang Jin and
Lechen Yu and
Tiago Cogumbreiro and
Jun Shirako and
Vivek Sarkar},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Dynamic Determinacy Race Detection for Task-Parallel Programs with
Promises},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {13:1--13:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.13},
doi = {10.4230/LIPICS.ECOOP.2023.13},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/JinYCSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JongmansF23,
author = {Sung{-}Shik Jongmans and
Francisco Ferreira},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via
Implicit Local Types (Pearl/Brave New Idea)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {42:1--42:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.42},
doi = {10.4230/LIPICS.ECOOP.2023.42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/JongmansF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KuessnerMWM23,
author = {Christian Kuessner and
Ragnar Mogk and
Anna{-}Katharina Wickert and
Mira Mezini},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Algebraic Replicated Data Types: Programming Secure Local-First Software},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {14:1--14:33},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.14},
doi = {10.4230/LIPICS.ECOOP.2023.14},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KuessnerMWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KuhnMT23,
author = {Roland Kuhn and
Hern{\'{a}}n C. Melgratti and
Emilio Tuosto},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Behavioural Types for Local-First Software},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {15:1--15:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.15},
doi = {10.4230/LIPICS.ECOOP.2023.15},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KuhnMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiW23,
author = {Yannan Li and
Chao Wang},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Constraint Based Compiler Optimization for Energy Harvesting Applications},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {16:1--16:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.16},
doi = {10.4230/LIPICS.ECOOP.2023.16},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenP23,
author = {Magnus Madsen and
Jaco van de Pol},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Programming with Purity Reflection: Peaceful Coexistence of Effects,
Laziness, and Parallelism},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {18:1--18:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.18},
doi = {10.4230/LIPICS.ECOOP.2023.18},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MadsenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenSL23,
author = {Magnus Madsen and
Jonathan Lindegaard Starup and
Matthew Lutze},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Restrictable Variants: {A} Simple and Practical Alternative to Extensible
Variants},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {17:1--17:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.17},
doi = {10.4230/LIPICS.ECOOP.2023.17},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MadsenSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MaksimovicCLSG23,
author = {Petar Maksimovic and
Caroline Cronj{\"{a}}ger and
Andreas L{\"{o}}{\"{o}}w and
Julian Sutherland and
Philippa Gardner},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Exact Separation Logic: Towards Bridging the Gap Between Verification
and Bug-Finding},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {19:1--19:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.19},
doi = {10.4230/LIPICS.ECOOP.2023.19},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MaksimovicCLSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MishraJ23,
author = {Ashish Mishra and
Suresh Jagannathan},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator
Programs},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {20:1--20:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.20},
doi = {10.4230/LIPICS.ECOOP.2023.20},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MishraJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MoellerWSKF023,
author = {Mark Moeller and
Thomas Wiener and
Alaia Solko{-}Breslin and
Caleb Koch and
Nate Foster and
Alexandra Silva},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Automata Learning with an Incomplete Teacher},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {21:1--21:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.21},
doi = {10.4230/LIPICS.ECOOP.2023.21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MoellerWSKF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MotaGR23,
author = {Jo{\~{a}}o Mota and
Marco Giunti and
Ant{\'{o}}nio Ravara},
editor = {Karim Ali and
Guido Salvaneschi},
title = {On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage
(Experience Paper)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {40:1--40:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.40},
doi = {10.4230/LIPICS.ECOOP.2023.40},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MotaGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Muijnck-HughesV23,
author = {Jan de Muijnck{-}Hughes and
Wim Vanderbauwhede},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Wiring Circuits Is Easy as \{0, 1, {\(\omega\)}\}, or Is It..},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {8:1--8:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.8},
doi = {10.4230/LIPICS.ECOOP.2023.8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Muijnck-HughesV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NietoDGTB23,
author = {Abel Nieto and
Arnaud Daby{-}Seesaram and
L{\'{e}}on Gondelman and
Amin Timany and
Lars Birkedal},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Modular Verification of State-Based CRDTs in Separation Logic},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {22:1--22:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.22},
doi = {10.4230/LIPICS.ECOOP.2023.22},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/NietoDGTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OlivieriNAT0CS23,
author = {Luca Olivieri and
Luca Negrini and
Vincenzo Arceri and
Fabio Tagliaferro and
Pietro Ferrara and
Agostino Cortesi and
Fausto Spoto},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Information Flow Analysis for Detecting Non-Determinism in Blockchain},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {23:1--23:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.23},
doi = {10.4230/LIPICS.ECOOP.2023.23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OlivieriNAT0CS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Porre0B23,
author = {Kevin De Porre and
Carla Ferreira and
Elisa Gonzalez Boix},
editor = {Karim Ali and
Guido Salvaneschi},
title = {VeriFx: Correct Replicated Data Types for the Masses},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {9:1--9:45},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.9},
doi = {10.4230/LIPICS.ECOOP.2023.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Porre0B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Raglianti0M0L23,
author = {Marco Raglianti and
Csaba Nagy and
Roberto Minelli and
Bin Lin and
Michele Lanza},
editor = {Karim Ali and
Guido Salvaneschi},
title = {On the Rise of Modern Software Documentation (Pearl/Brave New Idea)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {43:1--43:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.43},
doi = {10.4230/LIPICS.ECOOP.2023.43},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Raglianti0M0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RamosSANS23,
author = {Frederico Ramos and
Nuno Sabino and
Pedro Ad{\~{a}}o and
David A. Naumann and
Jos{\'{e}} Fragoso Santos},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Toward Tool-Independent Summaries for Symbolic Execution},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {24:1--24:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.24},
doi = {10.4230/LIPICS.ECOOP.2023.24},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RamosSANS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RichterBWM23,
author = {David Richter and
Timon B{\"{o}}hler and
Pascal Weisenburger and
Mira Mezini},
editor = {Karim Ali and
Guido Salvaneschi},
title = {A Direct-Style Effect Notation for Sequential and Parallel Programs},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {25:1--25:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.25},
doi = {10.4230/LIPICS.ECOOP.2023.25},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RichterBWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Roth23,
author = {Ori Roth},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Python Type Hints Are Turing Complete (Pearl/Brave New Idea)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {44:1--44:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.44},
doi = {10.4230/LIPICS.ECOOP.2023.44},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Roth23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RumseviciusVKP23,
author = {Ugnius Rumsevicius and
Siddhanth Venkateshwaran and
Ellen Kidane and
Lu{\'{\i}}s Pina},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through
Multi-Version eXecution},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {26:1--26:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.26},
doi = {10.4230/LIPICS.ECOOP.2023.26},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RumseviciusVKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ShahrokhiS23,
author = {Hesam Shahrokhi and
Amir Shaikhha},
editor = {Karim Ali and
Guido Salvaneschi},
title = {An Efficient Vectorized Hash Table for Batch Computations},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {27:1--27:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.27},
doi = {10.4230/LIPICS.ECOOP.2023.27},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ShahrokhiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ShaikhhaGS23,
author = {Amir Shaikhha and
Mahdi Ghorbani and
Hesam Shahrokhi},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Hinted Dictionaries: Efficient Functional Ordered Sets and Maps},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {28:1--28:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.28},
doi = {10.4230/LIPICS.ECOOP.2023.28},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ShaikhhaGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SilverHCHZ23,
author = {Lucas Silver and
Paul He and
Ethan Cecchetti and
Andrew K. Hirsch and
Steve Zdancewic},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Semantics for Noninterference with Interaction Trees},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {29:1--29:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.29},
doi = {10.4230/LIPICS.ECOOP.2023.29},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SilverHCHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SilverWYS23,
author = {Lucas Silver and
Eddy Westbrook and
Matthew Yacavone and
Ryan Scott},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Interaction Tree Specifications: {A} Framework for Specifying Recursive,
Effectful Computations That Supports Auto-Active Verification},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {30:1--30:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.30},
doi = {10.4230/LIPICS.ECOOP.2023.30},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SilverWYS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StarupML23,
author = {Jonathan Lindegaard Starup and
Magnus Madsen and
Ondrej Lhot{\'{a}}k},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Breaking the Negative Cycle: Exploring the Design Space of Stratification
for First-Class Datalog Constraints},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {31:1--31:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.31},
doi = {10.4230/LIPICS.ECOOP.2023.31},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/StarupML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Stutz23,
author = {Felix Stutz},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Asynchronous Multiparty Session Type Implementability is Decidable
- Lessons Learned from Message Sequence Charts},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {32:1--32:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.32},
doi = {10.4230/LIPICS.ECOOP.2023.32},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Stutz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SuchertZCE23,
author = {Felix Suchert and
Lisza Zeidler and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Sebastian Ertel},
editor = {Karim Ali and
Guido Salvaneschi},
title = {ConDRust: Scalable Deterministic Concurrency from Verifiable Rust
Programs},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {33:1--33:39},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.33},
doi = {10.4230/LIPICS.ECOOP.2023.33},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SuchertZCE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TanO23,
author = {Jinhao Tan and
Bruno C. d. S. Oliveira},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Dependent Merges and First-Class Environments},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {34:1--34:32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.34},
doi = {10.4230/LIPICS.ECOOP.2023.34},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/TanO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WangYTFZ23,
author = {Chengpeng Wang and
Peisen Yao and
Wensheng Tang and
Gang Fan and
Charles Zhang},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Synthesizing Conjunctive Queries for Code Search},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {36:1--36:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.36},
doi = {10.4230/LIPICS.ECOOP.2023.36},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WangYTFZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/X23,
editor = {Karim Ali and
Guido Salvaneschi},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {0:1--0:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.0},
doi = {10.4230/LIPICS.ECOOP.2023.0},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/X23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/YeeG23,
author = {Ming{-}Ho Yee and
Arjun Guha},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Do Machine Learning Models Produce TypeScript Types That Type Check?},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {37:1--37:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.37},
doi = {10.4230/LIPICS.ECOOP.2023.37},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/YeeG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2023,
editor = {Karim Ali and
Guido Salvaneschi},
title = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-281-5},
isbn = {978-3-95977-281-5},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-06 05:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
