Raghavan Raman and Martin Vechev - Free people check

(1 - 9 from 9

)

PeopleExplorer: An Integrated Interactive Exploratory People Search...

crystal.exp.sis.pitt.edu

2 : Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav, : Zoran Budimli?, Vincent Cavé, Raghavan Raman, Jun Shirako, Sa?nak ...

Runtime Verification: First International Conference, RV 2010, St....

books.google.de

368 Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, and Eran Yahav Run-Time Verification of Optimistic Concurrency Ali Sezgin ...

Static Analysis: 17th International Symposium, SAS 2010, Perpignan,...

books.google.nl

455 Martin Vechev, Eran Yahav, Raghavan Raman, and Vivek Sarkar Author Index Time of Time E. Allen Emerson1,

CiteSeerX — Efficient data race detection for async-finish parallelism

citeseerx.ist.psu.edu

BibTeX @INPROCEEDINGS{Raman_efficientdata, author = {Raghavan Raman and Jisheng Zhao and Vivek Sarkar and Martin Vechev and Eran Yahav}, title = {Efficient …

All web results to the name "Raghavan Raman"

Eran Yahav - Citações do Google Acadêmico

scholar.google.com.br

Martin Vechev,; Mooly Sagiv,; Ganesan Ramalingam,; Greta Yorsh,; Stephen Fink,; Thomas Reps,; Sharon Shoham,; Matthew Arnold,; Raghavan Raman,; Ohad ...

Eran Yahav

www.cs.technion.ac.il

NSF Award Search: Award# Collaborative Research:...

www.nsf.gov

Martin Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar. "Verifying Determinism of Structured Parallel Programs," Proceedings of the 17th International ...

NSF Award Search: Award# SHF: Medium: Collaborative...

www.nsf.gov

[RZSVY10] Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav. "Efficient Data Race Detection for Async-Finish ...

SAS 2010

sas2010.univ-perp.fr

Martin Vechev, Eran Yahav, Raghavan Raman and Vivek Sarkar. Verifying Determinism of Structured Parallel Programs; Isil Dillig, Thomas Dillig and Alex Aiken.

Related search requests for Raghavan Raman

Rishi Surendran
Martin Vechev
Robert Cartwright

Mathias Ricken
Jisheng Zhao
Eran Yahav

Vijay Raghavan
John Mellor-Crummey

Person "Raman" (4)
Forename "Raghavan" (135)
Name "Raman" (1620)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Raghavan Raman and Martin Vechev Free People Check