CSS Minification via Constraint Solving
- Submitting institution
-
Royal Holloway and Bedford New College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 33183393
- Type
- D - Journal article
- DOI
-
10.1145/3310337
- Title of journal
- ACM Transactions on Programming Languages and Systems
- Article number
- 12
- First page
- 1
- Volume
- 41
- Issue
- 2
- ISSN
- 0164-0925
- Open access status
- Compliant
- Month of publication
- June
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This article introduces a large number of results spanning from foundational theory (semantics of CSS), to deployable algorithms (construction of CSS models and optimisation techniques), and a thorough experimental analysis using CSS from several of the most visited websites. It appeared in TOPLAS, a top journal with Scopus H-index 61, and was accepted for presentation at POPL, a top conference in the area. The associated tool was noticed by developers at LinkedIn who have recently been in contact about the possibilities of collaborations as part of their OptiCSS tool. Examples from the tool have been used as benchmarks in SMT-COMP.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -