N-GREENS SOFTWARE
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE
S2013/ICE-2731-2013-CM (N-Greens Software-CM)
| Descripción |
| Objetivos investigación |
| Resultados |
| Difusión |
| Ofertas de empleo |
| Contacto |
| Programa Anterior | |
| PROMESAS | |
| PROMETIDOS | |
| |
| |
| |
Difusión
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 |