Martin Abadi

Martin Abadi

Research Scientist, Google, and Professor Emeritus, UC Santa Cruz
Verified email at cs.ucsc.edu
Cited by 122901
security programming languages and systems specification and verification
Colin Runciman

Colin Runciman

Professor of Computer Science, University of York, UK
Verified email at york.ac.uk
Cited by 5526
Programming Languages and Systems Functional Programming Software Tools
Chen Ding

Chen Ding

University of Rochester
Verified email at cs.rochester.edu
Cited by 5391
programming languages and systems
Robert H.B. Netzer

Robert HB Netzer

Verified email at bolabs.com
Cited by 3843
Programming Languages and Systems Distributed Systems
Norman Ramsey

Norman Ramsey

Professor of Computer Science, Tufts University
Verified email at cs.tufts.edu
Cited by 2738
Programming languages and systems Functional Programming
Kei Davis

Kei Davis

Research Scientist, Los Alamos National Laboratory
Verified email at lanl.gov
Cited by 2302
High-performance Computing Functional Programming Programming Languages and Systems Computational Co-design
Yue Li

Yue Li

Department of Computer Science and Technology, Nanjing University
Verified email at nju.edu.cn
Cited by 835
Program Analysis Programming Languages and Systems Software Engineering
Muhtasim Ulfat

Muhtasim Ulfat

Bangladesh University of Engineering and Technology
Verified email at ugrad.cse.buet.ac.bd
Cited by 3
Distributed Systems Programming Languages and Systems