Остановите войну!
for scientists:
default search action
Sophia Drossopoulou
- > Home > Persons > Sophia Drossopoulou
Publications
- 2022
- [j18]Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou:
Necessity specifications for robustness. Proc. ACM Program. Lang. 6(OOPSLA2): 811-840 (2022) - [i7]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. CoRR abs/2209.08205 (2022) - 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 - [i6]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. CoRR abs/2002.08334 (2020) - 2019
- [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 - [c69]Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou:
Writing safe smart contracts in Flint. Programming 2018: 218-219 - 2017
- [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 - 2012
- [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) - 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) - 2005
- [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 - 2003
- [c25]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
Flexible Models for Dynamic Linking. ESOP 2003: 38-53 - 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 - 2001
- [c18]Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40 - 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 - 1999
- [j5]Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid:
Is the Java Type System Sound? Theory Pract. Object Syst. 5(1): 3-24 (1999) - [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 - 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
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint