Grupos de investigación
Plas - programming languages and systems
Presentacion
The Programming Languages and Systems (PLAS) research group at Universidad Nacional de Colombia researches practical and theoretical aspects of programming languages design and implementation, and their integration in both software and hardware systems. PLAS research interests include, but are not limited to: programming languages, domain-specific languages, compilers and interpreters, source code analysis and manipulation, security, optimization, methods and tools for dependable design in embedded systems, and software engineering. Theses defended in this group are also encouraged to result in practical tools that make software safer and easier to develop. Our group is also responsible for teaching several programming courses at the university. We are, therefore, also interested in research on how to teach programming more effectively. GrupLAC COL0182079 http://scienti.colciencias.gov.co:8080/gruplac/jsp/visualiza/visualizagr.jsp?nro=00000000018409
Líder
Sedes
Bogotá
Dependencias
Facultad de Ingeniería Bogotá
Planes de estudio
  • INGENIERÍA DE SISTEMAS Y COMPUTACIÓN - SEDE BOGOTÁ - AC 033
  • MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACIÓN - CONV UPC
  • DOCTORADO EN INGENIERIA - SISTEMAS Y COMPUTACION
  • MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACIÓN
Agendas de conocimiento
Tecnologías de la Información y Comunicaciones
Agendas del conocimiento secundarias
  • Tecnologías de la Información y Comunicaciones
Áreas OCDE
Ingeniería y tecnología - Ingenierías eléctrica, electrónica e informática
Áreas OCDE secundarias
  • Ingeniería y tecnología - Ingenierías eléctrica, electrónica e informática
Lineas de investigación
  • LANGUAGE DESIGN, IMPLEMENTATION AND APPLICATIONS ¿¿TO SUPPORT THE SOFTWARE DEVELOPMENT LIFE CYCLE. THIS INCLUDES: METALANGUAGES¿¿, GENERAL PURPOSE PROGRAMMING LANGUAGES, MODELING LANGUAGES¿, DOMAIN-SPECIFIC LANGUAGES ¿¿(DSLS), SPECIFICATION LANGUAGES¿
  • METHODS AND TOOLS FOR FAULT-TOLERANT AND DEPENDABLE DESIGN IN EMBEDDED SYSTEMS
  • PROGRAMMING EDUCATION RESEARCH. THIS INCLUDES THE DESIGN AND DEVELOPMENT OF DIDACTICAL PROGRAMMING ENVIRONMENTS, AUTOMATIC PROGRAMMING ASSIGNMENT GRADING AND ANALYSIS, SOURCE CODE ANALYSIS FOR STUDENT FEEDBACK, AMONG OTHERS.
  • SOURCE CODE ANALYSIS AND MANIPULATION. THIS INCLUDES RESEARCH IN: OPTIMIZATION, SECURITY, STYLOMETRY, SOURCE CODE LEVEL SOFTWARE METRICS, BAD SMELLS, SOFTWARE VISUALIZATION, FEATURE LOCATION, VERIFICATION, REFACTORING, REVERSE ENGINEERING, DEBUG, ETC.
  • PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Enfoque estratégico
Theses defended in this group are also encouraged to result in practical tools that make software safer and easier to develop.
Prioridades de investigación
The Programming Languages and Systems (PLAS) research group at Universidad Nacional de Colombia researches both practical and theoretical aspects of programming languages design and system building.
Perspectiva interdisciplinaria
TBD
Integrantes
Proyectos
Productos
  • A. Martínez-Álvarez, Felipe Restrepo-Calle, S. Cuenca-Asensi, L. M. Reyneri, A.Lindoso, L. Entrena; "A Hardware-Software Approach for On-line Soft Error Mitigation in Interrupt-Driven Applications," IEEE Transactions on Dependable and Secure Computing, vol. 13, no. 4, pp. 502-508, July-Aug. 1 2016. (Artículo publicado en revista indexada que presente resultados originales de la investigación)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Eduardo Chielle, Fernanda Lima Kastensmidt. “Application-based Analysis of Register File Criticality for Reliability Assessment in Embedded Microprocessors”. Journal of Electronic Testing: Theory and Applications, Vol. 31, no. 2, pp. 139-150, April 2015. ISSN: 0923-8174. (Artículo publicado en revista indexada que presente resultados originales de la investigación)
  • José Isaza-González, Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez. “Evaluación de la fiabilidad de microprocesadores COTS mediante las infraestructuras de depuración On-Chip”. I+D Tecnológico, Vol. 13, Núm. 1. pp. 8-17. 2017. ISSN: 1680-8894. (Artículo publicado en revista indexada que presente resultados originales de la investigación)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi , Antonio Martínez-Álvarez. Ch. 17: Reducing implicit overheads of soft error mitigation techniques using selective hardening. In "FPGAs and Parallel Architectures for Aerospace Applications". Eds: Fernanda Lima Kastensmidt, Paolo Rech. Springer. ISBN 978-3-319-14351-4. 2016. (Capítulo en libro que presente resultados de la investigación)
  • Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle. Ch. 16: Soft Error mitigation in soft-core processors". In "FPGAs and Parallel Architectures for Aerospace Applications". Editors: Fernanda Lima Kastensmidt and Paolo Rech. Springer. ISBN 978-3-319-14351-4. 2016. (Capítulo en libro que presente resultados de la investigación)
  • Lina F Rosales-Castro, Laura A Chaparro-Gutiérrez, Andrés F Cruz-Salinas, Felipe Restrepo-Calle, Jorge Camargo, Fabio A González. "An Interactive Tool to Support Student Assessment in Programming Assignments.". Ibero-American Conference on Artificial Intelligence IBERAMIA 2016. . pp. 404-414. San Jose, Costa Rica. Nov 21-23. 2016. (Presentación de ponencia en evento científico o tecnológico)
  • Francisco Rangel, Fabio A González, Felipe Restrepo-Calle, Manuel Montes, Paolo Rosso. "PAN at FIRE: Overview of the PR-SOCO Track on Personality Recognition in SOurce COde.". Working notes of FIRE.. Dec 7-10. Kalkota, India. 2016. (Presentación de ponencia en evento científico o tecnológico)
  • Jean Pierre Alfonso Hoyos and Felipe Restrepo-Calle, “Automatic source code generation for web-based process-oriented information systems”, 12th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE. Porto, Portugal. 28-29 April, 2017. (Presentación de ponencia en evento científico o tecnológico)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez. "An Effective Strategy for Selective Hardening of Software”. 18th IEEE Latin-American Test Symposium LATS. Bogotá, Colombia. 13th - 15th March, 2017. (Presentación de ponencia en evento científico o tecnológico)
  • Jose Isaza-Gonzalez, Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez. "Dependability Evaluation of COTS Microprocessors via On-Chip Debugging Facilities". 17th IEEE Latin-American Test Symposium LATS. Foz do Iguaçu, Brazil. 6th - 8th April, 2016. (Presentación de ponencia en evento científico o tecnológico)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Fernanda Lima Kastensmidt. "Considerations on Application of Selective Hardening based on Software Fault Tolerance Techniques". 16th IEEE Latin-American Test Symposium. Puerto Vallarta, Mexico. March 25 - 27, 2015. (Presentación de ponencia en evento científico o tecnológico)
  • Evaluación temprana de los efectos de radiación mediante simulación y virtualización. Estrategias de mitigación en arquitecturas de microprocesadores avanzados Referencia: ESP2015-68245-C4-3-P MINECO/FEDER, UE Convocatoria: Ministerio de Economía y competitividad (España) y el Fondo Europeo para el desarrollo regional Instituciones: Universidad de Alicante, Universidad de Sevilla, Universidad Carlos III de Madrid, Universidad Nacional de Colombia (Proyectos de investigación)
  • Sistema interactivo para el apoyo a la evaluación continua y automática de habilidades de programación de computadores Código HERMES: 35713 Convocatoria: Conv. nacional de proyectos para el fortalecimiento de la investigación, creación e innovación de la Universidad Nacional de Colombia 2016-2018 (Proyectos de investigación)
  • Desarrollo de una métrica software de vulnerabilidad de registros en microprocesadores COTS Código HERMES: 28433 Convocatoria: Conv. nacional de proyectos para el fortalecimiento de la investigación, creación e innovación de la Universidad Nacional de Colombia 2013-2015 (Proyectos de investigación)
  • Estudiante: Sergio Daniel Herrera Villamil Título: Nuevos estándares de descripción y manipulación de páginas web (TDG (Trabajo dirigido de grado))