Florian Lorenzen

According to our database, Florian Lorenzen authored at least 6 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Sound type-dependent syntactic language extension.

Florian Lorenzen, Sebastian Erdweg

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2013

Modular and automated type-soundness verification for language extensions.

Florian Lorenzen, Sebastian Erdweg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Call-by-Value Semantics for Mutually Recursive First-Class Modules.

Judith Rohloff, Florian Lorenzen

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

2010

Notes on the Separate Compilation of Modelica.

Christoph Höger, Florian Lorenzen, Peter Pepper

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

2009

Constraint Functional Multicore Programming.

Petra Hofstedt, Florian Lorenzen

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

Sparse Non-blocking Collectives in Quantum Mechanical Calculations.

Torsten Hoefler, Florian Lorenzen, Andrew Lumsdaine

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008