Registered user since Sun 9 Feb 2025
Name:Paul Somson
Affiliation:INESC TEC
GitHub: https://github.com/PaulSOMSON
Research interests:Formal methods
Contributions
2025
ICSE 2025-profile
View general profile
View general profile
- Attending
- Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
- Venue: Offsite Special Venue
- Reception venue: National Arts Centre
- Registration
- Virtual Attendance
- Presenting at ICSE 2025
- Food at ICSE2025
- Fun Activities
- Social media
- Hotels
- Getting Around Ottawa
- Visa and Travel Authorization
- Travelling to Ottawa
- Travel Support
- Code of Conduct
- Equity, Diversity, and Inclusion
- Sustainability
- FAQ
- Sponsors
- Program
- Tracks
- ICSE 2025
- Main Plenaries
- Panels and Special Sessions
- Research Track
- SE In Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Demonstrations
- Artifact Evaluation
- Industry Challenge Track
- Software Engineering Education
- Posters
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- Symposium on Software Engineering in the Global South (SEiGS)
- SRC - ACM Student Research Competition
- Social, Networking and Special Rooms
- Meetings and BOFs
- Student Mentoring Workshop (SMeW)
- Student Volunteers
- Co-hosted Conferences
- AST Automation of Software Test
- CAIN SE for Artificial Intelligence
- CHASE Cooperative and Human Aspects of SE
- CSEE&T Software Engineering Education
- FORGE AI Foundation Models and SE
- FormaliSE
- ICPC Program Comprehension
- ICPC
- ICPC Program Comprehension Early Research Achievements (ERA)
- ICPC Program Comprehension Vaclav Rajlich Early Career Award
- ICPC Program Comprehension Journal First
- ICPC Program Comprehension Replications and Negative Results (RENE)
- ICPC Program Comprehension Research Track
- ICPC Program Comprehension Tool Demonstration
- ICSR Software Reuse
- MOBILESoft Mobile SE and Systems
- MSR Mining Software Repositories
- MSR
- MSR Mining Software Repositories Data and Tool Showcase Track
- MSR Mining Software Repositories FCA Award
- MSR Mining Software Repositories Industry Track
- MSR Mining Software Repositories Junior PC
- MSR Mining Software Repositories Keynotes
- MSR Mining Software Repositories MIP Award
- MSR Mining Software Repositories Awards
- MSR Mining Software Repositories Mining Challenge
- MSR Mining Software Repositories Program
- MSR Mining Software Repositories Registered Reports
- MSR Mining Software Repositories Technical Papers
- MSR Mining Software Repositories Tutorials
- MSR Mining Software Repositories Vision and Reflection
- SEAMS Adaptive And Self-Managing Systems
- TechDebt Technical Debt
- Workshops
- AIOps AI for Cloud Service
- APR Automated Program Repair
- BotSE Bots in SE
- DeepTest Deep Learning <-> Testing
- Designing Software Design
- EnCyCriS Cybersecurity of Critical Systems
- FTW Flaky Tests Workshop
- FinanSE SE Challenges in Financial Firms
- GAS Games and SE
- GE@ICSE Gender Equality
- GI Genetic Improvement
- GREENS Green and Sustainable Software
- Gamify Gamification in Development + V & V
- IDE Integrated Development Environments
- IWSiB Software-Intensive Business
- LLM4Code Large Language Models for Code
- MO2RE Multi-Discip. Requirements Engineering
- NLBSE Natural Language Based SE
- NSE Neuro-Symbolic SE
- Q-SE Quantum SE
- RAIE Responsible AI Engineering
- RAISE Requirements Engg. for AI-Powered SW
- RoSE Robotics Software Engineering
- SATrends Software Architecture Trends
- SBFT Search-Based and Fuzz testing
- SE4ADS SE for Autonomous Driving Systems
- SERP4IoT SE for the Internet of Things
- SESoS Systems of Systems and Ecosystems
- STATIC Advancing Static Analysis
- SVM Software Vulnerability Management
- WETSEB SE for Blockchain
- WSESE Empirical Studies in SE
- Organization
- ICSE Steering Committee
- ICSE 2025 Committees
- Organizing Committee
- Track Committees
- Research Track
- SE In Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Demonstrations
- Artifact Evaluation
- Industry Challenge Track
- Posters
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- Symposium on Software Engineering in the Global South (SEiGS)
- SRC - ACM Student Research Competition
- Student Mentoring Workshop (SMeW)
- Student Volunteers
- Contributors
- People Index
- Co-hosted Conferences
- AST Automation of Software Test
- CAIN SE for Artificial Intelligence
- CHASE Cooperative and Human Aspects of SE
- CSEE&T
- FORGE AI Foundation Models and SE
- FormaliSE
- ICPC Program Comprehension
- ICSR Software Reuse
- MOBILESoft Mobile SE and Systems
- MSR Mining Software Repositories
- SEAMS Adaptive And Self-Managing Systems
- TechDebt Technical Debt
- Workshops
- AIOps
- APR
- BotSE
- DeepTest
- Designing
- EnCyCriS
- FTW
- FinanSE
- GAS
- GE@ICSE
- GI
- GREENS
- Gamify
- IDE
- IWSiB Software-Intensive Business
- LLM4Code
- MO2RE
- NLBSE
- NSE
- Q-SE
- RAIE
- RAISE
- RoSE
- SATrends
- SBFT
- SE4ADS
- SERP4IoT
- SESoS
- STATIC
- SVM
- WETSEB
- WSESE
- Search
- Series