CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Computer Systems ]

Computer Systems addresses topics related to the construction of software systems for currently emerging computing infrastructures, with a focus on techniques for improving performance, reliability and availability in clusters and clouds. Sample applications that may benefit from our research include high performance applications (e.g. software for scientific experiments) and systems requiring high reliability or availability (e.g. business apps, web shops, social networks).


bulletNuno Preguiça, Assistant Professor, Area/Group coordinator
bulletJosé Legatheaux Martins, Full Professor
bulletPedro Medeiros, Associate Professor
bulletRodrigo Rodrigues, Associate Professor
bulletCarmen Morgado, Assistant Professor
bulletHenrique João Domingos, Assistant Professor
bulletHervé Paulino, Assistant Professor
bulletJoão Lourenço, Assistant Professor
bulletMaria Cecília Gomes, Assistant Professor
bulletPaulo Afonso Lopes, Assistant Professor
bulletRui Marques, Assistant Professor
bulletSérgio Duarte, Assistant Professor
bulletVítor Duarte, Assistant Professor
bulletHenrique Moniz, Associate Researcher
bulletJoão Leitão, Associate Researcher
bulletKonstantinos (Kostas) Kloudas, Associate Researcher
bulletRicardo Dias, Associate Researcher
bulletTamito Kajiyama, Associate Researcher
bulletBernardo Ferreira, PhD Student
bulletCarlos Gonçalves, PhD Student
bulletDanielPorto, PhD Student
bulletDavid Navalho, PhD Student
bulletJoão André Silva, PhD Student
bulletJoão Soares, PhD Student
bulletLuis Assunção, PhD Student
bulletMiguel Ramos, PhD Student
bulletNuno Oliveira, PhD Student
bulletTiago Vale, PhD Student
bulletValter Balegas, PhD Student
Research Stream Activities:

*  Research Projects (42)
*  Publications (411)
*  Seminars @ CITI (56)
*  External Talks (42)
*  Graduation Activities (270)
*  Organization of Events (272)
*  Editorial Committees (8)
*  Prototypes (75)
*  Visits (43)


page 1 of 3 - listing seminars 1 to 20 of a total of 56

prev   |   1  2  3   |   next


* An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives
   [ 18 Feb 2015 ] - José Fragoso Santos (INRIA-Sophia Antipolis)

* Designing for Partition Tolerance with CRDTs
   [ 4 Dec 2014 ] - Carlos Baquero (Universidade do Minho)

* Finding kernel concurrency bugs
   [ 29 Oct 2014 ] - Pedro Fonseca (Max Planck Institute for Software Systems)

* Towards Sustainable Information Society – Green and Never Die Networks
   [ 26 Jun 2014 ] - Norio Shiratori (Waseda University)

* Reasoning about eventual consistency and replicated data types
   [ 16 Jun 2014 ] - Alexey Gotsman (IMDEA Software Institute)

* Advances in Noise-based Testing of Concurrent Programs
   [ 28 May 2014 ] - Zdenek Letko (Brno University of Technology)

* Space Complexity of Replicated Data Types
   [ 9 Apr 2014 ] - Marek Zawirski (INRIA)

* Incremental Parallel and Distributed Systems
   [ 26 Mar 2014 ] - Pramod Bhatotia (Max Planck Institute for Software Systems)

* The Quest for Supporting Snapshot Isolation in Transactional Memory
   [ 12 Mar 2014 ] - Ricardo Dias

* Probabilistic deduplication for cluster-based storage systems
   [ 29 Jan 2014 ] - Konstantinos (Kostas) Kloudas

* Blotter: Scalable and Low-Latency ACID Transactions for Geo-Replicated Storage
   [ 18 Dec 2013 ] - Henrique Moniz

* ChainReaction: a Causal+ Consistent Datastore based on Chain Replication
   [ 20 Nov 2013 ] - João Leitão

* Fault tolerance: there is no B
   [ 21 Jun 2013 ] - Allen Clement (Max Planck Institute for Software Systems)

* The Challenges of the Coverage Testing applied to Concurrent Software
   [ 3 Jun 2013 ] - Paulo Souza (Universidade de São Paulo), Simone Souza (Universidade de São Paulo)

* Consistency management in collaborative editing
   [ 20 Mar 2013 ] - Pascal Urso (Université de Lorraine)

* Extracting Relevant and Trustworthy Information from Microblogs
   [ 14 Dec 2012 ] - Krishna Gummadi (Max Planck Institute for Software Systems)

* Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems
   [ 5 Dec 2012 ] - Rolando Martins (Carnegie Mellon University)

* Single Operation Multiple Data - Data Parallelism at Subroutine Level
   [ 31 Oct 2012 ] - Hervé Paulino

* Digital and biological storage systems - a quantitative comparison
   [ 26 Sep 2012 ] - Tomasz Bilski (Poznań University of Technology)

* Sharing a Sequential Program: Correctness and Concurrency Analysis
   [ 20 Jul 2012 ] - Petr Kuznetsov (Technische Universität Berlin)


prev   |   1  2  3   |   next