[Club2] Invitation: Verified Monadification and Memoization @ Wed Feb 19, 2020 14:00 - 14:30 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Verified Monadification and Memoization
Speaker: Florian Sextl
Type: Bachelor's Thesis Presentation
Abstract:
This thesis describes an approach to extend the Monadification and  
Memoization framework for the theorem prover Isabelle. This framework  
allows for introducing memoization into a program by embedding it into a  
specific monad. In addition, an automatic correctness proof for the  
monadified function is performed. However, the monadification method  
introduces a rather large structural overhead and only works for its own  
memoization monad. The goal of our extension approach was, therefore, to  
reduce the overhead and to allow for more monads. We developed a new  
monadification procedure that meets both objectives. From this, we derived  
a proof-of-concept reference implementation that proved to fulfill all new  
requirements while keeping the framework’s original functionalities. The  
usability of our approach was also examined for a real-world example, the  
Bellman-Ford algorithm. Despite this, there are limitations of our method  
as well. For instance, the generalization of usable monads comes with an  
increased implementation overhead for the user, as they have to handle  
monad-specific lemmata and effects. We nevertheless conclude that our  
approach is successful for a general setting and can be used to extend the  
existing framework.
When: Wed Feb 19, 2020 14:00 – 14:30 Central European Time - Berlin
Where: MI 00.09.038 (Turing)
Calendar: club2 at mailbroy.informatik.tu-muenchen.de
Who:
     * julianbrunner at gmail.com - creator
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=MWdyNzU5aGhuZmQ0bTFndmxwbHAzcnF2ZjEgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTM1MWE3NmFmMWQ0OWRiMDkxY2FiZmMzNDhkNmEzYzM2ZThlNjY3YjE&ctz=Europe%2FBerlin&hl=en&es=0

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to send a response to  
the organizer and be added to the guest list, or invite others regardless  
of their own invitation status, or to modify your RSVP. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200217/1583917b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2705 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200217/1583917b/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2756 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200217/1583917b/attachment.bin>