| CARVIEW |
Select Language
HTTP/2 302
date: Sun, 18 Jan 2026 22:30:54 GMT
content-type: text/html;charset=utf-8
location: https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6513613
server: cloudflare
vary: Origin
vary: Accept
expires: Sun, 18 Jan 2026 23:11:00 GMT
permissions-policy: interest-cohort=(),browsing-topics=()
cf-cache-status: DYNAMIC
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
strict-transport-security: max-age=31536000; includeSubDomains; preload
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=iUq6lGcmI3RyNjO9XeEggK28rPhWU%2FPmyBOpDl8uqB9m5KvgeGECS18z3GHxi0%2Fkc1V%2F15MhIHd%2Fl4diA%2BXRCe8kFCdlIQ%3D%3D"}]}
cf-ray: 9c018a19fe7e6cd6-BLR
alt-svc: h3=":443"; ma=86400
HTTP/1.1 301 Moved Permanently
Server: CloudFront
Date: Sun, 18 Jan 2026 22:30:54 GMT
Content-Type: text/html
Content-Length: 167
Connection: keep-alive
Location: https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6513613
X-Cache: Redirect from cloudfront
Via: 1.1 9f3f4cadb8601c4fc66883a04796dbd0.cloudfront.net (CloudFront)
X-Amz-Cf-Pop: BOM78-P4
X-Amz-Cf-Id: NeqJMkwhVXuI51brLQn5ma58NOQH9qGTla42UYlGMaOfud0rlS8T7w==
HTTP/2 302
content-length: 0
location: https://ieeexplore.ieee.org/document/6513613/;jsessionid=0E59486FF42F5357EF3A7A89B1CB2C8F?arnumber=6513613
date: Sun, 18 Jan 2026 22:30:54 GMT
x-frame-options: SAMEORIGIN
content-language: en
set-cookie: JSESSIONID=0E59486FF42F5357EF3A7A89B1CB2C8F; Path=/; Secure; HttpOnly;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: AWSALBAPP-0=AAAAAAAAAADypZUIHF+9J6tOkbztg0FnEfJ7ORRw8sL18833u4sWg7Mt3wn0U5hequ2hxYAUPgS60FJW523L1rhfZz8P8gvnT10TLS+vcp5dPg3wkqZGBzlVtsuZDkkukGd+lPeal5JMFwa6wmAyjS0TtbjeQel1WvHKdu9iHWakRMr5dZSzNOX3s4dH6vuiwKHHXe/X7gQVsf8tLYMzBw==; Expires=Sun, 25 Jan 2026 22:30:54 GMT; Path=/; Secure
set-cookie: AWSALBAPP-1=_remove_; Expires=Sun, 25 Jan 2026 22:30:54 GMT; Path=/; Secure
set-cookie: AWSALBAPP-2=_remove_; Expires=Sun, 25 Jan 2026 22:30:54 GMT; Path=/; Secure
set-cookie: AWSALBAPP-3=_remove_; Expires=Sun, 25 Jan 2026 22:30:54 GMT; Path=/; Secure
set-cookie: WLSESSION=3573772810.47873.0000; expires=Mon, 19-Jan-2026 22:30:54 GMT; path=/; Httponly; Secure
set-cookie: TS016349ac=01f15fc87c651f9b023e256dfc3399aadcacc8ce51949fb95fdaaad05bbd0f313efb819357407584c1e1c6171c18f7de2da9386845; Path=/; Domain=.ieeexplore.ieee.org
set-cookie: TSaf720a17029=0807dc117eab280034273f2294caa32888392070ff1710c769be2b29dfb28f486f163be3b3250486cac4ee8e791bb61e; Max-Age=30; Path=/
set-cookie: TS8b476361027=0807dc117eab2000d34733c18ebe41a28ccaf207b4ac53599f557fd1178a250ab0759b0ca2bc0b2f08c6e0ca70113000d949e635af61e5094b78f5bf3b86e5823708d77fb25461c4d6ef56553db718847950b9745d8457eb418f66f02b77f86a; Path=/
x-xss-protection: 1
content-security-policy: upgrade-insecure-requests
x-content-type-options: text/html; charset=UTF-8; nosniff
strict-transport-security: max-age=31536000; includeSubDomains
x-cache: Miss from cloudfront
via: 1.1 30a3edeee0421eda2330eddbba537a1c.cloudfront.net (CloudFront)
x-amz-cf-pop: BOM78-P4
x-amz-cf-id: t0hZvw3MXylziBrKMMp0RZFO77xrZG27kYZPJQwAX_UeyAaxELSwVA==
HTTP/2 200
content-type: text/html;charset=UTF-8
date: Sun, 18 Jan 2026 22:30:55 GMT
x-frame-options: SAMEORIGIN
content-language: en
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: AWSALBAPP-0=AAAAAAAAAAAHzmYtN/Vvl71DXxH5PC0N+nnEFuSsFaRkD2wSnvZ3wahcuNWG182SEwKJIYU2UicaoHvJCjOoeslqDVue5sgGMdcf6QRTutiKXrJmg0TSuGKid6LQbZMGeajUvJFdGmSLyxY4v2FiRpCmZoER4EaSVKMEOK29VKQZIAwWgVDOO2+mVGeibxfSJXbrul4rSxgPgoY/O6DgDg==; Expires=Sun, 25 Jan 2026 22:30:55 GMT; Path=/; Secure
set-cookie: AWSALBAPP-1=_remove_; Expires=Sun, 25 Jan 2026 22:30:55 GMT; Path=/; Secure
set-cookie: AWSALBAPP-2=_remove_; Expires=Sun, 25 Jan 2026 22:30:55 GMT; Path=/; Secure
set-cookie: AWSALBAPP-3=_remove_; Expires=Sun, 25 Jan 2026 22:30:55 GMT; Path=/; Secure
set-cookie: WLSESSION=3573772810.47873.0000; expires=Mon, 19-Jan-2026 22:30:55 GMT; path=/; Httponly; Secure
set-cookie: TS016349ac=01f15fc87c651f9b023e256dfc3399aadcacc8ce51949fb95fdaaad05bbd0f313efb819357407584c1e1c6171c18f7de2da9386845; Path=/; Domain=.ieeexplore.ieee.org
set-cookie: TSaf720a17029=0807dc117eab280041a82c9db65805e718a8ffa373d9507d7fd0eb64b4ff7616a9e2a0bf6a57d02b33666f1809f7777c; Max-Age=30; Path=/
set-cookie: TS8b476361027=0807dc117eab2000f868495f2d81f5232c83c69e7ab9d893cd81cff736b07ca5f25058db88fbcf5108386ef10e113000114c78f523ecf463465a225645a617ec55d5c224ac3e7aa07b0bc57ade0e10f0d33302df2797a27fc05212054d313d0b; Path=/
x-xss-protection: 1
content-security-policy: upgrade-insecure-requests
x-content-type-options: text/html; charset=UTF-8; nosniff
strict-transport-security: max-age=31536000; includeSubDomains
x-cache: Miss from cloudfront
via: 1.1 30a3edeee0421eda2330eddbba537a1c.cloudfront.net (CloudFront)
x-amz-cf-pop: BOM78-P4
x-amz-cf-id: SHv9uEXFYRbjqWdSv1va7kVkjgEgZIdNhZ98464KwEPdrCsz3nS69Q==
Verifying safety and liveness for the FlexTM hybrid transactional memory | IEEE Conference Publication | IEEE Xplore
IEEE Account
Purchase Details
Profile Information
Need Help?
- US & Canada: +1 800 678 4333
- Worldwide: +1 732 981 0060
- Contact & Support
- About IEEE Xplore
- Contact Us
- Help
- Accessibility
- Terms of Use
- Nondiscrimination Policy
- Sitemap
- Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2026 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.