ICC + DC
Logo LaFHIS
LaFHIS Ingeniería del software

Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software

Sitio oficial Página ICC

Sobre el grupo

LaFHIS (Laboratorio en Fundamentos y Herramientas para Ingeniería de Software) es un grupo del ICC-CONICET y el Departamento de Computación de la UBA, dirigido por Sebastián Uchitel. El laboratorio asiste a organizaciones para abordar desafíos complejos aplicando metodologías avanzadas de ingeniería de software automatizada.

Incorpora y adapta técnicas de vanguardia de análisis de programas, reparación de programas, comprensión de programas, lenguajes específicos de dominio e ingeniería de software basada en modelos para contextos organizacionales específicos. Ofrece tres tipos de servicios/líneas de trabajo: auditorías y revisiones de código, mejora de la experiencia de desarrollo y análisis de vulnerabilidades y testing.

El grupo tiene presencia destacada en ICSE (con keynotes y full papers), ha recibido financiamiento de Amazon Research Awards, ERC (European Research Council), SUI Foundation y Fundación Konex. Trabaja en líneas emergentes como inferencia dinámica de especificaciones, abstracciones conductuales para auditoría de smart contracts y verificación de protocolos distribuidos.

Líneas de investigación (6)

Verificación de software

Liderado por Víctor Braberman. Verificación formal, model-checking y técnicas de validación de protocolos distribuidos y propiedades concurrentes.

Verificación de protocolos distribuidos (razonamiento automatizado)

Testing

Liderado por Juan Pablo Galeotti. Generación automática de casos de prueba, testing dirigido por especificaciones y testing de software basado en LLMs.

Análisis de programas

Liderado por Diego Garbervetsky. Análisis estático, análisis dinámico y técnicas de comprensión de programas.

Inferencia dinámica de especificaciones

Técnicas para inferir especificaciones de comportamiento a partir de la ejecución del software.

Inferencia de especificaciones dinámicas

Confianza descentralizada y smart contracts

Abstracciones conductuales para asistir auditorías de smart contracts, en colaboración con IOG Foundation.

Confianza en computación descentralizada Validación de smart contracts (blockchain)

Probabilistic frameworks para LLM-enabled software

Modelado gráfico-probabilístico de flujos generativos en sistemas de software nativos de LLMs.

LLMs aplicados a Ingeniería de Software

Publicaciones destacadas (2)

Investigadores (44)

Agustina Aldasoro
Agustina Aldasoro
Intern
Martin Yoel Belgorodsky
Martin Yoel Belgorodsky
Intern
Andrés Alejandro Bortolin
Andrés Alejandro Bortolin
Intern
Víctor Braberman
Víctor Braberman
Verification
perfil ICC
Ciro Juan Brignolo
Ciro Juan Brignolo
Intern
Joaquin Carrasco
Joaquin Carrasco
Intern
Tomás Chimenti
Tomás Chimenti
Intern
Santiago Corley
Santiago Corley
Research Assistant
Francisco Cueto
Francisco Cueto
Intern
Lucas de Bartoli
Lucas de Bartoli
Intern
D
D'Ippolito
Ignacio Dondo
Ignacio Dondo
Intern
Eitan Embon
Eitan Embon
Intern
Manuel Fedorovsky
Manuel Fedorovsky
Intern
Andres Felder
Andres Felder
Intern
Vicky Fiora
Vicky Fiora
Intern
Hernán Gagliardi
Hernán Gagliardi
Research Assistant
Juan Pablo Galeotti
Juan Pablo Galeotti
Testing
Diego Garbervetsky
Diego Garbervetsky
Program Analysis
Felicitas García
Felicitas García
Research Assistant
Phillip Garrett
Phillip Garrett
Intern
Javier Godoy
Javier Godoy
Researcher
Bruno Gomez
Bruno Gomez
Intern
Ian Grinspan
Ian Grinspan
Research Assistant
Gonzalo Tomás Guerrero
Gonzalo Tomás Guerrero
Intern
Manuel Lakowsky
Manuel Lakowsky
Intern
Joaquin Laks
Joaquin Laks
Intern
Matias Lang
Matias Lang
Intern
Cindy Levi
Cindy Levi
Intern
Gianfranco Lopetrone
Gianfranco Lopetrone
Intern
Lucas Mas Roca
Lucas Mas Roca
Intern
Hernán Melgratti
Hernán Melgratti
Miembro permanente
perfil ICC
Valentino Murga
Valentino Murga
Intern
Juan Felipe Perdomo
Juan Felipe Perdomo
Research Assistant
Lautaro Petaccio
Lautaro Petaccio
Intern
Martin Pugliese
Martin Pugliese
Intern
Alexis Soifer
Alexis Soifer
Research Assistant
Tomás Sujovolsky
Tomás Sujovolsky
Intern
Darío Turco
Darío Turco
Research Assistant
Sebastián Uchitel
Sebastián Uchitel
Director
Alejandro Wainstock
Alejandro Wainstock
Intern
Matias Waisman
Matias Waisman
Intern
Daniel Wappner
Daniel Wappner
Research Assistant
Florencia Zanollo
Florencia Zanollo
Research Assistant

Líneas de investigación (Tags)

Generación y testing de software

Automation in Software Engineering Software Quality Assurance Testing basado en búsqueda / generación de tests

Síntesis de controladores y control de eventos discretos

Ingeniería de requisitos y especificación Sistemas auto-adaptativos Síntesis de controladores / control reactivo

Teoría de la concurrencia y semántica formal

Teoría de la concurrencia / semántica

Verificación y análisis de programas

Confianza en computación descentralizada LLMs aplicados a Ingeniería de Software Model Checking Verificación de protocolos distribuidos (razonamiento automatizado) Verificación de sistemas críticos Validación de smart contracts (blockchain) Verificación de programas / análisis estático Inferencia de especificaciones dinámicas Verificación en tiempo de ejecución / monitoreo

Dominios de aplicación (4)

🏷 Blockchain / smart contracts 🏷 Genética forense y análisis de ADN 🏷 Robótica / aeroespacial / UAVs 🏷 Sistemas Críticos y Seguridad Software
← Taxonomía