Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sophia Drossopoulou
@article{DBLP:journals/pacmpl/ArvidssonCCDNPW23,
author = {Ellen Arvidsson and
Elias Castegren and
Sylvan Clebsch and
Sophia Drossopoulou and
James Noble and
Matthew J. Parkinson and
Tobias Wrigstad},
title = {Reference Capabilities for Flexible Memory Management},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1363--1393},
year = {2023},
url = {https://doi.org/10.1145/3622846},
doi = {10.1145/3622846},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ArvidssonCCDNPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CheesemanPCKDCWL23,
author = {Luke Cheeseman and
Matthew J. Parkinson and
Sylvan Clebsch and
Marios Kogias and
Sophia Drossopoulou and
David Chisnall and
Tobias Wrigstad and
Paul Li{\'{e}}tar},
title = {When Concurrency Matters: Behaviour-Oriented Concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1531--1560},
year = {2023},
url = {https://doi.org/10.1145/3622852},
doi = {10.1145/3622852},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CheesemanPCKDCWL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-02983,
author = {Ellen Arvidsson and
Elias Castegren and
Sylvan Clebsch and
Sophia Drossopoulou and
James Noble and
Matthew J. Parkinson and
Tobias Wrigstad},
title = {Reference Capabilities for Flexible Memory Management: Extended Version},
journal = {CoRR},
volume = {abs/2309.02983},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.02983},
doi = {10.48550/ARXIV.2309.02983},
eprinttype = {arXiv},
eprint = {2309.02983},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-02983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MackayEND22,
author = {Julian Mackay and
Susan Eisenbach and
James Noble and
Sophia Drossopoulou},
title = {\emph{Necessity} specifications for robustness},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {811--840},
year = {2022},
url = {https://doi.org/10.1145/3563317},
doi = {10.1145/3563317},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MackayEND22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08205,
author = {Julian Mackay and
Sophia Drossopoulou and
James Noble and
Susan Eisenbach},
title = {Necessity Specifications for Robustness},
journal = {CoRR},
volume = {abs/2209.08205},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.08205},
doi = {10.48550/ARXIV.2209.08205},
eprinttype = {arXiv},
eprint = {2209.08205},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-08205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/AhlgrenBDDGGHLL21,
author = {John Ahlgren and
Kinga Bojarczuk and
Sophia Drossopoulou and
Inna Dvortsova and
Johann George and
Natalija Gucevska and
Mark Harman and
Maria Lomeli and
Simon M. M. Lucas and
Erik Meijer and
Steve Omohundro and
Rubmary Rojas and
Silvia Sapora and
Norm Zhou},
editor = {Ruzanna Chitchyan and
Jingyue Li and
Barbara Weber and
Tao Yue},
title = {Facebook's Cyber-Cyber and Cyber-Physical Digital Twins},
booktitle = {{EASE} 2021: Evaluation and Assessment in Software Engineering, Trondheim,
Norway, June 21-24, 2021},
pages = {1--9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3463274.3463275},
doi = {10.1145/3463274.3463275},
timestamp = {Mon, 21 Jun 2021 12:24:43 +0200},
biburl = {https://dblp.org/rec/conf/ease/AhlgrenBDDGGHLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TasosFDWE20,
author = {Alexandros Tasos and
Juliana Franco and
Sophia Drossopoulou and
Tobias Wrigstad and
Susan Eisenbach},
title = {Implementation of {SHAPES} Case Studies (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {19:1--19:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.19},
doi = {10.4230/DARTS.6.2.19},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/TasosFDWE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TasosFDWE20,
author = {Alexandros Tasos and
Juliana Franco and
Sophia Drossopoulou and
Tobias Wrigstad and
Susan Eisenbach},
title = {Reshape your layouts, not your programs: {A} safe language extension
for better cache locality},
journal = {Sci. Comput. Program.},
volume = {197},
pages = {102481},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102481},
doi = {10.1016/J.SCICO.2020.102481},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/TasosFDWE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TasosFDWE19,
author = {Alexandros Tasos and
Juliana Franco and
Sophia Drossopoulou and
Tobias Wrigstad and
Susan Eisenbach},
editor = {Robert Hirschfeld and
Tobias Pape},
title = {Reshape Your Layouts, Not Your Programs: {A} Safe Language Extension
for Better Cache Locality {(SCICO} Journal-first)},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {31:1--31:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.31},
doi = {10.4230/LIPICS.ECOOP.2020.31},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/TasosFDWE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Drossopoulou0ME20,
author = {Sophia Drossopoulou and
James Noble and
Julian Mackay and
Susan Eisenbach},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Holistic Specifications for Robust Programs},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {420--440},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_21},
doi = {10.1007/978-3-030-45234-6\_21},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/Drossopoulou0ME20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08334,
author = {Sophia Drossopoulou and
James Noble and
Julian Mackay and
Susan Eisenbach},
title = {Holistic Specifications for Robust Programs},
journal = {CoRR},
volume = {abs/2002.08334},
year = {2020},
url = {https://arxiv.org/abs/2002.08334},
eprinttype = {arXiv},
eprint = {2002.08334},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/BlessingFYDW19,
author = {Sebastian Blessing and
Kiko Fernandez{-}Reyes and
Albert Mingkun Yang and
Sophia Drossopoulou and
Tobias Wrigstad},
editor = {Federico Bergenti and
Elias Castegren and
Joeri De Koster and
Juliana Franco},
title = {Run, actor, run: towards cross-actor language benchmarking},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Programming
Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
2019, Athens, Greece, October 22, 2019},
pages = {41--50},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358499.3361224},
doi = {10.1145/3358499.3361224},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/BlessingFYDW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/LietarBCDFPSWC19,
author = {Paul Li{\'{e}}tar and
Theodore Butler and
Sylvan Clebsch and
Sophia Drossopoulou and
Juliana Franco and
Matthew J. Parkinson and
Alex Shamis and
Christoph M. Wintersteiger and
David Chisnall},
editor = {Jeremy Singer and
Harry Xu},
title = {snmalloc: a message passing allocator},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} International Symposium on
Memory Management, {ISMM} 2019, Phoenix, AZ, USA, June 23-23, 2019},
pages = {122--135},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315573.3329980},
doi = {10.1145/3315573.3329980},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/LietarBCDFPSWC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08006,
author = {Juliana Franco and
Alexandros Tasos and
Sophia Drossopoulou and
Tobias Wrigstad and
Susan Eisenbach},
title = {Safely Abstracting Memory Layouts},
journal = {CoRR},
volume = {abs/1901.08006},
year = {2019},
url = {http://arxiv.org/abs/1901.08006},
eprinttype = {arXiv},
eprint = {1901.08006},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-08006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06534,
author = {Franklin Schrans and
Daniel Hails and
Alexander Harkness and
Sophia Drossopoulou and
Susan Eisenbach},
title = {Flint for Safer Smart Contracts},
journal = {CoRR},
volume = {abs/1904.06534},
year = {2019},
url = {http://arxiv.org/abs/1904.06534},
eprinttype = {arXiv},
eprint = {1904.06534},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TasosFWDE18,
author = {Alexandros Tasos and
Juliana Franco and
Tobias Wrigstad and
Sophia Drossopoulou and
Susan Eisenbach},
editor = {Tim Felgentreff and
Olivier Zendra},
title = {Extending {SHAPES} for {SIMD} Architectures: An approach to native
support for Struct of Arrays in languages},
booktitle = {Proceedings of the 13th Workshop on Implementation, Compilation, Optimization
of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {23--29},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242947.3242951},
doi = {10.1145/3242947.3242951},
timestamp = {Fri, 21 Dec 2018 06:42:46 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/TasosFWDE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FrancoCDVW18,
author = {Juliana Franco and
Sylvan Clebsch and
Sophia Drossopoulou and
Jan Vitek and
Tobias Wrigstad},
editor = {Amal Ahmed},
title = {Correctness of a Concurrent Object Collector for Actor Languages},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {885--911},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_31},
doi = {10.1007/978-3-319-89884-1\_31},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/FrancoCDVW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/SchransED18,
author = {Franklin Schrans and
Susan Eisenbach and
Sophia Drossopoulou},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {Writing safe smart contracts in Flint},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {218--219},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3213790},
doi = {10.1145/3191697.3213790},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programming/SchransED18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ClebschFDYWV17,
author = {Sylvan Clebsch and
Juliana Franco and
Sophia Drossopoulou and
Albert Mingkun Yang and
Tobias Wrigstad and
Jan Vitek},
title = {Orca: {GC} and type system co-design for actor languages},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {72:1--72:28},
year = {2017},
url = {https://doi.org/10.1145/3133896},
doi = {10.1145/3133896},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ClebschFDYWV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/BlessingCD17,
author = {Sebastian Blessing and
Sylvan Clebsch and
Sophia Drossopoulou},
editor = {Joeri De Koster and
Federico Bergenti},
title = {Tree topologies for causal message delivery},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {1--10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3141834.3141835},
doi = {10.1145/3141834.3141835},
timestamp = {Tue, 06 Nov 2018 16:57:05 +0100},
biburl = {https://dblp.org/rec/conf/agere/BlessingCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WoodDLE17,
author = {Tim Wood and
Sophia Drossopoulou and
Shuvendu K. Lahiri and
Susan Eisenbach},
editor = {Hongseok Yang},
title = {Modular Verification of Procedure Equivalence in the Presence of Memory
Allocation},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {937--963},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_35},
doi = {10.1007/978-3-662-54434-1\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/WoodDLE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FrancoHWDE17,
author = {Juliana Franco and
Martin Hagelin and
Tobias Wrigstad and
Sophia Drossopoulou and
Susan Eisenbach},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {You can have it all: abstraction and good cache performance},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {148--167},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133861},
doi = {10.1145/3133850.3133861},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FrancoHWDE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CertezeanuDELSW16,
author = {Razvan Certezeanu and
Sophia Drossopoulou and
Benjamin Egelund{-}M{\"{u}}ller and
K. Rustan M. Leino and
Sinduran Sivarajan and
Mark J. Wheelhouse},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Quicksort Revisited - Verifying Alternative Versions of Quicksort},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {407--426},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_27},
doi = {10.1007/978-3-319-30734-3\_27},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CertezeanuDELSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouNMM16,
author = {Sophia Drossopoulou and
James Noble and
Mark S. Miller and
Toby C. Murray},
editor = {Vladimir Klebanov},
title = {Permission and Authority Revisited towards a formalisation},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {10},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955821},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouNMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/ClebschDBM15,
author = {Sylvan Clebsch and
Sophia Drossopoulou and
Sebastian Blessing and
Andy McNeil},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Deny capabilities for safe, fast actors},
booktitle = {Proceedings of the 5th International Workshop on Programming Based
on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
PA, USA, October 26, 2015},
pages = {1--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2824815.2824816},
doi = {10.1145/2824815.2824816},
timestamp = {Sat, 11 Sep 2021 23:19:19 +0200},
biburl = {https://dblp.org/rec/conf/agere/ClebschDBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouNM15,
author = {Sophia Drossopoulou and
James Noble and
Mark S. Miller},
editor = {Michael Clarkson and
Limin Jia},
title = {Swapsies on the Internet: First Steps towards Reasoning about Risk
and Trust in an Open World},
booktitle = {Proceedings of the 10th {ACM} Workshop on Programming Languages and
Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July
4-10, 2015},
pages = {2--15},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786558.2786564},
doi = {10.1145/2786558.2786564},
timestamp = {Tue, 18 Aug 2020 09:27:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FrancoD16,
author = {Juliana Franco and
Sophia Drossopoulou},
editor = {Simon Gay and
Jade Alglave},
title = {Behavioural types for non-uniform memory accesses},
booktitle = {Proceedings Eighth International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
2015, London, UK, 18th April 2015},
series = {{EPTCS}},
volume = {203},
pages = {109--120},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.203.9},
doi = {10.4204/EPTCS.203.9},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrancoD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NobleD14,
author = {James Noble and
Sophia Drossopoulou},
editor = {David J. Pearce},
title = {Rationally Reconstructing the Escrow Example},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635850},
doi = {10.1145/2635631.2635850},
timestamp = {Wed, 26 May 2021 08:40:06 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/NobleD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/FrancoDY14,
author = {Juliana Franco and
Sophia Drossopoulou and
Nobuko Yoshida},
editor = {Rumyana Neykova and
Nicholas Ng},
title = {Calculating communication costs with Sessions Types and Sizes},
booktitle = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
25-26, 2014, London, United Kingdom},
series = {OASIcs},
volume = {43},
pages = {50--57},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2014.50},
doi = {10.4230/OASICS.ICCSW.2014.50},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/FrancoDY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DrossopoulouN14,
author = {Sophia Drossopoulou and
James Noble},
editor = {Elvira Albert and
Emil Sekerinski},
title = {How to Break the Bank: Semantics of Capability Policies},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {18--35},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_2},
doi = {10.1007/978-3-319-10181-1\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DrossopoulouN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BoerJCDYW14,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Dave Clarke and
Sophia Drossopoulou and
Nobuko Yoshida and
Tobias Wrigstad},
title = {Scaling Future Software: The Manycore Challenge},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/challenges-for-icst/scaling-future-software-the-manycore-challenge},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BoerJCDYW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouN13,
author = {Sophia Drossopoulou and
James Noble},
editor = {Werner Dietl},
title = {The need for capability policies},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489811},
doi = {10.1145/2489804.2489811},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SummersD13,
author = {Alexander J. Summers and
Sophia Drossopoulou},
editor = {Giuseppe Castagna},
title = {A Formal Semantics for Isorecursive and Equirecursive State Abstractions},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {129--153},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_6},
doi = {10.1007/978-3-642-39038-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SummersD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/WoodD13,
author = {Tim Wood and
Sophia Drossopoulou},
editor = {Andrew V. Jones and
Nicholas Ng},
title = {Refactoring Boundary},
booktitle = {2013 Imperial College Computing Student Workshop, {ICCSW} 2013, September
26/27, 2013, London, United Kingdom},
series = {OASIcs},
volume = {35},
pages = {119--127},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2013.119},
doi = {10.4230/OASICS.ICCSW.2013.119},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/WoodD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ClebschD13,
author = {Sylvan Clebsch and
Sophia Drossopoulou},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Fully concurrent garbage collection of actors on many-core machines},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {553--570},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509557},
doi = {10.1145/2509136.2509557},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ClebschD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CameronDN13,
author = {Nicholas Cameron and
Sophia Drossopoulou and
James Noble},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Understanding Ownership Types with Dependent Types},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {84--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_5},
doi = {10.1007/978-3-642-36946-9\_5},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/CameronDN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MeredithSD13,
author = {Lucius Gregory Meredith and
Mike Stay and
Sophia Drossopoulou},
title = {Policy as Types},
journal = {CoRR},
volume = {abs/1307.7766},
year = {2013},
url = {http://arxiv.org/abs/1307.7766},
eprinttype = {arXiv},
eprint = {1307.7766},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MeredithSD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AnconaDM12,
author = {Davide Ancona and
Sophia Drossopoulou and
Viviana Mascardi},
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Automatic Generation of Self-monitoring MASs from Multiparty Global
Session Types in Jason},
booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
pages = {76--95},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37890-4\_5},
doi = {10.1007/978-3-642-37890-4\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AnconaDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SonnexDE12,
author = {William Sonnex and
Sophia Drossopoulou and
Susan Eisenbach},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Zeno: An Automated Prover for Properties of Recursive Data Structures},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 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 = {7214},
pages = {407--421},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_28},
doi = {10.1007/978-3-642-28756-5\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SonnexDE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/CanforaDRBFRBBMDBEMDRWP11,
author = {Gerardo Canfora and
Darren Dalcher and
David Raffo and
Victor R. Basili and
Juan Fern{\'{a}}ndez{-}Ramil and
V{\'{a}}clav Rajlich and
Keith H. Bennett and
Liz Burd and
Malcolm Munro and
Sophia Drossopoulou and
Barry W. Boehm and
Susan Eisenbach and
Greg Michaelson and
Peter Ross and
Paul Wernick and
Dewayne E. Perry},
title = {In memory of Manny Lehman, 'Father of Software Evolution'},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {23},
number = {3},
pages = {137--144},
year = {2011},
url = {https://doi.org/10.1002/smr.537},
doi = {10.1002/SMR.537},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/CanforaDRBFRBBMDBEMDRWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DietlDM11,
author = {Werner Dietl and
Sophia Drossopoulou and
Peter M{\"{u}}ller},
title = {Separating ownership topology and encapsulation with generic universe
types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {6},
pages = {20:1--20:62},
year = {2011},
url = {https://doi.org/10.1145/2049706.2049709},
doi = {10.1145/2049706.2049709},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DietlDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RaadD11,
author = {Azalea Raad and
Sophia Drossopoulou},
editor = {Stephen N. Freund},
title = {A sip of the Chalice},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {2:1--2:30},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076676},
doi = {10.1145/2076674.2076676},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RaadD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SummersCDD10,
author = {Alexander J. Summers and
Nicholas Cameron and
Mariangiola Dezani{-}Ciancaglini and
Sophia Drossopoulou},
title = {Towards a semantic model for Java wildcards},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924522},
doi = {10.1145/1924520.1924522},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SummersCDD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SummersD10,
author = {Alexander J. Summers and
Sophia Drossopoulou},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Considerate Reasoning and the Composite Design Pattern},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {328--344},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_24},
doi = {10.1007/978-3-642-11319-2\_24},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SummersD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Dezani-CiancagliniDMY09,
author = {Mariangiola Dezani{-}Ciancaglini and
Sophia Drossopoulou and
Dimitris Mostrous and
Nobuko Yoshida},
title = {Objects and session types},
journal = {Inf. Comput.},
volume = {207},
number = {5},
pages = {595--641},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.03.028},
doi = {10.1016/J.IC.2008.03.028},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Dezani-CiancagliniDMY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SummersDM09,
author = {Alexander J. Summers and
Sophia Drossopoulou and
Peter M{\"{u}}ller},
title = {Universe-Type-Based Verification Techniques for Mutable Static Fields
and Methods},
journal = {J. Object Technol.},
volume = {8},
number = {4},
pages = {85--125},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.4.a4},
doi = {10.5381/JOT.2009.8.4.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SummersDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CapecchiCDDG09,
author = {Sara Capecchi and
Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Sophia Drossopoulou and
Elena Giachino},
title = {Amalgamating sessions and methods in object-oriented languages with
generics},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {2-3},
pages = {142--167},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.016},
doi = {10.1016/J.TCS.2008.09.016},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CapecchiCDDG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CameronD09,
author = {Nicholas Cameron and
Sophia Drossopoulou},
editor = {Anindya Banerjee},
title = {On subtyping, wildcards, and existential types},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557902},
doi = {10.1145/1557898.1557902},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CameronD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CameronD09,
author = {Nicholas Cameron and
Sophia Drossopoulou},
editor = {Giuseppe Castagna},
title = {Existential Quantification for Variant Ownership},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {128--142},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_10},
doi = {10.1007/978-3-642-00590-9\_10},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/CameronD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2009,
editor = {Sophia Drossopoulou},
title = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0},
doi = {10.1007/978-3-642-03013-0},
isbn = {978-3-642-03012-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DamianiGGD08,
author = {Ferruccio Damiani and
Elena Giachino and
Paola Giannini and
Sophia Drossopoulou},
title = {A type safe state abstraction for coordination in Java -like languages},
journal = {Acta Informatica},
volume = {45},
number = {7-8},
pages = {479--536},
year = {2008},
url = {https://doi.org/10.1007/s00236-008-0079-y},
doi = {10.1007/S00236-008-0079-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/DamianiGGD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CameronDE08,
author = {Nicholas Cameron and
Sophia Drossopoulou and
Erik Ernst},
editor = {Jan Vitek},
title = {A Model for Java with Wildcards},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {2--26},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_2},
doi = {10.1007/978-3-540-70592-5\_2},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CameronDE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouFMS08,
author = {Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Jan Vitek},
title = {A Unified Framework for Verification Techniques for Object Invariants},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {412--437},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_18},
doi = {10.1007/978-3-540-70592-5\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeDMNW08,
author = {Dave Clarke and
Sophia Drossopoulou and
Peter M{\"{u}}ller and
James Noble and
Tobias Wrigstad},
editor = {Patrick Eugster},
title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {5475},
pages = {30--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02047-6\_4},
doi = {10.1007/978-3-642-02047-6\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDMNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AlbertBDHILMW08,
author = {Elvira Albert and
Anindya Banerjee and
Sophia Drossopoulou and
Marieke Huisman and
Atsushi Igarashi and
Gary T. Leavens and
Peter M{\"{u}}ller and
Tobias Wrigstad},
editor = {Patrick Eugster},
title = {Formal Techniques for Java-Like Programs},
booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {5475},
pages = {70--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02047-6\_8},
doi = {10.1007/978-3-642-02047-6\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AlbertBDHILMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2008,
editor = {Sophia Drossopoulou},
title = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 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 = {4960},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6},
doi = {10.1007/978-3-540-78739-6},
isbn = {978-3-540-78738-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DrossopoulouFMS08,
author = {Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Amal Ahmed and
Nick Benton and
Martin Hofmann and
Greg Morrisett},
title = {A Unified Framework for Verification Techniques for Object Invariants},
booktitle = {Types, Logics and Semantics for State, 03.02. - 08.02.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08061},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1427},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DrossopoulouFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AnconaADDGZ07,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
title = {A provenly correct translation of Fickle into Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {13},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216381},
doi = {10.1145/1216374.1216381},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AnconaADDGZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ClarkeDNW07,
author = {Dave Clarke and
Sophia Drossopoulou and
James Noble and
Tobias Wrigstad},
editor = {Brian M. Barry and
Oege de Moor},
title = {Tribe: a simple virtual class calculus},
booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented
Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {208},
pages = {121--134},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1218563.1218578},
doi = {10.1145/1218563.1218578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/ClarkeDNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DietlDM07,
author = {Werner Dietl and
Sophia Drossopoulou and
Peter M{\"{u}}ller},
editor = {Erik Ernst},
title = {Generic Universe Types},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {28--53},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_3},
doi = {10.1007/978-3-540-73589-2\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DietlDM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeDNW07,
author = {Dave Clarke and
Sophia Drossopoulou and
James Noble and
Tobias Wrigstad},
editor = {Michael Cebulla},
title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {40--49},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_5},
doi = {10.1007/978-3-540-78195-0\_5},
timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CunninghamDDFMS07,
author = {Dave Cunningham and
Werner Dietl and
Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Universe Types for Topology and Encapsulation},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {72--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_4},
doi = {10.1007/978-3-540-92188-2\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CunninghamDDFMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CameronDNS07,
author = {Nicholas Robert Cameron and
Sophia Drossopoulou and
James Noble and
Matthew J. Smith},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Multiple ownership},
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 = {441--460},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297060},
doi = {10.1145/1297027.1297060},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CameronDNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DrossopoulouLE06,
author = {Sophia Drossopoulou and
Giovanni Lagorio and
Susan Eisenbach},
title = {A flexible model for dynamic linking in Java and C{\#}},
journal = {Theor. Comput. Sci.},
volume = {368},
number = {1-2},
pages = {1--29},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.02.021},
doi = {10.1016/J.TCS.2006.02.021},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DrossopoulouLE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Dezani-CiancagliniMYD06,
author = {Mariangiola Dezani{-}Ciancaglini and
Dimitris Mostrous and
Nobuko Yoshida and
Sophia Drossopoulou},
editor = {Dave Thomas},
title = {Session Types for Object-Oriented Languages},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {328--352},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_20},
doi = {10.1007/11785477\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Dezani-CiancagliniMYD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AnconaDILPZ06,
author = {Davide Ancona and
Sophia Drossopoulou and
Atsushi Igarashi and
Gary T. Leavens and
Arnd Poetzsch{-}Heffter and
Elena Zucca},
editor = {Mario S{\"{u}}dholt and
Charles Consel},
title = {Formal Techniques for Java-Like Programs},
booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4379},
pages = {53--58},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71774-4\_6},
doi = {10.1007/978-3-540-71774-4\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AnconaDILPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DrossopoulouCN06,
author = {Sophia Drossopoulou and
David G. Clarke and
James Noble},
editor = {Peter Sestoft},
title = {Types for Hierarchic Shapes},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {1--6},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_1},
doi = {10.1007/11693024\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DrossopoulouCN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Dezani-CiancagliniGDY06,
author = {Mariangiola Dezani{-}Ciancaglini and
Elena Giachino and
Sophia Drossopoulou and
Nobuko Yoshida},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Bounded Session Types for Object Oriented Languages},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {207--245},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_10},
doi = {10.1007/978-3-540-74792-5\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Dezani-CiancagliniGDY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndersonGD05,
author = {Christopher Anderson and
Paola Giannini and
Sophia Drossopoulou},
editor = {Andrew P. Black},
title = {Towards Type Inference for JavaScript},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {428--452},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_19},
doi = {10.1007/11531142\_19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AndersonGD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SmithD05,
author = {Charles Smith and
Sophia Drossopoulou},
editor = {Andrew P. Black},
title = {\emph{Chai}: Traits for Java-Like Languages},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {453--478},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_20},
doi = {10.1007/11531142\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SmithD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AnconaDDZ05,
author = {Davide Ancona and
Ferruccio Damiani and
Sophia Drossopoulou and
Elena Zucca},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Polymorphic bytecode: compositional compilation for Java-like languages},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {26--37},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040308},
doi = {10.1145/1040305.1040308},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AnconaDDZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/Dezani-CiancagliniYAD05,
author = {Mariangiola Dezani{-}Ciancaglini and
Nobuko Yoshida and
Alexander Joseph Ahern and
Sophia Drossopoulou},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {A Distributed Object-Oriented Language with Session Types},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {299--318},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_16},
doi = {10.1007/11580850\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/Dezani-CiancagliniYAD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DrossopoulouPBE06,
author = {Sophia Drossopoulou and
Alexis Petrounias and
Alex Buckley and
Susan Eisenbach},
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {{SCHOOL:} a Small Chorded Object-Oriented Language},
booktitle = {Proceedings of the First International Workshop on Developments in
Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {3},
pages = {37--47},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.019},
doi = {10.1016/J.ENTCS.2005.09.019},
timestamp = {Thu, 15 Dec 2022 14:14:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DrossopoulouPBE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuckleyMED05,
author = {Alex Buckley and
Michelle Murray and
Susan Eisenbach and
Sophia Drossopoulou},
editor = {Fausto Spoto},
title = {Flexible Bytecode for Linking in .NET},
booktitle = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {1},
pages = {75--92},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.036},
doi = {10.1016/J.ENTCS.2005.02.036},
timestamp = {Tue, 13 Dec 2022 11:21:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuckleyMED05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wood/2004,
editor = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
title = {Proceedings of the Second Workshop on Object Oriented Developments,
{WOOD} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/138/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wood/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonoBD05,
author = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
editor = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Object Oriented Developments,
{WOOD} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.008},
doi = {10.1016/J.ENTCS.2005.09.008},
timestamp = {Tue, 13 Dec 2022 09:16:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonoBD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ClarkeDN03,
author = {David G. Clarke and
Sophia Drossopoulou and
James Noble},
editor = {Frank Buschmann and
Alejandro P. Buchmann and
Mariano Cilia},
title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
booktitle = {Object-Oriented Technology: {ECOOP} 2003 Workshop Reader, {ECOOP}
2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {3013},
pages = {197--207},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25934-3\_19},
doi = {10.1007/978-3-540-25934-3\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DrossopoulouLE03,
author = {Sophia Drossopoulou and
Giovanni Lagorio and
Susan Eisenbach},
editor = {Pierpaolo Degano},
title = {Flexible Models for Dynamic Linking},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {38--53},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_4},
doi = {10.1007/3-540-36575-3\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DrossopoulouLE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DamianiDG03,
author = {Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Refined Effects for Unanticipated Object Re-classification: Fickle\({}_{\mbox{3}}\)},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {97--110},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_9},
doi = {10.1007/978-3-540-45208-9\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DamianiDG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndersonD03,
author = {Christopher Anderson and
Sophia Drossopoulou},
editor = {Viviana Bono and
Michele Bugliesi},
title = {BabyJ: from object based to class based programming via types},
booktitle = {Workshop on Object Oriented Developments, {WOOD} 2003, Satellite Event
of {ETAPS} 2003, Warsaw, Poland, April 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {8},
pages = {53--81},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80802-8},
doi = {10.1016/S1571-0661(04)80802-8},
timestamp = {Thu, 08 Dec 2022 11:28:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndersonD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndersonBDD03,
author = {Christopher Anderson and
Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Sophia Drossopoulou},
editor = {Viviana Bono and
Michele Bugliesi},
title = {Can addresses be types? {(A} case study: objects with delegation)},
booktitle = {Workshop on Object Oriented Developments, {WOOD} 2003, Satellite Event
of {ETAPS} 2003, Warsaw, Poland, April 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {8},
pages = {108--129},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80804-1},
doi = {10.1016/S1571-0661(04)80804-1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndersonBDD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DrossopoulouDDG02,
author = {Sophia Drossopoulou and
Ferruccio Damiani and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini},
title = {More dynamic object reclassification: Fickle\({}_{\mbox{{\(\vert\)}{\(\vert\)}}}\)},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {2},
pages = {153--191},
year = {2002},
url = {https://doi.org/10.1145/514952.514955},
doi = {10.1145/514952.514955},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DrossopoulouDDG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/DrossopoulouELPP02,
author = {Sophia Drossopoulou and
Susan Eisenbach and
Gary T. Leavens and
Arnd Poetzsch{-}Heffter and
Erik Poll},
editor = {Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez and
Ana M. D. Moreira},
title = {Formal Techniques for Java-like Programs},
booktitle = {Object-Oriented Technology, {ECOOP} 2002 Workshops and Posters, M{\'{a}}laga,
Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2548},
pages = {203--210},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36208-8\_19},
doi = {10.1007/3-540-36208-8\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/DrossopoulouELPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ClarkeD02,
author = {David G. Clarke and
Sophia Drossopoulou},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Ownership, encapsulation and the disjointness of type and effect},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {292--310},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582447},
doi = {10.1145/582419.582447},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ClarkeD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouDDG01,
author = {Sophia Drossopoulou and
Ferruccio Damiani and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini},
editor = {J{\o}rgen Lindskov Knudsen},
title = {Fickle : Dynamic Object Re-classification},
booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference,
Budapest, Hungary, June 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2072},
pages = {130--149},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45337-7\_8},
doi = {10.1007/3-540-45337-7\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouDDG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/LeavensDEPP01,
author = {Gary T. Leavens and
Sophia Drossopoulou and
Susan Eisenbach and
Arnd Poetzsch{-}Heffter and
Erik Poll},
editor = {{\'{A}}kos Frohner},
title = {Formal Techniques for Java Programs},
booktitle = {Object-Oriented Technology {ECOOP} 2001 Workshop Reader, {ECOOP} 2001
Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2323},
pages = {30--40},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47853-1\_3},
doi = {10.1007/3-540-47853-1\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/LeavensDEPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaADDGZ01,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
editor = {Antonio Restivo and
Simona Ronchi Della Rocca and
Luca Roversi},
title = {An Effective Translation of Fickle into Java},
booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
Torino, Italy, October 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2202},
pages = {215--234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45446-2\_14},
doi = {10.1007/3-540-45446-2\_14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaADDGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AnconaADDGZ01,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
editor = {Marina Lenisa and
Marino Miculan},
title = {A type preserving translation of Fickle into Java},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {69--82},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00320-2},
doi = {10.1016/S1571-0661(04)00320-2},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AnconaADDGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/DrossopoulouEJLMP00,
author = {Sophia Drossopoulou and
Susan Eisenbach and
Bart Jacobs and
Gary T. Leavens and
Peter M{\"{u}}ller and
Arnd Poetzsch{-}Heffter},
editor = {Jacques Malenfant and
Sabine Moisan and
Ana M. D. Moreira},
title = {Formal Techniques for Java Programs},
booktitle = {Object-Oriented Technology, {ECOOP} 2000 Workshops, Panels, and Posters,
Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1964},
pages = {41--54},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44555-2\_4},
doi = {10.1007/3-540-44555-2\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/DrossopoulouEJLMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/Drossopoulou00,
author = {Sophia Drossopoulou},
editor = {Robert Harper},
title = {An Abstract Model of Java Dynamic Linking and Loading},
booktitle = {Types in Compilation, Third International Workshop, {TIC} 2000, Montreal,
Canada, September 21, 2000, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2071},
pages = {53--84},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45332-6\_3},
doi = {10.1007/3-540-45332-6\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/tic/Drossopoulou00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/DrossopoulouEK99,
author = {Sophia Drossopoulou and
Susan Eisenbach and
Sarfraz Khurshid},
title = {Is the Java Type System Sound?},
journal = {Theory Pract. Object Syst.},
volume = {5},
number = {1},
pages = {3--24},
year = {1999},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/DrossopoulouEK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/SkipperD99,
author = {Mark Skipper and
Sophia Drossopoulou},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Formalising Composition Oriented Programming},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {307--308},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/SkipperD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Drossopoulou99,
author = {Sophia Drossopoulou},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Java Type System with Exceptions},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {373--374},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 22 Apr 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/Drossopoulou99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/DrossopoulouE99,
author = {Sophia Drossopoulou and
Susan Eisenbach},
editor = {Jim Alves{-}Foss},
title = {Describing the Semantics of Java and Proving Type Soundness},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {41--82},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_2},
doi = {10.1007/3-540-48737-9\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/DrossopoulouE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DrossopoulouEW99,
author = {Sophia Drossopoulou and
Susan Eisenbach and
David Wragg},
title = {A Fragment Calculus - Towards a Model of Separate Compilation, Linking
and Binary Compatibility},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {147--156},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782606},
doi = {10.1109/LICS.1999.782606},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DrossopoulouEW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DrossopoulouWE98,
author = {Sophia Drossopoulou and
David Wragg and
Susan Eisenbach},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {What is Java Binary Compatibility?},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {341--361},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286974},
doi = {10.1145/286936.286974},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DrossopoulouWE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouE97,
author = {Sophia Drossopoulou and
Susan Eisenbach},
editor = {Mehmet Aksit and
Satoshi Matsuoka},
title = {Java is Type Safe - Probably},
booktitle = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1241},
pages = {389--418},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0053388},
doi = {10.1007/BFB0053388},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/DrossopoulouKY96,
author = {Sophia Drossopoulou and
Stephan Karathanos and
Dan Yang},
title = {Type-Checking Smalltalk},
journal = {J. Object Oriented Program.},
volume = {8},
number = {8},
pages = {43--47, 72},
year = {1996},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/DrossopoulouKY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/SpinellisDE95,
author = {Diomidis Spinellis and
Sophia Drossopoulou and
Susan Eisenbach},
title = {Object-Oriented Technology in Multiparadigm Language Implementation},
journal = {J. Object Oriented Program.},
volume = {8},
number = {1},
pages = {33--38},
year = {1995},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/SpinellisDE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plsa/SpinellisDE94,
author = {Diomidis Spinellis and
Sophia Drossopoulou and
Susan Eisenbach},
editor = {J{\"{u}}rg Gutknecht},
title = {Language and Architecture Paradigms as Object Classes},
booktitle = {Programming Languages and System Architectures, International Conference,
Zurich, Switzerland, March 2-4, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {782},
pages = {191--207},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57840-4\_32},
doi = {10.1007/3-540-57840-4\_32},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/plsa/SpinellisDE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FinkelsteinKABDE93,
author = {Anthony Finkelstein and
Jeff Kramer and
Samson Abramsky and
Krysia Broda and
Sophia Drossopoulou and
Susan Eisenbach},
title = {An Integrated Engineering Study Scheme in Computing},
journal = {Comput. J.},
volume = {36},
number = {4},
pages = {320--334},
year = {1993},
url = {https://doi.org/10.1093/comjnl/36.4.320},
doi = {10.1093/COMJNL/36.4.320},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/FinkelsteinKABDE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phoenix/DrossopoulouPE91,
author = {Sophia Drossopoulou and
Ross Paterson and
Susan Eisenbach},
editor = {John Darlington and
Roland Dietrich},
title = {Parameterized Interfaces are Interfaces - {AIAS}},
booktitle = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
Workshop on Declarative Programming, Sasbachwalden, Black Forest,
Germany, 18-22 November 1991},
series = {Workshops in Computing},
pages = {133--147},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3794-8\_9},
doi = {10.1007/978-1-4471-3794-8\_9},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/phoenix/DrossopoulouPE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Drossopoulou83,
author = {Sophia Drossopoulou},
title = {Verschmelzen von Aktionen in Zerteilern},
school = {Karlsruhe Institute of Technology, Germany},
year = {1983},
url = {https://d-nb.info/840521553},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Drossopoulou83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/UhlDP82,
author = {J{\"{u}}rgen Uhl and
Sophia Drossopoulou and
Guido Persch and
Gerhard Goos and
Manfred Dausmann and
Georg Winterstein and
Walter Kirchg{\"{a}}ssner},
title = {An Attribute Grammar for the Semantic Analysis of Ada},
series = {Lecture Notes in Computer Science},
volume = {139},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11571-4},
doi = {10.1007/3-540-11571-4},
isbn = {3-540-11571-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/UhlDP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adatec/BeverDDKLPW82,
author = {Martin Bever and
Manfred Dausmann and
Sophia Drossopoulou and
Walter Kirchg{\"{a}}ssner and
Peter C. Lockemann and
Guido Persch and
Georg Winterstein},
editor = {Gerald A. Fisher},
title = {The integration of existing database systems in an Ada environment},
booktitle = {Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia,
USA, October 6-8, 1982},
pages = {162--171},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/3304133.3304156},
doi = {10.1145/3304133.3304156},
timestamp = {Wed, 14 Jul 2021 15:49:19 +0200},
biburl = {https://dblp.org/rec/conf/adatec/BeverDDKLPW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/DrossopoulouUPGDW82,
author = {Sophia Drossopoulou and
James S. Uhl and
Guido Persch and
Gerhard Goos and
Manfred Dausmann and
Georg Winterstein},
editor = {John R. White and
Frances E. Allen},
title = {An Attribute Grammar for Ada},
booktitle = {Proceedings of the {SIGPLAN} '82 Symposium on Compiler Construction,
Boston, Massachusetts, USA, June 23-25, 1982},
pages = {334--348},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800230.807008},
doi = {10.1145/800230.807008},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/DrossopoulouUPGDW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/PerschWDD81,
author = {Guido Persch and
Georg Winterstein and
Sophia Drossopoulou and
Manfred Dausmann},
title = {An {LALR} {(1)} grammar for (revised) Ada},
journal = {{ACM} {SIGPLAN} Notices},
volume = {16},
number = {3},
pages = {85--98},
year = {1981},
url = {https://doi.org/10.1145/947825.947832},
doi = {10.1145/947825.947832},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/PerschWDD81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gacm/DausmannDPW81,
author = {Manfred Dausmann and
Sophia Drossopoulou and
Guido Persch and
Georg Winterstein},
editor = {J{\"{u}}rgen Nehmer},
title = {The Tasking Facility of Ada},
booktitle = {Implementierungssprachen f{\"{u}}r nichtsequentielle Programmsysteme,
Tagung {I/1981} des German Chapter of the {ACM} am 20.2.1981 in Kaiserslautern},
series = {Berichte des German Chapter of the {ACM}},
volume = {7},
pages = {95--118},
publisher = {Teubner},
year = {1981},
timestamp = {Mon, 17 Mar 2003 09:04:28 +0100},
biburl = {https://dblp.org/rec/conf/gacm/DausmannDPW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/DausmannPDW81,
author = {Manfred Dausmann and
Guido Persch and
Sophia Drossopoulou and
Georg Winterstein},
editor = {Gerhard Goos},
title = {A Separate Compilation System for Ada},
booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
M{\"{a}}rz 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {43},
pages = {197--213},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68064-9\_11},
doi = {10.1007/978-3-642-68064-9\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programmier/DausmannPDW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/PerschWDD80,
author = {Guido Persch and
Georg Winterstein and
Manfred Dausmann and
Sophia Drossopoulou},
editor = {Paul W. Abrahams},
title = {Overloading in preliminary Ada},
booktitle = {Proceedings of the {ACM-SIGPLAN} symposium on The {ADA} programming
language, {SIGPLAN} 1980, Boston, Massachusetts, USA, December 9,
1980},
pages = {47--56},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800004.807934},
doi = {10.1145/800004.807934},
timestamp = {Tue, 03 Aug 2021 14:10:15 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/PerschWDD80.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.
last updated on 2023-12-11 23:01 CET 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:
