N-GREENS SOFTWARE
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE
Descripción
Investigación
Personal
Charlas & Eventos
Ofertas de empleo
Contacto
Programa Anterior
PROMESAS
PROMETIDOS
Comunidad de Madrid
mid

EU flag

Charlas & Eventos

Los eventos científicos organizados por el Programa (seminarios, workshops, charlas, etc.) son actividades importantes ya que sirven para que los investigadores puedan promover su investigación, y para que que a su vez estén al tanto de los últimos desarrollos. Además la investigación es más productiva en un un entorno en el que la interacción entre los investigadores es continua.

Muchos de los seminarios organizados regularmente por N-GREENS Software son impartidos por investigadores de otras universidades y grupos de investigación. Algunos otros son parte de grupos de investigación concretos, presentando trabajos de interés para esos grupos. Un tercer tipo de seminario son charlas locales, en las cuales los investigadores y estudiantes involucrados en el Programa se turnan para presentar el progreso en su investigación.

En esta sección se pretende dar información sobre los eventos científicos organizados total o parcialmente por miembros del Programa.

WORKSHOPS

CHARLAS INVITADAS

Adam Chlipala Associate Professor, Languages & Verification Group, MIT (USA) Phantom Monitors: A Simple Foundation for Modular Proofs of Fine-Grained Concurrent Programs IMDEA Software Julio 13, 2015
Jose Miguel Rojas Research Associate, University of Sheffield, UK Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations IMDEA Software Julio 10, 2015
Sina Shamshiri PhD Student, University of Sheffield, UK Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation? IMDEA Software Julio 10, 2015
Radu Iosif CNRS Researcher (CR1), Distributed and Complex Systems Group, VERIMAG/CNRS, Grenoble, France Decidable Horn Systems with Difference Constraints Arithmetic IMDEA Software Julio 7, 2015
Cheng Li PhD Student, Max Planck Institute for Software Systems, Alemania Automating the Choice of Consistency Levels in Replicated Systems IMDEA Software Junio 26, 2015
Alberto Goffi and Andrea Mattavelli PhD Students, Università della Svizzera Italiana, Lugano, Suiza Exploiting Intrinsic Redundancy to Automatically Generate Test Oracles IMDEA Software Junio 19, 2015
Luis Maria Ferrer Fioriti PhD Student, Saarland University, Germany Probabilistic termination IMDEA Software Junio 17, 2015
Andreas Zeller Full Professor, Saarland University, Germany Mining Sandboxes IMDEA Software Junio 10, 2015
Jose Manuel Fernandez de Labastida Head of Scientific Management Department, Consejo Europeo de Investigación Funding opportunities in the European Research Council IMDEA Software Mayo 13, 2015
David Atienza Associate Professor, EPFL, Switzerland Ultra-Low Power Design of Multimodal BioSignal Wearable Systems IMDEA Software Abril 8, 2015
Ben Livshits Research Scientist, Microsoft Research PrePose: Security and Privacy for Gesture-Based Programming IMDEA Software Marzo 12, 2015
D Beta Ziliani PhD Student, Max Planck Institute for Software Systems, Saarbruecken, Alemania A Predictable Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading IMDEA Software Marzo 6, 2015
Markku Oivo Professor, University of Oulu, Finland Overview of working lines of the M-GROUP: Department of Information Processing Science (University of Oulu, FI) IMDEA Software Marzo 6, 2015
Ben Livshits Research Scientist, Microsoft Research PROGRAM BOOSTING: PROGRAM SYNTHESIS VIA CROWD-SOURCING (based on our POPL'15 paper) IMDEA Software Febrero 25, 2015
Juan P. Galeotti Post-doctoral Researcher, Saarland University, Germany Automated test generation for classes with environment dependencies IMDEA Software Enero 12, 2015
Darko Stefanovic Associate Professor, Universidad de New Mexico, USA Playing robotics with DNA IMDEA Software Diciembre 12, 2014
Roberto Giacobazzi Faculty (visiting), Instituto IMDEA Software Obscuring code - Unveiling and Veiling Information in Programs IMDEA Software Diciembre 9, 2014
Michael Näf Co-Founder of Doodle The Doodle Story IMDEA Software Octubre 30, 2014
Dimitrios Vytiniotis Researcher, Microsoft Research, Cambridge, UK Ziria: wireless programming for hardware dummies IMDEA Software Octubre 17, 2014
Amir Ben-Amram Professor, Tel Aviv-Yaffo Academic College What is decidable in growth-rate analysis of programs? IMDEA Software Octubre 2, 2014

SEMINARIOS

Ilya Sergey Post-doctoral Researcher, Instituto IMDEA Software Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects IMDEA Software Julio 28, 2015
Platon Kotzias PhD Student, Instituto IMDEA Software A Matter of Trust: Malware Abuse in Authenticode Code Signing IMDEA Software Julio 21, 2015
Benedikt Schmidt Post-doctoral Researcher, Instituto IMDEA Software Automated Proofs of Pairing-Based Cryptography IMDEA Software Julio 14, 2015
Goran Doychev PPhD Student, Instituto IMDEA Software Rational Protection Against Timing Attacks IMDEA Software Julio 8, 2015
Artem Khyzha PhD Student, Instituto IMDEA Software A Generic Logic for Proving Linearizability IMDEA Software Junio 23, 2015
Maximiliano Klemen PhD Student, Instituto IMDEA Software Overview of CiaoPP's Resource Usage Analysis Framework: Evolution and Applications IMDEA Software Junio 16, 2015
Alessandra Gorla Assistant Research Professor, Instituto IMDEA Software An Evolutionary Approach to Unit-Level Invariant Discovery IMDEA Software Junio 9, 2015
Alexey Gotsman Assistant Research Professor, Instituto IMDEA Software Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems IMDEA Software Junio 2, 2015
Joaquín Arias PhD Student, Instituto IMDEA Software Towards a Generic Interface to Integrate CLP and Tabled Execution IMDEA Software Mayo 26, 2015
Nataliia Stulova PhD Student, Instituto IMDEA Software Practical Run-time Checking via Unobtrusive Property Caching IMDEA Software Mayo 19, 2015
Ratan Lal PhD Student, Instituto IMDEA Software Bounded error flowpipe computation of parameterized linear systems IMDEA Software Mayo 12, 2015
Dragan Ivanovic Post-doctoral Researcher, Instituto IMDEA Software Backtracking, non-determinism, and cuts in F# under 100 lines of code IMDEA Software Mayo 5, 2015
Srdjan Matic PhD Student (visiting), Instituto IMDEA Software CARONTE: Measuring the Prevalence of Content Leaks for Deanonymizing Tor Hidden Services IMDEA Software Abril 7, 2015
Pierre Ganty Assistant Research Professor, Instituto IMDEA Software Parameterized Verification of Asynchronous Shared-Memory Systems IMDEA Software Marzo 24, 2015
Dario Fiore Assistant Research Professor, Instituto IMDEA Software Efficiently Verifiable Computation on Encrypted Data IMDEA Software Marzo 17, 2015
Roberto Giacobazzi Faculty (visiting), Instituto IMDEA Software Abstract Symbolic Automata - Mixed syntactic/semantic similarity analysis of executables IMDEA Software Marzo 10, 2015
Ilya Sergey Post-doctoral Researcher, Instituto IMDEA Software Programming and Proving with Fine-Grained Concurrent Resources IMDEA Software Febrero 24, 2015
Michael Emmi Researcher, Instituto IMDEA Software Checking Observational Refinement, Tractably IMDEA Software Febrero 17, 2015
Leandro Guillén, Guillermo Jiménez Project Staff, Instituto IMDEA Software Backtracking, non-determinism, and cuts in F# under 100 lines of code IMDEA Software Febrero 10, 2015
Andrea Cerone Post-doctoral Researcher, Instituto IMDEA Software On Probabilistic, Broadcasting Distributed Systems IMDEA Software Febrero 3, 2015
François Dupressoir Post-doctoral Researcher, Instituto IMDEA Software Towards Verifiably-Secure Masking Compilers IMDEA Software Enero 27, 2015
Alessandra Gorla Assistant Research Professor, Instituto IMDEA Software Mining Android Apps for Anomalous Behaviors IMDEA Software Enero 20, 2015
Alejandro Sánchez PhD Student, Instituto IMDEA Software Invariant Generation for Parametrized Systems using Self-Reflection IMDEA Software Noviembre 25, 2014
Michael Ernst Faculty (visiting), Instituto IMDEA Software Collaborative verification of information flow for a high-assurance app store IMDEA Software Noviembre 18, 2014
Joaquín Arias PhD Student, Instituto IMDEA Software Failure Tabled Constraint Logic Programming by Interpolation IMDEA Software Noviembre 11, 2014
Remy Haemmerle Post-doctoral Researcher, Instituto IMDEA Software Inductive Proofs over CLP as Commutation Proofs IMDEA Software Noviembre 4, 2014
Dragan Ivanovic Post-doctoral Researcher, Instituto IMDEA Software Transforming Service Compositions Into Cloud-Friendly Actor Networks IMDEA Software octubre 28, 2014
Germán Delbianco PhD Student, Instituto IMDEA Software Concurrent Hoare-style Reasoning, deconstructed IMDEA Software Octubre 21, 2014
Viktor Vafeiadis Faculty (tenure-track), Max Planck Institute for Software Systems, Alemania Reasoning about the C/C++ weak memory model IMDEA Software Octubre 13, 2014
Pierre-Yves Strub Researcher, Instituto IMDEA Software A Formal Library for Elliptic Curves in the Coq Proof Assistant IMDEA Software Octubre 7, 2014