• 451 Citations
  • 11 h-Index
20102019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 451 Citations
  • 11 h-Index
  • 17 Conference contribution
  • 5 Article
Filter
Article
2017

SHErrLoc: A static holistic error locator

Zhang, D., Myers, A. C., Vytiniotis, D. & Peyton-Jones, S., Aug 2017, In : ACM Transactions on Programming Languages and Systems. 39, 4, 18.

Research output: Contribution to journalArticle

3 Scopus citations
2015

A hardware design language for timing-sensitive information-flow security

Zhang, D., Wang, Y., Suh, G. E. & Myers, A. C., Apr 2015, In : ACM SIGPLAN Notices. 50, 4, p. 503-516 14 p.

Research output: Contribution to journalArticle

50 Scopus citations

Diagnosing type errors with class

Zhang, D., Myers, A. C., Vytiniotis, D. & Peyton-Jones, S., Jun 1 2015, In : ACM SIGPLAN Notices. 50, 6, p. 12-21 10 p.

Research output: Contribution to journalArticle

4 Scopus citations
2014

Toward general diagnosis of static errors

Zhang, D. & Myers, A. C., Jan 13 2014, In : ACM SIGPLAN Notices. 49, 1, p. 569-581 13 p.

Research output: Contribution to journalArticle

7 Scopus citations
2012

Language-based control and mitigation of timing channels

Zhang, D., Askarov, A. & Myers, A. C., Aug 1 2012, In : ACM SIGPLAN Notices. 47, 6, p. 99-109 11 p.

Research output: Contribution to journalArticle

26 Scopus citations