Rodrigo Castaño got a Fellowship at Microsoft Research

Under the "Latin American Fellowship Program at Microsoft Research in Redmond", Rodrigo Castaño has been selected as a new PhD Fellow, their most prestigious student award!
During Rodrigo’s internship at Microsoft Research, his mentor will be Dr. Shaz Qadeer , Principal Researcher, from the Research in Software Engineering (RISE) group.

Undefined

Diego Garbervetsky will be Publicity Chair of FSE 2014

Diego Garbervetsky will be Publicity Chair of FSE 2014

Undefined

[ICSE'14] Hope for the best, prepare for the worst: Multi-tier control for adaptive systems

Nicolas D’Ippolito, Victor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, and Sebastian Uchitel. Hope for the best, prepare for the worst: Multi-tier control for adaptive systems. In ICSE - International Conference on Software Engineering, 2014.

Undefined

[ICSE'14] Automated goal operationalisation based on interpolation and sat solving

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastian Uchitel. Automated goal operationalisation based on interpolation and sat solving. In ICSE - International Conference on Software Engineering, 2014.

Undefined

[FM'14] Revisiting compatibility of input-output modal transition systems

Nenad Medvidovic Ivo Krka, Nicolas D’Ippolito and Sebastian Uchitel. Revisiting compatibility of input-output modal transition systems. In FM 2014 - Formal Methods, Lecture Notes in Computer Science. Springer, 2014.

Undefined

Diego Garbervetsky will be member of ISMM's PC

Diego Garbervetsky was invited to join the program committee for the 2014 ACM SIGPLAN International Symposium on Memory Management (ISMM 2014). The conference will be held on June 12 in Edinburgh, UK, co-located with PLDI 2014

Undefined

[Science of Computer Programming] Summary-based inference of quantitative bounds of live heap objects

Science of Computer Programming: Victor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine, "Summary-based inference of quantitative bounds of live heap objects", in press.

Undefined

Victor Braberman will be member of ICSE 2015 PC

Victor Braberman will be member of the Program Committee of ICSE 2015.

Undefined

Pages

Subscribe to LaFHIS RSS