Sophia Drossopoulou

111 papers A* 2A 22B 3C 1Journal 28Unranked 51

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency. Concurrent Programming, Open Systems and Formal Methods Luke Cheeseman, Elias Castegren, Sophia Drossopoulou, Tobias Wrigstad, Sylvan Clebsch, Matthew J. Parkinson
2025	J	`jnl`	Reasoning about External Calls. CoRR Sophia Drossopoulou, Julian Mackay, Susan Eisenbach, James Noble
2025	J	`jnl`	Reasoning about External Calls. Proc. ACM Program. Lang. Sophia Drossopoulou, Julian Mackay, Susan Eisenbach, James Noble
2023	J	`jnl`	Reference Capabilities for Flexible Memory Management. Proc. ACM Program. Lang. Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
2023	J	`jnl`	Reference Capabilities for Flexible Memory Management: Extended Version. CoRR Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
2023	J	`jnl`	When Concurrency Matters: Behaviour-Oriented Concurrency. Proc. ACM Program. Lang. Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar
2022	J	`jnl`	Necessity Specifications for Robustness. CoRR Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach
2021	A	`conf`	Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. EASE 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	B	`conf`	Holistic Specifications for Robust Programs. FASE Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
2020	J	`jnl`	Holistic Specifications for Robust Programs. CoRR Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
2020	J	`jnl`	Implementation of SHAPES Case Studies (Artifact). Dagstuhl Artifacts Ser. Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
2020	A	`conf`	Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). ECOOP Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
2020	J	`jnl`	Reshape your layouts, not your programs: A safe language extension for better cache locality. Sci. Comput. Program. Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
2019	J	`jnl`	Flint for Safer Smart Contracts. CoRR Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach
2019	—	`conf`	Run, actor, run: towards cross-actor language benchmarking. AGERE!@SPLASH Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad
2019	J	`jnl`	Safely Abstracting Memory Layouts. CoRR Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
2019	C	`conf`	snmalloc: a message passing allocator. ISMM Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall
2018	A	`conf`	Correctness of a Concurrent Object Collector for Actor Languages. ESOP Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
2018	—	`conf`	Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. ICOOOLPS@ECOOP Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach
2018	—	`conf`	Writing safe smart contracts in Flint. Programming Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou
2017	A	`conf`	Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach
2017	J	`jnl`	Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
2017	—	`conf`	Tree topologies for causal message delivery. AGERE!@SPLASH Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou
2017	—	`conf`	You can have it all: abstraction and good cache performance. Onward! Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach
2016	—	`conf`	Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray
2016	—	`conf`	Quicksort Revisited - Verifying Alternative Versions of Quicksort. Theory and Practice of Formal Methods Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse
2015	—	`conf`	Behavioural types for non-uniform memory accesses. PLACES Juliana Franco, Sophia Drossopoulou
2015	—	`conf`	Deny capabilities for safe, fast actors. AGERE!@SPLASH Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil
2015	—	`conf`	Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. PLAS@ECOOP Sophia Drossopoulou, James Noble, Mark S. Miller
2014	—	`conf`	Calculating communication costs with Sessions Types and Sizes. ICCSW Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida
2014	B	`conf`	How to Break the Bank: Semantics of Capability Policies. IFM Sophia Drossopoulou, James Noble
2014	—	`conf`	Rationally Reconstructing the Escrow Example. FTfJP@ECOOP James Noble, Sophia Drossopoulou
2014	J	`jnl`	Scaling Future Software: The Manycore Challenge. ERCIM News Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad
2013	A	`conf`	A Formal Semantics for Isorecursive and Equirecursive State Abstractions. ECOOP Alexander J. Summers, Sophia Drossopoulou
2013	A	`conf`	Fully concurrent garbage collection of actors on many-core machines. OOPSLA Sylvan Clebsch, Sophia Drossopoulou
2013	J	`jnl`	Policy as Types. CoRR Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou
2013	—	`conf`	Refactoring Boundary. ICCSW Tim Wood, Sophia Drossopoulou
2013	—	`conf`	The need for capability policies. FTfJP@ECOOP Sophia Drossopoulou, James Noble
2013	—	`ch.`	Understanding Ownership Types with Dependent Types. Aliasing in Object-Oriented Programming Nicholas Cameron, Sophia Drossopoulou, James Noble
2012	—	`conf`	Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
2012	A	`conf`	Zeno: An Automated Prover for Properties of Recursive Data Structures. TACAS William Sonnex, Sophia Drossopoulou, Susan Eisenbach
2011	—	`conf`	A sip of the Chalice. FTfJP@ECOOP Azalea Raad, Sophia Drossopoulou
2011	J	`jnl`	In memory of Manny Lehman, 'Father of Software Evolution'. J. Softw. Maintenance Res. Pract. 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
2011	J	`jnl`	Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. Werner Dietl, Sophia Drossopoulou, Peter Müller
2010	B	`conf`	Considerate Reasoning and the Composite Design Pattern. VMCAI Alexander J. Summers, Sophia Drossopoulou
2010	—	`conf`	Towards a semantic model for Java wildcards. FTfJP@ECOOP Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
2009	J	`jnl`	Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
2009	A	`ed.`	ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings ECOOP Sophia Drossopoulou
2009	A	`conf`	Existential Quantification for Variant Ownership. ESOP Nicholas Cameron, Sophia Drossopoulou
2009	J	`jnl`	Objects and session types. Inf. Comput. Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
2009	—	`conf`	On subtyping, wildcards, and existential types. FTfJP@ECOOP Nicholas Cameron, Sophia Drossopoulou
2009	J	`jnl`	Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. J. Object Technol. Alexander J. Summers, Sophia Drossopoulou, Peter Müller
2008	A	`conf`	A Model for Java with Wildcards. ECOOP Nicholas Cameron, Sophia Drossopoulou, Erik Ernst
2008	—	`conf`	A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008	A	`conf`	A Unified Framework for Verification Techniques for Object Invariants. ECOOP Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008	J	`jnl`	A type safe state abstraction for coordination in Java -like languages. Acta Informatica Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou
2008	—	`conf`	Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad
2008	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad
2008	A	`ed.`	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 ESOP Sophia Drossopoulou
2007	J	`jnl`	A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2007	—	`conf`	Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
2007	A	`conf`	Generic Universe Types. ECOOP Werner Dietl, Sophia Drossopoulou, Peter Müller
2007	A	`conf`	Multiple ownership. OOPSLA Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith
2007	—	`conf`	Tribe: a simple virtual class calculus. AOSD Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
2007	—	`conf`	Universe Types for Topology and Encapsulation. FMCO Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2006	J	`jnl`	A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
2006	—	`conf`	Bounded Session Types for Object Oriented Languages. FMCO Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
2006	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
2006	A	`conf`	Session Types for Object-Oriented Languages. ECOOP Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
2006	A	`conf`	Types for Hierarchic Shapes. ESOP Sophia Drossopoulou, David G. Clarke, James Noble
2005	—	`conf`	A Distributed Object-Oriented Language with Session Types. TGC Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou
2005	—	`conf`	Flexible Bytecode for Linking in .NET. Bytecode@ETAPS Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
2005	A*	`conf`	Polymorphic bytecode: compositional compilation for Java-like languages. POPL Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
2005	—	`ed.`	Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004 WOOD Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
2005	—	`conf`	SCHOOL: a Small Chorded Object-Oriented Language. DCM@ICALP Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach
2005	A	`conf`	Towards Type Inference for JavaScript. ECOOP Christopher Anderson, Paola Giannini, Sophia Drossopoulou
2004	—	`conf`	Preface. WOOD Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
2003	—	`conf`	Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops David G. Clarke, Sophia Drossopoulou, James Noble
2003	—	`conf`	BabyJ: from object based to class based programming via types. WOOD Christopher Anderson, Sophia Drossopoulou
2003	—	`conf`	Can addresses be types? (A case study: objects with delegation). WOOD Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
2003	A	`conf`	Flexible Models for Dynamic Linking. ESOP Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
2003	—	`conf`	Refined Effects for Unanticipated Object Re-classification: Fickle ICTCS Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
2002	—	`conf`	Formal Techniques for Java-like Programs. ECOOP Workshops Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
2002	J	`jnl`	More dynamic object reclassification: Fickle ACM Trans. Program. Lang. Syst. Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2002	A	`conf`	Ownership, encapsulation and the disjointness of type and effect. OOPSLA David G. Clarke, Sophia Drossopoulou
2001	—	`conf`	A type preserving translation of Fickle into Java. TOSCA Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	—	`conf`	An Effective Translation of Fickle into Java. ICTCS Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	A	`conf`	Fickle : Dynamic Object Re-classification. ECOOP Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2001	—	`conf`	Formal Techniques for Java Programs. ECOOP Workshops Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
2000	—	`conf`	An Abstract Model of Java Dynamic Linking and Loading. Types in Compilation Sophia Drossopoulou
2000	—	`conf`	Formal Techniques for Java Programs. ECOOP Workshops Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
1999	A*	`conf`	A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS Sophia Drossopoulou, Susan Eisenbach, David Wragg
1999	—	`conf`	Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java Sophia Drossopoulou, Susan Eisenbach
1999	—	`conf`	Formalising Composition Oriented Programming. ECOOP Workshops Mark Skipper, Sophia Drossopoulou
1999	J	`jnl`	Is the Java Type System Sound? Theory Pract. Object Syst. Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
1999	—	`conf`	Java Type System with Exceptions. ECOOP Workshops Sophia Drossopoulou
1998	A	`conf`	What is Java Binary Compatibility? OOPSLA Sophia Drossopoulou, David Wragg, Susan Eisenbach
1997	A	`conf`	Java is Type Safe - Probably. ECOOP Sophia Drossopoulou, Susan Eisenbach
1996	J	`jnl`	Type-Checking Smalltalk. J. Object Oriented Program. Sophia Drossopoulou, Stephan Karathanos, Dan Yang
1995	J	`jnl`	Object-Oriented Technology in Multiparadigm Language Implementation. J. Object Oriented Program. Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
1994	—	`conf`	Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
1993	J	`jnl`	An Integrated Engineering Study Scheme in Computing. Comput. J. Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
1991	—	`conf`	Parameterized Interfaces are Interfaces - AIAS. Declarative Programming Sophia Drossopoulou, Ross Paterson, Susan Eisenbach
1983	—	`—`	Verschmelzen von Aktionen in Zerteilern. Sophia Drossopoulou
1982	—	`conf`	An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein
1982	—	`book`	An Attribute Grammar for the Semantic Analysis of Ada Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner
1982	—	`conf`	The integration of existing database systems in an Ada environment. AdaTEC Conference on Ada Martin Bever, Manfred Dausmann, Sophia Drossopoulou, Walter Kirchgässner, Peter C. Lockemann, Guido Persch, Georg Winterstein
1981	—	`conf`	A Separate Compilation System for Ada. Werkzeuge der Programmiertechnik Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein
1981	J	`jnl`	An LALR (1) grammar for (revised) Ada. ACM SIGPLAN Notices Guido Persch, Georg Winterstein, Sophia Drossopoulou, Manfred Dausmann
1981	—	`conf`	The Tasking Facility of Ada. Implementierungssprachen für nichtsequentielle Programmsysteme Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein
1980	—	`conf`	Overloading in preliminary Ada. SIGPLAN Guido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou