• 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
Paper
2005

MulVAL: A logic-based network security analyzer

Ou, X., Govindavajhala, S. & Appel, A. W., Jan 1 2005, p. 113-128. 16 p.

Research output: Contribution to conferencePaper

MulVAL: A logic-based network security analyzer

Ou, X., Govindavajhala, S. & Appel, A. W., Jan 1 2005, p. 113-128. 16 p.

Research output: Contribution to conferencePaper

332 Scopus citations
2003

A provably sound TAL for back-end optimization

Chen, J., Wu, D., Appel, A. W. & Fang, H., Jul 28 2003, p. 208-219. 12 p.

Research output: Contribution to conferencePaper

21 Scopus citations
2002

Creating and preserving locality of Java applications at allocation and garbage collection times

Shuf, Y., Gupta, M., Franke, H., Appel, A. W. & Singh, J. P., 2002, p. 13-25. 13 p.

Research output: Contribution to conferencePaper

41 Scopus citations
2001

Optimal spilling for CISC machines with few registers

Appel, A. W. & George, L., Jan 1 2001, p. 243-253. 11 p.

Research output: Contribution to conferencePaper

81 Scopus citations
1999

Proof-carrying authentication

Appel, A. W. & Felten, E. W., Jan 1 1999, p. 52-62. 11 p.

Research output: Contribution to conferencePaper

159 Scopus citations
1998

Traversal-based visualization of data structures

Korn, J. L. & Appel, A. W., Dec 1 1998, p. 11-18. 8 p.

Research output: Contribution to conferencePaper

14 Scopus citations
1995

Cache performance of fast-allocating programs

Goncalves, M. J. R. & Appel, A. W., Jan 1 1995, p. 293-305. 13 p.

Research output: Contribution to conferencePaper

12 Scopus citations
1991

Virtual memory primitives for user programs

Appel, A. W. & Li, K., Jan 1 1991, p. 96-107. 12 p.

Research output: Contribution to conferencePaper

77 Scopus citations