Vijay D'Silva - Citegraph

Author Info

Name	Affiliation	Papers
VIJAY D'SILVA	University of California, Berkeley, CA, USA	21
Collaborators	Citations	PageRank
29	239	14.07
Referers	Referees	References
579	560	414

Search Limit

100579

Publications (21 rows)

Collaborators (29 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Complete Abstractions And Subclassical Modal Logics	0	0.34	2017
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer.	0	0.34	2016
ASPIRE: Iterative Specification Synthesis for Security	1	0.36	2015
The Correctness-Security Gap in Compiler Optimization	20	0.90	2015
Abstract Interpretation as Automated Deduction	3	0.40	2015
Abstract satisfaction	5	0.39	2014
Deciding floating-point logic with abstract conflict driven clause learning	22	0.86	2014
Abstract conflict driven learning	13	0.57	2013
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.	13	0.57	2013
Generalizing simulation to abstract domains	1	0.35	2013
BLITZ: Compositional bounded model checking for real-world programs	14	0.54	2013
Abstraction Of Syntax	1	0.36	2013
An Abstract Interpretation Of Dpll(T)	3	0.39	2013
Contextual Policy Enforcement in Android Applications with Permission Event Graphs.	56	2.11	2013
Satisfiability solvers are static analysers	9	0.50	2012
Numeric bounds analysis with conflict-driven learning	28	0.86	2012
Fixed points for multi-cycle path detection	4	0.42	2009
Approximation refinement for interpolation-based model checking	10	0.65	2008
A formal approach to the protocol converter problem	14	1.01	2008
Existential abstractions for distributed reactive systems via syntactic transformations	0	0.34	2007
Bridge Over Troubled Wrappers: Automated Interface Synthesis	22	1.81	2004