Kiko

@kikofernandez

Father. PhD student in parallel programming and type systems; lecturer at Uppsala University. Future author. Vicechair of ACM-W student chapter in Uppsala

Uppsala, Sweden
plresearcher.com
Vrijeme pridruživanja: svibanj 2008.
Rođen/a 1985.
46 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @kikofernandez

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kikofernandez

  1. proslijedio/la je Tweet
    3. velj

    Same for COORDINATION'20 😉

    DAIS’20 abstract registration deadline is on 03.02.2020 AoE. Consider submitting at
    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    3. velj

    DAIS’20 abstract registration deadline is on 03.02.2020 AoE. Consider submitting at

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    26. sij

    How to mix static and dynamic in a principled way, with fewer false positives? Try our approach to "Gradual Program Analysis", presented by Sam Estep today at Workshop on Gradual Typing . Read the paper!

    4 proslijeđena tweeta 29 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    24. sij

    Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification The nature of Blockchain architectures makes their verification a challenge, since it involves reasoning about potentially unbounded number of component

    1 reply 5 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    23. sij
    Odgovor korisnicima

    Uppsala is definitely worth a visit! I'm sure I'll be back some day :)

    1 reply 1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  6. proslijedio/la je Tweet
    22. sij

    Scan: A Simple Coordination Workbench This paper proposes a simple workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning on them using a fragment of linear temporal logic

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    20. sij

    We are happy to have the following Keynote speakers: - Holger Hermanns, Saarland University - Peter Kriens, OSGi Alliance - Ken McMillan, Microsoft Research, Redmond

    1 reply 2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    17. sij

    PL folks - I'd be grateful if you could spread the word about this to interested graduate students.

    Are you an undergrad or graduate student interested in programming languages? Then please consider applying to be a student volunteer at ! Deadline 28 February.
    17 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    16. sij

    We just moved Project Verona into the open on Github to facilitate academic collaborations in language research.

    96 proslijeđenih tweetova 273 korisnika označavaju da im se sviđa
    Poništi
  10. 16. sij

    Here is a simple presentation I gave about "How to Create a (Great) Research Artifact". I hope it is useful to the community :) Slides: Creation Process: Results:

    Poništi
  11. proslijedio/la je Tweet
    16. sij

    Towards Races in Linear Logic Process calculi based in logic, such as π DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races...

    3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    15. sij

    Reminder: Abstract deadline: February 3 Paper submission: February 14

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    14. sij

    Causal-Consistent Replay Debugging for Message Passing Programs Debugging of concurrent systems is an error-prone activity. There is no guarantee that a bug that appears in the original computation is replayed inside the debugger...

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    13. sij

    Putting Order in Strong Eventual Consistency Conflict-free replicated data types (CRDTs) aid programmers develop highly available and scalable distributed systems. The literature describes only a limited portfolio of conflict-free...

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    11. sij

    Two special topics at Coordination in Malta🇲🇹 coming June: (📧: and Stephanie Balzer) and (📧: and Ivan Lanese)

    COORDINATION 2020 is planning on having a dedicated session on techniques for interacting digital contracts. Consider submitting your papers! More info:
    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    10. sij

    Here is a simple presentation I gave today about: How to Create a (Great) Research Artifact Slides: Creation: Result:

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  17. 10. sij

    Here is a simple presentation I gave today about: How to Create a (Great) Research Artifact Slides: Creation: Result:

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    10. sij

    Verification of Concurrent Design Patterns with Data We provide a solution for the design of safe concurrent systems by compositional application of verified design patterns—called architectures—to a small set of functional components.

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    8. sij

    I would like to share my knowledge on how to automate the creation of research artifacts via

    3 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  20. 9. sij

    Thanks Einar. This method is the same that we did for the Godot paper for

    I would like to share my knowledge on how to automate the creation of research artifacts via
    1 korisnik označava da mu se sviđa
    Poništi

@kikofernandez još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·