• 3786 Citations
  • 31 h-Index
1985 …2020

Research output per year

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

Research Output

Filter
Conference article
2003

A provably sound TAL for back-end optimization

Chen, J., Wu, D., Appel, A. W. & Fang, H., May 2003, In : ACM SIGPLAN Notices. 38, 5, p. 208-219 12 p.

Research output: Contribution to journalConference article

5 Scopus citations

Using memory errors to attack a virtual machine

Govindavajhala, S. & Appel, A. W., Jul 25 2003, In : Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy. p. 154-165 12 p.

Research output: Contribution to journalConference article

84 Scopus citations
2002

A stratified semantics of general references embeddable in higher-order logic

Ahmed, A. J., Appel, A. W. & Virga, R., Jan 1 2002, In : Proceedings - Symposium on Logic in Computer Science. p. 75-86 12 p.

Research output: Contribution to journalConference article

26 Scopus citations
2001

Efficient substitution in hoare logic expressions

Appel, A. W., Swadi, K. N. & Virga, R., Nov 1 2001, In : Electronic Notes in Theoretical Computer Science. 41, 3, p. 35-49 15 p.

Research output: Contribution to journalConference article

4 Scopus citations

Type-preserving garbage collectors

Wang, D. C. & Appel, A. W., 2001, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 166-178 13 p.

Research output: Contribution to journalConference article

18 Scopus citations
2000

Semantic model of types and machine instructions for proof-carrying code

Appel, A. W. & Felty, A. P., Dec 3 2000, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 243-253 11 p.

Research output: Contribution to journalConference article

90 Scopus citations
1996

Iterated register coalescing

George, L. & Appel, A. W., 1996, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 208-218 11 p.

Research output: Contribution to journalConference article

16 Scopus citations