Sebastian Erdweg (@seba0_) profile picture

Sebastian Erdweg

@seba0_

@uni_mainz @uni_mainz_eng – Programming Languages

pl.informatik.uni-mainz.de/
Joined August 2013
  • Tweets1K
  • Following260
  • Followers401
71Media
Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)Photo by Sebastian Erdweg (@seba0_)
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!
Image from SoftwareLanguagesLab (@softlab_brussel)
Image from SoftwareLanguagesLab (@softlab_brussel)
1
1
4
A taste of ECOOP: "A Co-contextual Type Checker for Featherweight Java" -- 2017.ecoop.org/event/ecoop-2…
Image from ECOOP’26 Conference (@ECOOPconf)
7
8
The #ecoop19 call for workshops has just been announced! 2019.ecoop.org/track/ecoop-2…
9
1
9
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/decl… with @loopingoptimism @EelcoVisser
Image from Sebastian Erdweg (@seba0_)
6
1
24
Sebastian Erdweg retweeted
Eduardo Souza (@udesou) profile picture
Eduardo Souza@udesou6 Nov 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…
1
3
9
Sebastian Erdweg retweeted
Eelco Visser (@EelcoVisser) profile picture
Eelco Visser@EelcoVisser26 Oct 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…
12
3
Sebastian Erdweg retweeted
Guido Salvaneschi (@guidosalva) profile picture
Guido Salvaneschi@guidosalva24 Sep 2018
Oliver on the impressive stage of icfp2018 presenting our work about event correlation with Cartesius ;) @etaconversion @seba0_ @nadamin @EugsterPatrick @m_mezini @stg_darmstadt
Image from Guido Salvaneschi (@guidosalva)
3
14
Sebastian Erdweg retweeted
Eelco Visser (@EelcoVisser) profile picture
Eelco Visser@EelcoVisser29 Aug 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/sca…
2
Sebastian Erdweg retweeted
DSLDI (@wsdsldi) profile picture
DSLDI@wsdsldi22 Aug 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/dsl…
5
3
Sebastian Erdweg retweeted
Tamás Szabó (@szabta89) profile picture
Tamás Szabó@szabta8917 Aug 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
2
8
Don't forget to submit your Scala Symposium Student talks by the end of this week :)! conf.researchr.org/track/sca…
4
2
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/sca…
8
7
Sebastian Erdweg retweeted
Mikhail Barash (@mikhail_barash) profile picture
Mikhail Barash@mikhail_barash16 Jul 2018
Tamás Szabó @szabta89 and Sebastian Erdweg @seba0_ talking about incremental program analysis at @curry_on_conf #curryon
Image from Mikhail Barash (@mikhail_barash)
4
9
Sebastian Erdweg retweeted
STG Darmstadt (@stg_darmstadt) profile picture
STG Darmstadt@stg_darmstadt28 Jun 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-frankf…
1
7
Sebastian Erdweg retweeted
Tamás Szabó (@szabta89) profile picture
Tamás Szabó@szabta8921 Jun 2018
Our paper "Incremental Overload Resolution in Object-Oriented Programming Languages" has been accepted for FTfJP'18! :) 2018.ecoop.org/track/FTfJP-2… @seba0_ @lirakuci @m_mezini
3
7
Sebastian Erdweg retweeted
Curry On Conf (@curry_on_conf) profile picture
Curry On Conf@curry_on_conf5 Jun 2018
New work from @szabta89 and @seba0_ shows that you can have interesting static analyses AND incrementality too! Coming to Curry On this July! 🇳🇱 curry-on.org/2018/sessions/b…
Image from Curry On Conf (@curry_on_conf)
2
4
I am happy to announce that our paper “Versatile Event Correlation with Algebraic Effects” was accepted at ICFP. This is joint work with @nadamin @guidosalva @seba0_ Patrick Eugster and @m_mezini. Preprint coming soon.
4
3
1
19
Sebastian Erdweg retweeted
Tamás Szabó (@szabta89) profile picture
Tamás Szabó@szabta8929 Apr 2018
Our @curry_on_conf talk proposal entitled 'Better living through incrementality: Immediate static analysis feedback without loss of precision' has just been accepted! :) @seba0_
4
19
Sebastian Erdweg retweeted
Vadim Zaytsev (@grammarware) profile picture
Vadim Zaytsev@grammarware9 Mar 2018
Following @markusvoelter, @seba0_ shows us funclarations. The box has been opened, @richpaige. This world will never be the same again. #langdev
pie DSL code

ALT pie DSL code

1
1
5
The Scala Symposium 2018 will be co-located with @icfp_conference and @strangeloop_stl in St. Louis, Missouri, USA. Check out the Call for Papers conf.researchr.org/track/sca…
20
1
28
Load more