CLIP Group's Publications in 2018
Articles in Refereed Journals:
- N. Stulova, J. F. Morales, M. V. Hermenegildo.
Some Trade-offs in Reducing the Overhead of Assertion
Run-time Checks via Static Analysis.
Science of Computer Programming,
Vol. 155,
pages 3-26,
Elsevier North-Holland,
April
2018.
Selected and Extended papers from the 2016 International
Symposium on Principles and Practice of Declarative
Programming.
- P. Lopez-Garcia, L. Darmawan, M. Klemen, U. Liqat, F. Bueno, M. V. Hermenegildo.
Interval-based Resource Usage Verification by Translation into Horn Clauses and an
Application to Energy Consumption.
Theory and Practice of Logic Programming, Special Issue on Computational Logic for Verification,
Vol. 18,
Num. 2,
pages 167-223,
Cambridge U. Press,
March
2018.
arXiv:1803.04451.
- Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta.
Constraint Answer Set Programming without Grounding.
Theory and Practice of Logic Programming,
Vol. 18,
Num. 3-4,
pages 337-354,
Cambridge U. Press,
2018.
Articles in Refereed Conferences:
- M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo.
Static Performance
Guarantees for Programs with Run-time
Checks.
20th Int'l. ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP'18),
13 pages,
ACM Press,
September
2018.
- N. Stulova, J. F. Morales, M. V. Hermenegildo.
Exploiting Term Hiding to Reduce Run-time
Checking Overhead.
20th International Symposium on Practical Aspects of
Declarative Languages (PADL 2018),
LNCS,
Num. 10702,
pages 99-115,
Springer-Verlag,
January
2018.
- U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo.
Inferring Energy Bounds via Static Program Analysis
and Evolutionary Modeling of Basic Blocks.
Logic-Based Program Synthesis and
Transformation - 27th International Symposium,
LOPSTR 2017, Namur, Belgium, October 10-12, 2017,
Revised Selected Papers,
Lecture Notes in Computer Science,
Vol. 10855,
Springer,
2018.
Books and Monographs:
- Umer Liqat.
A Multi-Language and Multi-Platform Framework for Resource
Consumption Analysis and its Application to
Energy-Efficient Software Development.
Ph.D. Thesis, Escuela Técnica Superior de Ingenieros Informáticos, UPM,
July
2018.
- Casso, Ignacio.
Towards Computing Distances Among Abstract Interpretations.
Ms. Thesis, Universidad Complutense de Madrid,
60 pages,
June
2018.
BSc Thesis.
- Nataliia Stulova.
Improving Run-time Checking in Dynamic Programming Languages.
Ph.D. Thesis, Escuela Técnica Superior de Ingenieros Informáticos, UPM,
May
2018.
Invited Papers and Tutorials:
- M. V. Hermenegildo, M. Carro, P. Lopez-Garcia, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova.
25 Years of Ciao (abstract of invited tutorial).
Pre-proceedings of the 28th International Symposium on
Logic-based Program Synthesis and Transformation
(LOPSTR'18),
September
2018.
- M. V. Hermenegildo, P. Lopez-Garcia, J. Morales, I. Garcia-Contreras, M. Klemen, N. Stulova.
Horn Clause-based Program Analysis and Verification with CiaoPP.
1st International Workshop on Declarative Program Analysis (DPA 2018),
1 pages,
July
2018.
(Abstract of invited talk). Associated to ECOOP/ISSTA 2018.
- Floriana Esposito, Carlo Ghezzi, Manuel V. Hermenegildo, Helene Kirchner, Luke Ong.
Informatics Research Evaluation.
12 pages,
Informatics Europe,
March
2018.
https://www.informatics-europe.org/news/436-research_evaluation.html.
Publications in Refereed Workshops:
- I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo.
Multivariant Assertion-based Guidance in Abstract
Interpretation.
Pre-proceedings of the 28th International Symposium on
Logic-based Program Synthesis and Transformation
(LOPSTR'18),
September
2018.
- P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo.
A General Framework for Static Profiling of Parametric Resource Usage (extended abstract).
19th International Workshop on Logic and Computational Complexity (LCC 2018),
4 pages,
July
2018.
Associated to FLOC 2018.
- I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo.
Towards Incremental and Modular Context-sensitive Analysis.
Technical Communications of the 34th International
Conference on Logic Programming (ICLP 2018),
OpenAccess Series in Informatics (OASIcs),
2 pages,
Dagstuhl Press,
July
2018.
(Extended Abstract).
- M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo.
Towards Static Performance Guarantees for
Programs with Run-time Checks.
Technical Communications of the 34th International
Conference on Logic Programming (ICLP 2018),
OpenAccess Series in Informatics (OASIcs),
2 pages,
July
2018.
(Extended Abstract).
Technical Reports and Manuals:
- I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo.
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.
Num. CLIP-2/2018.0,
28 pages,
The CLIP Lab, IMDEA Software Institute and T.U. Madrid,
April
2018.
- M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo.
An Approach to Static Performance Guarantees for Programs with Run-time Checks.
Num. CLIP-1/2018.0,
15 pages,
The CLIP Lab, IMDEA Software Institute and T.U. Madrid,
April
2018.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Tue Oct 29 12:34:26 PM CET 2024