If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where S.T. Erdweg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 15 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 23 Conference contribution
  • 7 Article

Compositional soundness proofs of abstract interpreters

Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 26 p. 72

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
  • 7 Downloads (Pure)

    Declarative specification of indentation rules: A tooling perspective on parsing and pretty-printing layout-sensitive languages

    de Souza Amorim, L. E., Erdweg, S., Steindorfer, M. J. & Visser, E., 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 3-15 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
  • 63 Downloads (Pure)

    Exploration of language specifications by compilation to first-order logic

    Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M., 2018, In : Science of Computer Programming. 155, p. 146-172 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 2 Citations (Scopus)
    3 Downloads (Pure)

    Incrementalizing Lattice-Based Program Analyses in Datalog

    Szabo, T., Bergmann, G., Erdweg, S. & Voelter, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-29 29 p., 139.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 10 Citations (Scopus)
    24 Downloads (Pure)

    Incremental Overload Resolution in Object-Oriented Programming Languages

    Szabo, T., Kuci, E., Bijman, M., Mezini, M. & Erdweg, S., 2018, ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops . New York, NY: Association for Computing Machinery (ACM), p. 27-33 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  • Activities

    • 2 Talk or presentation at a workshop, seminar, course or other meeting

    Privacy-aware Distributed Incremental Computation

    Mirko Köhler (Speaker), , Philip Haller (Speaker), , Sebastian Erdweg (Speaker), , Mira Mezini (Speaker), & Guido Salvaneschi (Speaker)

    22 Jun 2017

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

    IncAL: A DSL for Incremental Program Analysis with Lattices

    Tamas Szabo (Speaker), , Markus Völter (Speaker), & Sebastian Erdweg (Speaker)

    22 Jun 2017

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting