Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad UNAL
Línea de investigación
Lenguajes de programación
Exploramos aspectos teóricos y prácticos de la creación de lenguajes de programación.
¿Cómo pueden los lenguajes y las herramientas de programación facilitar la construcción y comprensión del software? En el grupo PLaS estudiamos el diseño, la implementación y el uso de lenguajes de propósito general y de dominio específico, así como el análisis y la transformación automática del código. Nos interesa conectar los fundamentos de los lenguajes con problemas del desarrollo y mantenimiento de software.
Desarrollamos métodos para expresar requisitos, generar prototipos, analizar programas y extraer conocimiento de colecciones de código y de la información que producen las comunidades de desarrolladores. Combinamos técnicas de compilación, análisis de software, procesamiento del lenguaje natural y aprendizaje automático para apoyar estas tareas.
Temas
Lenguajes de propósito general y de dominio específico (DSL)Sin trabajos registrados
Estudiamos cómo definir e implementar lenguajes que permitan expresar soluciones de manera clara y adecuada a cada problema. Nos interesan tanto los lenguajes de propósito general como los lenguajes de dominio específico (DSL), que incorporan conceptos y reglas de un ámbito particular. Investigamos técnicas de análisis y traducción para construir procesadores de lenguaje y herramientas que conecten estas representaciones con programas ejecutables.
Docentes
Trabajos recientes
Aún no hay trabajos registrados en este tema.
Lenguajes para el ciclo de vida del software8 trabajos
Exploramos lenguajes de especificación y modelado que apoyen las distintas etapas del desarrollo de software, desde la definición de requisitos hasta la construcción y evolución de las aplicaciones. Nos interesa facilitar la comunicación de requisitos y su transformación en modelos y código que permitan validar tempranamente una solución.
Docentes
Estudiantes activos
Trabajos recientes
- Graph-driven security assurance in web-based software architectures
- Knowledge Graph-Driven Identification of Security Weaknesses in Web-Based Software Architectures
- Sarch: An Integrated Tool for Architecture-Based Security Assurance
- Sarch-Knows: A Knowledge Graph for Modeling Security Scenarios at the Software Architecture Level
Análisis y manipulación automática de código4 trabajos
Desarrollamos métodos para examinar la estructura y las características del código, identificar patrones y realizar transformaciones automáticas. Estudiamos aplicaciones que combinan análisis estáticos y representaciones del código con técnicas de aprendizaje automático para apoyar su comprensión, comparación y mejora, y para construir herramientas de asistencia al desarrollo.
Analítica de software / Big Code7 trabajos
Investigamos cómo extraer conocimiento de grandes colecciones de código, repositorios y espacios de colaboración entre desarrolladores. Aplicamos minería de datos, procesamiento del lenguaje natural y aprendizaje automático para relacionar el código con la información que lo acompaña. Nos interesa comprender patrones de desarrollo y aprovecharlos para facilitar la búsqueda, clasificación y reutilización de conocimiento sobre software.
Docentes
Trabajos históricos
- An information retrieval strategy for large multimodal data collections involving source code and natural language
- Building a Developer’s Reputation Model for Programming Contest Platforms based on Source Code Analysis
- A Strategy Based on Technological Maps for the Identification of the State-of-the-Art Techniques in Software Development Projects: Virtual Judge Projects as a Case Study
Trayectoria
2026
2025
- Análisis automatizado de comparación de productos con técnicas de procesamiento de lenguaje natural para artículos deportivos extraídos de canales de comercio electrónico
- Generación de recomendaciones automáticas de inversión en la Bolsa de Valores de Colombia mediante agentes autónomos de inteligencia artificial
2024
2023
2020
2019
- An information retrieval strategy for large multimodal data collections involving source code and natural language
- Building a Developer’s Reputation Model for Programming Contest Platforms based on Source Code Analysis
- Static Analysis of Python Programs using Abstract Interpretation: An Application to Tensor Shape Analysis
2018
- A Strategy Based on Technological Maps for the Identification of the State-of-the-Art Techniques in Software Development Projects: Virtual Judge Projects as a Case Study
- Fast Prototyping of Web-Based Information Systems Using a Restricted Natural Language Specification
- Social Engineering: Application of Psychology to Information Security
- Social engineering: psychology applied to Information Security
- Towards a developer’s reputation model based on source code features
2017
- Automatic Source Code Generation for Web-based Process-oriented Information Systems
- Automatic source code generation forweb-based process-oriented information systems
- Predicting the Programming Language: Extracting Knowledge from Stack Overflow Posts
- Prototipado automático de sistemas de información transaccionales usando una especificación en lenguaje natural restringido
2016
- Finding relationships between socio-technical aspects and personality traits by mining developer e-mails
- PAN at FIRE: Overview of the PR-SOCO track on personality recognition in source code