0 results

People (8 results)
Isil Dillig

Isil Dillig

University of Texas at Austin, USA

… Isil Dillig is an assistant professor of computer science at UT Austin. She obtained all her degrees (BS, MS, PhD) in computer science from Stanford University. Prior to joining UT Austin, she was a researcher at Microsoft Research …

Miryung Kim

Miryung Kim

University of California, Los Angeles

… the summer of 2011 and 2014. She ranked No. 1 among all engineering and science …

Didier Verna

Didier Verna

EPITA / LRDE

… on Applied Computing).

All of this is in fact half-true: two days a week, Didier Verna …

Events (71 results)

One Parser to Rule Them All

Onward! Papers When: Thu 29 Oct 2015 16:18 - 16:42 People: Ali Afroozeh, Anastasia Izmaylova

… …

Gradual typing is morally incorrect; we're all monsters now

NOOL When: Tue 27 Oct 2015 14:00 - 14:30 People: Timothy Jones, Michael Homer

… that they had a particular type, and even past behaviour, are all routes through which an assertion can be falsified, but all practical gradual systems ignore some or all of these cases. The level of knowledge the system has can change …

PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers

PLATEAU When: Mon 26 Oct 2015 09:00 - 10:00 People: Mary Beth Rosson

… As computational tools and digital infrastructures have evolved and diversified, computing has pervaded all aspects of our everyday lives. We are surrounded by data of all forms, much of it interconnected through explicit or tacit …

Modern software is all about data. Development environments should be, too.

Keynotes When: Fri 30 Oct 2015 08:30 - 10:00 People: Rob DeLine

… …

News (3 results)

John Vlissides Award

Author: Craig Anslow

… promise in applied software research. All doctoral candidates participating …

Extended Deadlines - Due 7 July

Author: Craig Anslow

… Combined Call for Submissions extended deadlines ALL DUE 7 JULY:
- Posters
- Demos

Combined Call For Submissions - Due 30 June

Author: Craig Anslow

… Combined Call for Submissions ALL DUE 30 JUNE:
- Demos
- Doctoral Symposium …

Attending Information (4 results)

Visas

… the ESTA page.

All other … letters, please send all requests to the Office of SIG Services via e-mail …

Registration

… : all … Conference Only (Free to move among all open events of the day ….

SPLASH 3-DAY CONFERENCE:
Registration grants you access to all

Students

… , and reasonable meal expenses. All reimbursements will require original receipts …

Tracks (25 results)

Research Papers

… of pattern languages on all aspects of software, including design and programming …, their first pattern, and an ability to get more out of all PLoP conferences. Writing … to learn what patterns are all about! The presentation consists of a mix of lecture …

13th International Workshop on Dynamic Analysis

… of the WODA’15 attendees")

  • WODA’15 was a great success. Thanks to all authors … of WODA is to bring together researchers and practitioners working in all areas … describing an ongoing project

All submissions will be peer-reviewed by at least …

Future Programming Workshop

… work of all kinds seeking to improve software development. Participants … practical examples of your idea in action. All submissions will be reviewed …)], a simple but effective exercise. Facilitated by the organizers, all

Homepage (9 results)

SEPS 2015 Homepage

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

NOOL 2015 Homepage

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

DLS 2015 Homepage

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