Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @simon_jf@mastodon.scot.
Glasgow, Scotland
Joined May 2011
- Tweets2.8K
- Following1.4K
- Followers1.1K
- Likes9.2K
Pinned Tweet
Absolutely delighted that "Special Delivery: Programming with Mailbox Types" has been accepted to ICFP 2023!
Joint work with @duncanattard, Franek Sowul, @SimonJGay and Phil Trinder.
Draft: simonjf.com/drafts/pat-draft…
Code: github.com/simonjf/mbcheck
1/
Simon Fowler retweeted
As part of the SPLI Distinguished Lecture Series, Satnam Singh will give a talk entitled "Accelerating Large Language Models with Groq’s LPU Machine Learning Chips", to be held at 4PM on 26th September at the Informatics Forum, University of Edinburgh.
spli.scot/content/events/spl…
Simon Fowler retweeted
We're happy to announce that the *20th anniversary edition* of the Scottish Programming Languages Seminar (SPLS) will take place at the University of Glasgow on the 6th November 2024.
Details here: spli.scot/spls/meetings/2024…
Simon Fowler retweeted
SPLI and the Low Carbon and Sustainable Computing group at Glasgow are organising LOCO 2024, the 1st International Workshop on Low Carbon Computing on the 3rd December 2024.
You can find out more on the LOCO web page: locos.codeberg.page/loco2024…
Simon Fowler retweeted
We are happy to announce that Prof. Daniele Gorla will be giving a 9-hour graduate-level course on concurrent programming.
The course will take place on the 8th, 15th, and 22nd of August in the Informatics Forum, University of Edinburgh.
Find out more: spli.scot/content/events/spl…
Simon Fowler retweeted
The programme for the next SPLS, hosted by the University of Edinburgh, is up on the website! spli.scot/spls/meetings/2024…
Lots of exciting talks, on everything from substructural typing to teaching Haskell in high schools. Hope to see you there, in person or online!
Simon Fowler retweeted
The next Scottish Programming Languages Seminar will be held on the 1st July 2024, organised by the University of Edinburgh!
We're delighted to have a keynote by José Pedro Magalhães from Standard Chartered.
Further details here: spli.scot/spls/meetings/2024…
Simon Fowler retweeted
The Scottish Programming Languages and Verification Summer School (SPLV) is a great opportunity for researchers to learn about programming languages research from leading researchers!
This year, SPLV will be hosted by @mspstrath, Jul 29th - Aug 2nd.
More: spli.scot/splv/2024-strathcl…
Simon Fowler retweeted
Hello again, world! This is the official X account for the Scottish Programming Languages Institute (SPLI), which exists to co-ordinate events that enhance programming languages research in Scotland.
Simon Fowler retweeted
Call For Sponsorship: #SPLV 2024
We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School!
Industry support is welcomed. Please see below for how your company can help us.
scottish-pl-institute.github…
General registration will be opening soon!
Making a rare temporary return to “X” to say:
We at @GlasgowCS are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io). – at Glasgow, Scotland
Making a rare temporary return to Twitter to say:
We at @GlasgowCS are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io/).
jobs.ac.uk/job/DFG143/resear…
Specifically, we're hoping for someone who's interested in expanding the work on mailbox typing that we introduced in our recent ICFP'23 paper (simonjf.com/writing/pat.pdf).
Please feel free to reach out with questions or share with people who might be interested!
Simon Fowler retweeted
I'll be doing four session on graded types, linearity, and Granule!
Curious about PL and verification research? Interested in upgrading your skills or learn about advanced topics?
Registration is now open to the SPLV Summer School @ St Andrews. Mon 24 to Fri 28 July.
free for PhD students in Scotland, 100GBP otherwise.
splv23.github.io/
Simon Fowler retweeted
To address extreme levels of functional programming, we've applied the following temporary limits to GHC:
- functions may only produce 6000 thunks/day
- datatypes are limited to 3 constructors/type
- you can no longer use polymorphism, only fully instantiated types are allowed
Simon Fowler retweeted
Curious about PL and verification research? Interested in upgrading your skills or learn about advanced topics?
Registration is now open to the SPLV Summer School @ St Andrews. Mon 24 to Fri 28 July.
free for PhD students in Scotland, 100GBP otherwise.
splv23.github.io/
Simon Fowler retweeted
Peggy Gregory @onthepeg and I are looking for PhD applications for a 4 year funded project on #sustainable #SoftwareEngineering @GlasgowCS Contact @onthepeg or me if you are interested in human and technical aspects of #sustainable #softwaredevelopment 👇
We have a 4yr funded PhD on #sustainable #softwareengineering practice @GlasgowCS @UofGlasgow starting October 2023. Investigating the human and technical aspects of sustainability practices in industry. Contact me or @GulCalikli if interested
Hi @Schiphol, very rude member of staff on the ePassport gates exiting Schengen area terminal D. No need for it either, very small queue – at Haarlemmermeer, Nederland
Simon Fowler retweeted
GPCE submission deadline is approaching! Register your abstract by July 3 and submit your paper by July 7.
2023.splashcon.org/home/gpce…
