GLAPV
From Lafhiswiki
Bienvenido a la página del Grupo de Lectura de Análisis de Programas y Verificación.
Contents |
[edit] Próximas reuniones
- (a definir)
[edit] Papers encolados para futuras discusiones
- Is Structural Subtyping Useful? An Empirical Study de Donna Malayeri and Jonathan Aldrich
--Diegog 10:16, 23 May 2009 (ART)
- A Unified Framework for Verification Techniques for Object Invariants de S. Drossopoulou, A. Francalanza, P. Müller, A. J. Summers.
- Parece interesante porque además de presentar un framework presenta varios ejemplos del uso de varios formalismos existentes y discute varias problemáticas a tener en cuenta. --Diegog 17:14, 29 April 2009 (ART)
- An Integrated Proof Language for Imperative Programs de Kuncak, Rinard, Zee. --Diegog 21:24, 13 May 2009 (ART)
[edit] Artículos discutidos
Esta es una lista de los artículos que fueron discutidos en el grupo desde su creación.
[edit] Durante 2009
- 3/6/2009: Intra-Module Inference for Systems Code de S. K. Lahiri , S. Qadeer, J. P. Galeotti, J. W. Voung, T. Wies. Presentado por Juan Pablo.
- 29/4/2009: Implicit Dynamic Frames de Jan Smans, Bart Jacobs, Frank Piessens. Specification and Verification of Object-Oriented Software de K. Rustan M. Leino. Presentado por Ariel.
[edit] Durante 2008
- 10/12/2008: External Uniqueness is Unique Enough de Dave Clarke, Dave Clarke, Tobias Wrigstad, Tobias Wrigstad. Presentado por Diego.
- 11/11/2008: Verification of Object-Oriented Programs with Invariants de Mike Barnett, Robert DeLine, Manuel Fahndrich, K. Rustan M. Leino, Wolfram Schulte. Presentado por Dani.
- 28/10/2008: Formal Software Analysis Emerging Trends in Software Model Checking de Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Păsăreanu, Willem Visser. Presentado por Guido.
[edit] Otros recursos
- El calendario del grupo de lectura puede ser accedido desde aquí.
- Para suscribirse a la lista de correo dirigirse aquí.
- Si querés un usuario en esta wiki contactate con Guido.
