FORGE 2026
Sun 12 - Sat 18 April 2026
Rio de Janeiro, Brazil
co-located with
ICSE 2026
Toggle navigation
Attending
Venue: Windsor Convention Center and Hotels
ICSE 2026
Registration
Visa and Travel Authorization
Code of Conduct
Equity, Diversity, and Inclusion Plan for ICSE 2026
Official Travel Services
Sustainability at ICSE 2026
Travel Support
In-Person Conference
Visiting Rio | Touristic Advice
Program
FORGE Program
Your Program
Filter by Day
Sun 12 Apr
Mon 13 Apr
Tue 14 Apr
Wed 15 Apr
Thu 16 Apr
Fri 17 Apr
Sat 18 Apr
Tracks
FORGE 2026
FORGE Program
Research Papers
Industry Track
Data and Benchmarking
Keynotes
ICSE 2026
Social, Networking and Special Rooms
Organization
FORGE 2026 Committees
Organization Committee
Track Committees
Research Papers
Industry Track
Data and Benchmarking
Contributors
People Index
Search
Series
Series
FORGE 2027
FORGE 2026
FORGE 2025
FORGE 2024
Sign in
Sign up
ICSE 2026
(
series
) /
FORGE 2026
(
series
) /
Paschal Amusuo
ICSE 2026 profile
conf.research.org general profile
ASE 2023 profile
ESEC/FSE 2022 profile
FSE 2026 profile
ICSE 2022 profile
ICSE 2025 profile
ISSTA/ECOOP 2024 profile
Registered user since Mon 24 May 2021
Name:
Paschal Amusuo
Country:
United States
Affiliation:
Purdue University
Contributions
2026
ICSE
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
JAWs
Towards a Benchmark for Dependency Decision-Making
Show activities from other conferences
Share
ICSE 2026-profile
View general profile
x
Wed 28 Oct 10:57