Oregon Programming Languages Summer School: Sam Smith, Cameron Jones, Alex Hodder-Williams

This past month, we flew to Oregon to attend the 2023 Oregon Programming Languages Summer School.

OPLSS was over two weeks, with the two Sundays free. The lectures were an hour and a half, 4 times a day. The first week lent more heavily into the maths behind languages and proofs over languages with lectures on the Lambda cube, proof theory, logical relations and Category theory. The second week was more about the use of the previous week's content for topics such as program analysis, verified compilation and program synthesis.

There were also 3 participant talk sessions where other participants gave talks on their own research areas. These talks gave a really interesting opportunity to hear about what current MSc and PhD students are working on, and led to some very interesting discussions all round! Thanks to these talks, as well as general chats throughout the fortnight, OPLSS was an amazing opportunity to meet other early stage researchers and industry folk working in related areas. Many of the participants had directly security related research interests, with others working on the underlying theory that much of our security analysis utilises.

Eugene is a beautiful city which is easy to travel around via cycling, with bikes on the street accessible using an app and many bike lanes. There was some great hiking and running around, and we managed to escape the schedule to visit the raptor centre and reach the top of Spencer's Butte. Although the lecture schedule was fairly full on, there were evening trips to watch the local minor league baseball team (up the Emeralds), and a whole host of board games to enjoy.

Overall, it was a really great experience for which we were all very grateful! Attending the future iterations of OPLSS would certainly be useful for anybody working on/wanting to expand their knowledge on logic, type theory, and formal verification. It is worth noting that recordings and notes from this year’s lectures, as well as those from previous years, are all available to view online: https://www.cs.uoregon.edu/research/summerschool/summer23/topics.php



Comments

Post a Comment

Popular posts from this blog

Remote working and Cyber Security: Georgia Crossland and Amy Ertan

Introducing the project The shift to remote working represents a huge shift for employees and organisations alike, introducing significant implications for cyber security. Amy Ertan and Georgia Crossland are currently working on a research project, in collaboration with the Research Institute for Sociotechnical Cyber Security (RISCS) and funded by the UK National Cyber Security Centre (NCSC), on the impact of remote working on cyber security and wellbeing. This blog post will give an overview of a section of this project, how remote working impacts cyber security. In response to COVID-19, in March 2020, organisations across the world made the rapid shift away from physical office working to remote working, wherever possible. This shift has had a significant impact across many aspects of organisations. This blog post will offer a high-level overview of how the cyber threat landscape was impacted for many organisations and may further change organisational cyber resilience. Remote workin...
Read more

New Publication: Remote Working and (In)Security?: Amy Ertan

Image
A recent research report by CDT researchers Amy Ertan and Georgia Crossland has been published with the Research Institute for Sociotechnical Cyber Security (RISCS). The report examines ‘The Impact of Pandemic-Driven Remote Working on Employee Wellbeing, the Psychological Contract and Cyber Security’, with research carried out through a series of interviews with senior cyber security colleagues between January and April 2021. The full report can be found on the RISCS website: New publication: Remote Working and (In)Security | RISCS. Context In the UK and around the world, the impact of COVID-19 represented a total shift away from what was considered ‘normal living’. One aspect of this change was the rapid transition to remote working as people were encouraged to work from home and limit contact with others as far as possible through repeated lockdown conditions. Fellow CDT colleague Georgia Crossland and I were curious to explore how remote working has impacted the experiences - and se...
Read more

The Artificial Intelligence Monster: Nicola Bates

Image
Christopher Booker in 2004 wrote of the seven basic plots to any story, one of these being ‘overcoming the monster’. Within Hollywood, such ‘monsters’ often reflects the zeitgeist balancing commercial requirements with the political and societal preoccupations of the age. The monster evolves over time - from Russia in the Cold War years through to lone actors and terrorists and now to seemingly shadowy figures controlling intelligence. Whilst generally lighter in tone, such monsters also exist within children’s cinema. In recent years this monster has become increasingly defined by their use of highly sophisticated technology, finally becoming the technology in ‘The Mitchells vs. the Machine’*. Lethal technology and subversive machines aren’t new concepts in children’s movies. They can, for example, be found in ‘Short Circuit’ back in 1986. This movie begins with five United States military robots in a training exercise against tanks and focusses upon one of the robots becoming ‘alive’...
Read more