Dinghao Wu

Artificial Intelligence · 2004–2011

A researcher in the Science corpus: 2 papers; trusts 21 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

Artificial Intelligence — 13 citations into it
Hardware and Architecture — 9 citations into it; #301 of 1,551 by trust here, #1,091 by citations
Software — 6 citations into it
Computational Theory and Mathematics — 5 citations into it; #3,483 of 12,182 by trust here, #7,501 by citations
Information Systems — 5 citations into it

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

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

Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
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)
Unification-based pointer analysis with directional assignments (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)
Lazy abstraction
A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)