Skip to main content

Seminar by Matthew Hague

  • Date 23 Jan 2019
  • Time 2-3pm, McCrea115
  • Category Seminar

Web Optimisation: Formal Methods and Cascading Style Sheets


Cascading Style Sheets are a pervasive web technology which control the layout and appearance of the majority of the world's web pages. They also form part of the bloat that large scale websites are keen to avoid.  As such, many minification technologies exist to compress and remove redundancies in these style sheets.

However, much of these tools are developed without a formal understanding of CSS semantics.  This leads to unsafe transformations which can not only affect the appearance of a web page, but also its functionality.

In this talk I will describe two of our recent attempts to minimise, remove redundancies, and generally understand cascading style sheets based on formal analysis and semantics.

This is joint work with Chih-Duo Hong, Anthony Lin, and C.-H. Luke Ong.

Related topics

Explore Royal Holloway

Get help paying for your studies at Royal Holloway through a range of scholarships and bursaries.

There are lots of exciting ways to get involved at Royal Holloway. Discover new interests and enjoy existing ones.

Heading to university is exciting. Finding the right place to live will get you off to a good start.

Whether you need support with your health or practical advice on budgeting or finding part-time work, we can help.

Discover more about our 21 departments and schools.

Find out why Royal Holloway is in the top 25% of UK universities for research rated ‘world-leading’ or ‘internationally excellent’.

Royal Holloway is a research intensive university and our academics collaborate across disciplines to achieve excellence.

Discover world-class research at Royal Holloway.

Discover more about who we are today, and our vision for the future.

Royal Holloway began as two pioneering colleges for the education of women in the 19th century, and their spirit lives on today.

We’ve played a role in thousands of careers, some of them particularly remarkable.

Find about our decision-making processes and the people who lead and manage Royal Holloway today.