Skip to main content
Quick links
CS Guide
Directory
Contact
Department of
Computer Science
Menu
Search
Undergraduate Program
Advisers & Contacts
Becoming a CS Major
Bachelor of Arts & Bachelor of Science in Engineering
Prerequisites
Class of '25, '26 & '27 - Departmental Requirements
Class of 2024 - Departmental Requirements
COS126 Information
Independent Work & Theses
Important Steps and Deadlines
Independent Work Seminars
Guidelines and Useful Information
Undergraduate Research Topics
AB Junior Research Workshops
Undergraduate Program FAQ
Certificate Program
Overview
How to Enroll
Requirements
Policies
Certificate Program FAQ
Interdepartmental Committee
Minor Program
Funding for Student Group Activities
Student Life
Mailing Lists and Policies
Study Abroad
Jobs & Careers
Graduate Program
Admissions Requirements
Doctoral Degree
Breadth Requirements
Pre-FPO Checklist
FPO Checklist
Master’s Degree
M.S.E. Track
M.Eng. Track
Departmental Internship Policy (for Master's students)
FAQ
Funding
General Examination
Fellowship Opportunities
Travel Reimbursement Policy
Courses
Course Schedule
Course Catalog
Research
Research Areas
Interdisciplinary Programs
Technical Reports
Computing Facilities
People
Faculty
Researchers
Technical Staff
Administrative Staff
Graduate Students
Undergraduate Students
Graduate Alumni
About
Contact Us
Visit Us
News and Events
News
Events
Spotlight Stories
Directory
Job Openings
Diversity & Outreach
Home
Research
Technical Reports
Reports for Author "Beringer, Lennart"
Search by
*
- Select -
Title
Author
Date
TR Number
Keywords
*
Search
Display by author:
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
| U |
V
|
W
|
X
|
Y
|
Z
TR-014-19 -
Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language
(2020)
Authors:
Cuellar, Santiago
/
Giannarakis, Nick
/
Madiot, Jean- Marie
/
Mansky, William
/
Beringer, Lennart
/
Cao, Qinxiang
/
Appel, Andrew
Follow us:
