Temas de investigación

 

Mi principal foco en el doctorado ha sido el problema de aprovechar exploraciones parciales de herramientas de verificación. Es habitual que un model checker termine abruptamente sin producir resultados concluyentes, ya sea por falta de memoria, timeout o simplemente limitaciones de la lógica subyacente.

En estas situaciones, si bien no fue posible probar la propiedad deseada ni tampoco refutarla, sería deseable producir algún tipo de resumen de la exploración realizada. En algunos casos sirve indicar una cota superior para la probabilidad de alcanzar una región no explorada del código. En otras situaciones se busca evitar analizar el mismo espacio de búsqueda en siguientes ejecuciones. Incluso puede resultar interesante, para un experto en verificación, entender qué progreso logró la herramienta, con la esperanza de guiar la búsqueda, reformular el código o elegir un análisis que pueda lidiar con esa instancia. Cada una de las situaciones planteadas requiere un enfoque distinto y estamos explorando algunos de estos desafíos.

Durante mis estudios de grado investigué diferentes formas de traducir el problema de satisfacibilidad proposicional (SAT) a un problema de lenguajes formales equivalente y las ventajes en términos de rendimiento de realizar cada traducción.

En general me interesan temas relacionados con lenguajes formales, lógicas y las relaciones entre los mismos.

Hace algún tiempo colaboré en un grupo de bioinformática, pero mi aporte fue principalmente como desarrollador en C++. Hay varios temas de bioinformática que me resultan sumamente interesantes.

Todavía me interesa explorar varias áreas de investigación, entre las cuales sólo realicé una mínima incursión en temas de análisis y verificación automática de código.

Publicaciones

 

Full papers

  • J.M. Castaño, R. Castaño, A finite state intersection approach to propositional satisfiability, Theoretical Computer Science (2012), In print. Versión preliminar en pdf
  • "Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability”, J. M. Castaño, R. Castaño, 16th International Conference on Implementation and Application of Automata (CIAA­2011). pdf
  • “Propositional satisfiability (SAT) as a language problem“, J. M. Castaño, R. Castaño, Workshop Aspectos Teóricos de Ciencias de la Computación, XVII Congreso Argentino de Ciencias de la Computación, 2011. pdf

Posters

  • “Backbones Generator (Bbgen2)” H. Arregui, R. Castaño, L. Lauría, R. Garabato, E. Fernández, M. Villarreal, D. Gutson. 2do Congreso Argentino de Bioinformática, May 11­-13, 2011
  • “Generation of a complete repository of protein backbones”, R. Castaño, L. Lauría, G. Biset, R. Garabato, D. Gutson, M. Villarreal. 1er Congreso Argentino de Bioinformática, May 12­-14, 2010