Zvonimir Rakamaric

@rakamaric

zvonimir.info
Vrijeme pridruživanja: rujan 2011.
87 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @rakamaric

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

  1. 26. sij

    RIP Kobe

    3 korisnika označavaju da im se sviđa
    Poništi
  2. 22. sij

    I bought a delicious smelling fried oysters po' boy to eat on my flight. Yep, I am one of those people.

    6 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    19. sij

    JJ presenting our work on multi- and cross-language verification at VMCAI.

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

    Camera-ready version of our VMCAI paper on exploring multi- and cross-language (think C+Rust) verification with SMACK is out. Check out Jack (JJ) Garzella's (undergraduate that spearheaded this work!) talk tomorrow at VMCAI.

    9 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  5. proslijedio/la je Tweet
    16. sij

    The list of accepted workshops is out. We have a few regular successful workshops and a few exciting newcomers!

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

    Possibly the best ending in Nextdoor history...

    56 replies 410 proslijeđenih tweetova 3.418 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    29. pro 2019.

    SOARlab and friends holiday party. Such a fun afternoon!

    1 proslijeđeni tweet 12 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    27. pro 2019.

    37 replies 253 proslijeđena tweeta 2.024 korisnika označavaju da im se sviđa
    Poništi
  9. 26. pro 2019.

    Insane windsurfing at speeds reaching 60 mph (100 km/h) done on a narrow channel in Namibia:

    3 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    19. pro 2019.

    9th Competition on Software Verification (SV-COMP 2020) has announced the results. Have a look:

    8 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  11. 16. pro 2019.

    Seems like a great idea! Submit your paper if you want for someone to try to replicate your results.

    New challenge track at Promise 2020. If you want your paper replicated please submit it to and . Excellent chance to replicate and maybe even generalize your results and reduce that threat to external validity.
    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    16. pro 2019.

    My professor in the School of Computing was named an 2020 IEEE Fellow & recognized her for contributions to compiler optimization and performance tuning. Prof. Hall is my PhD thesis co-Advisor and its has always been a great honor to be her student

    1 reply 10 proslijeđenih tweetova 30 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 13. pro 2019.

    Reading Donaldson family prose all day long. 's papers during the day, and his mom Julia's kids books (in Croatian!) in the evenings. Both are awesome!

    5 replies 2 proslijeđena tweeta 35 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    5. pro 2019.

    50 years ago today, became the fourth node on the ARPANET. 🎉

    24 proslijeđena tweeta 89 korisnika označava da im se sviđa
    Poništi
  15. 30. stu 2019.

    Beach Thanksgiving

    9 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    20. stu 2019.

    The deadline for submitting a CAV workshop proposal is coming up soon. So assemble a team asap and submit an awesome workshop proposal.

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  17. 12. stu 2019.

    Useful read.

    Here’s something I wrote for the blog about drawing better graphs in PL papers
    1 reply 1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  18. proslijedio/la je Tweet
    11. stu 2019.

    University of Utah seeks Director of School of Computing

    9 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  19. 10. stu 2019.

    It is hard not to brag about the mountains we are lucky to have in our back yard here in Salt Lake City: So excited about the upcoming ski season!

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  20. 7. stu 2019.

    We () are looking to hire a lecturing professor (all ranks). Please consider applying and/or retweet to spread the word. For more info see: Let me also add that Salt Lake City is pretty awesome:

    9 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi

@rakamaric 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:

    ·