Twitter | Pretraživanje | |
Sebastian Erdweg
– Programming Languages
1.118
Tweetovi
302
Pratim
473
Osobe koje vas prate
Tweetovi
Sebastian Erdweg 6. ožu
Odgovor korisniku/ci @softlab_brussel
Thanks for having me and thanks for the great discussions
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
SoftwareLanguagesLab 6. ožu
Action shots of our guest speaker showing the crowd how to render program analyses incremental in Datalog. Thanks for the interesting talk and the ensuing discussions!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
ECOOP'20 Berlin 12. pro 2018.
A taste of ECOOP: "A Co-contextual Type Checker for Featherweight Java" --
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
ECOOP'20 Berlin 7. pro 2018.
The call for workshops has just been announced!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg 29. stu 2018.
Odgovor korisniku/ci @brosenan
This is great!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg 12. stu 2018.
Very proud of , for whose hard work we received the Distinguished Paper Award of this year. The paper is about parsing and pretty-printing layout-sensitive languages with
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Eduardo Souza 6. stu 2018.
We were awarded the distinguished paper at the International Conference on Software Language Engineering 2018 with the paper: Declarative Specification of…
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Eelco Visser 26. lis 2018.
PLNL 2018 1st VERSEN Workshop on Programming Languages in The Netherlands Thursday, November 22, 2018 University Library Utrecht, The Netherlands CALL FOR PARTICIPATION
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Guido Salvaneschi 24. ruj 2018.
Oliver on the impressive stage of icfp2018 presenting our work about event correlation with Cartesius ;)
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg 12. ruj 2018.
Odgovor korisniku/ci @Blaisorblade @brendanzab i 4 ostali
We’re currently exploring how our framework IncA for incremental static analysis can be used for incremental type checking. Early results on an incremental Rust type checker we’ve developed in IncA are very positive.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Eelco Visser 29. kol 2018.
Our paper on scalable incremental building with dynamic task dependencies scales the PIE DSL to large software project/pipelines (by , , and ); next week at ASE 2018
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
DSLDI 22. kol 2018.
We've extended our deadline for DSLDI talk proposals until the 24th! Plenty of time left to submit a two-page talk proposal on any topic related to domain-specific language design and implementation:
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Tamás Szabó 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
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg 9. kol 2018.
Odgovor korisniku/ci @jurgenvinju @AndrzejWasowski
Was called pluto , now called PIE and morphed into Spoofax. See our Programming'18 and upcoming ASE'18 paper for details
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Scala Symposium 5. kol 2018.
Don't forget to submit your Scala Symposium Student talks by the end of this week :)!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Christopher S. Meiklejohn 23. srp 2018.
You want talks? We got 'em all on YouTube for ya!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Scala Symposium 19. srp 2018.
Scala Symposium Student talk submissions on 10th of August. If you are a student and have some interesting work involving Scala, why not give a talk and receive feedback!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Mikhail Barash 16. srp 2018.
Tamás Szabó and Sebastian Erdweg talking about incremental program analysis at
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
STG Darmstadt 28. lip 2018.
Our paper "An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers" has been accepted for PPDP 2018. The paper is joint work of , , André Pacak, and . Congratulations 🙌
Reply Retweet Označi sa "sviđa mi se"
Sebastian Erdweg proslijedio/la je tweet
Tamás Szabó 21. lip 2018.
Our paper "Incremental Overload Resolution in Object-Oriented Programming Languages" has been accepted for FTfJP'18! :)
Reply Retweet Označi sa "sviđa mi se"