Improved Gas Optimization of Smart Contracts (FSEN 2025 - Research Papers)

Mon 7 - Tue 8 April 2025 Västerås, Sweden

Who

Togzhan Barakbayeva, Soroush Farokhnia, Amir Kafshdar Goharshady, Pingjiang Li, Zhaorun LIN

Track

FSEN 2025 Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 8 Apr 2025 11:30 - 12:00 - Conference session 2 Chair(s): Cristina Seceleanu

Togzhan Barakbayeva

HKUST

Hong Kong SAR China

Soroush Farokhnia

Hong Kong University of Science and Technology

Hong Kong SAR China

Amir Kafshdar Goharshady

Hong Kong University of Science and Technology

Hong Kong

Pingjiang Li

HKUST

Hong Kong SAR China

Zhaorun LIN

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	Conference session 2 Research Papers Chair(s): Cristina Seceleanu Mälardalen University

11:00 30m Paper		Formally Verified Verifiable Group Generators Research Papers Mukesh Tiwari Swansea University, Swansea, UK, Mina Cyrus Swansea University, Swansea, UK
11:30 30m Research paper		Improved Gas Optimization of Smart Contracts Research Papers Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Pingjiang Li HKUST, Zhaorun LIN
12:00 30m Research paper		Finding Universally Quantified Heap Invariants by Horn Clause Transformations Research Papers Zafer Esen Uppsala University, Philipp Rümmer University of Regensburg and Uppsala University, Tjark Weber Uppsala University