Registered user since Wed 5 Apr 2023
Name:Logan Murphy
Country:Canada
Affiliation:University of Toronto
Personal website: https://www.cs.toronto.edu/~lmurphy/
Research interests:Formal Methods
Contributions
Using general profile
ICSE 2027
Sun 25 April - Sat 1 May 2027 Dublin, Ireland
- Attending
- Sponsors
- Program
- Tracks
- ICSE 2027
- Research Track
- Software Engineering Education and Training (SEET)
- SE in Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Tool Demonstration and Data Showcase
- Artifact Evaluation
- ICSE 2027 Competitions
- Posters
- Industry Challenge
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- SRC - ACM Student Research Competition
- Student Mentoring Workshop (SMeW)
- ICSE 2027 Open Science Policies
- Student Volunteers
- Co-hosted Conferences
- AST Automation of Software Test
- CAIN SE for Artificial Intelligence
- CHASE Cooperative and Human Aspects of SE
- FORGE AI Foundation Models and SE
- FormaliSE Formal Methods in Software Engineering
- ICPC Program Comprehension
- MOBILESoft Mobile SE and Systems
- MSR Mining Software Repositories
- SEAMS Adaptive and Self-Managing Systems
- TechDebt Technical Debt
- Workshops
- AGENT Agentic Engineering
- AGENTVERIFY Infrastructure for Trustworthy Software Agents
- AIPerf AI for Software Performance and Performance Engineering for AI Systems
- AMPLIFY SE Idea Amplification
- CASE2Space Software Engineering for Mission-Critical and Autonomous Systems: from Earth to Outer Space
- CauSE Causal Methods in Software Engineering
- ChainSEC Software Supply Chain Security
- Designing Software Design
- DTwiSE Digital Twin Software Engineering
- EnCyCriS Cybersecurity of Critial Systems
- GREENS Green and Sustainable Software
- HUGS 1st International Workshop on Human-First Generative Software Engineering
- IDE Integrated Development Environments
- IWSiB Software-Intensive Business
- LLM4Code Large Language Models for Code
- LLMSC LLM Supply Chain Analysis
- MO2RE Multi-Discip. Requirements Engineering
- NLBSE Natural Language Based SE
- Q-SE Quantum SE
- RAISE Requirements Eng. for AIware
- ReCode Workshop on Code Translation, Transformation, and Modernization
- ResponsibleSE 3rd International Workshop on Responsible Software Engineering
- SE4ALL International Workshop on Software Engineering and AI for All
- SERP4IoT SE for the Internet of Things
- SERS SE & Research Software
- SESoS Systems of Systems and Ecosystems
- SWEBOK SE Body of Knowledge
- TrustedSoftwAIr
- UISE User Interface and Experience for SE
- WSESE Empirical Studies in SE
- Organization
- ICSE 2027 Committees
- Organizing Committee
- Track Committees
- Research Track
- Software Engineering Education and Training (SEET)
- SE in Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Tool Demonstration and Data Showcase
- Artifact Evaluation
- ICSE 2027 Competitions
- Posters
- Industry Challenge
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- 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
- FORGE AI Foundation Models and SE
- FormaliSE Formal Methods in Software Engineering
- ICPC Program Comprehension
- MOBILESoft Mobile SE and Systems
- MSR Mining Software Repositories
- SEAMS Adaptive and Self-Managing Systems
- TechDebt Technical Debt
- Workshops
- AGENT Agentic Engineering
- AGENTVERIFY Infrastructure for Trustworthy Software Agents
- AIPerf AI for Software Performance and Performance Engineering for AI Systems
- AMPLIFY SE Idea Amplification
- CASE2Space Software Engineering for Mission-Critical and Autonomous Systems: from Earth to Outer Space
- CauSE Causal Methods in Software Engineering
- ChainSEC Software Supply Chain Security
- Designing Software Design
- DTwiSE Digital Twin Software Engineering
- EnCyCriS Cybersecurity of Critial Systems
- GREENS Green and Sustainable Software
- HUGS 1st International Workshop on Human-First Generative Software Engineering
- IDE Integrated Development Environments
- IWSiB Software-Intensive Business
- LLM4Code Large Language Models for Code
- LLMSC LLM Supply Chain Analysis
- MO2RE Multi-Discip. Requirements Engineering
- NLBSE Natural Language Based SE
- Q-SE Quantum SE
- RAISE Requirements Eng. for AIware
- ReCode Workshop on Code Translation, Transformation, and Modernization
- ResponsibleSE 3rd International Workshop on Responsible Software Engineering
- SE4ALL
- SERP4IoT SE for the Internet of Things
- SERS SE & Research Software
- SESoS Systems of Systems and Ecosystems
- SWEBOK SE Body of Knowledge
- TrustedSoftwAIr
- UISE User Interface and Experience for SE
- WSESE Empirical Studies in SE
- Search
- Series