Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Designing DPA Resistant Circuits Using BDD Architecture and Bottom Pre-charge Logic., , , and . DSD, page 641-644. IEEE Computer Society, (2013)Implementing an Efficient Path Based Equivalence Checker for Parallel Programs., and . SEM4HPC@HPDC, page 3-10. ACM, (2016)A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques., , , and . ISED, page 67-71. IEEE, (2012)A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs., , and . SCAM, page 247-252. IEEE Computer Society, (2015)Mixed Precision Training of Convolutional Neural Networks using Integer Operations., , , , , , , , , and 7 other author(s). ICLR (Poster), OpenReview.net, (2018)Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solvers., , and . VDAT, page 1-6. IEEE, (2014)Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking., , and . ISVLSI, page 183-186. IEEE Computer Society, (2015)Determining Equivalence of Expressions: An Automated Evaluator's Perspective., , and . T4E, page 35-36. IEEE Computer Society, (2015)Verification of Loop and Arithmetic Transformations of Array-Intensive Behaviors., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (11): 1787-1800 (2013)Translation validation of loop and arithmetic transformations in the presence of recurrences., , and . LCTES, page 31-40. ACM, (2016)