DSIC

Alicia Villanueva's homepage     (Under permanent reconstruction)

UPV


Alicia Villanueva García

Departamento de Sistemas Informáticos y Computación (DSIC)
Universitat Politècnica de València
Camino de Vera s/n
46022 Valencia
Spain

villanueatdsic.upv.es

Research Interests
  • Semantic-based program analysis and verification:
model checking, static analysis, abstract interpretation, inference of specification;
  • Programming languages:
concrete and abstract semantics of languages; concurrent, functional, logic programming;


Activities

  PC chair
  PC member
  • ICLP 2020 - 36th International Conference on Logic Programming . Deadline May 8 (abstract)
  • PROLE 2020 - XX Jornadas sobre Programación y Lenguajes. Deadline May 2
  • ICLP 2019 - 35th International Conference on Logic Programming .
  • PROLE 2019 - XIX Jornadas sobre Programación y Lenguajes.
  • HCVS 2019 - 6th Workshop on Horn Clauses for Verification and Synthesis.
  • LSFA 2018 - 13th Workshop on Logical and Semantic Frameworks with Applications
  • PROLE 2018 - XVIII Jornadas sobre Programación y Lenguajes
  • LOPSTR 2017 - 27th International Symposium on Logic-Based Program Synthesis and Transformation
  • PROLE 2017 - XVII Jornadas sobre Programación y Lenguajes
  • ICLP 2016 - 32nd International Conference on Logic Programming
  • PROLE 2015 - XV Jornadas sobre Programación y Lenguajes
  • PROLE 2014 - XIV Jornadas sobre Programación y Lenguajes
  • WLPE 2013 - 23rd Workshop on Logic-based methods in Programming Environments
  • PROLE 2013 - XIII Jornadas sobre Programación y Lenguajes
  • PROLE 2012 - XII Jornadas sobre Programación y Lenguajes
  • PROLE 2011 - XI Jornadas sobre Programación y Lenguajes
  • LOPSTR 2010 - 20th International Simposium on Logic-Based Program Synthesis and Transformation
  • WFLP 2008 - 17th International Workshop on Functional and (Constraint) Logic Programming


Software
  • AbsSpec: A tool for the inference of specifications for Curry programs

  • TADi: An Abstract Diagnosis Tool for tccp using Temporal Formulas

  • Datalaude: A datalog solver based on Rewriting Logic

  • KindSpec: A Rewriting-based, Symbolic Abstract Contract Syntheser




Teaching

    Bachelor's Degree in Informatics Engineering. GII (ETSInf, UPV):     Master's Degree in Software Engineering, Formal Methods and Information Systems. MITSS (DSIC, UPV):



Publications


2017
  • Marco Comini, María del Mar Gallardo, Laura Titolo, Alicia Villanueva:
    A program analysis framework for tccp based on abstract interpretation. Formal Aspects of Computing 29(3): 531-557
    Electronic edition        RiuNet
2016
  • María Alpuente, Daniel Pardo, Alicia Villanueva:
    Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR 2016. LNCS 10184, pp. 183-202
    Electronic edition        arXiv
2015
  • Marco Comini, María del Mar Gallardo, Laura Titolo, Alicia Villanueva:
    Abstract Analysis of Universal Properties for tccp. LOPSTR 2015. LNCS 9527. pp 163-178 (2015)
    Electronic edition        RiuNet
  • María Alpuente, Daniel Pardo, Alicia Villanueva:
    Automatic Inference of Specifications in the K Framework. PROLE 2015. EPTCS 200. pp 1-17 (2015)
  • Electronic edition        RiuNet
2014
  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Abstract Diagnosis for tccp using a Linear Temporal Logic. TPLP 14(4-5): 787-801 (2014)
    Electronic edition        arXiv
2013
  • María Alpuente, Marco A. Feliú, Alicia Villanueva:
    Automatic inference of specifications using matching logic. PEPM 2013: 127-136
    Electronic edition        RiuNet

  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Towards an Effective Decision Procedure for LTL formulas with Constraints. WLPE 2013
    Electronic edition (arXiv)
2012
  • Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva:
    The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) 2012: 144-153
    Electronic edition (DROPS)

  • Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva:
    Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34
    Electronic edition        RiuNet
2011
  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (ICLP 2011)
    Electronic edition        arXiv

Last Update: February 2020