Abstract acceleration of general linear loops
- Submitting institution
-
University of Sussex
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 384323_59925
- Type
- E - Conference contribution
- DOI
-
10.1145/2535838.2535843
- Title of conference / published proceedings
- POPL '14
- First page
- 529
- Volume
- 49
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- January
- Year of publication
- 2014
- URL
-
https://doi.org/10.1145/2535838.2535843
- 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
- 18
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- "The paper presents a novel approach for analysing the state space of linear systems with unprecedented precision and efficiency, lifting most limitations in previous approaches. The work was published at a top conference in programming languages and cited in 3 patents of Tata Consultancy Services (SciVal). It has exceptionally wide influence in many different areas from software engineering over compilers to theoretical computer science as evidenced by citations from renowned researchers including Aiken [1], Cousot [2,3], Reps [4], Kroening [5], Gupta [6], Worrell and Ouaknine [7].
[1] https://doi.org/10.1145/2814270.2814278
[2] https://doi.org/10.1007/978-3-662-46081-8_2
[3] https://doi.org/10.1145/2603088.2603165
[4] https://doi.org/10.1145/3062341.3062373
[5] https://doi.org/10.1109/FMCAD.2015.7542259
[6] https://doi/org/10.1007/978-3-319-66706-5_21
[7] https://doi.org/10.4230/LIPIcs.ICALP.2019.118"
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -