go to start Older Seminar Runs
|home |print view |recent changes |changed February 13, 2017 |
exact
|You are 54.81.88.93 <- set your identity!

Sections: FS2016 Topics: TBD | Participants | HS2015/16 Topics: Lambda Calculus | Deadlines | FS2015 Topic: Types & Type-Systems | Remark: May 2015 (Draft Papers) | Timetable | Timetable Seminar Day | Remark: | HS2014 Topic: "Principles of Program Analysis" | Presentation: 7.1.2015 9:00-15:00 (mittag 12-13) | Topics | Application Examples: C/C++ Preprocessor | Important dates | Participants | Topics | Final Presentation | Supervisors |

SeminarHS16


FS2016 Topics: TBD ^

(Basics: https://www.imm.dtu.dk/~hrni/PPA/ppa.html )

+ additional original sources (might need to use library for those)

Moodle page: https://moodle.hsr.ch/course/view.php?id=592

Participants ^


HS2015/16 Topics: Lambda Calculus ^

(Basics: https://www.cis.upenn.edu/~bcpierce/tapl/ )

+ additional original sources (might need to use library for those)

Deadlines ^

23.10.2015
Table of Contents - including some initial notes
20.11.2015
First Draft (10-15 pages)
18.12.2015
Final Paper due (upload to wiki + email), first draft of presentation
14.01.2016
Presentation Day (location probably: 1.223 or in new building)

Participants

Introduction Kick Off Presentation

References:


FS2015 Topic: Types & Type-Systems ^

Introduction to the Topic, Kick Off Meeting, Time Table, Participants, Topics

References:

Participants

Topics

NamecontactTopicSupervisorDraft
Lukas Hofmaier lhofmaie (at) hsr (dot) chVerifying Type Class Laws with Equational ReasoningPeter Sommerlad http:files/hofmaier15_equationalreasoning.pdf
Toni Suter tsuter (at) hsr (dot) ch Polymorphism - universal (parametric, inclusion) & ad-hoc (overloeading, coercion)Peter Sommerlad http:files/semToniSuterPolymorphismFinal.pdf
Lukas Kretschmar lkretsch (at) hsr (dot) ch Generics - the good, the bad and the ugly partsJosef Joller http:files/20150605_SWSY_Sem_ProgAnalysis_Generics_lkretsch.pdf
André Gasser agasser (at) hsr (dot) ch Subtyping (aktualisiert 10.6.2015))Josef Joller http:files/seminar-type-systems.pdf , http:files/type-systems-subtyping-presentation.pdf
Jannis Grimm grimm (at) hsr (dot) ch Type Classes in Haskell and beyond Josef Joller http:files/semJannisGrimmTypeClasses.pdf (canceled)

Remark: May 2015 (Draft Papers) ^

If you need more info regarding writing a scientific paper, have a look at the module

Timetable ^

20150327 Milestone_1: Content / Gliederung individual appointment(s) with advisor
20150501 Milestone_2: outline and concept of seminar article reviewedindividual appointment(s) with advisor
20150605 Milestone_3: submit paper (12:00 noon [email okay])individual appointment(s) with advisor
201506?? Milestone_3: Seminar Presentation day (Wednesday, June 10 2015)room: 6.112 (confirmed)

Timetable Seminar Day ^

10-11 Lukas Hofmaier Equational Reasoning
11-12 André Gasser Subtyping
12-13 break ..
13-14 Toni Suter Polymorphism
14-15 Lukas Kretschmar Generics

Remark: ^

Delayed submission will result in a lower grade.


HS2014 Topic: "Principles of Program Analysis" ^

Presentation: 7.1.2015 9:00-15:00 (mittag 12-13) ^


Topics ^

Application Examples: C/C++ Preprocessor ^

Important dates ^

20130917 13:00 Slides KickOff Meeting room: 6.112
20131020 Milestone_1: outline and concept of seminar article reviewedindividual appointment(s) with advisor
20131120 Milestone_2: draft of article reviewedindividual appointment(s) with advisor
20131220 Milestone_3: article finished, draft of presentation reviewedindividual appointment(s) with advisor
20140114 (vor.) Seminar Presentation day (TDB)room: TBD

Participants | Topics ^

Please complete: Seminar - Program Analysis and Transformation 1

NamecontactTopicSupervisorPaper
SilvanoBrugnonisbrugnon (at) hsr (dot) ch Multi-Lingual
AndreGasseragasser (at) hsr (dot) chIntroduction JosefJoller http:files/sem-prog-an-tr_AndreGasserHS13.pdf
LukasWegmannl1wegman (at) hsr (dot) chMultilingualPeter Sommerlad

 

Final Presentation ^

NameTopicSlides
SilvanoBrugnoni
AndreGasserIntroduction to Island Grammars and SDF http:files/intro-island-grammars.pdf
LukasWegmannExtending Languages using Island Grammars compared to Modular Language Extensions

Supervisors ^

SeminarEvaluationSchema


Usage see WelcomeVisitors

http:files/MSE_Seminar_FS_2013.zip

http:files/presentation.pdf

http:files/hofmaier15_equationalreasoning.pdf


|home |print view |recent changes |changed February 13, 2017 |
exact
|You are 54.81.88.93 <- set your identity!

Older Seminar Runs
go to start