Theory Lunch Seminar / Computer Science Speaking Skills Talk

Wednesday, May 9, 2018 - 12:00pm to 1:00pm

Location:

ASA Conference Room 6115 Gates Hillman Centers

Speaker:

NAAMA BEN-DAVID, Ph.D. Student http://www.cs.cmu.edu/~nbendavi/

The shared-memory and message-passing models have traditionally been studied separately in the distributed computing community. However, recent trends in hardware have led to machines that may use both shared memory and message-passing primitives. Motivated by these trends, we consider a hybrid message-and-memory model that allows programs to both share memory and pass messages.

We show that the message-and-memory model can leverage the shared memory to become more powerful than the message-passing model in isolation.

In this talk, I will exemplify the power of a message-and-memory network by considering the classic consensus problem. I will show that such a network can tolerate more failures when solving consensus than a purely message-passing one. This is true even when limiting shared memory communication to be only between neighbors in a shared-memory graph, rather than between every pair of processes. In particular, I will show that graphs with good expansion properties provide the best trade-off between scalability and fault-tolerance in this context, and prove tight upper and lower bounds on the fault-tolerance of a message-and-memory network.

Based on joint work with Marcos Aguilera, Irina Calciu, Rachid Guerraoui, Erez Petrank, and Sam Toueg

Presented in Partial Fulfillment of the CSD Speaking Skills Requirement

Event Website:

http://www.cs.cmu.edu/~theorylunch/abstractsHTML/May%209,%202018.html

For More Information, Contact:

Keywords:

Speaking Skills

Undergraduate Programs

The admissions process for each undergraduate major varies from program to program, but admissions for our main bachelor of science in computer science are handled through Carnegie Mellon's central Office of Undergraduate Admission. Learn more on our Undergraduate Admissions page.

Master's Programs

The Computer Science Department offers a main M.S. in Computer Science, and applications for that program are submitted online by mid-December for fall admission the following year. Other master's programs available to CSD students have their own admissions processes. Learn more about our admissions requirements and processes here.

Doctoral Programs

The Ph.D. in CS program uses the School of Computer Science online application for admissions. Applications are due in December for admittance the following fall. Students cannot begin in the spring. For more on how to apply, visit our Doctoral Admissions page.

Apply

Faculty Positions

The 2017-2018 application period for the Computer Science Department (CSD) at Carnegie Mellon University has closed for positions starting in Fall 2018.

Each year we seek candidates who have demonstrated commitment to excellence and leadership in undergraduate and graduate teaching, research, and/or service toward building an equitable and diverse scholarly environment.

Additional information can be found on our Faculty Hiring page. Please check back in September for the next hiring period for positions starting in Fall 2019.