Software Seminar Series (S3)
Tuesday, November 25, 2008
Irena Trajkovska, PhD Student, CLIP, Technical University of Madrid (UPM), SpainSoundness Properties of DFA-based Business Protocols
Abstract: As the adoption of SOA grows in enterprises and businesses and more and more complex information systems are reworked or...
Tuesday, November 18, 2008
Guillem Marpons, PhD Student, Babel, Technical University of Madrid (UPM), SpainCoding Rule Checking
Abstract: Coding rules are often used in industry to codify software best practises and avoid the many hazardous constructions pre...
Tuesday, November 11, 2008
Remy Haemmerle, Post-doctoral Researcher, CLIP, Technical University of Madrid (UPM), SpainTemporal Semantics of Co-Logic Programming
Abstract: Co-Logic Programming (co-LP) is a paradigm recently introduced that combines both inductive and coinductive logic progra...
Tuesday, November 4, 2008
Miky Zamalloa, PhD Student, CLIP and Universidad Complutense de Madrid, SpainInterpretive Decompilation of Bytecode to Prolog and its Applications
Abstract: Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model c...
Tuesday, October 28, 2008
Alvaro Garcia, PhD Student, IMDEA Software InstituteCan type systems help to write programs in a more atural way?
Abstract: Church numerals are a functional encoding of natural numbers. In the pure (untyped) lambda calculus, the definition of c...
Tuesday, October 21, 2008
Terran Lane, Associate Professor, University of New Mexico, USAWhere Probability Meets First Order Logic: Open Questions in Relational Learning
Abstract: Machine learning (ML) is essentially the field of identifying functions from observed data. For example, we can model re...
Tuesday, October 14, 2008
Julián Samorski-Forlese, Research Intern, IMDEA Software InstitutePreservation of proof obligations for hybrid verification methods
Abstract: Program verification environments increasingly rely on hybrid methods that combine static analyses and verification cond...
Tuesday, October 7, 2008
Juan Manuel Crespo, Research Intern, IMDEA Software InstituteSeparation Logic
Abstract: Specification and Verification of imperative programs that manipulate mutable data structures has always been a challeng...
Tuesday, September 30, 2008
Peter Stuckey, Professor, The University of Melbourne, AustraliaThe G12 project and ACD term rewriting
Abstract: The G12 project aims to allow one to model a combinatorial optimization problem in a high level way, independent of the ...
Tuesday, September 23, 2008
Maria Garcia de la Banda, Associate Professor, Monash University, AustraliaSymmetry Detection and Symmetry Breaking
Abstract: Many constraint problems have a considerable number of symmetries. Detecting and breaking these symmetries is a very act...
Tuesday, May 27, 2008
Cesar Kunz, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainDiscovering Properties about Arrays in Simple Programs
Abstract: I will be presesting the paper “Discovering Properties about Arrays in Simple Programs” by Nicolas Halbwachs...
Tuesday, May 20, 2008
Pablo Nogueira, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainAlgebra of Programming
Abstract: Due to lack of speaker, I’ll try to improvise a short talk about functional programming and the algebra of program...
Tuesday, May 13, 2008
Remy Haemmerle, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainCritical Pairs and Confluence of Arbitrary Reduction Relations
Abstract: The standard method to prove confluence of term rewriting system (TRS) is based on the study of joinability of critical ...
Tuesday, May 6, 2008
Angel Herranz, Assistant Professor, Technical University of Madrid (UPM), SpainMore than parsing
Abstract: Writing a language processor from scratch is a daunting task; it requires knowledge of specialised techniques and a cons...
Tuesday, April 29, 2008
Samir Genaim, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainProving Termination One Loop at a Time
Abstract: Classic techniques for proving termination of a given loop require the identification of a measure (ranking function) th...
Tuesday, April 15, 2008
German Puebla, Associate Professor, Technical University of Madrid (UPM), SpainPoly-Controlled Partial Evaluation
Abstract: Existing algorithms for on-line partial evaluation (PE) of logic programs, given an initial program and a description of...
Tuesday, April 8, 2008
Julio Mariño, Assistant Professor, Technical University of Madrid (UPM), SpainOrigins and Applications of the Calculus of Binary Relations
Abstract: Originating from the work of De Morgan (150 years ago!), CSS Peirce and Schröder, and getting its present equational for...
Tuesday, April 1, 2008
Alfonso Acosta, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainAbusing the typechecker: type-level programming in Haskell
Abstract: Type arithmetic (or type-level computations) are calculations over types. Haskell lacks type-level lambdas and thus, one...
Tuesday, March 25, 2008
Nik Swoboda, Researcher, Technical University of Madrid (UPM), SpainDiagrammatic Reasoning
Abstract: In this presentation I will start by giving a brief introduction to the field of Diagrammatic Reasoning. Then I will pre...
Tuesday, March 11, 2008
Damiano Zanardini, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainThin Slicing
Abstract: As two Manuels recently said, Wikipedia pages are never as precise as you want. Yet, probably, most of Wikipedia accesse...
Tuesday, March 4, 2008
Manuel Clavel, Associate Research Professor, IMDEA Software InstituteModel-Driven Security in Practice: an Industrial Experience
Abstract: In this talk we will report on our experience on using the so-called model-driven security approach in an MDA industrial...
Tuesday, February 26, 2008
Manuel Carro, Associate Professor, Technical University of Madrid (UPM), SpainAbout Garbage Collection
Abstract: Garbage collection (GC) is a form of automatic memory management. The garbage collector, or just collector, attempts to ...
Tuesday, February 19, 2008
Pablo Nogueira, Post-doctoral Researcher, Technical University of Madrid (UPM), SpainThe Expression Problem and a Solution Using Type Classes
Abstract: Wadler coined the name Expression Problem for the problem of extending data and functions on that data in modular and ty...
Tuesday, February 12, 2008
Cesar Sanchez, Assistant Research Professor, IMDEA Software InstituteRegular Linear Temporal Logic
Abstract: I will talk about regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability ...