Experts ranked by Uptrend.

1 Sumit Gulwani (Researcher , Microsoft Research RAD Group)
	Uptrend: 26.42; H-index: 14; Papers: 36; Citation: 509   highest-cited paper: Combining abstract interpreters (2006) at PLDI(Cited By 47) Homepage: http://research.microsoft.com/users/sumitg/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

3 Martin Abadi (Professor, Computer Science Department University of California )
	Uptrend: 16.89; H-index: 80; Papers: 187; Citation: 28754   highest-cited paper: A Logic of Authentication (1990) at ACM Trans. Comput. Syst.(Cited By 2493) Homepage: http://www.soe.ucsc.edu/~abadi/home.html
Expertise: Logic Programs / Algebraic Semantics;   Security Views / New Denial;   Functional Programming / Binding-Time Analysis;   Signature Schemes / Authenticated Key Exchange Secure;   File System / Software Systems;

4 Jonathan Aldrich (Assistant Professor, Institute for Software Research International School of Computer Science Carnegie Mellon University)
	Uptrend: 15.01; H-index: 16; Papers: 51; Citation: 1560   highest-cited paper: ArchJava: connecting software architecture to implementation (2002) at ICSE(Cited By 411) Homepage: http://www.cs.cmu.edu/~aldrich/
Expertise: Software Engineering / Design Patterns Frameworks;   Software Engineering / Business Maintenance Model;   Functional Programming / Binding-Time Analysis;   Software Engineering;

5 Koushik Sen (Assistant Professor, Department of Electrical Engineering and Computer Sciences University of California)
	Uptrend: 14.90; H-index: 23; Papers: 52; Citation: 1894   highest-cited paper: DART: directed automated random testing (2005) at PLDI(Cited By 531) Homepage: http://srl.cs.berkeley.edu/~ksen/doku.php
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

6 Sorin Lerner (Assistant Professor, Department of Computer Science and Engineering University)
	Uptrend: 13.64; H-index: 10; Papers: 19; Citation: 759   highest-cited paper: ESP: Path-Sensitive Program Verification in Polynomial Time (2002) at PLDI(Cited By 387) Homepage: http://www.cse.ucsd.edu/users/lerner/
Expertise: Functional Programming / Binding-Time Analysis;

7 Atanas Rountev (assistant professor , Department of Computer Science and Engineering Ohio State University)
	Uptrend: 12.89; H-index: 19; Papers: 50; Citation: 1105   highest-cited paper: Parameterized object sensitivity for points-to analysis for Java (2005) at ACM Trans. Softw. Eng. Methodol.(Cited By 190) Homepage: http://www.cse.ohio-state.edu/~rountev/
Expertise: Software Engineering / Business Maintenance Model;   Functional Programming / Binding-Time Analysis;   Parallel Computing / High Performance Fortran;   Parallel Applications / Average-Case Performance Analysis;

8 Martin T. Vechev
	Uptrend: 12.54; H-index: 8; Papers: 14; Citation: 115   highest-cited paper: QVM: an efficient runtime for detecting defects in deployed systems (2008) at OOPSLA(Cited By 20) Homepage: http://www.cl.cam.ac.uk/~mv270/
Expertise: Functional Programming / Binding-Time Analysis;

9 Umut A. Acar
	Uptrend: 12.31; H-index: 12; Papers: 32; Citation: 617   highest-cited paper: Adaptive functional programming (2006) at ACM Trans. Program. Lang. Syst.(Cited By 74) Homepage: http://fano.ics.uci.edu/cites/Author/Umut-A-Acar.html
Expertise: Functional Programming / Binding-Time Analysis;   Mesh Generation / Two-Dimensional Unstructured Meshes;

11 Amer Diwan (faculty, department of computer science University of Colorado,)
	Uptrend: 11.81; H-index: 21; Papers: 53; Citation: 1794   highest-cited paper: The DaCapo benchmarks: java benchmarking development and analysis (2006) at OOPSLA(Cited By 291) Homepage: http://www-plan.cs.colorado.edu/diwan/
Expertise: Functional Programming / Binding-Time Analysis;   Computer science;   Instruction Cache Organizations / Branch Prediction;

12 Mayur Naik (researcher, Intel Research Berkeley)
	Uptrend: 11.76; H-index: 10; Papers: 15; Citation: 676   highest-cited paper: Scalable statistical bug isolation (2005) at PLDI(Cited By 202) Homepage: http://berkeley.intel-research.net/mnaik/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

13 Manu Sridharan (Professor, 517 Soda Hall Computer Sciences Department, UC Berkeley)
	Uptrend: 11.66; H-index: 8; Papers: 16; Citation: 606   highest-cited paper: Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (2002) at PLDI(Cited By 203) Homepage: http://www.eecs.berkeley.edu/~manu_s/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;   Machine Learning;   Software Engineering / Business Maintenance Model;

14 Michael W. Hicks (assistant professor affiliate assistant, Dept. of Computer Science University of Maryland Electrical and Computer Engineering Department University of Maryland, College Park )
	Uptrend: 11.55; H-index: 20; Papers: 37; Citation: 2286   highest-cited paper: Cyclone: A Safe Dialect of C (2002) at USENIX Annual Technical Conference, General Track(Cited By 449) Homepage: http://www.cs.umd.edu/~mwh/
Expertise: Functional Programming / Binding-Time Analysis;   Service management;   Security Views / New Denial;

15 Xin Qi (Department of Computer Science Cornell University)
	Uptrend: 11.31; H-index: 5; Papers: 7; Citation: 87   highest-cited paper: J: nested intersection for scalable software composition (2006) at OOPSLA(Cited By 54) Homepage: http://www.cs.cornell.edu/~qixin/
Expertise: Functional Programming / Binding-Time Analysis;

16 Madanlal Musuvathi (Department of Computer Science, Stanford University.)
	Uptrend: 11.26; H-index: 13; Papers: 23; Citation: 1030   highest-cited paper: CMC: A Pragmatic Approach to Model Checking Real Code (2002) at OSDI(Cited By 277) Homepage: http://www-dsg.stanford.edu/madan/index.html
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Functional Programming / Binding-Time Analysis;   File System / Software Systems;   Model Checking / Hybrid Systems;

17 Naoki Kobayashi (professor, Graduate School of Information Sciences, Tohoku University)
	Uptrend: 10.82; H-index: 20; Papers: 59; Citation: 2111   highest-cited paper: Linearity and the pi-calculus (1999) at ACM Trans. Program. Lang. Syst.(Cited By 292) Homepage: http://www.kb.ecei.tohoku.ac.jp/~koba/
Expertise: Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

18 Michael D. Ernst (Associate Professor, Program Analysis Group Computer Science & Artificial Intelligence Lab (CSAIL) Dept. of Electrical Engineering & Computer Science Massachusetts Institute of Technology )
	Uptrend: 10.61; H-index: 27; Papers: 67; Citation: 3543   highest-cited paper: An overview of JML tools and applications (2005) at STTT(Cited By 600) Homepage: http://people.csail.mit.edu/mernst/
Expertise: Software Engineering / Business Maintenance Model;   Software Engineering;   Software Engineering / Design Patterns Frameworks;   Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

19 Westley Weimer (Westley Weimer Assistant Professor of Computer Science, Assistant Professor of Computer Science)
	Uptrend: 10.41; H-index: 13; Papers: 26; Citation: 3437   highest-cited paper: OceanStore: An Architecture for Global-Scale Persistent Storage (2000) at ASPLOS(Cited By 2023) Homepage: http://www.cs.virginia.edu/~weimer/
Expertise: Functional Programming / Binding-Time Analysis;   Real-Time Systems / Automated Software Test Data;   Model Checking / Hybrid Systems;

20 Tom Schrijvers (Department of Computer Science)
	Uptrend: 10.19; H-index: 14; Papers: 46; Citation: 656   highest-cited paper: Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (2005) at ICLP(Cited By 78) Homepage: http://www.cs.kuleuven.ac.be/~toms/
Expertise: Logic Programs;   Functional Programming / Binding-Time Analysis;

21 Ali-Reza Adl-Tabatabai (Former doctoral candidate, School of Computer Science)
	Uptrend: 10.16; H-index: 18; Papers: 40; Citation: 1111   highest-cited paper: Fast, Effective Code Generation in a Just-In-Time Java Compiler (1998) at PLDI(Cited By 187) Homepage: http://www.cs.cmu.edu/~ali/
Expertise: Functional Programming / Binding-Time Analysis;   Instruction Cache Organizations / Branch Prediction;   Parallel Computing / High Performance Fortran;   Dynamic Networks / Extended Abstract;

22 Wei-Ngan Chin (Associate Professor , Department of Computer Science School of Computing )
	Uptrend: 10.11; H-index: 18; Papers: 74; Citation: 1332   highest-cited paper: Towards an Automated Tupling Strategy (1993) at PEPM(Cited By 134) Homepage: http://www.comp.nus.edu.sg/~chinwn/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;   Real-Time Systems;

24 Saurabh Srivastava
	Uptrend: 9.95; H-index: 5; Papers: 7; Citation: 70   highest-cited paper: Program analysis as constraint solving (2008) at PLDI(Cited By 31) Homepage: http://www.blonnet.com/2006/02/17/stories/2006021702560400.htm
Expertise: Functional Programming / Binding-Time Analysis;

26 Adam Welc (Research Scientist, Intel Labs 2200 Mission College Blvd. Santa Clara, CA 95054)
	Uptrend: 9.73; H-index: 12; Papers: 18; Citation: 436   highest-cited paper: Transactional Monitors for Concurrent Objects (2004) at ECOOP(Cited By 86) Homepage: http://adamwelc.net/
Expertise: Software Engineering / Design Patterns Frameworks;   Parallel Computing / High Performance Fortran;   Functional Programming / Binding-Time Analysis;

27 Aditya V. Nori
	Uptrend: 9.41; H-index: 7; Papers: 16; Citation: 179   highest-cited paper: SYNERGY: a new algorithm for property checking (2006) at SIGSOFT FSE(Cited By 97)
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Binary code / Error detection;

28 Janis Voigtlander (Scientific Coworker,, Technische Universit ¨ at Dresden, Germany)
	Uptrend: 9.37; H-index: 9; Papers: 19; Citation: 224   highest-cited paper: Free theorems in the presence of seq (2004) at POPL(Cited By 47) Homepage: http://wwwtcs.inf.tu-dresden.de/~voigt/
Expertise: Functional Programming / Binding-Time Analysis;   Theorem Proving / General-Purpose Automated Reasoning;

29 Suresh Jagannathan (Associate Professor, Department of Computer Science Purdue University)
	Uptrend: 9.19; H-index: 22; Papers: 82; Citation: 1394   highest-cited paper: A Unified Treatment of Flow Analysis in Higher-Order Languages (1995) at POPL(Cited By 111) Homepage: http://www.cs.purdue.edu/homes/suresh/
Expertise: Functional Programming / Binding-Time Analysis;

30 Zachary Tatlock
	Uptrend: 9.11; H-index: 3; Papers: 3; Citation: 14   highest-cited paper: Proving optimizations correct using parameterized program equivalence (2009) at PLDI(Cited By 8)
Expertise: Functional Programming / Binding-Time Analysis;

31 Chandra Krintz ( Associate Professor, Computer Science Department University of California)
	Uptrend: 8.96; H-index: 14; Papers: 58; Citation: 819   highest-cited paper: Cache-Conscious Data Placement (1998) at ASPLOS(Cited By 229) Homepage: http://www.cs.ucsb.edu/~ckrintz/
Expertise: Instruction Cache Organizations / Branch Prediction;   Real-Time Systems;   Functional Programming / Binding-Time Analysis;   Parallel Applications / Average-Case Performance Analysis;

32 Ben Liblit (Assistant Professor, Computer Sciences Department )
	Uptrend: 8.95; H-index: 12; Papers: 29; Citation: 1149   highest-cited paper: Titanium: A High-performance Java Dialect (1998) at Concurrency - Practice and Experience(Cited By 317) Homepage: http://www.cs.wisc.edu/~liblit/
Expertise: Functional Programming / Binding-Time Analysis;   Real-Time Systems / Automated Software Test Data;   File System / Software Systems;   Machine Learning;

33 Michael J. Neely (assistant professor , Electrical Engineering Department,University of Southern California. )
	Uptrend: 8.94; H-index: 20; Papers: 40; Citation: 2692   highest-cited paper: Dynamic Storage Allocation: A Survey and Critical Review (1995) at IWMM(Cited By 426) Homepage: http://www-rcf.usc.edu/~mjneely/
Expertise: Functional Programming / Binding-Time Analysis;   Wireless Networks / Algorithmic Complexity;   Mechanism design / Learning Stochastic Finite Automata;   Fuzzy Decision / Realistic Modeling;

34 Aleksandar Dragojevic
	Uptrend: 8.93; H-index: 2; Papers: 4; Citation: 25   highest-cited paper: Stretching transactional memory (2009) at PLDI(Cited By 20)
Expertise: Functional Programming / Binding-Time Analysis;

35 Alexandra Silva
	Uptrend: 8.87; H-index: 6; Papers: 8; Citation: 54   highest-cited paper: Strong types for relational databases (2006) at Haskell(Cited By 10)
Expertise: Logic Programs / Algebraic Semantics;   Functional Programming / Binding-Time Analysis;

36 Cedric Fournet (a member of the Programming Principles and Tools and Security groups at Microsoft Research in Cambridge, UK. Since 2006, Microsoft Research Ltd)
	Uptrend: 8.80; H-index: 38; Papers: 62; Citation: 4380   highest-cited paper: A Calculus of Mobile Agents (1996) at CONCUR(Cited By 492) Homepage: http://research.microsoft.com/en-us/um/people/fournet/
Expertise: Logic Programs / Algebraic Semantics;   Functional Programming / Binding-Time Analysis;   Security Views / New Denial;

37 Patrick Th. Eugster (Member, Purdue University Dept. of Computer Science)
	Uptrend: 8.63; H-index: 19; Papers: 49; Citation: 3271   highest-cited paper: The many faces of publish/subscribe (2003) at ACM Comput. Surv.(Cited By 1197) Homepage: http://www.cs.purdue.edu/homes/peugster/
Expertise: Web Services / Mobile Agents;   Functional Programming / Binding-Time Analysis;   Software Engineering / Design Patterns Frameworks;   Software Engineering;   Dynamic Networks / Extended Abstract;   Computing Systems / Fault-Tolerant Real-Time;

38 Michiaki Tatsubori (Doctor of Philosophy in Engineering Dissertation, Graduate School of Engineering, University of Tsukuba , Ibaraki, Japan, January 8, 2002)
	Uptrend: 8.53; H-index: 10; Papers: 20; Citation: 505   highest-cited paper: A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software (2001) at ECOOP(Cited By 117) Homepage: http://www.csg.is.titech.ac.jp/~mich/pub/
Expertise: Web Service;   Software Engineering / Design Patterns Frameworks;   Functional Programming / Binding-Time Analysis;

39 Gerwin Klein
	Uptrend: 8.43; H-index: 14; Papers: 27; Citation: 648   highest-cited paper: A machine-checked model for a Java-like language, virtual machine, and compiler (2006) at ACM Trans. Program. Lang. Syst.(Cited By 144) Homepage: http://www.doclsf.de/
Expertise: Intelligent User Interfaces / National RoboCup Team;   Theorem Proving / General-Purpose Automated Reasoning;   Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   User Interface Design / Cultural Diversity;

40 Benjamin Gregoire (researcher, Projet EVEREST, INRIA Sophia Antipolis)
	Uptrend: 8.38; H-index: 11; Papers: 22; Citation: 381   highest-cited paper: A compiled implementation of strong reduction (2002) at ICFP(Cited By 96) Homepage: http://www-sop.inria.fr/everest/Benjamin.Gregoire/
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Model Checking / Hybrid Systems;

41 Iulian Neamtiu (Assistant Professor, Department of Computer Science and Engineering University of California, Riverside)
	Uptrend: 8.23; H-index: 8; Papers: 14; Citation: 419   highest-cited paper: Practical dynamic software updating for C (2006) at PLDI(Cited By 85) Homepage: http://www.cs.ucr.edu/~neamtiu/
Expertise: Functional Programming / Binding-Time Analysis;   Software Engineering / Business Maintenance Model;   File System / Software Systems;

42 Gene Novark
	Uptrend: 8.18; H-index: 5; Papers: 5; Citation: 105   highest-cited paper: Exterminator: Automatically correcting memory errors with high probability (2008) at Commun. ACM(Cited By 45)
Expertise: Functional Programming / Binding-Time Analysis;

43 Todd Mytkowicz
	Uptrend: 8.13; H-index: 4; Papers: 9; Citation: 53   highest-cited paper: Understanding the efficiency of social tagging systems using information theory (2008) at Hypertext(Cited By 29)
Expertise: Hypermedia Systems / Semantic web;   Genetic algorithm / Evolutionary Multi-objective Optimization;   Functional Programming / Binding-Time Analysis;

44 Xinyu Feng (Research Assistant Professor, Toyota Technological Institute at Chicago)
	Uptrend: 8.10; H-index: 11; Papers: 17; Citation: 330   highest-cited paper: Modular verification of assembly code with stack-based control abstractions (2006) at PLDI(Cited By 65) Homepage: http://flint.cs.yale.edu/feng/
Expertise: Functional Programming / Binding-Time Analysis;

45 Roberto Lublinerman
	Uptrend: 8.02; H-index: 5; Papers: 11; Citation: 56   highest-cited paper: Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (2008) at DATE(Cited By 16)
Expertise: Real-Time Systems;   Functional Programming / Binding-Time Analysis;   Object Recognition / Two-View Motion Estimation;

46 Stephen N. Freund (Assistant Professor of Computer Science, 47 Lab Campus Drive Williams College)
	Uptrend: 7.94; H-index: 21; Papers: 30; Citation: 2204   highest-cited paper: Type-based race detection for Java (2000) at PLDI(Cited By 284) Homepage: http://www.cs.williams.edu/~freund/
Expertise: Functional Programming / Binding-Time Analysis;   Computer science;

47 Ranjit Jhala (Assistant Professor , Computer Science Department Jacobs School of Engineering University of California San Diego )
	Uptrend: 7.89; H-index: 24; Papers: 45; Citation: 2567   highest-cited paper: Lazy abstraction (2002) at POPL(Cited By 805) Homepage: http://pho.ucsd.edu/rjhala/
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   File System / Software Systems;

48 Eric Koskinen
	Uptrend: 7.88; H-index: 5; Papers: 7; Citation: 87   highest-cited paper: Transactional boosting: a methodology for highly-concurrent transactional objects (2008) at PPOPP(Cited By 50)
Expertise: Dynamic Networks / Extended Abstract;   File System / Software Systems;   Functional Programming / Binding-Time Analysis;

49 Michael Hicks (associate professor, Dept. of Computer Science University of Maryland)
	Uptrend: 7.86; H-index: 9; Papers: 24; Citation: 672   highest-cited paper: PLAN: A Packet Language for Active Networks (1998) at ICFP(Cited By 310) Homepage: http://www.cs.umd.edu/~mwh/
Expertise: Functional Programming / Binding-Time Analysis;   Security Views / New Denial;