Andrew W. Appel

Dikutip oleh

	Semua	Sejak 2020
Kutipan	18939	3462
indeks-h	60	29
indeks-i10	145	64

740

370

185

555

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202547 95 144 171 291 302 420 309 365 378 389 353 378 401 570 563 637 687 733 704 684 686 582 583 590 552 553 560 534 618 602 687 668 667 657 626 733 108

Akses publik

Lihat semua

22 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Zhong ShaoYale UniversityEmail yang diverifikasi di yale.edu
Lennart BeringerEmail yang diverifikasi di pm.me
Edward W. FeltenRobert E. Kahn Professor of Computer Science and Public Affairs, Princeton UniversityEmail yang diverifikasi di princeton.edu
Aquinas HoborAssociate Professor, University College LondonEmail yang diverifikasi di ucl.ac.uk
Daniel C. WangAmazonEmail yang diverifikasi di amazon.com
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoEmail yang diverifikasi di cs.uchicago.edu
Gang TanProfessor of computer science and engineering, Penn State UniversityEmail yang diverifikasi di cse.psu.edu
Gordon StewartBedRock Systems, Inc.Email yang diverifikasi di bedrocksystems.com
Kai LiProfessor of computer science, Princeton universityEmail yang diverifikasi di cs.princeton.edu
Amy FeltyProfessor of Computer Science, University of OttawaEmail yang diverifikasi di eecs.uottawa.ca
Sandrine BlazyProfessor of Computer Science, University of RennesEmail yang diverifikasi di irisa.fr
Xinming (Simon) OuProfessor of Computer Science and Engineering, University of South FloridaEmail yang diverifikasi di usf.edu
Amal AhmedNortheastern UniversityEmail yang diverifikasi di ccs.neu.edu
Xavier LeroyCollège de FranceEmail yang diverifikasi di college-de-france.fr
santiago cuellarPhD, Princeton UniversityEmail yang diverifikasi di princeton.edu
Matthias BlumeGoogleEmail yang diverifikasi di google.com
Josiah DoddsAWSEmail yang diverifikasi di amazon.com
Dinghao WuPennsylvania State UniversityEmail yang diverifikasi di psu.edu
Zoe ParaskevopoulouEthereum FoundationEmail yang diverifikasi di ethereum.org
Francesco Zappa NardelliFacebookEmail yang diverifikasi di fb.com

Ikuti

Andrew W. Appel

Professor of Computer Science, Princeton University

Email yang diverifikasi di princeton.edu - Beranda


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Modern Compiler Implementation [in ML] [in C] [in Java] AW Appel Cambridge university press, 1998	2305	1998
Compiling with Continuations AW Appel Cambridge University Press, 1992	1470*	1992
An efficient program for many-body simulation AW Appel SIAM J. Sci. Stat. Comput. 6 (1), 85-103, 1985	1050	1985
MulVAL: A logic-based network security analyzer. X Ou, S Govindavajhala, AW Appel USENIX security symposium 8, 113-128, 2005	977	2005
Foundational proof-carrying code AW Appel Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 247-256, 2001	518	2001
Simple generational garbage collection and fast allocation AW Appel Software: Practice and experience 19 (2), 171-183, 1989	506	1989
Iterated register coalescing L George, AW Appel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 300-324, 1996	453	1996
An indexed model of recursive types for foundational proof-carrying code AW Appel, D McAllester ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (5), 657-683, 2001	451	2001
Real-time concurrent collection on stock multiprocessors AW Appel, JR Ellis, K Li Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	382	1988
Standard ML of New Jersey AW Appel, DB MacQueen Programming Language Implementation and Logic Programming, 1-13, 1991	379	1991
Proof-carrying authentication AW Appel, EW Felten Proceedings of the 6th ACM Conference on Computer and Communications …, 1999	358	1999
Verified software toolchain AW Appel European Symposium on Programming (LNCS 6602), 1-17, 2011	352*	2011
Virtual memory primitives for user programs AW Appel, K Li Proceedings of the fourth international conference on Architectural support …, 1991	349	1991
Using memory errors to attack a virtual machine S Govindavajhala, AW Appel 2003 Symposium on Security and Privacy, 2003., 154-165, 2003	334	2003
SSA is functional programming AW Appel ACM SIGPLAN Notices 33 (4), 17-20, 2008	321*	2008
Real time, concurrent garbage collection system and method JR Ellis, K Li, A Appel US Patent 5,088,036, 1992	300	1992
Program Logics for Certified Compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	276	2014
Garbage collection can be faster than stack allocation AW Appel Information Processing Letters 25 (4), 275-279, 1987	270	1987
Continuation-passing, closure-passing style AW Appel, T Jim Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	265	1989
A Standard ML compiler A Appel, D MacQueen Functional Programming Languages and Computer Architecture, 301-324, 1987	234	1987

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama