Author of the publication

Static Analysis for AWS Best Practices in Python Code.

, , , and . ECOOP, volume 222 of LIPIcs, page 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)., , , and . CoRR, (2017)MTLTS: A Multi-Task Framework To Obtain Trustworthy Summaries From Crisis-Related Microblogs., , , , , , and . CoRR, (2021)Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework., , , , and . ISED, page 267-271. IEEE, (2012)Hardware/Software Co-verification Using Path-based Symbolic Execution., , , , and . CoRR, (2020)Static Analysis for AWS Best Practices in Python Code., , , and . ECOOP, volume 222 of LIPIcs, page 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews., , , , , and . SIGIR, page 1825-1828. ACM, (2020)PASTE: A Tagging-Free Decoding Framework Using Pointer Networks for Aspect Sentiment Triplet Extraction., , , , and . EMNLP (1), page 9279-9291. Association for Computational Linguistics, (2021)Scaling Use-case Based Shopping using LLMs., , , and . WSDM, page 1165-1166. ACM, (2024)Formal Verification of Hardware / Software Power Management Strategies., , , and . VLSI Design, page 326-331. IEEE Computer Society, (2013)CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction., , , and . EMNLP (Findings), page 12065-12080. Association for Computational Linguistics, (2023)