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

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture, , , and . CoRR, (2013)Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)User-Assisted Code Query Optimization., , , , and . SOAP@PLDI, page 40-46. ACM, (2023)Model checking of global power management strategies in software with temporal logic properties., , and . ISEC, page 29-34. ACM, (2013)An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis., , , and . J. Low Power Electron., 9 (3): 350-362 (2013)Equivalence Checking Using Trace Partitioning., , , and . ISVLSI, page 13-18. IEEE Computer Society, (2015)A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes., , , , and . ICSE-SEIP, page 327-339. IEEE, (2023)How COVID-19 has Impacted the Anti-Vaccine Discourse: A Large-Scale Twitter Study Spanning Pre-COVID and Post-COVID Era., , , , and . CoRR, (2024)MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments., , , and . EMNLP, page 5291-5302. Association for Computational Linguistics, (2023)v2c - A Verilog to C Translator., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 580-586. Springer, (2016)