Crossmark

A Verified Specification of TLSF Memory Management Allocator Using State Monads

Crossref DOI link: https://doi.org/10.1007/978-3-030-35540-1_8

Published Online: 2019-11-18

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Zhang, Yu

Zhao, Yongwang

Sanan, David

Qiao, Lei

Zhang, Jinkun
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 18 November 2019

Conference Information

Conference Acronym: SETTA

Conference Name: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications

Conference City: Shanghai

Conference Country: China

Conference Year: 2019

Conference Start Date: 27 November 2019

Conference End Date: 29 November 2019

Conference Number: 5

Conference ID: setta2019a

Conference URL: http://www4.comp.polyu.edu.hk/~csguannan/setta19/

Peer Review Information (provided by the conference organizers)

Type: Open

Conference Management System: EasyChair

Number of Submissions Sent for Review: 26

Number of Full Papers Accepted: 8

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 31% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 3

External Reviewers Involved: Yes