Winnability of Klondike Solitaire research featured in New Scientist

Research carried out by Charlie Blake and Ian Gent to compute the approximate odds of winning any version of solitaire featured in New Scientist last week (print edition November 23rd ). Ian emphasised the calibre of research carried out by our undergraduate students and his early interaction with card games.

“This research has been hugely satisfying to me because my mother taught me games like King Albert as a child and I loved to play them with her. Now I know for the first time the chance of winning that game is about 68.5%.

It is wonderful to see work which started as an undergraduate student project feature in the New Scientist. This obviously reflects Charlie’s fantastic programming that he did. But it also shows the research-level quality work that undergraduate students can do as part of their studies in St Andrews.”

Link to the full paper on arxiv: https://arxiv.org/abs/1906.12314

Online article published in Technology Nov 17th: https://www.newscientist.com/article/2223643-we-finally-know-the-odds-of-winning-a-game-of-solitaire/

Computer donation to United Kingdom Jarra Association (UKJA)

The School received the following letter of appreciation from UKJA for a recent donation of computers and IT equipment.

Dear Sir,
I am writing on behalf of The United Kingdom Jarra Association (UKJA) to thank the prestigious School of Computer Science of The University of St Andrews for their recent donation of Computers to our Association. We hereby thank Dr Stuart Nacroos, the entire Systems team and Sheriffo Ceesay (a native of Jarra and current Computer Science PhD Student at your reputable institution) for facilitating this donation. The team also devoted their time to assist in moving the items securely for collection last Saturday – we are very grateful.

The UKJA was formed by Gambians resident in the UK in August 2015 and attained full charitable status in May 2017 with number 1173058. Our aim is to support development initiatives of Jarra in rural Gambia – Jarra comprises Jarra West, Jarra Central and Jarra East where we hail from. We aim to do this through the promotion of education, health and Poverty alleviation.

In the area of education, our focus is on STEM related subjects. ​The association believes that every child deserves a better learning environment to assist them reach their maximum potential and fulfil their dreams irrespective of their background. The association, cognisant of the above challenges conceived the “Educate Jarra” programme. At the core of this intervention is Science, Technology, English and Mathematics with physics, Chemistry, Biology.

Two years ago, the charity, in partnership with Islamic Cooperation for Development (ICO) based in Jeddah Saudi Arabia established our first Science and Computer Laboratory in Soma also in Jarra. In 2019, we expanded our intervention to Bureng where the construction of a new science and computer laboratory is now complete. The donated equipment will directly be used to equip Bureng.

Your intervention arrived at a time when we are vigorously raising the required funds to furnish the facility. Use the link below for further information about our ongoing fundraising: https://www.gofundme.com/f/better-educational-facilities-for-kids-in-jarra?utm_source= whatsApp&utm_medium=chat&utm_campaign=p_cp+share-sheet​. We will also donate some of the computers to the region’s Senior Secondary School and other secondary schools that have access to electricity. We acknowledge the importance of computers and technology in the modern world and our goal is to nurture and prepare the younger generation to be challengers of the future by producing Scientists, Doctors and engineers through the education programme.

In the area of health, the UKJA currently supports the Soma Referral Hospital’s maternity unit. In partnership with FAR – an oil company working in The Gambia – in 2018 we embarked on a project to improve conditions of service at the maternity unit of the hospital. Through this we have been able to expand capacity of the labour ward and provided equipment including those for the operating theatre. Some of the computers received will be donated to this hospital as a step to digitalise the hospital and help improve patient management system. The importance of electronic health information system in the era of technology cannot be overemphasised. Record keeping in The Gambia has always been approached in the traditional. These computers will change that trend in Soma.

With this brief, you will be convinced that your donation will be put to good through the UKJA. Therefore, as a charitable institution, we are always looking for possible collaboration in the aforementioned areas with the aim to help improve our communities. We look forward to continuously working with your reputable institution in the best interest of our community.

Please be assured of our highest consideration.

Sulayman A. Bah
Secretary General

United Kingdom Jarra Association (UKJA) is a registered Charity in England and Wales. Registered number 1173058

Rob Stewart (Heriot-Watt University): Reliable Parallel Computing using Model Checking

Abstract:

This talk will demonstrate how model checking based verification of compilers and runtime systems can increase the confidence of parallel execution of programming languages, using two case studies.

As HPC systems continue to increase in scale, their mean time between failure decreases meaning reliability has become a major concern. I will present HdpH-RS, a parallel HPC language. HdpH-RS has a formal semantics, and a fault tolerant work stealing scheduler that has been verified with the SPIN model checker. At embedded scale, program transformations on stateful dynamic code can introduce bugs, race conditions and deadlock. I will present a parallel refactoring tool for the CAL dataflow language. It is integrated with the TINA model checker that we use to identify parallelisable cyclo-static actors in dynamic dataflow programs.

The broader aim of this work is to integrate automated formal verification into parallelising compilers and parallel runtime systems for heterogeneous architectures.

Speaker bio: Dr Rob Stewart is an Assistant Professor at Heriot-Watt University. He’s interested in formalising, verifying and implementing dataflow, functional and domain specific programming languages for manycore architectures and programmable hardware.

Event details

  • When: 19th November 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Bran Knowles (Lancaster University): Understanding older adults’ distrust of digital technology

Abstract: It is well known that older adults continue to lag behind younger adults in terms of their breadth of uptake of digital technologies, amount and quality of engagement in these tools and ability to critically engage with the online world. Can these differences be explained by older adults’ distrust of digital technologies? Is trust, therefore, a critical design consideration for appealing to older adults? In this talk I will argue that while distrust is not, in fact, determinative of non-use and therefore does not explain these differences in tech usage, it is nonetheless key for designers to understand older adult distrust in developing socially responsible technologies.

Speaker Bio: Bran is a lecturer in the Data Science Institute at Lancaster University. Her research explores the social impacts of computing, with a particular interest in trust, privacy, and ethics. Her recent work has explored these issues at both ends of the age spectrum, with projects such as IoT4Kids, looking at the privacy, security and ethical issues of enabling children to programme IoT devices; and Mobile Age, looking at developing mobile apps for older adults. Bran currently serves as a member of the ACM Europe Technology Policy Committee.

Event details

  • When: 12th November 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Jan De Muijnck-Hughes (University of Glasgow): LightClick: A Linear Typed Orchestration Language for System-On-A-Chip Designs

Abstract:

Two important aspects in hardware design are the safe routing of signals between modules, and ensuring that ports are correctly connected. Well-known hardware description languages such as SystemVerilog, provide nominal checking over these aspects. Thus, leaving correctness checks over module orchestration to be performed post-design-time using static analyses, testing, and during synthesis.

Using a mixture of dependent and quantitative typing, we can lift external correctness checks over module connections directly into the type-system. With this approach we can detect more errors at design time, enhance the safety of our hardware designs, and thus increase design productivity.

In this talk I will introduce and discuss LightClick, an orchestration language for hardware design that exemplifies our approach. LightClick uses quantitative typing to ensure linear usage of ports, and dependent types to ensure that port compatibility is a decidable compile-time check. I will show how LightClick can be used to model simple hardware designs, how SystemVerilog stubs are generated from designs using staged interpretation.

Speaker Bio: Jan is a Research Associate at the University of Glasgow, who is interested in using state-of-the-art advances in programming language theory to build more trustworthy systems. Jan is currently involved in the Border Patrol project – a collaboration between the Universities of Heriot-Watt, Glasgow, and Imperial College London to explore how Dependent Typing and Session Typing can help make hardware design safer and secure.

Event details

  • When: 5th November 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Max L. Wilson (University of Nottingham): Brain-based HCI – What could brain data can tell us HCI

Please note non-standard date and time for this talk

Abstract:

This talk will describe a range of our projects, utilising functional Near Infrared Spectroscopy (fNIRS) in HCI. As a portable alternative that’s more tolerate of motion artefacts than EEG, fNIRS measures the amount of oxygen in the brain, as e.g. mental workload creates demand. As opposed to BCI (trying to control systems with our brain), we focus on brain-based HCI, asking what brain data can tell us about our software, our work, our habits, and ourselves. In particular, we are driven by the idea that brain data can become personal data in the future.

Speaker Bio:

Dr Max L. Wilson is an Associate Professor in the Mixed Reality Lab in Computer Science at the University of Nottingham.  His research focus is on evaluating Mental Workload in HCI contexts – as real-world as possible – primarily using functional Near Infrared Spectroscopy (fNIRS).  As a highly tolerant form of brain sensor, fNIRS is suitable for use in HCI research into user interface design, work tasks, and everyday experiences.  This work emerged from his prior research into the design and evaluation of complex user interfaces for information interfaces. Across these two research areas, Max has over 120 publications, including a Honourable Mention CHI2019 paper on a Brain-Controlled Movie – The MOMENT.

Event details

  • When: 25th October 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Computer Science hosts J.P. Morgan

Following on from a successful visit last year, J.P. Morgan returned to the School of Computer Science today, to promote tech careers, internships and other student opportunities.

Staff from the company and students are pictured viewing project challenges and solutions highlighted in their technology showcase whilst discussing future career openings and enjoying the complimentary pizza.

J.P. Morgan is a popular destination for St Andrews graduates demonstrated by Alumni (Sjoukje Ijlstra, Conner Somerville and Mathew Kaminski) who are part of the team representing the company at the successful event.Great to see them back in the School.

Daniel S. Katz (University of Illinois): Parsl: Pervasive Parallel Programming in Python

Please note non-standard date and time for this talk

Abstract: High-level programming languages such as Python are increasingly used to provide intuitive interfaces to libraries written in lower-level languages and for assembling applications from various components. This migration towards orchestration rather than implementation, coupled with the growing need for parallel computing (e.g., due to big data and the end of Moore’s law), necessitates rethinking how parallelism is expressed in programs.

Here, we present Parsl, a parallel scripting library that augments Python with simple, scalable, and flexible constructs for encoding parallelism. These constructs allow Parsl to construct a dynamic dependency graph of components from a Python program enhanced with a small number of decorators that define the components to be executed asynchronously and in parallel, and then execute it efficiently on one or many processors. Parsl is designed for scalability, with an extensible set of executors tailored to different use cases, such as low-latency, high-throughput, or extreme-scale execution. We show, via experiments on the Blue Waters supercomputer, that Parsl executors can allow Python scripts to execute components with as little as 5 ms of overhead, scale to more than 250000 workers across more than 8000 nodes, and process upward of 1200 tasks per second.

Other Parsl features simplify the construction and execution of composite programs by supporting elastic provisioning and scaling of infrastructure, fault-tolerant execution, and integrated wide-area data management. We show that these capabilities satisfy the needs of many-task, interactive, online, and machine learning applications in fields such as biology, cosmology, and materials science.

Slides: see here.

Speaker Bio: Daniel S. Katz is Assistant Director for Scientific Software and Applications at the National Center for Supercomputing Applications (NCSA), and Research Associate Professor in Computer Science; Electrical & Computer Engineering; and the School of Information Sciences at the University of Illinois Urbana-Champaign. For further details, please see his website here.

Event details

  • When: 18th October 2019 13:00 - 14:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Ankush Jhalani (Bloomberg): Building Near Real-Time News Search

Abstract:

This talk provides an insight into the challenges involved in providing near real-time news search to Bloomberg customers. It starts with a picture of what’s involved in building such a backend, then delves into what makes up a search engine. Finally we discuss the challenges of scaling up for low-latency and high-load, and how we tackle them.

Speaker Bio:

Ankush leads the News Search infrastructure team at the Bloomberg Engineering office in London. After completing his Masters in Computer Science, he joined Bloomberg at their New York office in 2009. Later working from Washington DC, he led a team to build a web application leveraging Lucene/Elasticsearch for businesses to discover government contracting opportunities. In London, his team focuses on search infrastructure and services allowing clients to search news events from all over the globe with near real-time access and sub-second latencies.

 

Event details

  • When: 15th October 2019 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Donald Robertson awarded Brendan Murphy Prize at MSN/Cosener’s 2019!

Each year in July, the (broadly-defined) computer networking community converges at Cosener’s House for the MSN workshop. The workshop is an informal gathering where attendees – students in particular – are encouraged to present on-going work and/or crazy ideas. From among the  presentations, the Brendan Murphy Award is given to the best student presentation, generally for work that has yet to be scrutinized or peer-reviewed.

Congratulations to Donald Robertson who, this year, has brought that honour to St Andrews as co-recipient of the award (alongside Naomi Arnold from QMUL).

http://coseners.net/history/brendan-murphy-prize/

(In the interest of transparency, Marwan Fayed was on the judging panel but recused himself during discussion of Donald’s presentation.)