Write a Blog >>
Tue 11 Oct 2022 15:30 - 16:00 at Ballroom A - Poster Session

Smart contracts are self-governed computer programs that run on blockchain to facilitate asset transfer between users within a trustless environment. The absence of contract specifications hinders routine tasks, such as program understanding, debugging, testing, and verification of smart contracts. In this work, we propose a unified specification mining framework to infer specification models from past transaction histories. These include access control models describing high-level authorization rules, program invariants capturing low-level program semantics, and behavior models characterizing interaction patterns allowed by contract implementations. The extracted specification models can be used to perform conformance checking on smart contracts, with the goal of eliminating unforeseen contract quality issues.

Tue 11 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 16:00
15:30
30m
Poster
ASTOR: An Approach to Identify Security Code Reviews
Student Research Competition
Rajshakhar Paul Wayne State University
15:30
30m
Poster
‘Who built this crap?’ Developing a Software Engineering Domain Specific Toxicity Detector
Student Research Competition
Jaydeb Sarker Department of Computer Science, Wayne State University
Pre-print
15:30
30m
Poster
Automatically Fixing Breaking Changes of Data Science Libraries
Student Research Competition
Hailie Mitchell Carnegie Mellon University
15:30
30m
Poster
Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments
Student Research Competition
Frank Whitworth Wake Forest University
15:30
30m
Poster
Automatic Software Timing Attack Evaluation & Mitigation on Clear Hardware Assumption
Student Research Competition
Prabuddha Chakraborty University of Florida
15:30
30m
Poster
Automatically Tagging the “AAA" Pattern in Unit Test Cases Using Machine Learning Models
Student Research Competition
Chenhao Wei Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Tingting Yu University of Cincinnati, Xinyu Chen HSBC Software Development (Guangdong) Limited, Xiao Wang Stevens Institute of Technology, Sunny Wong Envestnet, Abigail Clune AGI
15:30
30m
Poster
A Unified Specification Mining Framework for Smart Contracts
Student Research Competition
Ye Liu Nanyang Technological University
15:30
30m
Poster
Identifying Sexism and Misogyny in Pull Request Comments
Student Research Competition
Sayma Sultana Wayne State University
15:30
30m
Poster
Detecting Inconsistencies in If-Condition-Raise Statements
Student Research Competition
Islem BOUZENIA Software Lab, University of Stuttgart
15:30
30m
Poster
Software Evolution Management with Differential Facts
Student Research Competition
Xiuheng Wu Nanyang Technological University, Singapore
15:30
30m
Poster
RESTCluster: Automated Crash Clustering for RESTful API
Student Research Competition
Yi Liu Nanyang Technological University