|
Sebastian Erdweg
@
seba0_
|
|
@uni_mainz @uni_mainz_eng – Programming Languages
|
|
|
1.118
Tweetovi
|
302
Pratim
|
473
Osobe koje vas prate
|
| Tweetovi |
|
Sebastian Erdweg
@seba0_
|
6. ožu |
|
Thanks for having me and thanks for the great discussions
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
SoftwareLanguagesLab
@softlab_brussel
|
6. ožu |
|
Action shots of our guest speaker @seba0_ showing the @softlab_brussel crowd how to render program analyses incremental in Datalog. Thanks for the interesting talk and the ensuing discussions! pic.twitter.com/TjkGs8aOnx
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
ECOOP'20 Berlin
@ECOOPconf
|
12. pro 2018. |
|
A taste of ECOOP: "A Co-contextual Type Checker
for Featherweight Java" -- 2017.ecoop.org/event/ecoop-20… pic.twitter.com/YXwlFuUr8K
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
ECOOP'20 Berlin
@ECOOPconf
|
7. pro 2018. |
|
The #ecoop19 call for workshops has just been announced! 2019.ecoop.org/track/ecoop-20…
|
||
|
|
||
|
Sebastian Erdweg
@seba0_
|
29. stu 2018. |
|
This is great!
|
||
|
|
||
|
Sebastian Erdweg
@seba0_
|
12. stu 2018. |
|
Very proud of @udesou, for whose hard work we received the Distinguished Paper Award of @sleconf this year. The paper is about parsing and pretty-printing layout-sensitive languages erdweg.org/publications/d… with @loopingoptimism @EelcoVisser pic.twitter.com/qez50xT2bg
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Eduardo Souza
@udesou
|
6. stu 2018. |
|
We were awarded the distinguished paper at the International Conference on Software Language Engineering 2018 with the paper: Declarative Specification of… instagram.com/p/Bp2nJ6DF8RVh…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Eelco Visser
@EelcoVisser
|
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
conf.researchr.org/home/plnl-2018
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Guido Salvaneschi
@guidosalva
|
24. ruj 2018. |
|
Oliver on the impressive stage of icfp2018 presenting our work about event correlation with Cartesius ;) @etaconversion @seba0_ @nadamin @EugsterPatrick @m_mezini @stg_darmstadt pic.twitter.com/Pz3w7JNCqV
|
||
|
|
||
|
Sebastian Erdweg
@seba0_
|
12. ruj 2018. |
|
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.
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Eelco Visser
@EelcoVisser
|
29. kol 2018. |
|
Our paper on scalable incremental building with dynamic task dependencies scales the PIE DSL to large software project/pipelines (by @Gohla, @seba0_, and @EelcoVisser); next week at ASE 2018
eelcovisser.org/post/306/scala…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
DSLDI
@wsdsldi
|
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: 2018.splashcon.org/track/dsldi-20…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Tamás Szabó
@szabta89
|
17. kol 2018. |
|
Our paper 'Incrementalizing Lattice-Based Program Analyses in Datalog' has been accepted for OOPSLA'18! :) See you in Boston! @markusvoelter @seba0_ @Gábor Bergmann
|
||
|
|
||
|
Sebastian Erdweg
@seba0_
|
9. kol 2018. |
|
Was called pluto pluto-build.github.io, now called PIE and morphed into Spoofax. See our Programming'18 and upcoming ASE'18 paper for details erdweg.org/publications/p…
erdweg.org/publications/p…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Scala Symposium
@scala_symposium
|
5. kol 2018. |
|
Don't forget to submit your Scala Symposium Student talks by the end of this week :)!
conf.researchr.org/track/scala-20…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Christopher S. Meiklejohn
@cmeik
|
23. srp 2018. |
|
You want @curry_on_conf talks? We got 'em all on YouTube for ya!
youtube.com/channel/UC-WIC…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Scala Symposium
@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!
conf.researchr.org/track/scala-20…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Mikhail Barash
@mikhail_barash
|
16. srp 2018. |
|
Tamás Szabó @szabta89 and Sebastian Erdweg @seba0_ talking about incremental program analysis at @curry_on_conf #curryon pic.twitter.com/7kqyjt6JkC
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
STG Darmstadt
@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 @sylviagrewe, @seba0_ , André Pacak, and @m_mezini . Congratulations 🙌 ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#ac…
|
||
|
|
||
| Sebastian Erdweg proslijedio/la je tweet | ||
|
Tamás Szabó
@szabta89
|
21. lip 2018. |
|
Our paper "Incremental Overload Resolution in Object-Oriented Programming Languages" has been accepted for FTfJP'18! :) 2018.ecoop.org/track/FTfJP-20… @seba0_ @lirakuci @m_mezini
|
||
|
|
||