0 results

People (6 results)
Isil Dillig

Isil Dillig

UT Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, USA

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Shoaib Akram

Shoaib Akram

Ghent University

… . William Fulbright scholarship from the U.S. Department of State. Before all

Events (21 results)

Putting in All the Stops: Execution Control for JavaScript

PLDI Research Papers When: Wed 20 Jun 2018 11:50 - 12:15 People: Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

… …

CakeML: from functions to machine code with proof all the way

DeepSpec 2018 When: Mon 18 Jun 2018 10:00 - 10:30 People: Magnus O. Myreen

… …

To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries

PLDI Research Papers When: Wed 20 Jun 2018 17:00 - 17:25 People: Michael J. Steindorfer, Jurgen Vinju

… …

Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving

ISMM 2018 When: Mon 18 Jun 2018 16:30 - 17:00 People: Jacob Brock, Chen Ding, Rahman Lavaee, Fangzhou Liu, Liang Yuan

… Cache in multicore machines is often shared, and the cache performance depends on how memory accesses belonging to different programs interleave with one another. The full range of performance possibilities includes all possible …

Attending Information (5 results)

Childcare

… For childcare services, please contact Marisa Rosen from MBR Nanny network. By phone: 610.761.5202 or email: marissa@mbrnannynetwork.com.

All Nannies are checked for criminal and child abuse background and they are CPR and First-aid …

Visas

… the ESTA page.

All other … letter. For visa support letters, please send all requests to the Office of SIG …

Accessibility FAQ

… of the conference space.

All conference events ..., in Grand CD on Tuesday, in Columbus Ballroom Wednesday through Friday (all rooms ... are the restroom facilities like?

All restrooms have wheelchair accessible ...

Tracks (10 results)

ISMM 2018

all deadline, submission, and formatting information. The International … architectures - Memory management at datacenter and cloud scales

All papers must …. Each reference must list all authors of the paper (do not use et al …

LCTES 2018

… to the usual conference mode. All accepted full papers will be invited … a

journal mode

in addition to the usual conference mode. All accepted full papers … send all requests to the Office of SIG Services supportletters@acm.org …

DeepSpec 2018

… the available space on first-come/first-served basis.

Talks about all subjects …

General (6 results)

FMS 2018 Homepage

… FMS 2018 Welcome to the website of the FMS 2018 conference. We are working hard to fill the website with all related information. Please check back soon! b1aab6f5-11ff-4175-be22-e609980c6eb3 …

PLMW @ PLDI 2018 Homepage

… Programming Languages Mentoring Workshop 2018 Welcome to the website of the Programming Languages Mentoring Workshop 2018 conference. We are working hard to fill the website with all related information. Please check back soon! …

DeepSpec 2018 Homepage

… DeepSpec 2018 Welcome to the website of the DeepSpec 2018 conference. We are working hard to fill the website with all related information. Please check back soon! …