Academia.edu | People who have Program Analysis as a research interest (65)

Follow Mark

What is Following?

Following Mark's work means that, in your Academia.edu News Feed, you will see Mark's:

status updates
new papers
new research interests

and other research updates.

Mark Harman

University College London

Faculty Member

Computer Science Department

Computer Science, Genetic Algorithms, Mutation testing, and Program Analysis

Follow Harry

What is Following?

Following Harry's work means that, in your Academia.edu News Feed, you will see Harry's:

status updates
new papers
new research interests

and other research updates.

Harry Xu

University of California, Irvine

Faculty Member

Computer Science Department

Compilers, Memory Management, Optimization Techniques (Computer Science), and Parallel Programming

Follow Jael

What is Following?

Following Jael's work means that, in your Academia.edu News Feed, you will see Jael's:

status updates
new papers
new research interests

and other research updates.

Jael Kriener

University of Kent

Graduate Student

Computing Department

Abstract Interpretation, Computational Logic, Computer Science, and Computing

Follow Avik

What is Following?

Following Avik's work means that, in your Academia.edu News Feed, you will see Avik's:

status updates
new papers
new research interests

and other research updates.

Avik Mitra

Jadavpur University

Department Member

Department of Information Technology

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, Algorithms, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), and Computational Logic

Follow Arnab

What is Following?

Following Arnab's work means that, in your Academia.edu News Feed, you will see Arnab's:

status updates
new papers
new research interests

and other research updates.

Arnab De

Indian Institute of Science

Graduate Student

Computer Science and Automation Department

Computer Science, Computer Security And Reliability, Program Analysis, and Programming Languages

Follow Ahmed

What is Following?

Following Ahmed's work means that, in your Academia.edu News Feed, you will see Ahmed's:

status updates
new papers
new research interests

and other research updates.

Ahmed Shosha

University College Dublin

Graduate Student

Computer Science and Informatics Department

Computer Forensics, Data Mining, Distributed Computing, and Formal Methods (Formal Verification)

Follow Dejan

What is Following?

Following Dejan's work means that, in your Academia.edu News Feed, you will see Dejan's:

status updates
new papers
new research interests

and other research updates.

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Follow Sai

What is Following?

Following Sai's work means that, in your Academia.edu News Feed, you will see Sai's:

status updates
new papers
new research interests

and other research updates.

Sai Zhang

University of Washington

Graduate Student

Computer Science & Engineering Department

Programming Languages, Software Engineering, Software Testing, and Verification (Computer Science)

Follow Peter

What is Following?

Following Peter's work means that, in your Academia.edu News Feed, you will see Peter's:

status updates
new papers
new research interests

and other research updates.

Peter Gromov

University of Essex

Graduate Student

Department of Language and Linguistics

Computational Linguistics, Functional Programming, Information structure (Languages And Linguistics), and Lexical Semantics

Follow Raul

What is Following?

Following Raul's work means that, in your Academia.edu News Feed, you will see Raul's:

status updates
new papers
new research interests

and other research updates.

Raul Santelices

Georgia Institute of Technology

Graduate Student

College of Computing

C++ Programming, Change Impact Analysis in software engineering, Change-effects analysis in software, and Compilers

Follow Santosh

What is Following?

Following Santosh's work means that, in your Academia.edu News Feed, you will see Santosh's:

status updates
new papers
new research interests

and other research updates.

Santosh Nagarakatte

University of Pennsylvania

Graduate Student

Computer Science Department

Compilers, Computer Architecture, Computer Security, and Computer Security And Reliability

Follow Jon

What is Following?

Following Jon's work means that, in your Academia.edu News Feed, you will see Jon's:

status updates
new papers
new research interests

and other research updates.

Jon Nicholson

University of Brighton

Faculty Member

School of Computing, Engineering and Mathematics

Automated reasoning, CASE Tools, Computer Science, and Design Patterns

Follow Marc

What is Following?

Following Marc's work means that, in your Academia.edu News Feed, you will see Marc's:

status updates
new papers
new research interests

and other research updates.

Marc Fisher II

University of Nebraska Lincoln

Alumnus

Computer Science and Engineering Department

Computer Science, End-User Software Engineering, Program Analysis, and Programming Languages

Follow Hakan

What is Following?

Following Hakan's work means that, in your Academia.edu News Feed, you will see Hakan's:

status updates
new papers
new research interests

and other research updates.

Hakan Yildirim

Anadolu University

Graduate Student

Distance Education Department

Accessibility, Artificial Intelligence, Communication, and Computer and Instructional Technology

Follow Stephen

What is Following?

Following Stephen's work means that, in your Academia.edu News Feed, you will see Stephen's:

status updates
new papers
new research interests

and other research updates.

Stephen Kell

University of Cambridge

Graduate Student

Computer Laboratory

Application Integration (Computer Science), Aspect Oriented Software Development, Binary Code, and Compilers

Follow Jácome

What is Following?

Following Jácome's work means that, in your Academia.edu News Feed, you will see Jácome's:

status updates
new papers
new research interests

and other research updates.

Jácome Cunha

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Functional Programming, Program Analysis, and Programming Languages

Follow Diego

What is Following?

Following Diego's work means that, in your Academia.edu News Feed, you will see Diego's:

status updates
new papers
new research interests

and other research updates.

Diego Garbervetsky

Universidad de Buenos Aires

Faculty Member

Departamento de Computación Department

Program Analysis, Software Engineering, and Static Analysis

Follow Alexander

What is Following?

Following Alexander's work means that, in your Academia.edu News Feed, you will see Alexander's:

status updates
new papers
new research interests

and other research updates.

Alexander Lamaison

Imperial College London

Graduate Student

Computing Department

Compilers, Duck Typing (Python), Open Source Software, and Program Analysis

Follow Dimitris

What is Following?

Following Dimitris's work means that, in your Academia.edu News Feed, you will see Dimitris's:

status updates
new papers
new research interests

and other research updates.

Dimitris Tselios

University of Piraeus

Graduate Student

Informatics Department

Computer Science, Database Systems, Object Database, and Probabilistic Databases

Follow Zeinab

What is Following?

Following Zeinab's work means that, in your Academia.edu News Feed, you will see Zeinab's:

status updates
new papers
new research interests

and other research updates.

Zeinab Sharifi

AmirKabir University Of Technology

Graduate Student

Computer Engineering and Information Technology Engineering Department

Algorithm, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Java Programming, and Program Analysis

Follow ED

What is Following?

Following ED's work means that, in your Academia.edu News Feed, you will see ED's:

status updates
new papers
new research interests

and other research updates.

ED Colbert

University of Southern California

Graduate Student

Computer Science Department

Aspect Oriented Software Development, C++ Programming, Computer Games Technology, and Computer Security

Follow Jing

What is Following?

Following Jing's work means that, in your Academia.edu News Feed, you will see Jing's:

status updates
new papers
new research interests

and other research updates.

Jing Guo

University of Hertfordshire

Graduate Student

Computer Science Department

Compiler Construction, Compilers, Concurrent Programming Languages, and GPGPU (General Purpose GPU) Programming

Follow srinivas prasad

What is Following?

Following srinivas prasad's work means that, in your Academia.edu News Feed, you will see srinivas prasad's:

status updates
new papers
new research interests

and other research updates.

srinivas prasad gumdelli

Montana State University - Bozeman

Graduate Student

Computer Science Department

Cryptography, Cyber-Physical Systems, Information Security And Cryptography, and Instant Secure Communication And Collaboration Systems

Follow Colas

What is Following?

Following Colas's work means that, in your Academia.edu News Feed, you will see Colas's:

status updates
new papers
new research interests

and other research updates.

Colas Le Guernic

New York University

Post-Doc

Computer Science Department

Abstract Interpretation, Bioinformatics, Biologically inspired computing, and Computational Biology

Program Analysis

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Department Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Alumnus

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

Log In

Reset Password