Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @szabta89
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @szabta89
-
Achievement unlocked: Wrote the first page of my PhD thesis today :) A lot more to come, but this was the first milestone.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The Incremental Computing Workshop
@splashcon has an exciting lineup https://2019.splashcon.org/home/ic-2019@frankmcsherry will give a keynote presentation about differential dataflow!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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
@splashcon https://2019.splashcon.org/home/ic-2019 https://github.com/szabta89/IncAHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
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
@splashcon in October. https://arxiv.org/abs/1908.00898 pic.twitter.com/Jx05xe90aJ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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. https://2019.splashcon.org/home/ic-2019
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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! :) http://www.dagstuhl.de/20131/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó 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."https://twitter.com/NoahHaber/status/1097565095272636421 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
Some thoughts on formal methods and DSLs (inspired by this year’s
#isola2018 conference):https://medium.com/@markusvoelter/isola-2018-thoughts-on-formal-verification-and-dsls-3967577aea48 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
Less than a week until
@splashcon Boston! We're ready! Our expert for incremental program analysis@szabta89 will be presenting a framework that supports relational analyses and lattice-based computations. Don't miss it: http://bit.ly/2Ariv9Z#OOPSLApic.twitter.com/f3yDXdKqTp
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Our paper 'Incrementalizing Lattice-Based Program Analyses in Datalog' has been accepted for OOPSLA'18! :) See you in Boston!
@markusvoelter@seba0_ @Gábor BergmannHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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
@curry_on_conf,@issta_conf poster session, FTfJP@ECOOPconf, and DPA@ECOOPconf.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Our paper "Incremental Overload Resolution in Object-Oriented Programming Languages" has been accepted for FTfJP'18! :) https://2018.ecoop.org/track/FTfJP-2018-papers …
@seba0_@lirakuci@m_meziniHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
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 http://www.curry-on.org
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Our
@curry_on_conf talk proposal entitled 'Better living through incrementality: Immediate static analysis feedback without loss of precision' has just been accepted! :)@seba0_Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What if I told you that you can write high-performance interpreters _easily_ for any of your MPS languages? https://www.nikostotz.de/blog/high-performance-interpreters-for-jetbrains-mps/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
#mpsmeetup@szabta89@markusvoelter: 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.pic.twitter.com/YGziPNkyr3
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
Do you want to work with
@itemis 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!pic.twitter.com/8YNOVvGdzK
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet
And now
@szabta89 is up with his talk on "Incrementalizing Static Program Analyses". Want to know what else is going on? Check out the full program here: http://bit.ly/2oU8fB7#LangDev18pic.twitter.com/0y8FSJwJVe
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tamás Szabó proslijedio/la je Tweet

Shaping the future. The first MPS community meetup. Don’t lose out on being a part of it. Get your ticket now: https://info.jetbrains.com/JetBrains-MPS-Community-Meetup-2018.html …pic.twitter.com/SzIdhzio3b
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.