default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSophia Drossopoulou
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j20]Ellen Arvidsson
, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad:
Reference Capabilities for Flexible Memory Management. Proc. ACM Program. Lang. 7(OOPSLA2): 1363-1393 (2023)- [j19]Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar:
When Concurrency Matters: Behaviour-Oriented Concurrency. Proc. ACM Program. Lang. 7(OOPSLA2): 1531-1560 (2023) - [i8]Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad:
Reference Capabilities for Flexible Memory Management: Extended Version. CoRR abs/2309.02983 (2023) - 2022
- [j18]Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou:
Necessity specifications for robustness. Proc. ACM Program. Lang. 6(OOPSLA2): 811-840 (2022) - [d2]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. Zenodo, 2022
- [i7]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. CoRR abs/2209.08205 (2022) - 2021
- [c76]John Ahlgren, Kinga Bojarczuk, Sophia Drossopoulou, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Simon M. M. Lucas, Erik Meijer, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou:
Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. EASE 2021: 1-9 - 2020
- [j17]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Implementation of SHAPES Case Studies (Artifact). Dagstuhl Artifacts Ser. 6(2): 19:1-19:3 (2020) - [j16]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Reshape your layouts, not your programs: A safe language extension for better cache locality. Sci. Comput. Program. 197: 102481 (2020) - [c75]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). ECOOP 2020: 31:1-31:3 - [c74]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. FASE 2020: 420-440 - [d1]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holisitic Specifications for Robust Programs - Coq Model. Zenodo, 2020 - [i6]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. CoRR abs/2002.08334 (2020)
2010 – 2019
- 2019
- [c73]Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad:
Run, actor, run: towards cross-actor language benchmarking. AGERE!@SPLASH 2019: 41-50 - [c72]Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall:
snmalloc: a message passing allocator. ISMM 2019: 122-135 - [i5]Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Safely Abstracting Memory Layouts. CoRR abs/1901.08006 (2019) - [i4]Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach:
Flint for Safer Smart Contracts. CoRR abs/1904.06534 (2019) - 2018
- [c71]Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach:
Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. ICOOOLPS@ECOOP 2018: 23-29 - [c70]Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad:
Correctness of a Concurrent Object Collector for Actor Languages. ESOP 2018: 885-911 - [c69]Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou:
Writing safe smart contracts in Flint. Programming 2018: 218-219 - 2017
- [j15]Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek:
Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1(OOPSLA): 72:1-72:28 (2017) - [c68]Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou:
Tree topologies for causal message delivery. AGERE!@SPLASH 2017: 1-10 - [c67]Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach:
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP 2017: 937-963 - [c66]Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach:
You can have it all: abstraction and good cache performance. Onward! 2017: 148-167 - 2016
- [c65]Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse:
Quicksort Revisited - Verifying Alternative Versions of Quicksort. Theory and Practice of Formal Methods 2016: 407-426 - [c64]Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray:
Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP 2016: 10 - 2015
- [c63]Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil:
Deny capabilities for safe, fast actors. AGERE!@SPLASH 2015: 1-12 - [c62]Sophia Drossopoulou, James Noble, Mark S. Miller:
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. PLAS@ECOOP 2015: 2-15 - [c61]Juliana Franco, Sophia Drossopoulou:
Behavioural types for non-uniform memory accesses. PLACES 2015: 109-120 - 2014
- [c60]James Noble, Sophia Drossopoulou:
Rationally Reconstructing the Escrow Example. FTfJP@ECOOP 2014: 5:1-5:6 - [c59]Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida:
Calculating communication costs with Sessions Types and Sizes. ICCSW 2014: 50-57 - [c58]Sophia Drossopoulou, James Noble:
How to Break the Bank: Semantics of Capability Policies. IFM 2014: 18-35 - [i3]Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad:
Scaling Future Software: The Manycore Challenge. ERCIM News 2014(99) (2014) - 2013
- [c57]Sophia Drossopoulou, James Noble:
The need for capability policies. FTfJP@ECOOP 2013: 6:1-6:7 - [c56]Alexander J. Summers, Sophia Drossopoulou:
A Formal Semantics for Isorecursive and Equirecursive State Abstractions. ECOOP 2013: 129-153 - [c55]Tim Wood, Sophia Drossopoulou:
Refactoring Boundary. ICCSW 2013: 119-127 - [c54]Sylvan Clebsch, Sophia Drossopoulou:
Fully concurrent garbage collection of actors on many-core machines. OOPSLA 2013: 553-570 - [p1]Nicholas Cameron, Sophia Drossopoulou, James Noble:
Understanding Ownership Types with Dependent Types. Aliasing in Object-Oriented Programming 2013: 84-108 - [i2]Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou:
Policy as Types. CoRR abs/1307.7766 (2013) - 2012
- [c53]Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95 - [c52]William Sonnex, Sophia Drossopoulou, Susan Eisenbach:
Zeno: An Automated Prover for Properties of Recursive Data Structures. TACAS 2012: 407-421 - 2011
- [j14]Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry:
In memory of Manny Lehman, 'Father of Software Evolution'. J. Softw. Maintenance Res. Pract. 23(3): 137-144 (2011) - [j13]Werner Dietl, Sophia Drossopoulou, Peter Müller:
Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20:1-20:62 (2011) - [c51]Azalea Raad, Sophia Drossopoulou:
A sip of the Chalice. FTfJP@ECOOP 2011: 2:1-2:30 - 2010
- [c50]Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Towards a semantic model for Java wildcards. FTfJP@ECOOP 2010: 2:1-2:7 - [c49]Alexander J. Summers, Sophia Drossopoulou:
Considerate Reasoning and the Composite Design Pattern. VMCAI 2010: 328-344
2000 – 2009
- 2009
- [j12]Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida:
Objects and session types. Inf. Comput. 207(5): 595-641 (2009) - [j11]Alexander J. Summers, Sophia Drossopoulou, Peter Müller:
Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. J. Object Technol. 8(4): 85-125 (2009) - [j10]Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009) - [c48]Nicholas Cameron, Sophia Drossopoulou:
On subtyping, wildcards, and existential types. FTfJP@ECOOP 2009: 4:1-4:7 - [c47]Nicholas Cameron, Sophia Drossopoulou:
Existential Quantification for Variant Ownership. ESOP 2009: 128-142 - [e3]Sophia Drossopoulou:
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5653, Springer 2009, ISBN 978-3-642-03012-3 [contents] - 2008
- [j9]Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45(7-8): 479-536 (2008) - [c46]Nicholas Cameron, Sophia Drossopoulou, Erik Ernst:
A Model for Java with Wildcards. ECOOP 2008: 2-26 - [c45]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437 - [c44]Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41 - [c43]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76 - [e2]Sophia Drossopoulou:
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. Lecture Notes in Computer Science 4960, Springer 2008, ISBN 978-3-540-78738-9 [contents] - [i1]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008 - 2007
- [j8]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - [c42]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad:
Tribe: a simple virtual class calculus. AOSD 2007: 121-134 - [c41]Werner Dietl, Sophia Drossopoulou, Peter Müller:
Generic Universe Types. ECOOP 2007: 28-53 - [c40]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49 - [c39]Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. FMCO 2007: 72-112 - [c38]Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith:
Multiple ownership. OOPSLA 2007: 441-460 - 2006
- [j7]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368(1-2): 1-29 (2006) - [c37]Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou:
Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 - [c36]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c35]Sophia Drossopoulou, David G. Clarke, James Noble:
Types for Hierarchic Shapes. ESOP 2006: 1-6 - [c34]Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245 - 2005
- [c33]Christopher Anderson, Paola Giannini, Sophia Drossopoulou:
Towards Type Inference for JavaScript. ECOOP 2005: 428-452 - [c32]Charles Smith, Sophia Drossopoulou:
Chai: Traits for Java-Like Languages. ECOOP 2005: 453-478 - [c31]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c30]Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318 - [c29]Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language. DCM@ICALP 2005: 37-47 - [c28]Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou:
Flexible Bytecode for Linking in .NET. Bytecode@ETAPS 2005: 75-92 - [e1]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 138(2), Elsevier 2005 [contents] - 2004
- [c27]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Preface. WOOD 2004: 1-2 - 2003
- [c26]David G. Clarke, Sophia Drossopoulou, James Noble:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207 - [c25]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
Flexible Models for Dynamic Linking. ESOP 2003: 38-53 - [c24]Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini:
Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 - [c23]Christopher Anderson, Sophia Drossopoulou:
BabyJ: from object based to class based programming via types. WOOD 2003: 53-81 - [c22]Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Can addresses be types? (A case study: objects with delegation). WOOD 2003: 108-129 - 2002
- [j6]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) - [c21]Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210 - [c20]David G. Clarke, Sophia Drossopoulou:
Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310 - 2001
- [c19]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 - [c18]Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40 - [c17]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c16]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 2000
- [c15]Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54 - [c14]Sophia Drossopoulou:
An Abstract Model of Java Dynamic Linking and Loading. Types in Compilation 2000: 53-84
1990 – 1999
- 1999
- [j5]Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid:
Is the Java Type System Sound? Theory Pract. Object Syst. 5(1): 3-24 (1999) - [c13]Mark Skipper, Sophia Drossopoulou:
Formalising Composition Oriented Programming. ECOOP Workshops 1999: 307-308 - [c12]Sophia Drossopoulou:
Java Type System with Exceptions. ECOOP Workshops 1999: 373-374 - [c11]Sophia Drossopoulou, Susan Eisenbach:
Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java 1999: 41-82 - [c10]Sophia Drossopoulou, Susan Eisenbach, David Wragg:
A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS 1999: 147-156 - 1998
- [c9]Sophia Drossopoulou, David Wragg, Susan Eisenbach:
What is Java Binary Compatibility? OOPSLA 1998: 341-361 - 1997
- [c8]Sophia Drossopoulou, Susan Eisenbach:
Java is Type Safe - Probably. ECOOP 1997: 389-418 - 1996
- [j4]Sophia Drossopoulou, Stephan Karathanos, Dan Yang:
Type-Checking Smalltalk. J. Object Oriented Program. 8(8): 43-47, 72 (1996) - 1995
- [j3]Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach:
Object-Oriented Technology in Multiparadigm Language Implementation. J. Object Oriented Program. 8(1): 33-38 (1995) - 1994
- [c7]Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach:
Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures 1994: 191-207 - 1993
- [j2]Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach:
An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993) - 1991
- [c6]Sophia Drossopoulou, Ross Paterson, Susan Eisenbach:
Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147
1980 – 1989
- 1983
- [b2]Sophia Drossopoulou:
Verschmelzen von Aktionen in Zerteilern. Karlsruhe Institute of Technology, Germany, 1983, pp. 1-107 - 1982
- [b1]Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner:
An Attribute Grammar for the Semantic Analysis of Ada. Lecture Notes in Computer Science 139, Springer 1982, ISBN 3-540-11571-4 - [c5]Martin Bever, Manfred Dausmann, Sophia Drossopoulou, Walter Kirchgässner, Peter C. Lockemann, Guido Persch, Georg Winterstein:
The integration of existing database systems in an Ada environment. AdaTEC Conference on Ada 1982: 162-171 - [c4]Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein:
An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction 1982: 334-348 - 1981
- [j1]Guido Persch, Georg Winterstein, Sophia Drossopoulou, Manfred Dausmann:
An LALR (1) grammar for (revised) Ada. ACM SIGPLAN Notices 16(3): 85-98 (1981) - [c3]Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein:
The Tasking Facility of Ada. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 95-118 - [c2]Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein:
A Separate Compilation System for Ada. Werkzeuge der Programmiertechnik 1981: 197-213 - 1980
- [c1]Guido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou:
Overloading in preliminary Ada. SIGPLAN 1980: 47-56
Coauthor Index