Ashis Tarafdar - Concepedia

Author

Ashis Tarafdar

Also Known As

A. Tarafdar, Ashis Tarafdar

Publications

237

Citations

H-Index

Concepts

All Affiliations

Ashis Tarafdar is an author at The University of Texas at Austin specializing in formal methods, computer science, and software analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	200
2	Computer Science	4	4	200
3	Compilers	2	2	153
4	Public Health	1	1	14
5	Causal Inference	1	1	14

Ashis Tarafdar

Publications

200

Citations

H-Index

Page 1

	Year	Citations
Guava David F. Bacon, Robert E. Strom, Ashis Tarafdar EngineeringSemantic RulesProgram AnalysisStandard JavaConcurrent Programming	2000	139
Predicate control for active debugging of distributed programs Ashis Tarafdar, Vijay K. Garg Program CheckingEngineeringVerificationSoftware EngineeringPredicate Control Problem	2002	33
Addressing false causality while detecting predicates in distributed programs Ashis Tarafdar, Vijay K. Garg False CausalityProgram CheckingEngineeringVerificationStrong Causality Model	2002	14
Guava David F. Bacon, Robert E. Strom, Ashis Tarafdar ACM SIGPLAN Notices EngineeringSemantic RulesProgram AnalysisStandard JavaConcurrent Programming	2000	14

Page 1