Tag Archives: web 2.0

How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Posted on May 22, 2020 by karthikp | Comments Off

Asem Ghaleb and Karthik Pattabiraman, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020. (Acceptance Rate: 26%) [PDF | Talk] (DataSet, Code – Artifacts Functional Badge)
Continue reading →

Comments Off on How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Posted in papers

Posted on December 13, 2017 by karthikp | Comments Off

Saba Alimadadi, Ali Mesbah, and Karthik Pattabiraman, ACM/IEEE International Conference on Software Engineering (ICSE), 2018. (Acceptance Rate: 21%). [ PDF | Talk ]

Comments Off on Inferring Hierarchical Motifs from Execution Traces

Posted in papers

Posted on December 10, 2017 by karthikp | Comments Off

Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman, Workshop on Middleware and Applications for the Internet of Things (m4IoT), co-held with the 2017 Middleware Conference. [ PDF | Talk ] (ThingsJS code)
Continue reading →

Comments Off on ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments

Posted in papers

Posted on July 18, 2017 by karthikp | Comments Off

Comments Off on Detecting Unknown Inconsistencies in Web Applications

Posted in papers