PLaS - Programming Languages and Systems

Datos básicos
Año y mes de formación 2014 - 8
Departamento - Ciudad BOGOTÁ, D. C. - BOGOTÁ, D.C.
Líder FELIPE RESTREPO CALLE
¿La información de este grupo se ha certificado? Si el día 2017-03-01 00:00:00.0
Página web http://www.hermes.unal.edu.co/pages/Consultas/Grupo.xhtml?idGrupo=2343
E-mail ferestrepoca@unal.edu.co
Clasificación
Área de conocimiento Ingeniería y Tecnología -- Ingenierías Eléctrica, Electrónica e Informática
Programa nacional de ciencia y tecnología Ciencia, Tecnología e Innovación en Tecnologías de la Información y las Comunicaciones
Programa nacional de ciencia y tecnología (secundario) Ciencia, Tecnología e Innovación en Ingeniería

Instituciones
1.- Universidad Nacional De Colombia - Oficial - (Avalado)

Plan Estratégico
Plan de trabajo: null
Estado del arte: null
Objetivos: El grupo de investigación PLaS (Programming Languages and Systems) de la Universidad Nacional de Colombia es el responsable de investigar acerca de los aspectos prácticos y teóricos del diseño e implementación de lenguajes de programación, y su integración con sistemas software y hardware. Los campos de interés del grupo incluyen mas no están limitados por los siguientes: Lenguajes de programación; Lenguajes de dominio específico (DSLs); Compiladores e intérpretes; Análisis y manipulación de código fuente; Software seguro; Optimización de código fuente; Métodos y herramientas para el diseño de sistemas embebidos confiables; Educación en programación de computadores. Se fomenta que las tesis y trabajos que se lleva a cabo en el grupo PLaS resulten en herramientas informáticas prácticas que hagan el software más seguro, eficiente y fácil de desarrollar. Por otra parte, existe también un especial interés en investigar en temas relacionados con la educación de programación de computadores.
Retos: null
Visión: null

Líneas de investigación declaradas por el grupo
1.- Análisis y manipulación automática de código fuente
2.- Diseño e implementación de lenguajes de programación
3.- Educación en programación de computadores
4.- Lenguajes para soportar el ciclo de vida del desarrollo de software
5.- Métodos y herramientas para el diseño de sistemas tolerantes a fallos

Sectores de aplicación

Integrantes del grupo
Nombre Vinculación Horas dedicación Inicio - Fin Vinculación
1.- FELIPE RESTREPO CALLE Integrante 8 2014/8 - Actual
2.- Jean Pierre Alfonso Hoyos Integrante 10 2016/1 - Actual
3.- JUAN FELIPE BAQUERO VARGAS Integrante 20 2016/1 - Actual
4.- Daniel Ricardo Castro Alvarado Integrante 6 2017/1 - Actual
5.- FABIO GONZALEZ OSORIO Integrante 6 2015/1 - Actual
6.- Milder Hernandez Cagua Integrante 6 2017/1 - Actual
7.- SERGIO DANIEL HERRERA VILLAMIL Integrante 10 2015/8 - Actual
8.- Nicolás Larrañaga Cifuentes Integrante 6 2017/6 - Actual
9.- HERMES RICARDO NARVAEZ TERAN Integrante 10 2016/8 - Actual
10.- José David Nieto Vitola Integrante 12 2017/10 - Actual
11.- CESAR AUGUSTO PEDRAZA BONILLA Integrante 6 2015/1 - Actual
12.- LINA FERNANDA ROSALES CASTRO Integrante 20 2016/1 - Actual

Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI
PRODUCCIÓN BIBLIOGRÁFICA

Artículos publicados
1.- Publicado en revista especializada: A Hardware-Software Approach for On-line Soft Error Mitigation in Interrupt-Driven Applications
Estados Unidos, Ieee Transactions On Dependable And Secure Computing ISSN: 1545-5971, 2016 vol:13 fasc: 4 págs: 502 - 508, DOI:10.1109/TDSC.2014.2382593
Autores: ANTONIO MARTINEZ ALVAREZ, FELIPE RESTREPO CALLE, SERGIO CUENCA ASENSI, LEONARDO REYNERI, ALMUDENA LINDOSO, LUIS ENTRENA,
2.- Publicado en revista especializada: Application-Based Analysis of Register File Criticality for Reliability Assessment in Embedded Microprocessors
Colombia, Journal Of Electronic Testing-Theory And Applications ISSN: 0923-8174, 2015 vol:31 fasc: N/A págs: 139 - 150, DOI:10.1007/s10836-015-5513-9
Autores: FELIPE RESTREPO CALLE, SERGIO CUENCA ASENSI, ANTONIO MARTINEZ ALVAREZ, EDUARDO CHIELLE, FERNANDA LIMA KASTENSMIDT,
3.- Publicado en revista especializada: Efficient Mitigation of Data and Control Flow Errors in Microprocessors
Estados Unidos, Ieee Transactions On Nuclear Science ISSN: 0018-9499, 2014 vol:61 fasc: 4 págs: 1590 - 1596, DOI:10.1109/TNS.2014.2310492
Autores: LUIS PARRA, ALMUDENA LINDOSO, MARTA PORTELA, LUIS ENTRENA, FELIPE RESTREPO CALLE, SERGIO CUENCA ASENSI, ANTONIO MARTINEZ ALVAREZ,

Libros publicados

Capítulos de libro publicados
1.- Capítulo de libro : Soft Error mitigation in soft-core processors
Suiza, 2016, FPGAs and Parallel Architectures for Aerospace Applications, ISBN: 978-3-319-14351-4, Vol. , págs:239 - 258, Ed. Springer-Verlag Berlin/Heidelberg
Autores: ANTONIO MARTINEZ ALVAREZ, SERGIO CUENCA ASENSI, FELIPE RESTREPO CALLE,
2.- Capítulo de libro : Reducing implicit overheads of soft error mitigation techniques using selective hardening
Colombia, 2016, FPGAs and Parallel Architectures for Aerospace Applications, ISBN: 978-3-319-14351-4, Vol. , págs:259 - 278, Ed. Springer-Verlag Berlin/Heidelberg
Autores: FELIPE RESTREPO CALLE, SERGIO CUENCA ASENSI, ANTONIO MARTINEZ ALVAREZ,

Documentos de trabajo

Otra publicación divulgativa

Otros artículos publicados
1.- Revista de divulgación : Evaluación de la fiabilidad de microprocesadores COTS mediante las infraestructuras de depuración On-Chip
Panamá, I+D Tecnológico ISSN: 1680-8894, 2017 vol:13 fasc: 1 págs: 8 - 17
Autores: JOSE ISAZA GONZALEZ, ALEJANDRO SERRANO CASES, FELIPE RESTREPO CALLE, SERGIO CUENCA ASENSI, ANTONIO MARTINEZ ALVAREZ,

Otros Libros publicados

Traducciones

PRODUCCIÓN TÉCNICA Y TECNOLÓGICA

Cartas, mapas o similares

Consultorías científico tecnológicas e Informes técnicos

Diseños industriales

Esquemas de trazados de circuito integrado

Innovaciones en Procesos y Procedimientos

Innovaciones generadas en la Gestión Empresarial

Nuevas variedades animal

Nuevas variedades vegetal

Plantas piloto

Otros productos tecnológicos

Prototipos

Regulaciones y Normas

Reglamentos técnicos

Guias de práctica clínica

Proyectos de ley

Signos distintivos


Softwares

Empresas de base tecnológica

APROPIACIÓN SOCIAL Y CIRCULACIÓN DEL CONOCIMIENTO

Ediciones

Eventos Científicos
1.- Congreso : 12th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2017
BOGOTÁ, D.C., desde 2017-04-28 00:00:00.0 - hasta 2017-04-29 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: INSTICC Tipo de vinculación Patrocinadora
2.- Simposio : 2017 18th Latin-American Test Symposium (LATS)
BOGOTÁ, D.C., desde 2017-03-13 00:00:00.0 - hasta 2017-03-15 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: IEEE Council on Electronic Design Automation Tipo de vinculación Patrocinadora
3.- Encuentro : 8th Forum for Information Retrieval Evaluation FIRE 2016
Calcuta, desde 2016-12-07 00:00:00.0 - hasta 2016-12-10 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD NACIONAL DE COLOMBIA Tipo de vinculación Patrocinadora
4.- Congreso : Ibero-American Conference on Artificial Intelligence IBERAMIA 2016
San José, desde 2016-11-23 00:00:00.0 - hasta 2016-11-25 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD NACIONAL DE COLOMBIA Tipo de vinculación Patrocinadora
5.- Congreso : 14th World Conference on Transport Research
Shanghai, desde 2016-07-10 00:00:00.0 - hasta 2016-07-15 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: World Conference on Transport Research Society Tipo de vinculación Patrocinadora
6.- Taller : 9th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '16)
Austin, desde 2016-05-16 00:00:00.0 - hasta 2016-05-16 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD NACIONAL DE COLOMBIA Tipo de vinculación Patrocinadora
7.- Congreso : 8th Euro American Conference on Telematics and Information Systems (EATIS)
Cavtat, desde 2016-04-27 00:00:00.0 - hasta 2016-04-29 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: Institute Of Electrical And Electronics Engineers-Ieee Tipo de vinculación Patrocinadora
8.- Simposio : 2016 17th Latin-American Test Symposium (LATS)
Foz do Iguaçu, desde 2016-04-06 00:00:00.0 - hasta 2016-04-08 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD NACIONAL DE COLOMBIA Tipo de vinculación Patrocinadora
9.- Congreso : congreso chileno de ingenieria de transporte
Concepción, desde 2015-10-13 00:00:00.0 - hasta 2015-10-15 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: Universidad del Bío Bío Tipo de vinculación Patrocinadora
10.- Simposio : 2015 16th Latin-American Test Symposium (LATS)
Puerto Vallarta, desde 2015-03-25 00:00:00.0 - hasta 2015-03-27 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD NACIONAL DE COLOMBIA Tipo de vinculación Patrocinadora
11.- Congreso : 15th IEEE Latin-American Test Workshop (LATW)
BOGOTÁ, D.C., desde 2014-03-12 00:00:00.0 - hasta 2014-03-15 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: Universidade Federal Do Rio Grande Do Sul Tipo de vinculación Patrocinadora
12.- Congreso : 14th European Conference on Radiation and its Effects on Components and Systems RADECS 2013
Oxford, desde 2013-09-23 00:00:00.0 - hasta 2013-09-27 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad de Alicante Tipo de vinculación Patrocinadora
13.- Congreso : 13th European Conference on Radiation and its Effects on Components and Systems RADECS 2012
Biarritz, desde 2012-09-24 00:00:00.0 - hasta 2012-09-28 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad de Sevilla Tipo de vinculación Patrocinadora
14.- Congreso : 12th European Conference on Radiation and its Effects on Components and Systems RADECS 2011
Sevilla, desde 2011-09-19 00:00:00.0 - hasta 2011-09-23 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad de Sevilla Tipo de vinculación Patrocinadora
15.- Congreso : 11th European Conference on Radiation and its Effects on Components and Systems RADECS 2010
Längenfeld, desde 2010-09-20 00:00:00.0 - hasta 2010-09-24 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad de Sevilla Tipo de vinculación Patrocinadora
16.- Congreso : 20th International Conference on Field Programmable Logic and Applications FPL 2010
Milan, desde 2010-08-31 00:00:00.0 - hasta 2010-09-02 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente

Instituciones asociadas
  • Nombre de la institución: Universidad de Sevilla Tipo de vinculación Patrocinadora
17.- Simposio : IEEE International Symposium on Industrial Electronics, ISIE 2010,
Bari, desde 2010-07-04 00:00:00.0 - hasta 2010-07-07 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente

Instituciones asociadas
  • Nombre de la institución: Universidad de Sevilla Tipo de vinculación Patrocinadora
18.- Taller : 13th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2010
St. Goar, desde 2010-06-28 00:00:00.0 - hasta 2010-06-29 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente , Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad de Alicante Tipo de vinculación Patrocinadora
19.- Taller : 2nd HiPEAC Workshop on Design for Reliability (DFR¿10) held in conjunction with The 5th International Conference on High Performance and Embedded Architectures and Compilers
Pisa, desde 2010-01-25 00:00:00.0 - hasta 2010-01-27 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente

Instituciones asociadas
  • Nombre de la institución: Universidad de Alicante Tipo de vinculación Patrocinadora

Informes de investigación

Redes de Conocimiento Especializado

Generación de Contenido Impreso

Generación de Contenido Multimedia

Generación de Contenido Virtual

Estrategias de Comunicación del Conocimiento

Estrategias Pedagógicas para el fomento a la CTI

Espacios de Participación Ciudadana

Participación Ciudadana en Proyectos de CTI

Producción en arte, arquitectura y diseño
Obras o productos
Industrias creativas y culturales
Eventos Artísticos
Talleres de Creación

ACTIVIDADES DE FORMACIÓN

Asesorías al Programa Ondas

Curso de Corta Duración Dictados

Trabajos dirigidos/turorías
1.- Trabajos de grado de pregrado : Nuevos estándares de descripción y manipulación de páginas web
Desde 6 2015 hasta Diciembre 2015, Tipo de orientación: Tutor principal
Nombre del estudiante: Sergio Daniel Herrera Villamil, Programa académico: Ingeniería de Sistemas y Computación
Número de páginas: 60, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA
Autores: FELIPE RESTREPO CALLE,

ACTIVIDADES COMO EVALUADOR

Jurado/Comisiones evaluadoras de trabajo de grado
1.- Maestría : Empirical Evaluation of the Usefulness of Graph-based Visualization Techniques to Support Software Understanding
Colombia, 2017, Idioma: Inglés, Medio de divulgación: Varios
Sitio web: , Nombre del orientado: Germán Oswaldo Cárdenas Caro
Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA.
Autores: FELIPE RESTREPO CALLE,
2.- Maestría : Analysis and Visualization of Multimodal Socio-Technical Information of Free/Libre and Open Source Software (FLOSS) Projects
Colombia, 2016, Idioma: Inglés, Medio de divulgación: Varios
Sitio web: http://www.bdigital.unal.edu.co/54340/, Nombre del orientado: Paruma Pabón, Oscar Hernán
Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA.
Autores: FELIPE RESTREPO CALLE,
3.- Maestría : A Model for General Video Game Learning with HTM
Colombia, 2016, Idioma: Inglés, Medio de divulgación: Varios
Sitio web: http://www.bdigital.unal.edu.co/53601/, Nombre del orientado: Leonardo Arturo Quiñonez Perez
Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA.
Autores: FELIPE RESTREPO CALLE,

Participación en comités de evaluación

Demás trabajos

Proyectos
1.- Investigación y desarrollo: Sistema interactivo para el apoyo a la evaluación continua y automática de habilidades de programación de computadores
2017/3 - 2017/12
2.- Investigación y desarrollo: Evaluación temprana de los efectos de radiación mediante simulación y virtualización. Estrategias de mitigación en arquitecturas de microprocesadores avanzados.
2016/6 - 2017/12
3.- Investigación y desarrollo: Desarrollo de una métrica software de vulnerabilidad de registros en microprocesadores COTS
2015/6 - 2016/6