Uploaded July 2026 | Updated September 2026, 2 weeks ago
This presentation was recorded at GOTO Copenhagen 2025. #GOTOcon #GOTOcph
gotocph.com
Sara Bergman - Co-Author of "Building Green Software" & Software Engineer at Microsoft @sarabergman1396
RESOURCES
https://bsky.app/profile/saraemilybergman.bsky.social
twitter.com/SaraEbergman
github.com/SaraEmilyBergman
linkedin.com/in/sara-bergman1
Links
ourworldindata.org/energy
ourworldindata.org/electricity-mix
blog.cloudflare.com/designing-edge-servers-with-arm-cpus
amperecomputing.com/assets/amadeus_case_study_8794122fe5.pdf
azure.microsoft.com/en-us/blog/azure-cobalt-100-based-virtual-machines-are-now-generally-available
cloud.google.com/blog/products/compute/introducing-googles-new-arm-based-cpu
devblogs.microsoft.com/dotnet/performance-improvements-in-net-9
devblogs.microsoft.com/dotnet/performance-improvements-in-net-9/#arm64
learn.microsoft.com/en-us/dotnet/core/compatibility/sdk/6.0/path-x64-emulated
github.com/danielmarbach/beyondsimplebenchmarks
blogs.windows.com/windowsdeveloper/2025/04/14/github-actions-now-supports-windows-on-arm-runners-for-all-public-repos
https://github.blog/news-insights/product-news/arm64-on-github-actions-powering-faster-more-efficient-build-systems
ABSTRACT
As the tech industry faces increasing pressure to reduce its environmental footprint, software engineers are well positioned to drive change—not just through efficient code, but by making smarter architectural choices.
This talk is a practical guide for engineers looking to port .NET services across architectures, particularly toward ARM-based platforms, to unlock energy efficiency and performance gains.
We’ll walk through the real-world journey of moving services from traditional x86 and x64 to ARM, highlighting the common roadblocks and how to overcome them.
This session is not just about theory—it’s a how-to for engineers who want to make their services greener without sacrificing quality or velocity. Whether you're working on microservices, APIs, or backend systems, you’ll leave a notion of what to watch out for and a clear understanding of the potential wins—both for your service and the planet. [...]
TIMECODES
00:00 Intro
01:28 What makes software green?
06:00 Energy efficiency
08:09 CPU: RISC vs. CISC
11:36 Why should you change?
13:49 The green wins
17:46 Hardware efficiency
24:49 The migration journey
42:01 Takeaways
42:27 Outro
Download slides and read the full abstract here:
gotocph.com/2025/sessions/3745
RECOMMENDED BOOKS
Anne Currie, Sarah Hsu, & Sara Bergman • Building Green Software • amzn.to/3IKopW5
Ioannis Kolaxis • 101 Green Software • https://www.kolaxis.dev/book-green-software
Bill Gates • How to Avoid a Climate Disaster • amzn.to/4iWtvPI
Mehdi Khosrow-Pour • Green Computing Strategies for Competitive Advantage and Business Sustainability • amzn.to/2YXbI7j
Lässig, Kersting & Morik • Computational Sustainability • amzn.to/3APBW8r
Zbigniew H. Gontar • Smart Grid Analytics for Sustainability and Urbanization • amzn.to/3pkRVsS
Katsoni & Segarra-Oña • Smart Tourism as a Driver for Culture and Sustainability • amzn.to/2YXfPQM
Carola Lilienthal • Sustainable Software Architecture • amzn.to/3yFXxoS
https://bsky.app/profile/gotocon.com
twitter.com/GOTOcon
linkedin.com/company/goto-
instagram.com/goto_con
facebook.com/GOTOConferences
#dotNET #GreenShift #SoftwareArchitecture #x86 #x64 #ARM #Microservices #BuildingGreenSoftware #Sustainability #SustainableSoftware #CarbonEfficiency #GreenSoftwareFoundation #Decarbonization #GreenCloud #GreenComputing #Programming #GreenSoftware #SaraBergman #GOTO
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
youtube.com/user/GotoConferences/?sub_confirmation=1
This presentation was recorded at GOTO Copenhagen 2025. #GOTOcon #GOTOcph
gotocph.com
Sara Bergman - Co-Author of "Building Green Software" & Software Engineer at Microsoft @sarabergman1396
RESOURCES
https://bsky.app/profile/saraemilybergman.bsky.social
twitter.com/SaraEbergman
github.com/SaraEmilyBergman
linkedin.com/in/sara-bergman1
Links
ourworldindata.org/energy
ourworldindata.org/electricity-mix
blog.cloudflare.com/designing-edge-servers-with-arm-cpus
amperecomputing.com/assets/amadeus_case_study_8794122fe5.pdf
azure.microsoft.com/en-us/blog/azure-cobalt-100-based-virtual-machines-are-now-generally-available
cloud.google.com/blog/products/compute/introducing-googles-new-arm-based-cpu
devblogs.microsoft.com/dotnet/performance-improvements-in-net-9
devblogs.microsoft.com/dotnet/performance-improvements-in-net-9/#arm64
learn.microsoft.com/en-us/dotnet/core/compatibility/sdk/6.0/path-x64-emulated
github.com/danielmarbach/beyondsimplebenchmarks
blogs.windows.com/windowsdeveloper/2025/04/14/github-actions-now-supports-windows-on-arm-runners-for-all-public-repos
https://github.blog/news-insights/product-news/arm64-on-github-actions-powering-faster-more-efficient-build-systems
ABSTRACT
As the tech industry faces increasing pressure to reduce its environmental footprint, software engineers are well positioned to drive change—not just through efficient code, but by making smarter architectural choices.
This talk is a practical guide for engineers looking to port .NET services across architectures, particularly toward ARM-based platforms, to unlock energy efficiency and performance gains.
We’ll walk through the real-world journey of moving services from traditional x86 and x64 to ARM, highlighting the common roadblocks and how to overcome them.
This session is not just about theory—it’s a how-to for engineers who want to make their services greener without sacrificing quality or velocity. Whether you're working on microservices, APIs, or backend systems, you’ll leave a notion of what to watch out for and a clear understanding of the potential wins—both for your service and the planet. [...]
TIMECODES
00:00 Intro
01:28 What makes software green?
06:00 Energy efficiency
08:09 CPU: RISC vs. CISC
11:36 Why should you change?
13:49 The green wins
17:46 Hardware efficiency
24:49 The migration journey
42:01 Takeaways
42:27 Outro
Download slides and read the full abstract here:
gotocph.com/2025/sessions/3745
RECOMMENDED BOOKS
Anne Currie, Sarah Hsu, & Sara Bergman • Building Green Software • amzn.to/3IKopW5
Ioannis Kolaxis • 101 Green Software • https://www.kolaxis.dev/book-green-software
Bill Gates • How to Avoid a Climate Disaster • amzn.to/4iWtvPI
Mehdi Khosrow-Pour • Green Computing Strategies for Competitive Advantage and Business Sustainability • amzn.to/2YXbI7j
Lässig, Kersting & Morik • Computational Sustainability • amzn.to/3APBW8r
Zbigniew H. Gontar • Smart Grid Analytics for Sustainability and Urbanization • amzn.to/3pkRVsS
Katsoni & Segarra-Oña • Smart Tourism as a Driver for Culture and Sustainability • amzn.to/2YXfPQM
Carola Lilienthal • Sustainable Software Architecture • amzn.to/3yFXxoS
https://bsky.app/profile/gotocon.com
twitter.com/GOTOcon
linkedin.com/company/goto-
instagram.com/goto_con
facebook.com/GOTOConferences
#dotNET #GreenShift #SoftwareArchitecture #x86 #x64 #ARM #Microservices #BuildingGreenSoftware #Sustainability #SustainableSoftware #CarbonEfficiency #GreenSoftwareFoundation #Decarbonization #GreenCloud #GreenComputing #Programming #GreenSoftware #SaraBergman #GOTO
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
youtube.com/user/GotoConferences/?sub_confirmation=1

![Metaprogramming, Synthesis & Verification • Nada Amin • YOW! 2025
This presentation was recorded at YOW! Australia 2025. #GOTOcon #YOW
https://yowcon.com
Nada Amin - Assistant Professor of Computer Science at Harvard SEAS
RESOURCES
https://github.com/namin
https://www.linkedin.com/in/mitnamin
https://cv.namin.org
Links
https://namin.seas.harvard.edu
https://github.com/namin/dafny-sketcher
https://github.com/namin/staged-miniKanren
https://github.com/namin/llm-verified-with-monte-carlo-tree-search
https://github.com/namin/holey
https://github.com/metareflection/dafny-annotator
https://github.com/namin/eurisclo
https://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp
ABSTRACT
With live examples Nada will demonstrate:
• Dafny and verification-aware programming, including proof by induction to verify properties of programs (for example, that an optimizer preserves semantics).
• Multi-stage programming, a principled approach to writing programs that write programs, and its incarnation in multi-stage relational programming for faster synthesis of programs with holes—with the theoretical insight that a staged interpreter is a compiler, and a staged relational interpreter for a functional language can turn functions into relations running backwards for synthesis.
• Monte Carlo Tree Search, specifically the VerMCTS variant, and when this exploration-exploitation sweet spot is a good match for synthesis problems.
The ideas will be demonstrated with live examples and open-source artifacts spanning verified programming, relational programming, and LLM-guided synthesis, including Dafny Sketcher, multi-stage miniKanren, VerMCTS, and Holey. [...]
TIMECODES
00:00 Intro
00:14 Verified synthesis
02:04 Neurosymbolic spectrum
03:14 Verification with Dafny
05:25 Demo
17:52 Orchestrating program synthesis
18:55 VerMCTS setup: Verified programming
20:41 PUCT
22:33 Dafny Sketcher
27:06 Holey
29:29 Demo
30:20 Lessons from Holey
31:15 Relational programming
33:22 Demo
35:46 Takeaways
37:27 Outro
Download slides and read the full abstract here:
https://yowcon.com/brisbane-2025/sessions/3919
RECOMMENDED BOOKS
Forsgren, Humble & Kim • Accelerate: The Science of Lean Software and DevOps • https://amzn.to/3tCz1xO
John Arundel & Justin Domingus • Cloud Native DevOps with Kubernetes • https://amzn.to/3hKZvI5
Wynne, Hellesoy & Tooke • The Cucumber Book • https://amzn.to/3tEUINJ
https://bsky.app/profile/gotocon.com
https://twitter.com/GOTOcon
https://www.linkedin.com/company/goto-
https://www.instagram.com/goto_con
https://www.facebook.com/GOTOConferences
#Metaprogramming #Synthesis #Verification #VerMCTS #Dafny #MonteCarloTreeSearch #DafnySketcher #miniKanren #Holey #RelationalProgramming #NadaAmin #YOWcon
CHANNEL MEMBERSHIP BONUS
Join this channel to get early access to videos & other perks:
https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech
Sign up for updates and specials at https://gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
https://www.youtube.com/user/GotoConferences/?sub_confirmation=1 Metaprogramming, Synthesis & Verification • Nada Amin • YOW! 2025](https://i.ytimg.com/vi/yLDiQBdwlHU/mqdefault.jpg)
