糖心TV

Skip to main content Skip to navigation

Artificial Intelligence Events

Monday, November 12, 2012

Sun, Nov 11 Today Tue, Nov 13 Jump to any date

How do I use this calendar?

You can click on an event to display further information about it.

The toolbar above the calendar has buttons to view different events. Use the left and right arrow icons to view events in the past and future. The button inbetween returns you to today's view. The button to the right of this shows a mini-calendar to let you quickly jump to any date.

The dropdown box on the right allows you to see a different view of the calendar, such as an agenda or a termly view.

If this calendar has tags, you can use the labelled checkboxes at the top of the page to select just the tags you wish to view, and then click "Show selected". The calendar will be redisplayed with just the events related to these tags, making it easier to find what you're looking for.

 
-
Export as iCalendar
IAS seminar. Dom Orchard: Programs in context

Title: Programs in context

Abstract: Computer programs are not executed in a vacuum, they are run in diverse environments where the execution context may change a program’s capabilities, behaviour, and results. Notions of context in programming are wide ranging, from user- and application-level notions such as a device’s GPS location or local resources, to low-level programming notions such as binding scopes or data-structure traversals. This talk presents a general program analysis for contextual properties of programs. This analysis can be used to provide information on program requirements, aid program correctness, and guide optimisation. The approach can be specialised to various notions of context: examples involving array traversals and distributed resources will be shown. Research on a general semantics for context-dependence will also be informally described.

Placeholder

Let us know you agree to cookies