Stephen N. Freund
Hardware and Architecture · 2000–2009
A researcher in the Science corpus: 3 papers; trusts 10 researchers and is trusted by 27 researchers here, as inferred from the citation graph.
Subfields
- Hardware and Architecture — 17 citations into it; #50 of 1,551 by trust here, #420 by citations
- Artificial Intelligence — 15 citations into it; #5,340 of 35,345 by trust here, #14,718 by citations
- Computer Networks and Communications — 10 citations into it; #3,010 of 9,886 by trust here, #6,498 by citations
- Software — 5 citations into it
Whom Stephen N. Freund trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Robert O'Callahan
- Christoph von Praun
- Jong-Deok Choi
- Cormac Flanagan
- Thomas R. Gross
- Shaz Qadeer
- Chandrasekhar Boyapati
- Jeremy Manson
- Greg Nelson
Who trusts Stephen N. Freund overall
- Shaz Qadeer
- Koushik Sen
- Chandrasekhar Boyapati
- Cormac Flanagan
- Shan Lu
- Dawson R. Engler
- Jan Wen Voung
- M. Musuvathi
- Robert O'Callahan
- Christoph von Praun
Papers from Stephen N. Freund's perspective
Ordered by how strongly the researchers Stephen N. Freund 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)
- A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Language support for lightweight transactions (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Atomizer: a dynamic atomicity checker for multithreaded programs (18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.)
- RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
- A type and effect system for atomicity (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Hybrid dynamic data race detection (ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming)
- Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Their papers
- FastTrack: efficient and precise dynamic race detection (2009) — 805 citations
- Atomizer: a dynamic atomicity checker for multithreaded programs (2004) — 497 citations
- Type-based race detection for Java (2000) — 433 citations