 |
Datos de la tesis doctoralFacultad de Informática |
 |
|
Datos de la tesis doctoralFacultad de Informática |
|
| DATOS DE LA TESIS | |
| Titulo | Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura |
| Doctorando | Manuel Montenegro Montes |
| Director(es) | Ricardo Peña Marí y Clara Mª Segura Díaz |
| Universidad | Universidad Complutense de Madrid |
| Año de lectura | 2011 |
| Doctorado europeo (si/no) | Sí |
| Publicaciones de la tesis | |
| a) Revistas | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| Nº DE AUTORES | 3 |
| TÍTULO | A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation |
| CLAVE (Artículo, Artículo de revisión, editor) | Artículo |
| NOMBRE DE LA REVISTA | Information and Computation |
| VOLUMEN | (Pte. publicación) |
| PÁGINAS | |
| EDITORIAL | Elsevier |
| PAÍS DE PUBLICACIÓN | Holanda |
| AÑO DE PUBLICACIÓN | |
| ISSN | 0890-5401 |
| INDICIOS DE CALIDAD | AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS |
| ÍNDICE DE IMPACTO: = 0.825 | |
| POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 48 | |
| Nº DE REVISTAS EN EL ÁREA: 97 | |
| Nº DE CITAS (si se sabe, excl. autocitas): | |
| OTROS INDICIOS (si se sabe): | |
| b) Libros | |
| AUTORES | R. Peña, C. Segura, M. Montenegro |
| Nº DE AUTORES | 3 |
| TÍTULO | Trends in Functional Programming. Volume 7. Capítulo: A Sharing Analysis for SAFE |
| CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) | Capítulo de libro |
| VOLUMEN | 7 |
| COLECCIÓN | |
| PÁGINAS | DESDE 109 |
| HASTA 128 | |
| EDITORIAL | Intellect |
| PAÍS DE PUBLICACIÓN | Reino Unido |
| AÑO DE PUBLICACIÓN | 2007 |
| ISBN | 9781841501888 |
| INDICIOS DE CALIDAD | Nº DE CITAS(si se sabe, excl. autocitas): 8 |
| RESEÑAS EN REVISTAS CIENTÍFICAS: | |
| TRADUCCIONES A OTRAS LENGUAS: | |
| OTROS INDICIOS (si se sabe): CS Conference Ranking 2009 (Topics IV): Posición 166 de 788. Ranking de conferencia asociada (TFP'06) |
|
| c) Ponencias | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | An inference algorithm for guaranteeing safe destruction |
| ENTIDAD ORGANIZADORA | Universidad/ayuntamiento de Zaragoza |
| CONGRESO: | PROLE'07: VII Jornadas sobre Programación y Lenguajes |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - Paper |
| ISSN/ISBN | 9788497325998 |
| VOLUMEN | |
| PÁGINAS | DESDE 205 |
| HASTA 214 | |
| LUGAR DE CELEBRACIÓN | Zaragoza |
| FECHA DE CELEBRACIÓN | 11-14 de Septiembre de 2007 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: |
| Categoría del congreso (si existe; p.ej. A, A+): | |
| Posición del congreso en el ranking (si existe): | |
| Nº de congresos en el ranking (si existe): | |
| Nº DE CITAS (si se sabe, excl. autocitas): | |
| OTROS INDICIOS (si se sabe): | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | A type system for safe memoriy management and its proof of correctness |
| ENTIDAD ORGANIZADORA | Universidad Politécnica de Valencia |
| CONGRESO: | PPDP'08: 10th International Symposium on Principles and Practice of Declarative Programming |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - Paper |
| ISSN/ISBN | 9781605581170 |
| VOLUMEN | |
| PÁGINAS | DESDE 152 |
| HASTA 162 | |
| LUGAR DE CELEBRACIÓN | Valencia |
| FECHA DE CELEBRACIÓN | 15-17 de Julio de 2008 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: MS Academic Research |
| Categoría del congreso (si existe; p.ej. A, A+): B | |
| Posición del congreso en el ranking (si existe): 375 | |
| Nº de congresos en el ranking (si existe): 2775 | |
| Nº DE CITAS (si se sabe, excl. autocitas): 8 | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | A resource-aware semantics and abstract machine for a funcional language with explicit deallocation |
| ENTIDAD ORGANIZADORA | Universidad de Siena |
| CONGRESO: | WFLP'08: 17th International Symposium on Functional and (Constraint) Logic Programming |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia – Paper |
| ISSN/ISBN | 1571-0661 |
| VOLUMEN | ENTCS 246 |
| PÁGINAS | DESDE 167 |
| HASTA 182 | |
| LUGAR DE CELEBRACIÓN | Siena, Italia |
| FECHA DE CELEBRACIÓN | 3-4 Julio, 2008 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: MS Academic Research |
| Categoría del congreso (si existe; p.ej. A, A+): C | |
| Posición del congreso en el ranking (si existe): 2134 | |
| Nº de congresos en el ranking (si existe): 2775 | |
| Nº DE CITAS (si se sabe, excl. autocitas): 2 | |
| OTROS INDICIOS (si se sabe): Arnetminer (ENTCS): Posición 504 de 1578 |
|
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | An Inference Algorithm for Guaranteeing Safe Destruction |
| ENTIDAD ORGANIZADORA | Universidad Politécnica de Valencia |
| CONGRESO: | LOPSTR'08: 18th International Symposium on Logic-based program Synthesis and Transformation |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper |
| ISSN/ISBN | 9783642005145 |
| VOLUMEN | LNCS 5438 |
| PÁGINAS | DESDE 135 |
| HASTA 151 | |
| LUGAR DE CELEBRACIÓN | Valencia |
| FECHA DE CELEBRACIÓN | 17-18 de Julio de 2008 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: MS Academic Research |
| Categoría del congreso (si existe; p.ej. A, A+): B | |
| Posición del congreso en el ranking (si existe): 480 | |
| Nº de congresos en el ranking (si existe): 2775 | |
| Nº DE CITAS (si se sabe, excl. autocitas): 5 | |
| OTROS INDICIOS (si se sabe): CS Conference Ranking (Topics IV): Posición 122 de 768 |
|
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | A resource-aware semantics and abstract machine for a funcional language with explicit deallocation |
| ENTIDAD ORGANIZADORA | Universidad de Hertfordshire, Reino Unido |
| CONGRESO: | ResAn'08: Resource Analysis Workshop |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia (sin publicación formal) |
| ISSN/ISBN | |
| VOLUMEN | |
| PÁGINAS | |
| LUGAR DE CELEBRACIÓN | Hatfield, Reino Unido |
| FECHA DE CELEBRACIÓN | 9 de Septiembre de 2008 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: |
| Categoría del congreso (si existe; p.ej. A, A+): | |
| Posición del congreso en el ranking (si existe): | |
| Nº de congresos en el ranking (si existe): | |
| Nº DE CITAS (si se sabe, excl. autocitas): | |
| OTROS INDICIOS (si se sabe): | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | A simple region inference algorithm for Safe |
| ENTIDAD ORGANIZADORA | Universidad de Almería |
| CONGRESO: | PROLE'08: VIII Jornadas sobre Programación y Lenguajes |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - Paper |
| ISSN/ISBN | 9788461258192 |
| VOLUMEN | |
| PÁGINAS | DESDE 141 |
| HASTA 150 | |
| LUGAR DE CELEBRACIÓN | Gijón |
| FECHA DE CELEBRACIÓN | 15-17 de Julio de 2008 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: |
| Categoría del congreso (si existe; p.ej. A, A+): | |
| Posición del congreso en el ranking (si existe): | |
| Nº de congresos en el ranking (si existe): | |
| Nº DE CITAS (si se sabe, excl. autocitas): | |
| OTROS INDICIOS (si se sabe): | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | A simple region inference algorithm for a first-order functional language |
| ENTIDAD ORGANIZADORA | Universidad Politécnica de Valencia |
| CONGRESO: | WFLP'09: 18th International Symposium on Functional and (Constraint) Logic Programming |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper |
| ISSN/ISBN | 9783642119989 |
| VOLUMEN | LNCS 5979 |
| PÁGINAS | DESDE 145 |
| HASTA 161 | |
| LUGAR DE CELEBRACIÓN | Brasilia, Brasil |
| FECHA DE CELEBRACIÓN | 28 de Junio de 2009 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: MS Academic Research |
| Categoría del congreso (si existe; p.ej. A, A+): C | |
| Posición del congreso en el ranking (si existe): 2134 | |
| Nº de congresos en el ranking (si existe): 2775 | |
| Nº DE CITAS (si se sabe, excl. autocitas): 5 | |
| OTROS INDICIOS (si se sabe): Arnetminer (ENTCS): Posición 504 de 1578 |
|
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | Experiences in developing a compiler for Safe using Haskell |
| ENTIDAD ORGANIZADORA | Universidad de País Vasco |
| CONGRESO: | TPF '09: I Taller de Programación Funcional |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper |
| ISSN/ISBN | 9788469246009 |
| VOLUMEN | |
| PÁGINAS | DESDE 31 |
| HASTA 38 | |
| LUGAR DE CELEBRACIÓN | San Sebastían |
| FECHA DE CELEBRACIÓN | 8 de Septiembre de 2009 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: |
| Categoría del congreso (si existe; p.ej. A, A+): | |
| Posición del congreso en el ranking (si existe): | |
| Nº de congresos en el ranking (si existe): | |
| Nº DE CITAS (si se sabe, excl. autocitas): | |
| OTROS INDICIOS (si se sabe): | |
| AUTORES | J. de Dios, R. Peña, M. Montenegro |
| TÍTULO | Certified absence of dangling pointers in a language with explicit deallocation |
| ENTIDAD ORGANIZADORA | Universidad de País Vasco |
| CONGRESO: | PROLE'09: IX Jornadas sobre Programación y Lenguajes |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper |
| ISSN/ISBN | 9788469246009 |
| VOLUMEN | |
| PÁGINAS | DESDE 65 |
| HASTA 74 | |
| LUGAR DE CELEBRACIÓN | San Sebastían |
| FECHA DE CELEBRACIÓN | 9-11 de Septiembre de 2009 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: |
| Categoría del congreso (si existe; p.ej. A, A+): | |
| Posición del congreso en el ranking (si existe): | |
| Nº de congresos en el ranking (si existe): | |
| Nº DE CITAS (si se sabe, excl. autocitas): 1 | |
| OTROS INDICIOS (si se sabe): | |
| AUTORES | M. Montenegro, R. Peña, C. Segura |
| TÍTULO | A space consumption analysis by abstract interpretation |
| ENTIDAD ORGANIZADORA | Radboud University Nijmegen |
| CONGRESO: | FOPARA'09: Foundational and Practical Aspects of Resource Analysis |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia - paper |
| ISSN/ISBN | 9783642153303 |
| VOLUMEN | LNCS 6234 |
| PÁGINAS | DESDE 34 |
| HASTA 50 | |
| LUGAR DE CELEBRACIÓN | Nijmegen, Países Bajos |
| FECHA DE CELEBRACIÓN | 3 de Noviembre de 2009 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: (Primera edición, aún no se incluye en ningún ranking) |
| Categoría del congreso (si existe; p.ej. A, A+): | |
| Posición del congreso en el ranking (si existe): | |
| Nº de congresos en el ranking (si existe): | |
| Nº DE CITAS (si se sabe, excl. autocitas): 5 | |
| OTROS INDICIOS (si se sabe): | |
| AUTORES | J. de Dios, M. Montenegro, R. Peña |
| TÍTULO | Certified absence of dangling pointers in a language with explicit deallocation |
| ENTIDAD ORGANIZADORA | Universidad de Nancy, Francia |
| CONGRESO: | IFM'10: 8th International Conference on Integrated Formal Methods |
| TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) | Ponencia – Paper |
| ISSN/ISBN | 9783642162640 |
| VOLUMEN | LNCS 6396 |
| PÁGINAS | DESDE 305 |
| HASTA 319 | |
| LUGAR DE CELEBRACIÓN | Nancy, Francia |
| FECHA DE CELEBRACIÓN | 11-14 de Octubre de 2010 |
| INDICIOS DE CALIDAD | Nombre del ranking donde se incluye el congreso: MS Academic Research |
| Categoría del congreso (si existe; p.ej. A, A+): B | |
| Posición del congreso en el ranking (si existe): 581 | |
| Nº de congresos en el ranking (si existe): 2775 | |
| Nº DE CITAS (si se sabe, excl. autocitas): | |
| OTROS INDICIOS (si se sabe): Arnetminer: Posición 345 de 1584 |