John Tang Boyland

Artificial Intelligence · 2003

A researcher in the Science corpus: 1 paper; trusts 7 researchers and is trusted by 5 researchers here, as inferred from the citation graph.

Subfields

Artificial Intelligence — 6 citations into it; #15,197 of 35,345 by trust here, #27,551 by citations

Their strongest outbound trust, strongest first, inferred from their citations.

Ordered by how strongly the researchers John Tang Boyland trusts endorse each paper. Same corpus, a different order for every researcher.

A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
Ownership, encapsulation and the disjointness of type and effect (Conference on Object-Oriented Programming Systems, Languages, and Applications)
Adoption and focus: practical linear types for imperative programming (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Separation logic: a logic for shared mutable data structures
Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
The Real-Time Specification for Java (Computer)
Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)