Earlier this month Prof. Mothy Roscoe from ETH Zürich delivered the first set of distinguished lectures for 2015 in the Byre Theatre. The three highly accessible, well attended and engaging lectures centred around the question “What’s happening to computer hardware, and what does it mean for systems software?”
Images courtesy of Saleem Bhatti
Professor David Kaufman of Simon Fraser University in Vancouver will be visiting the School between May 7th and May 21st.
Prof. Kaufman is a world leading expert on Computer Supported Education, Educational Technologies and Digital StoryTelling.
See: http://www.sfu.ca/education/faculty-profiles/dkaufman.html
He will be hosted by Ishbel and working with the Virtual Worlds research group. Prof. Kaufman will be giving several talks and workshops across Scotland.
The schedule is:
1.In Stirling on Tuesday 12th at 11am in 4B108 Cottrell Building, Prof. Kaufman will be talking about Digital Games and Simulations in HE
2. On Thursday 14th at 11am at GCU, in the George Moore Building, M625, 11am he will also be talking about Digital Games and Simulations in HE
3. On Monday 18th in Abertay, at 11am in rm 2521, he will discuss Ageing Well : Can Digital games help older adults.
4. He will be in Edinburgh on May 15th if anyone wishes to meet up with him that day.
Short term Virtual Worlds internships are available for students wishing to work with Alan Miller on virtual museums or with Ishbel Duncan, Janie Brooks (ELT) and Paula Miles (Psychology) on the Virtual St Andrews project.
Each project has 60 hours notational funding attached (£50 per 6 hours).
Please contact Alan or Ishbel in the first instance.
A required project for the SICSA Athena SWAN initiative is to create a repository (website, resource centre, database of statistics) for the SICSA universities ASWAN submissions. The Athena SWAN awards are to do with encouraging more women into the CS area from schools up to senior staff. This work will help CS Schools gather statistics on student numbers and staff numbers as well as good practice events, talks or resources. A notional £500 is associated with the work, 60 hours work.
Please contact Ishbel if you are interested.
Potential PhD students with a strong background in Computer Science are encouraged to apply for this three-year studentship funded by the Research Council of the European Commission (ERC). The student will work within an interdisciplinary team of researchers from Computer Science and Geography in the WORKANDHOME project (ERC Starting Grant 2014), which investigates how home-based businesses are shaping society and space.
The student will examine the Computer Science challenges within this research project. The exact scope of the PhD project is open to discussion but we anticipate that the successful candidate will be working broadly on Data Science topics, potentially covering one or more of the following areas: cloud computing, social network analysis and agent-based modelling. This is a unique opportunity to work at the cutting edge of systems research. Come join us in St Andrews.
Funding Notes: The studentship will cover UK/EU tuition fees and an annual tax-free stipend of approximately £13,000. Funding will be for three years of full-time study, starting date ideally in September/October 2015.
Applications: It is expected that applicants should have or expect to obtain a UK first-class honours degree (or its equivalent from non-UK institutions) in Computer Science but the minimal standard that we will consider is a UK upper-second class Honours degree or its equivalent.
For further information on how to apply, see our postgraduate web pages. The closing date for applications is June 30th 2015. All interested candidates should contact Dr Adam Barker in the first instance to discuss your eligibility for the scholarship and a proposal for research.
The Palimpsest project involving the University of St Andrews’ SACHI group collaborating with the University of Edinburgh’s English literature and text-mining group launched LitLong Edinburgh on 30th march 2015.
Lit Long: Edinburgh features a range of maps and accessible visualisations, which enable users to interact with Edinburgh’s literature in a variety of ways, exploring the spatial relations of the literary city at particular times in its history, in the works of particular authors, or across different eras, genres and writers. Lit Long: Edinburgh makes a major contribution to our knowledge of the Edinburgh literary cityscape, with potential to shape the experience and understanding of critics and editors, residents and visitors, readers and writers.
Give the web visualisation a try here.
SACHI’s Dr Uta Hinrichs created the web visualisation, Dr David Harris-Birtill created the mobile app and Professor Aaron Quigley was the St Andrews lead and co-investigator on the Palimpsest project funded by the AHRC.
This work is featured on the Guardians website and mentioned in Edinburgh University’s news.
Congratulations to To Masih Hajiarabderkani, who has successfully defended his PhD thesis. Pictured celebrating with supervisor Dr Graham Kirby and Internal examiner Dr John Thomson.
Congratulations to Ruth Hoffmann and Jonathan Ward who passed their PhD vivas earlier this week. Ruth is pictured with Dr Tom Kelsey (internal examiner) and Jonathan (top left) with his PhD supervisor Dr Adam Barker. We look forward to celebrating their achievements at June Graduation.
C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence
Dr Susmit Sarkar
Susmit Sarkar with colleagues in the University of Edinburgh and Intel as project partners, have been successful in their application to the EPSRC for their project C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence. This 3 year project starts in July 2015 and aims to realise scalable and verified shared memory.
Shared-memory multi-core processors are ubiquitous, but programming them remains challenging. The programming model exposed by such multi-core processors depends crucially on a “memory consistency model” (MCM), a contract between the hardware and the programmer, which essentially specifies what value a read can return. On the hardware side, one key mechanism to implement the memory consistency model is the “cache-coherence protocol” (CCP), which essentially communicates memory operations between processors. However, the connection between the CCP and the MCM remains unclear. This is especially true for modern CCPs and MCMs, in which CCP design has been divorced from the requirements of the MCM. Susmit and his colleagues argue that this has negatively impacted the scalability and the verifiability of CCPs.
On the scalability front, there are serious question marks about sustaining cache coherence as the number of cores continue to scale. On the verification front, the application of existing verification techniques, which do not verify the CCP against the MCM, are arguably broken.
The C3 proposal, proposes a family of CCPs that are “aware” of, and verified against the MCM. Their approach is motivated by the fact that both hardware and programming languages are converging to various relaxed MCMs for performance oriented reasons. The team use such relaxed MCMs as inspiration to research CCPs that can take advantage of them.
Specifically, they will research “lazy” CCPs where memory operations are batched, and the cost of communicating a memory operation can be amortised. They will also, for the first time, formally verify the relationship between the hardware CCPs and the programmer-oriented MCM they provide. They will investigate rigorously the gains to be had from such lazy CCPs. The team will do this by creating a multi-core silicon prototype of our proposed CCP, leveraging our experience in the design of industrial-strength micro-architectures and their implementations.
The School recently hosted “Mario Kart Around the World” for students from Newport Primary.
All versions of Mario Kart with the exception of arcade versions were available for the youngsters to play. Our visitors had access to a range of consoles and games ranging from Vectrex to Leap Motion and a great opportunity to see modern equipment and how it looked in the “olden days“.
Staff were pictured testing out the equipment ( by way of playing Mario Kart) post event. Peter Nightingale (top left) is pictured playing the Vectrex Home Arcade System. Jon Lewis (bottom left) was seen tackling Elite on the Sinclair Spectrum.
The successful event was organised by Ruth Letham with help from Ian Gent, Jon Lewis, Peter Nightingale, Chris Jefferson, Ian Miguel, Gonzalo Mendez and Shyam Reyal.
Images Courtesy of Ian Miguel and Ian Gent.
