Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2018/19 / Master-Seminar: Aktuelle Themen zur Programmiersprachensemantik


Inhaltsbereich

Master-Seminar: Aktuelle Themen zur Programmiersprachensemantik

Master-Seminar, Sabel

Aktuelles

  • Die Vorbesprechung und Themenvergabe fand am 19. Oktober statt.
  • Die Anmeldung erfolgt über die Zentralanmeldung für Masterseminare auf UniWorX.

Inhalt

Im Seminar werden aktuelle Forschungsartikel aus dem Bereich der Programmiersprachensemantik behandelt.      Thematische Schwerpunkte werden in den Bereichen der Funktionalen Programmiersprachen, Nebenläufigen Programmiersprachen und  Übersetzungen zwischen Programmiersprachen liegen.


Organisation

Anforderungen

  • Blitzvortrag 90 Sekunden: Inhaltsübersicht, eine Folie
  • Anwesenheit während der Seminarsitzungen
  • Vortrag: 30 Minuten (plus Diskussion)
  • Ausarbeitung zum Thema (20.000-30.000 Zeichen)
  • Einzelheiten werden in der Seminarvorbesprechung besprochen

Zeit und Ort

  • Die Vorbesprechung war am 19. Oktober um 10 Uhr im Raum L 109 (Oettingenstraße 67).
  • Die Blitzvorträge finden statt am 09. November um 10 c.t. in Raum L 109 (Oettingenstraße 67).
  • Die Vorträge finden statt am 01. Februar 2019 um 10 c.t. in Raum L 109 (Oettingenstraße 67)
  • Abgabetermine:
    • Abgabe der Folie zum Blitzvortrag über UniWorX bis zum 09. November 2018
    • Abgabe der (ersten Version der) Ausarbeitung über UniWorX bis zum 14. Januar 2019
    • Abgabe zweier anonymer Reviews (Zuteilung wird per Email mitgeteilt) über UniWorX bis zum 21. Januar 2019
    • Abgabe der Vortragsfolien über UniWorX bis zum 1. Februar 2019
    • Abgabe der endgültigen Version der Ausarbeitung bis 15. Februar 2019

 


Themen

Die Themen sind ausgewählte Beiträge zu internationalen Tagungen, die Grundlagen und Semantik von Programmiersprachen sowie funktionale Programmiersprachen behandeln:

Die bearbeiteten Themen (Bearbeitende sind durch Anfangsbuchstaben Vorname/Nachname zugeordnet):

  • 4. Linear Haskell: Practical linearity in a higher-order polymorphic language, bearbeitet von SV
    Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, and Arnaud Spiwack. Linear Haskell: Practical linearity in a higher-order polymorphic language. Proc. ACM Program. Lang., 2(POPL):5:1-5:29, December 2017.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 5. Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation, bearbeitet von JS
    Daniil Berezun and Neil D. Jones. Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation. In Proceedings of the 2017 ACM SIGPLAN Workshop on Partial  Evaluation and Program Manipulation, PEPM 2017, pages 1-11, New York, NY,  USA, 2017. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 7. Profiling for laziness, bearbeitet von AM
    Stephen Chang and Matthias Felleisen. Profiling for laziness. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pages 349-360, New York, NY, USA, 2014. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 12. Sound type-dependent syntactic language extension, bearbeitet von EL
    Florian Lorenzen and Sebastian Erdweg. Sound type-dependent syntactic language extension. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '16, pages 204-216, New York, NY, USA, 2016. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
Weitere Themen
  • 1. Relational cost analysis
    Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Jan Hoffmann. Relational cost analysis. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pages 316-329, New York, NY, USA, 2017. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 2. Contract-based resource verification for higher-order functions with memoization
    Ravichandhran Madhavan, Sumith Kulal, and Viktor Kuncak. Contract-based resource verification for higher-order functions with memoization. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pages 330-343, New York, NY, USA, 2017. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 3. Correctness of speculative optimizations with dynamic deoptimization.
    Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, and Jan Vitek. Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang., 2(POPL):49:1-49:28, December 2017.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 6. An operational semantics for android activities
    Etienne Payet and Fausto Spoto. An operational semantics for android activities.In Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, PEPM '14, pages 121-132, New York, NY,  USA, 2014. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 8. Freeze after writing: Quasi-deterministic parallel programming with lvars.
    Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, and Ryan R. Newton. Freeze after writing: Quasi-deterministic parallel programming with lvars. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pages 257-270, New York, NY,  USA, 2014. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 9. Parametric polymorphism and operational improvement.
    Jennifer Hackett and Graham Hutton. Parametric polymorphism and operational improvement. Proc. ACM Program. Lang., 2(ICFP):68:1-68:24, July 2018.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 10. Dag-calculus: A calculus for parallel computation.
    Umut A. Acar, Arthur Charguéraud, Mike Rainey, and Filip Sieczkowski. Dag-calculus: A calculus for parallel computation. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, pages 18-32, New York, NY, USA, 2016. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 11. Parallel functional arrays
    Ananya Kumar, Guy E. Blelloch, and Robert Harper. Parallel functional arrays.
    In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pages 706-718, New York, NY, USA, 2017.  ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 13. A program optimization for automatic database result caching
    Ziv Scully and Adam Chlipala. A program optimization for automatic database result caching. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pages 271-284, New York, NY, USA, 2017. ACM.
    [Zugriff über die Universitätsbibliothek der LMU München]
  • 14. Refinement reflection: Complete verification with SMT
    Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, and Ranjit Jhala. Refinement reflection: Complete verification with SMT. Proc. ACM Program. Lang., 2(POPL):53:1-53:31, December 2017.
    [Zugriff über die Universitätsbibliothek der LMU München]


Weitere Informationen

Tipps zum Aufbau von Vorträgen und zu Präsentationstechniken:

 

Artikelaktionen


Funktionsleiste