Sophia Drossopoulou
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2002–2005
A researcher in the Science corpus: 2 papers; trusts 0 researchers and is trusted by 13 researchers here, as inferred from the citation graph.
Who trusts Sophia Drossopoulou overall
- John Tang Boyland
- Matthew J. Parkinson
- Chandrasekhar Boyapati
- Gavin M. Bierman
- Panagiotis Vekris
- Michael Furr
Papers from Sophia Drossopoulou's perspective
Ordered by how strongly the researchers Sophia Drossopoulou trusts endorse each paper. Same corpus, a different order for every researcher.
- Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- The Real-Time Specification for Java (Computer)
- Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Bugs as deviant behavior: a general approach to inferring errors in systems code
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
Their papers
- Towards Type Inference for JavaScript (2005) — 218 citations
- Ownership, encapsulation and the disjointness of type and effect (2002) — 303 citations