Tag Archives: web 2.0

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

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, CodeArtifacts Functional Badge)
Continue reading

Inferring Hierarchical Motifs from Execution Traces

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

Continue reading

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

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

Detecting Unknown Inconsistencies in Web Applications

Frolin Ocariza, Karthik Pattabiraman, and Ali Mesbah, IEEE/ACM International Conference onAutomated Software Engineering (ASE), 2017. (Acceptance Rate: 21%) [ PDF | Talk ]
Continue reading