Sophia Drossopoulou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
11
Active years
1997–2026
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency. | Luke Cheeseman, Elias Castegren, Tobias Wrigstad, Sophia Drossopoulou, Matthew J. Parkinson |
| 2021 | EASE | Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. | 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 |
| 2020 | ECOOP | Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). | Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach |
| 2020 | FASE | Holistic Specifications for Robust Programs. | Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach |
| 2018 | ECOOP | Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. | Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach |
| 2018 | ESOP | Correctness of a Concurrent Object Collector for Actor Languages. | Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad |
| 2017 | ESOP | Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. | Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach |
| 2017 | OOPSLA | You can have it all: abstraction and good cache performance. | Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach |
| 2016 | ECOOP | Permission and Authority Revisited towards a formalisation. | Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray |
| 2015 | ECOOP | Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. | Sophia Drossopoulou, James Noble, Mark S. Miller |
| 2014 | ECOOP | Rationally Reconstructing the Escrow Example. | James Noble, Sophia Drossopoulou |
| 2014 | IFM | How to Break the Bank: Semantics of Capability Policies. | Sophia Drossopoulou, James Noble |
| 2013 | ECOOP | The need for capability policies. | Sophia Drossopoulou, James Noble |
| 2013 | ECOOP | A Formal Semantics for Isorecursive and Equirecursive State Abstractions. | Alexander J. Summers, Sophia Drossopoulou |
| 2013 | OOPSLA | Fully concurrent garbage collection of actors on many-core machines. | Sylvan Clebsch, Sophia Drossopoulou |
| 2012 | TACAS | Zeno: An Automated Prover for Properties of Recursive Data Structures. | William Sonnex, Sophia Drossopoulou, Susan Eisenbach |
| 2011 | ECOOP | A sip of the Chalice. | Azalea Raad, Sophia Drossopoulou |
| 2010 | ECOOP | Towards a semantic model for Java wildcards. | Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
| 2010 | VMCAI | Considerate Reasoning and the Composite Design Pattern. | Alexander J. Summers, Sophia Drossopoulou |
| 2009 | ECOOP | On subtyping, wildcards, and existential types. | Nicholas Cameron, Sophia Drossopoulou |
| 2009 | ESOP | Existential Quantification for Variant Ownership. | Nicholas Cameron, Sophia Drossopoulou |
| 2008 | ECOOP | A Model for Java with Wildcards. | Nicholas Cameron, Sophia Drossopoulou, Erik Ernst |
| 2008 | ECOOP | A Unified Framework for Verification Techniques for Object Invariants. | Sophia Drossopoulou, Adrian Francalanza, Peter Mller, Alexander J. Summers |
| 2007 | ECOOP | Generic Universe Types. | Werner Dietl, Sophia Drossopoulou, Peter Mller |
| 2007 | OOPSLA | Multiple ownership. | Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith |
| 2006 | ECOOP | Session Types for Object-Oriented Languages. | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou |
| 2006 | ESOP | Types for Hierarchic Shapes. | Sophia Drossopoulou, David G. Clarke, James Noble |
| 2005 | ECOOP | Towards Type Inference for JavaScript. | Christopher Anderson, Paola Giannini, Sophia Drossopoulou |
| 2005 | ECOOP | Untitled record | Charles Smith, Sophia Drossopoulou |
| 2005 | POPL | Polymorphic bytecode: compositional compilation for Java-like languages. | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
| 2003 | ESOP | Flexible Models for Dynamic Linking. | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
| 2002 | OOPSLA | Ownership, encapsulation and the disjointness of type and effect. | David G. Clarke, Sophia Drossopoulou |
| 2001 | ECOOP | Fickle : Dynamic Object Re-classification. | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 1999 | LICS | A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. | Sophia Drossopoulou, Susan Eisenbach, David Wragg |
| 1998 | OOPSLA | What is Java Binary Compatibility? | Sophia Drossopoulou, David Wragg, Susan Eisenbach |
| 1997 | ECOOP | Java is Type Safe - Probably. | Sophia Drossopoulou, Susan Eisenbach |