SANER 2025
Tue 4 - Fri 7 March 2025
Montréal, Québec, Canada
Toggle navigation
Attending
Venue: Polytechnique Montréal
Travelling to Montreal
Registration
Sponsorship Opportunities
Equity, Diversity and Inclusion Plan
Tracks
SANER 2025
Research Papers
Industrial Track
Early Research Achievement (ERA) Track
Short Papers and Posters Track
Reproducibility Studies and Negative Results (RENE) Track
Registered Report Track
Tool Demo Track
Journal First Track
Tutorials Track
Workshops
Student Volunteers
Organization
SANER 2025 Committees
Organizing Committee
Track Committees
Research Papers
Industrial Track
Early Research Achievement (ERA) Track
Short Papers and Posters Track
Reproducibility Studies and Negative Results (RENE) Track
Registered Report Track
Tool Demo Track
Journal First Track
Tutorials Track
Workshops
Student Volunteers
Contributors
People Index
Search
Series
Series
SANER 2025
SANER 2024
Sign in
Sign up
SANER 2025
(
series
) /
Ye Liu
SANER 2025 profile
conf.research.org general profile
ASE 2022 profile
ESEC/FSE 2022 profile
Registered user since Sat 9 May 2020
Name:
Ye Liu
Contributions
2025
SANER
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
Show activities from other conferences
Share
Using general profile
x
Sat 28 Dec 09:03