Tamás Szabó

@szabta89

Language Engineer @ itemis / PhD student @ JGU Mainz

Stuttgart / Mainz / Budapest
Vrijeme pridruživanja: siječanj 2014.

Tweetovi

Blokirali ste korisnika/cu @szabta89

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

  1. 4. sij

    Achievement unlocked: Wrote the first page of my PhD thesis today :) A lot more to come, but this was the first milestone.

    Poništi
  2. 2. ruj 2019.

    The Incremental Computing Workshop has an exciting lineup will give a keynote presentation about differential dataflow!

    Poništi
  3. 2. ruj 2019.

    We have been working hard on incrementalizing lattice-based inter-procedural program analyses with IncA. We use differential dataflow to achieve good performance. You can learn the details at the IC Workshop of

    Poništi
  4. proslijedio/la je Tweet
    31. kol 2019.

    An idea that’s interested me for a long time: can we give a meaning to (semantics for) program *changes*, rather than whole programs? Will be talking about this at the Incremental Computation 2019 workshop at in October.

    Poništi
  5. 15. svi 2019.

    Why would you re-compute from scratch if you can do it also incrementally? Do you want to see how this can be done in different problem domains? Attend the Workshop on Incremental Computing! Even better if you propose a talk! Co-located with OOPSLA.

    Poništi
  6. 15. svi 2019.

    First time I got a personal invitation to a Dagstuhl! Next year, I will attend "Static Methods for Correctness of Model and Program Transformations". Already pretty excited about this! :)

    Poništi
  7. proslijedio/la je Tweet

    My PhD advisor told me to put a ten dollar bill between the pages of my thesis in the university library. "So I can check to see if anyone read it?", I asked. "No, of course no one will read it," he replied, "but when you come back into town you'll always have money for lunch."

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    9. stu 2018.

    Some thoughts on formal methods and DSLs (inspired by this year’s conference):

    Poništi
  9. proslijedio/la je Tweet
    29. lis 2018.

    Less than a week until Boston! We're ready! Our expert for incremental program analysis will be presenting a framework that supports relational analyses and lattice-based computations. Don't miss it:

    Poništi
  10. 17. kol 2018.

    Our paper 'Incrementalizing Lattice-Based Program Analyses in Datalog' has been accepted for OOPSLA'18! :) See you in Boston! @Gábor Bergmann

    Poništi
  11. 10. srp 2018.
    Prikaži ovu nit
    Poništi
  12. 10. srp 2018.

    Wanna learn how we do incremental program analysis? Let's meet up in Amsterdam next week! We will show off different aspects of IncA at , poster session, FTfJP , and DPA .

    Prikaži ovu nit
    Poništi
  13. 21. lip 2018.

    Our paper "Incremental Overload Resolution in Object-Oriented Programming Languages" has been accepted for FTfJP'18! :)

    Poništi
  14. proslijedio/la je Tweet
    25. svi 2018.

    Better living through incrementality: Immediate static analysis feedback without loss of precision * Static analyses are vital in modern software development. Static analyses are best known for d... Tamás Szabó & Sebastian Erdweg @ Curry On in Amsterdam

    Poništi
  15. 29. tra 2018.

    Our talk proposal entitled 'Better living through incrementality: Immediate static analysis feedback without loss of precision' has just been accepted! :)

    Poništi
  16. 27. tra 2018.

    What if I told you that you can write high-performance interpreters _easily_ for any of your MPS languages?

    Poništi
  17. proslijedio/la je Tweet
    19. tra 2018.

    : IncA is a feature that enables to write program analysis. The analysis is automatically incrementalized, making it possible to get a program continuously analyzed while you are editing it.

    Poništi
  18. proslijedio/la je Tweet
    12. tra 2018.

    Do you want to work with in language development, domain-specific languages, interpreters and compilers? If you can explain to us what the code below is good for, and how we should rename F1 through F6, as well as A, B, X and Y, then we should definitely talk!

    Poništi
  19. proslijedio/la je Tweet
    8. ožu 2018.

    And now is up with his talk on "Incrementalizing Static Program Analyses". Want to know what else is going on? Check out the full program here:

    Poništi
  20. proslijedio/la je Tweet
    22. sij 2018.

    🥁🥁 Shaping the future. The first MPS community meetup. Don’t lose out on being a part of it. Get your ticket now:

    Poništi

Č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:

    ·