Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Source URL: csl.sri.com

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Boolean algebra
• Circuit complexity
• Complexity classes
• Electronic design automation
• True quantified Boolean formula
• Satisfiability modulo theories
• NC
• FO
• Boolean circuit

Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Computational complexity theory
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Z3
• Solver

Boolean Satisfiability Solvers: Techniques and Extensions Georg WEISSENBACHER a and Sharad MALIK a a Princeton University Abstract. Contemporary satisfiability solvers are the corner-stone of many successful applications

Source URL: www.georg.weissenbacher.science

1 AFR HIGH COURT OF CHHATTISGARH, BILASPUR CRR No. 748 of 2006  Sharad Gupta ---- Applicant

Source URL: highcourt.cg.gov.in

Change of Guard: The Next Generation of Social Graph De-anonymization Attacks Kumar Sharad University of Cambridge

Source URL: ksharad.com

American Economic Review: Papers & Proceedings 2016, 106(5): 119–123 http://dx.doi.orgaer.p20161028 Personalized Risk Assessments in the Criminal Justice System† By Sharad Goel, Justin M. Rao, and Ravi Shrof

Source URL: www.rshroff.com

Poster Misleading Metrics: On Evaluating ML for Malware with Confidence Roberto Jordaney, Zhi Wang, Davide Papini, Ilia Nouretdinov, Kumar Sharad, and Lorenzo Cavallaro Royal Holloway, University of London Malware poses

Source URL: ksharad.com

Coverage-based Trace Signal Selection for Fault Localisation in Post-Silicon Validation Charlie Shucheng Zhu1? , Georg Weissenbacher2?? , and Sharad Malik1 1 2

Source URL: www.georg.weissenbacher.science

Got control ? AutoControl: Automated Control of MultipleVirtualized Resources Pradeep Padala, Karen Hou, Xiaoyun Zhu*, Mustfa Uysal†, Zhikui Wang†, Sharad Singhal†, Arif Merchant†, Kang G. Shin

Source URL: eurosys2009.informatik.uni-erlangen.de