Loading Events

Events for February 25, 2019

Events Search and Views Navigation

Event Views Navigation

8:30 am

Breakfast, registration, networking

February 25 @ 8:30 am - 9:00 am
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map
Find out more »

9:00 am

Introduction

February 25 @ 9:00 am - 9:15 am
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Raffi Khatchadourian (CUNY Hunter College) (slides)

Find out more »

9:15 am

A library with a fluent API or an embedded domain-specific language?

February 25 @ 9:15 am - 10:15 am
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Shigeru Chiba (University of Tokyo)

Find out more »

10:15 am

Break

February 25 @ 10:15 am - 10:45 am
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map
Find out more »

10:45 am

Designing Self-Certifying Compilers

February 25 @ 10:45 am - 11:10 am
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Kedar Namjoshi (Bell Labs, Nokia) (slides)

Find out more »

11:10 am

Software Engineering Principles at Google

February 25 @ 11:10 am - 11:35 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Shaindel Schwartz (Google)

Find out more »

11:35 am

Weak-Consistency Specification via Visibility Relaxation

February 25 @ 11:35 am - 12:00 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Michael Emmi (SRI International) (slides)

Find out more »

12:00 pm

Lunch

February 25 @ 12:00 pm - 1:00 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map
Find out more »

1:00 pm

Leveraging Big Code to Improve Software Reliability

February 25 @ 1:00 pm - 1:45 pm
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Baishakhi Ray (Columbia University)

Find out more »

1:45 pm

Data Flow Refinement Type Inference

February 25 @ 1:45 pm - 2:10 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Zvonimir Pavlinovic (New York University) and Thomas Wies (New York University)

Find out more »

2:10 pm

Application-Level Energy Accounting with Chappie

February 25 @ 2:10 pm - 2:35 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Timur Babakol (SUNY Binghamton), Anthony Canino (SUNY Binghamton), Rachit Saxena (SUNY Binghamton), Khaled Mahmoud (SUNY Binghamton), and Yu David Liu (SUNY Binghamton) (slides)

Find out more »

2:35 pm

Break

February 25 @ 2:35 pm - 3:05 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map
Find out more »

3:05 pm

JSPS International Program Information Session

February 25 @ 3:05 pm - 3:35 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Yusuke Nakashima (JSPS) (slides)

Find out more »

3:35 pm

Exploiting Abstract Interpretation for Model Checking Programs

February 25 @ 3:35 pm - 4:00 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Gilbert Pajela (CUNY Graduate Center),  Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College) (slides)

Find out more »

4:00 pm

How Is Software Security Engineering Different from Software Engineering?

February 25 @ 4:00 pm - 4:25 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Justin Smith (North Carolina State University), Chris Theisen (Microsoft), and Titus Barik (Microsoft)

Find out more »

4:25 pm

Direct Reflection for Free!

February 25 @ 4:25 pm - 4:50 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Joomy Korkut (Princeton University) (slides)

Find out more »

4:50 pm

Closing

February 25 @ 4:50 pm - 5:00 pm
Hunter West 3rd Floor Small Cafeteria, 695 Park Avenue
New York, NY 10065 United States
+ Google Map

Raffi Khatchadourian (CUNY Hunter College)

Find out more »
+ Export Events