Skip to main content

Top Quicklinks

  • Current Students
  • Faculty
  • Staff

Visit/Give Links

  • Give
  • Visit
Home
Expand Menu
  • About
    • About
    • Employment
    • Marketing & Communications
      • SCS Marketing & Communications
      • Partnerships
      • Employer Recruiting
      • CMU Marketing & Communications
    • Visit Carnegie Mellon
      • Visitor Parking
      • Maps & Information
    • Give
    black and white image of two people in computer room with tape driven mainframe computers

    At a Glance

    In 1965 Carnegie Mellon established the Computer Science Department with the support of a $5 million grant from the Richard K. Mellon Foundation. Alan Perlis was the first head of the department and first program was the Ph.D. program in CS. Among other notable achievements the Smiley started here with then CS faculty member Scott Fahlman. :-)

     

    Events |  News  |  History

  • Academics
    • Academics
    • Bachelor's Programs
    • Master's Programs
    • Doctoral Programs
    • Student Resources
    View of Carnegie Mellon Pausch bridge through window with algorithm written in marker on the glass

    Academic Offerings

    Consistently ranked among the highest programs available for the study of computer science, the Computer Science Department offers bachelor's, master's and doctoral degrees grounded in the foundations of the field while ensuring that the latest breakthroughs and research are encompassed in the curriculum. 

     

     Bachelor's Overview  |  Master's Overview  |  Doctoral Overview

  • Admissions
    • Prospective Students
    • Bachelor's Admissions
    • Master's Admissions
    • Doctoral Admissions
    Gates/Pausch Bridge

    Admissions

    Degree's offered by the Computer Science Department include bachelor's, master's, and doctoral. 

     

    Start with information provided on our Prospective Students page and then learn more about the department through our Faculty Research Guide, events, news, and additional online resources. 

  • Directory
    • All CSD
    • Faculty
      • Adjunct Faculty
      • Affiliated Faculty
      • Emeritus Faculty
      • Research & Tenure Faculty
      • Special Faculty
      • Teaching Faculty
    • Staff
    • Doctoral
    • Postdoctoral

    Directory Submenu

    People

    Our directory includes faculty, staff, postdoctoral and doctoral people in the department. 

     

    It also serves as part of our Faculty Research Guide (FRG) with information about the research areas people are actively working in across the department. 

     

    Key Contacts - for quick reference.

  • Research
    • Faculty Research Guide
    • Artificial Intelligence
    • Graphics
    • Programming Languages
    • Security
    • Systems
    • Theory

    Explore the Field

    Our Faculty Research Guide (FRG) is a good starting point to see which faculty are working on some of today's most interesting research challenges.

    The work we do here covers a wide range of research interests. Each faculty member has written his or her own research summary, which is available on their individual CSD directory page.

  • Search

    What can we help you find?

Breadcrumb

  1. Home
  3. Leaf: Modularity for Temporary Sharing in Separation Logic

Leaf: Modularity for Temporary Sharing in Separation Logic

2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA):
Hance T, Howell J, Padon O, Parno B

5000 Forbes Avenue
Pittsburgh, PA 15642
(412) 268-2000

            

Footer Menu 1

  • CSD
  • Prospective Students
  • Events
  • News
  • Key Contacts

Footer Menu 2

  • SCS
  • Graduate Admission
  • Business Office
  • Building Facilities
  • Computing Facilities

Footer Menu 3

  • CMU
  • Undergraduate Admission
  • Visitor Information
  • The HUB
  • Workday
© 2026 Carnegie Mellon University
  • Legal Info
  • Pittsburgh Campus
  • Silicon Valley Campus
  • Qatar Campus