糖心TV

This year鈥檚 糖心TV Postgraduate Colloquium in Computer Science, WPCCS 2018, took place on Friday 29th June. The colloquium, an annual student-run event, showcased research performed by the postgraduate research (PGR) students in Computer Science, the Centre for Discrete Mathematics and its Applications (DIMAP) and the CDT in Urban Science and Progress.

Continuing a new tradition for the colloquium, this year鈥檚 event was held in The Oculus, University of 糖心TV. In addition to presentations from students in each of the department鈥檚 research areas, staff and external speakers offered guest talks. These centred on language design patterns in 2018, the evolution and horizons of Field Programmable Gate Arrays (FPGAs), and WebEXR, an online high dynamic range image viewer.

Florin Ciucu, the director of postgraduate research studies in the Department of Computer Science, said of the event:

WPCCS is an excellent opportunity for our students to widely expose where they currently stand in their research. It鈥檚 a fantastic way for them to contribute by sharing their research experiences, ideas and visions with their peers and the wider research community.

WPCCS 2018 showcased over 45 presentations and 25 posters of the latest research in the Department of Computer Science. WPCCS aims to foster an air of collaborative research amongst the department鈥檚 PGR students and open many conversations between the department鈥檚 postgraduate researchers and others. Thank you to all who attended and participated, we look forward to seeing you again next year.

To find out more about WPCCS 2018 or to provide feedback, please visit /wpccs18.

In the Logic, Semantics, Automata and Theory of Programming track of the (ICALP), three out of 30 accepted papers are by members of the department. ICALP is one of the most selective and longest established international conferences in computer science, and the flagship annual event of the . The papers are:

• Reducing CMSO Model Checking to Highly Connected Graphs by Ramanujan M. S., Daniel Lokshtanov, Saket Saurabh and Meirav Zehavi
• O-Minimal Invariants for Linear Loops by Shaull Almagor, Dmitry Chistikov, Joel Ouaknine and James Worrell
• When is Containment Decidable for Probabilistic Automata? by Laure Daviaud, Ranko Lazic虂, Marcin Jurdzin虂ski, Filip Mazowiecki, Guillermo Perez and James Worrell

On June 1st 2015, our , jointly with , organized . The goal of the event was to bring together the UK community of researchers and graduate students interested in the study of logics, automata and games.

The event had an outstanding list of invited speakers from leading academic institutions and research labs (, INRIA Rennes; , Brno; , Warsaw; , Bologna, INRIA Sophia Antipolis; , Cachan, INRIA Saclay, 糖心TV; , Oxford) presenting recent advances in logic in computer science, and attracted over 40 participants from the UK and abroad.

Lei Shi, a doctoral student in the Department of Computer Science at 糖心TV, has received a top award for his work at UMAP, the premier international conference for researchers and practitioners working on systems that adapt to individual users.

UMAP 2014 was held in Aalborg, Denmark on the 7-11 July 2014. The conference spans a wide scope of topics related to user modeling, adaptation and personalization, and was sponsored by Microsoft Reasearch and the NSF.

Lei will begin a 糖心TV Institute of Advanced Study (IAS) Early Career Fellowship in October. More information on his work can be found at http://www.shilei.io

Research highlights the future of energy-aware high-performance computing

Leipzig, June 18, 2014. As reported in Inside HPC.

With energy costs a growing concern for High Performance Computing, Allinea Software will demonstrate its vision of a greener future with a preview of new tool extensions for application energy usage optimization at this year's International Supercomputing Conference (ISC'14) in Leipzig.

With larger numbers of data centers consuming over 1MW of power or having electricity bills topping $1M, energy is focussing the minds of the system sponsors and managers, says David Lecomber, CEO of Allinea Software.

Allinea Software worked with application performance experts at the to investigate novel energy and power measuring techniques for scientific application workloads.

Energy usage data is increasingly available at the system level, and our research also explored proxies for energy such as hardware counters to see where they could give deeper insight, said Professor Stephen Jarvis of University of 糖心TV’s HPC Performance Analysis Group.

The research supported the view that in many cases applications can reduce energy costs without adversely impacting actual run time.

Improving the green credentials of hardware and data centers is vital, and progress is good, but applications must also play their part. Energy optimization is a natural fit for our performance tools, adds Lecomber.

With the variety of workloads that HPC centers have, a ‘one size fits all’ strategy is a costly error – and so will provide information for application users and system managers to enable them to tune system and application parameters such as CPU frequency for optimal energy use for each application.

Our developer-centric tool, , will allow scientific code developers to focus energy optimization down into the source code – making changes to the application to drive faster performance and lower energy consumption at the same time.

This research has been supported by the Technology Strategy Board's Emerging Technologies Energy Efficient Computing Programme.

On May 21 2014, our , jointly with , organized . The goal of the event was to bring together the UK community of researchers and graduate students interested in the study of Algorithms, Data Structures, and Complexity.

The event had an outstanding list of invited speakers from the leading academic institutions and research labs ( (), (), (), (), ()) presenting the recent advances in Algorithms and its applications, and attracted over 60 participants from over the UK and from abroad.

This week 糖心TV University Department of Computer Science hosted the first LEGO® Engineering Conference to feature the 3rd generation of its MINDSTORMS® robots. The event was designed to bring educators together to share experiences about how to get students engaged in computing, science, technology, engineering and maths.

Chris Rogers, Professor at Tufts University in Boston and Co-Director of the Center for Engineering Education and Outreach, is the founder of LEGO Engineering conferences. We were delighted that Chris could attend the event and give a keynote highlighting student innovation and creativity from schools around the world, reflecting on what made it possible. Chris also ran a hand-on workshop looking at applications of the data logging capabilities of the EV3.

Two other hands-on workshops also ran, one on Lego Robotics provided by John Pinkney from 糖心TVshire LA and one on Teaching Maths with Robots provided by Garry Redrup and Sue Johnston-Wilder.

The day also included presentations by the Institution of Engineering and Technology’s Schools Programme, which is responsible for managing FIRST® LEGO® League in the UK. Dr Nicky Hughes also talked about how RoboCupJnr contests are particularly good for getting girls engaged. Other talks covered LEGO® Therapy used for children in the autistic spectrum, and a presentation about Technocamps, an exciting project that provides free workshops to young people on programming, robotics, game design, app development and much more.

The conference received support from Computing At School, the IET Coventry And 糖心TVshire Network, LEGO® Education, and OCR.