2018-annual-report
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
82
annual report
20
68. Pierre Ganty, Elena Gutiérrez. The Parikh
Property for Weighted Context-Free Grammars.
38th IARCS Annual Conference on
Foundations of Software Technology and
Theoretical Computer Science (FSTTCS
2018), Leibniz International Proceedings
in Informatics (LIPIcs), Vol. 122, pages
1–20, Schloss Dagstuhl–Leibniz-Zentrum
fuer Informatik, 2018.
69. Javier Esparza, Pierre Ganty, Rupak
Majumdar, Chana Weil-Kennedy. Verification
of Immediate Observation Population
Protocols. 29th International Conference
on Concurrency Theory (CONCUR 2018),
Leibniz International Proceedings in Informatics
(LIPIcs), Vol. 118, pages 1–16,
Schloss Dagstuhl–Leibniz-Zentrum fuer
Informatik, 2018.
70. Filippo Bonchi, Pierre Ganty, Roberto
Giacobazzi, Dusko Pavlovic. Sound up-to
techniques and Complete abstract domains.
Proceedings of the 33rd Annual ACM/IEEE
Symposium on Logic in Computer Science
- LICS ’18, ACM Press, 2018.
71. Patrick Cousot, Roberto Giacobazzi, Francesco
Ranzato. Program Analysis Is Harder
Than Verification: A Computability Perspective.
Computer Aided Verification - 30th
International Conference, CAV ’18, LNCS,
Vol. 10982, pages 75–95, Springer, 2018.
72. Roberto Bruni, Roberto Giacobazzi, Roberta
Gori. Code Obfuscation Against Abstract
Model Checking Attacks. Verification,
Model Checking, and Abstract Interpretation
- 19th International Conference,
VMCAI ’18, LNCS, Vol. 10747, pages
94–115, Springer, 2018.
73. Cedric Baumann, Andrei Marian Dan,
Yuri Meshman, Torsten Hoefler, Martin
T. Vechev. Automatic Verification of RMA
Programs via Abstraction Extrapolation.
Verification, Model Checking, and Abstract
Interpretation - 19th International Conference,
VMCAI 2018, Los Angeles, CA, USA,
January 7-9, 2018, Proceedings, pages
47–70, 2018.
1.1.3. Workshops
1. Isabel García-Contreras, José F. Morales,
and Manuel 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.
2. Pedro López-García, Maximiliano Klemen,
Umer Liqat, Manuel 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.
3. Isabel García-Contreras, José F. Morales,
Manuel 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).
4. Maximiliano Klemen, Nataliia Stulova,
Pedro López-García, José F. Morales,
Manuel 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).
5. Serdar Erbatur, Andrew M. Marshall, Christophe
Ringeissen. Knowledge Problems in
Equational Extensions of Subterm Conver-