0 results

People (5 results)
Isil Dillig

Isil Dillig

… …

Jongeun Lee

Jongeun Lee

… …

Mooly Sagiv

Mooly Sagiv

… …

Events (37 results)

Project Oak: Control Data in Distributed Systems, Verify All The Things

DeepSpec 2019 When: Sun 23 Jun 2019 14:00 - 14:45 People: Ben Laurie

… …

Panel: Charting Your Path

PLMW @ PLDI 2019 When: Sun 23 Jun 2019 11:20 - 12:30 People: Lisa Hsu, Adrian Sampson, Emma Tosch, Caroline Trippel, Benjamin Zorn

… Researchers from all stages of their career – senior grad students, early-career researchers, and senior researchers – discuss the choices they made in plotting their careers. …

A week in the life of an MSR Researcher

PLMW @ PLDI 2019 When: Sun 23 Jun 2019 16:30 - 17:00 People: Todd Mytkowicz

… This talk uses a week from my calendar to give some perspective on what it is like to work at Microsoft Research. MSR is a unique lab that empowers me to solve hard problems all while being grounded by their applications to the needs …

Gigahorse: Thorough Smart Contract Decompilation and Security Analyses

DPA When: Sun 23 Jun 2019 12:00 - 12:30 People: Neville Grech

… contains the most complete, high-level decompiled representation of all Ethereum … several advanced high-level client analyses, including MadMax and Ethainter. All

Attending Information (3 results)

Visa

… the ESTA page.

All other …

Accessibility FAQ

… social event; Lucky Strike is in an ADA compliance building. All floors … restrooms on all floors. There is a ramp to the area bowling lanes.

What are the restroom facilities like?

All restrooms have ...

Tourist Information

… , a Phoenix native, built his menu around a do-it-all South African-style grill …

Tracks (11 results)

Languages, Compilers, Tools and Theory of Embedded Systems

… .

Accepted papers in all the categories will appear in the proceedings published by ACM.

Invitation to TECS

The authors of all full papers from LCTES … that all the information entered is correct, and if you are registering only …

WAX 2019

… , and brainstorming on all of these topics.

Here’s a (tentative) timeline for the workshop …, and brainstorming on all of these topics.

Topic

With transistor scaling becoming … and HCI.

Making approximate computing successful requires cooperation among all

ARRAY 2019

… of programming languages, libraries and methodologies from all domains … 200PB/sec of memory bandwidth, all dedicated to array processing. In this talk we …: full papers and extended abstracts. All submissions should be formatted …

General (12 results)

DPA 2019 Homepage

… DPA 2019 Welcome to the website of the DPA 2019 conference. We are working hard to fill the website with all related information. Please check back soon! ac0401e6-3811-440d-a7fc-eb3a55196bdb …

WAX 2019 Homepage

… WAX 2019 Welcome to the website of the WAX 2019 conference. We are working hard to fill the website with all related information. Please check back soon! c744e263-1e42-4aba-a474-9db1a98ccc6f …

ARRAY 2019 Homepage

… ARRAY 2019 Welcome to the website of the ARRAY 2019 conference. We are working hard to fill the website with all related information. Please check back soon! cc10dadd-e165-4555-ad9b-07dffc60ccc1 …