Author of the publication

DRIVE: Dockerfile Rule Mining and Violation Detection.

, , , , , and . ACM Trans. Softw. Eng. Methodol., 33 (2): 30:1-30:23 (February 2024)

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

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints., , and . CoRR, (2018)Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems., , , and . CONCUR, volume 4703 of Lecture Notes in Computer Science, page 120-135. Springer, (2007)A Probabilistic Analysis Framework for Malicious Insider Threats., , , and . HCI (22), volume 9190 of Lecture Notes in Computer Science, page 178-189. Springer, (2015)User Review-Based Change File Localization for Mobile Applications., , , , , and . CoRR, (2019)Formal Reasoning on Infinite Data Values: An Ongoing Quest., , and . SETSS, volume 10215 of Lecture Notes in Computer Science, page 195-257. (2016)A Proof-Theoretic Trust and Reputation Model for VANET., , , and . EuroS&P Workshops, page 146-152. IEEE, (2017)Android Stack Machine., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 487-504. Springer, (2018)A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints., , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 532-549. Springer, (2016)A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation., , , , , , and . CoRR, (2023)Softened Symbol Grounding for Neuro-symbolic Systems., , , , , , and . ICLR, OpenReview.net, (2023)