Conference Tables of Contents and Programs

Powered by Conference Publishing Consulting
Imprint and Privacy Policy

PEPM 2025: 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2025: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2025: Proceedings of the ACM on Programming Languages, Volume 9, Number POPL
Table of Contents
ISS 2024: Conference on Interactive Surfaces and Spaces
Table of Contents
ISS 2024: Proceedings of the ACM on Human-Computer Interaction, Volume 8, Number ISS
Table of Contents
SPLASH-E 2024: 2024 ACM SIGPLAN International Symposium on SPLASH-E
Table of Contents
Onward! 2024: 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
PAINT 2024: 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
Table of Contents
NSAD 2024: 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Table of Contents
JENSFEST 2024: Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday
Table of Contents
GPCE 2024: 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
VMIL 2024: 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
SLE 2024: 17th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
SPLASH 2024: 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
OOPSLA2 2024: Proceedings of the ACM on Programming Languages, Volume 8, Number OOPSLA2
Table of Contents
OOPSLA1 2024: Proceedings of the ACM on Programming Languages, Volume 8, Number OOPSLA1
Table of Contents
ICOOOLPS 2024: 19th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems
Table of Contents
FTfJP 2024: 26th ACM International Workshop on Formal Techniques for Java-like Programs
Table of Contents
VORTEX 2024: 7th ACM International Workshop on Verification and Monitoring at Runtime Execution
Table of Contents
MPLR 2024: 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
Table of Contents
DEBT 2024: 2nd ACM International Workshop on Future Debugging Techniques
Table of Contents
A-TEST 2024: 15th ACM International Workshop on Automating Test Case Design, Selection and Evaluation
Table of Contents
MET 2024: 9th ACM International Workshop on Metamorphic Testing
Table of Contents
Gamify 2024: 3rd ACM International Workshop on Gamification in Software Development, Verification, and Validation
Table of Contents
FUZZING 2024: 3rd ACM International Fuzzing Workshop
Table of Contents
ISSTA 2024: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
TyDe 2024: 9th ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
Haskell 2024: 17th ACM SIGPLAN International Haskell Symposium
Table of Contents
FUNARCH 2024: 2nd ACM SIGPLAN International Workshop on Functional Software Architecture
Table of Contents
FProPer 2024: 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance
Table of Contents
FARM 2024: 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
Table of Contents
Erlang 2024: 23rd ACM SIGPLAN International Workshop on Erlang
Table of Contents
ICFP 2024: Proceedings of the ACM on Programming Languages, Volume 8, Number ICFP
Table of Contents
QSE-NE 2024: 1st ACM International Workshop on Quantum Software Engineering: The Next Evolution
Table of Contents
PROMISE 2024: 20th International Conference on Predictive Models and Data Analytics in Software Engineering
Table of Contents
FaSE4Games 2024: 1st ACM International Workshop on Foundations of Applied Software Engineering for Games
Table of Contents
SEA4DQ 2024: 4th International Workshop on Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things
Table of Contents
AIware 2024: 1st ACM International Conference on AI-Powered Software
Table of Contents
FSE 2024: 32nd ACM International Conference on the Foundations of Software Engineering
Table of Contents
FSE 2024: Proceedings of the ACM on Software Engineering, Volume 1, Number FSE
Table of Contents
SOAP 2024: 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
ISMM 2024: 2024 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
ARRAY 2024: 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
Table of Contents
STOC 2024: 56th Annual ACM Symposium on Theory of Computing
Table of Contents
LCTES 2024: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
PLDI 2024: Proceedings of the ACM on Programming Languages, Volume 8, Number PLDI
Table of Contents
Programming Journal, Volume 9, Issue 1: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 8, Issue 3: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 8, Issue 2: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 8, Issue 1: The Art, Science, and Engineering of Programming
Table of Contents
‹Programming› 2024: 8th International Conference on the Art, Science, and Engineering of Programming
Table of Contents
CGO 2024: 2024 IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
CC 2024: 33rd ACM SIGPLAN International Conference on Compiler Construction
Table of Contents
PEPM 2024: 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2024: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2024: Proceedings of the ACM on Programming Languages, Volume 8, Number POPL
Table of Contents
SDD 2023: 1st International Workshop on Software Defect Datasets
Table of Contents
PROMISE 2023: 19th International Conference on Predictive Models and Data Analytics in Software Engineering
Table of Contents
SE4SafeML 2023: 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components
Table of Contents
SEA4DQ 2023: 3rd International Workshop on Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things
Table of Contents
QP4SE 2023: 2nd International Workshop on Quantum Programming for Software Engineering
Table of Contents
Gamify 2023: 2nd International Workshop on Gamification in Software Development, Verification, and Validation
Table of Contents
ESEC/FSE 2023: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Table of Contents
ISS 2023: Conference on Interactive Surfaces and Spaces
Table of Contents
ISS 2023: Proceedings of the ACM on Human-Computer Interaction, Volume 7, Number ISS
Table of Contents
SPLASH-E 2023: 2023 ACM SIGPLAN International Symposium on SPLASH-E
Table of Contents
Onward! 2023: 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
DLS 2023: 19th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
VMIL 2023: 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
REBLS 2023: 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
PAINT 2023: 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
Table of Contents
SLE 2023: 16th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
FTSCS 2023: 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
Table of Contents
SPLASH 2023: 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
OOPSLA2 2023: Proceedings of the ACM on Programming Languages, Volume 7, Number OOPSLA2
Table of Contents
OOPSLA1 2023: Proceedings of the ACM on Programming Languages, Volume 7, Number OOPSLA1
Table of Contents
MPLR 2023: 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
Table of Contents
GPCE 2023: 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
CHI PLAY 2023: The Annual Symposium on Computer-Human Interaction in Play
Table of Contents
CHI PLAY 2023: Proceedings of the ACM on Human-Computer Interaction, Volume 7, Number CHI PLAY
Table of Contents
Haskell 2023: 16th ACM SIGPLAN International Haskell Symposium
Table of Contents
FUNARCH 2023: 1st ACM SIGPLAN International Workshop on Functional Software Architecture
Table of Contents
FARM 2023: 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
Table of Contents
TyDe 2023: 8th ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
FHPNC 2023: 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing
Table of Contents
Erlang 2023: 22nd ACM SIGPLAN International Workshop on Erlang
Table of Contents
ICFP 2023: Proceedings of the ACM on Programming Languages, Volume 7, Number ICFP
Table of Contents
VORTEX 2023: 6th International Workshop on Verification and Monitoring at Runtime Execution
Table of Contents
FTfJP 2023: 25th ACM International Workshop on Formal Techniques for Java-like Programs
Table of Contents
ICOOOLPS 2023: 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems
Table of Contents
FUZZING 2023: 2nd International Fuzzing Workshop
Table of Contents
DEBT 2023: 1st ACM International Workshop on Future Debugging Techniques
Table of Contents
COP 2023: 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Table of Contents
ISSTA 2023: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
WHC 2023: 2023 IEEE World Haptics Conference
Program
Table of Contents
STOC 2023: 55th Annual ACM Symposium on Theory of Computing
Table of Contents
ISMM 2023: 2023 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
ARRAY 2023: 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
Table of Contents
LCTES 2023: 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
SOAP 2023: 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
PLDI 2023: Proceedings of the ACM on Programming Languages, Volume 7, Number PLDI
Table of Contents
ASPLOS 2023: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
Table of Contents
ASPLOS 2023: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
Table of Contents
ASPLOS 2023: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1
Table of Contents
Programming Journal, Volume 7, Issue 3: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 7, Issue 2: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 7, Issue 1: The Art, Science, and Engineering of Programming
Table of Contents
‹Programming› 2023: 7th International Conference on the Art, Science, and Engineering of Programming
Table of Contents
CGO 2023: 21st ACM/IEEE International Symposium on Code Generation and Optimization
Table of Contents
CC 2023: 32nd ACM SIGPLAN International Conference on Compiler Construction
Table of Contents
PEPM 2023: 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2023: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2023: Proceedings of the ACM on Programming Languages, Volume 7, Number POPL
Table of Contents
OOPSLA2 2022: Proceedings of the ACM on Programming Languages, Volume 6, Number OOPSLA2
Table of Contents
OOPSLA1 2022: Proceedings of the ACM on Programming Languages, Volume 6, Number OOPSLA1
Table of Contents
Onward! 2022: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
REBLS 2022: 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
FTSCS 2022: 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
Table of Contents
DLS 2022: 18th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
SLE 2022: 15th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
GPCE 2022: 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
VMIL 2022: 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
SPLASH-E 2022: 2022 ACM SIGPLAN International Symposium on SPLASH-E
Table of Contents
PAINT 2022: 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
Table of Contents
SPLASH Companion 2022: 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
ISS 2022 Companion: 2022 Conference on Interactive Surfaces and Spaces
Table of Contents
ISS 2022: Proceedings of the ACM on Human-Computer Interaction, Volume 6, Number ISS
Table of Contents
QP4SE 2022: 1st International Workshop on Quantum Programming for Software Engineering
Table of Contents
MSR4P&S 2022: 1st International Workshop on Mining Software Repositories Applications for Privacy and Security
Table of Contents
MaLTeSQuE 2022: 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation
Table of Contents
EASEAI 2022: 4th International Workshop on Education through Advanced Software Engineering and Artificial Intelligence
Table of Contents
SEA4DQ 2022: 2nd International Workshop on Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things
Table of Contents
PROMISE 2022: 18th International Conference on Predictive Models and Data Analytics in Software Engineering
Table of Contents
Gamify 2022: 1st International Workshop on Gamification of Software Development, Verification, and Validation
Table of Contents
A-TEST 2022: 13th International Workshop on Automating Test Case Design, Selection and Evaluation
Table of Contents
ESEC/FSE 2022: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Table of Contents
Haskell 2022: 15th ACM SIGPLAN International Haskell Symposium
Table of Contents
MPLR 2022: 19th International Conference on Managed Programming Languages and Runtimes
Table of Contents
TyDe 2022: 7th ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
Erlang 2022: 21st ACM SIGPLAN International Workshop on Erlang
Table of Contents
ICFP 2022: Proceedings of the ACM on Programming Languages, Volume 6, Number ICFP
Table of Contents
AISTA 2022: 2nd ACM International Workshop on AI and Software Testing/Analysis
Table of Contents
ISSTA 2022: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
STOC 2022: 54th Annual ACM SIGACT Symposium on Theory of Computing
Table of Contents
SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
LCTES 2022: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
ISMM 2022: 2022 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
EGRAPHS 2022: 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-factors
Table of Contents
MAPS 2022: 6th ACM SIGPLAN International Symposium on Machine Programming
Table of Contents
ARRAY 2022: 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
Table of Contents
PLDI 2022: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Table of Contents
FTfJP 2022: 24th ACM International Workshop on Formal Techniques for Java-like Programs
Table of Contents
CGO 2022: 2022 IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
CC 2022: 31st ACM SIGPLAN International Conference on Compiler Construction
Table of Contents
Programming Journal, Volume 6, Issue 3: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 6, Issue 2: The Art, Science, and Engineering of Programming
Table of Contents
Programming Journal, Volume 6, Issue 1: The Art, Science, and Engineering of Programming
Table of Contents
‹Programming› 2022 Companion: 6th International Conference on the Art, Science, and Engineering of Programming
Table of Contents
VEE 2022: 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
Table of Contents
ASPLOS 2022: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Table of Contents
PEPM 2022: 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2022: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
TOPLAS Journal-First 2022: Presentations of TOPLAS Journal-First Papers at POPL 2022
Table of Contents
POPL 2022: Proceedings of the ACM on Programming Languages, Volume 6, Number POPL
Table of Contents
SPLASH-E 2021: 2021 ACM SIGPLAN International SPLASH-E Symposium
Table of Contents
OOPSLA 2021: Proceedings of the ACM on Programming Languages, Volume 5, Number OOPSLA
Table of Contents
Onward! 2021: 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
VMIL 2021: 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
DLS 2021: 17th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
REBLS 2021: 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
DSM 2021: 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling
Table of Contents
SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
SCALA 2021: 12th ACM SIGPLAN International Scala Symposium
Table of Contents
GPCE 2021: 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
BCNC 2021: 1st ACM SIGPLAN International Workshop on Beyond Code: No Code
Table of Contents
AGERE 2021: 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
SPLASH Companion 2021: 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
MPLR 2021: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
Table of Contents
FARM 2021: 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
Table of Contents
Haskell 2021: 14th ACM SIGPLAN International Haskell Symposium
Table of Contents
Erlang 2021: 20th ACM SIGPLAN International Workshop on Erlang
Table of Contents
TORACLE 2021: 1st International Workshop on Test Oracles
Table of Contents
MaLTESQuE 2021: 5th International Workshop on Machine Learning Techniques for Software Quality Evolution
Table of Contents
EASEAI 2021: 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence
Table of Contents
A-TEST 2021: 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation
Table of Contents
ESEC/FSE 2021: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Table of Contents
TyDe 2021: 6th ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
FHPNC 2021: 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing
Table of Contents
ICFP 2021: Proceedings of the ACM on Programming Languages, Volume 5, Number ICFP
Table of Contents
PROMISE 2021: 17th International Conference on Predictive Models and Data Analytics in Software Engineering
Table of Contents
ICOOOLPS 2021: 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems
Table of Contents
FTfJP 2021: 23rd ACM International Workshop on Formal Techniques for Java-like Programs
Table of Contents
VORTEX 2021: 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
Table of Contents
COP 2021: 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Table of Contents
AISTA 2021: 1st ACM International Workshop on AI and Software Testing/Analysis
Table of Contents
ISSTA 2021: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
SOAP 2021: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
LCTES 2021: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
ISMM 2021: 2021 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
STOC 2021: 53rd Annual ACM SIGACT Symposium on Theory of Computing
Table of Contents
MAPS 2021: 5th ACM SIGPLAN International Symposium on Machine Programming
Table of Contents
ARRAY 2021: 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
Table of Contents
PLDI 2021: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Table of Contents
ASPLOS 2021: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Table of Contents
VEE 2021: 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
Table of Contents
<Programming> 2021 Companion: 5th International Conference on the Art, Science, and Engineering of Programming
Table of Contents
CC 2021: 30th ACM SIGPLAN International Conference on Compiler Construction
Table of Contents
CGO 2021: 2021 IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
PEPM 2021: 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2021: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2021: Proceedings of the ACM on Programming Languages, Volume 5, Number POPL
Table of Contents
SPLASH-E 2020: 2020 ACM SIGPLAN SPLASH-E Symposium
Table of Contents
Onward! 2020: 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
VMIL 2020: 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
TAPAS 2020: 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
Table of Contents
NSAD 2020: 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Table of Contents
AGERE 2020: 10th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
DLS 2020: 16th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
REBLS 2020: 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
SLE 2020: 13th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
OOPSLA 2020: Proceedings of the ACM on Programming Languages, Volume 4, Number OOPSLA
Table of Contents
GPCE 2020: 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
SPLASH Companion 2020: 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
SCALA 2020: 11th ACM SIGPLAN International Scala Symposium
Table of Contents
RL+SE&PL 2020: 1st ACM SIGSOFT International Workshop on Representation Learning for Software Engineering and Program Languages
Table of Contents
MaLTeSQuE 2020: 4th ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation
Table of Contents
APEQS 2020: 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software
Table of Contents
SEAD 2020: 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment
Table of Contents
EASEAI 2020: 2nd ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence
Table of Contents
PROMISE 2020: 16th ACM International Conference on Predictive Models and Data Analytics in Software Engineering
Table of Contents
LANGETI 2020: 1st ACM SIGSOFT International Workshop on Languages and Tools for Next Generation Testing
Table of Contents
A-TEST 2020: 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Table of Contents
ESEC/FSE 2020: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Table of Contents
MPLR 2020: 17th International Conference on Managed Programming Languages and Runtimes
Table of Contents
Haskell 2020: 13th ACM SIGPLAN International Haskell Symposium
Table of Contents
TyDe 2020: 5th ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
Erlang 2020: 19th ACM SIGPLAN International Workshop on Erlang
Table of Contents
ICFP 2020: Proceedings of the ACM on Programming Languages, Volume 4, Number ICFP
Table of Contents
FTfJP 2020: 22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
Table of Contents
TAV-CPS/IoT 2020: 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Table of Contents
ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
STOC 2020: 52nd Annual ACM SIGACT Symposium on Theory of Computing
Table of Contents
ISMM 2020: 2020 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
SOAP 2020: 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
MAPL 2020: 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Table of Contents
PLDI 2020: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation
Table of Contents
HOPL 2021: Proceedings of the ACM on Programming Languages, Volume 4, Number HOPL
Table of Contents
HOPL 2020: Proceedings of the ACM on Programming Languages, Volume 4, Number HOPL
Table of Contents
<Programming'20> Companion: 4th International Conference on the Art, Science, and Engineering of Programming
Table of Contents
CGO 2020: 18th ACM/IEEE International Symposium on Code Generation and Optimization
Table of Contents
CC 2020: 29th International Conference on Compiler Construction
Table of Contents
VST 2020: 2020 IEEE 3rd International Workshop on Validation, Analysis, and Evolution of Software Tests
Table of Contents
IWSC 2020: 2020 IEEE 14th International Workshop on Software Clones
Table of Contents
IWBOSE 2020: 2020 IEEE 3rd International Workshop on Blockchain Oriented Software Engineering
Table of Contents
IBF 2020: 2020 IEEE 2nd International Workshop on Intelligent Bug Fixing
Table of Contents
SANER 2020: 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering
Table of Contents
PEPM 2020: 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2020: 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2020: Proceedings of the ACM on Programming Languages, Volume 4, Number POPL
Table of Contents
SPLASH-E 2019: 2019 ACM SIGPLAN SPLASH-E Symposium
Table of Contents
OOPSLA 2019: Proceedings of the ACM on Programming Languages, Volume 3, Number OOPSLA
Table of Contents
Onward! 2019: 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
VMIL 2019: 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
AI-SEPS 2019: 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems
Table of Contents
AGERE 2019: 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
REBLS 2019: 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
MPLR 2019: 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
Table of Contents
GPCE 2019: 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
META 2019: 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
Table of Contents
DSM 2019: 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling
Table of Contents
SPLASH Companion 2019: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
SLE 2019: 12th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
DLS 2019: 15th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
WAMA 2019: 3rd ACM SIGSOFT International Workshop on App Market Analytics
Table of Contents
MaLTeSQuE 2019: 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation
Table of Contents
SQUADE 2019: 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies
Table of Contents
IWSiB 2019: 2nd ACM SIGSOFT International Workshop on Software-Intensive Business: Start-ups, Platforms and Ecosystems
Table of Contents
EnSEmble 2019: 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms
Table of Contents
EASEAI 2019: 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence
Table of Contents
A-TEST 2019: 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Table of Contents
ESEC/FSE 2019: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Table of Contents
FARM 2019: 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Table of Contents
Haskell 2019: 12th ACM SIGPLAN International Haskell Symposium
Table of Contents
TyDe 2019: 4th ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
FHPNC 2019: 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing
Table of Contents
Erlang 2019: 18th ACM SIGPLAN International Workshop on Erlang
Table of Contents
ICFP 2019: Proceedings of the ACM on Programming Languages, Volume 3, Number ICFP
Table of Contents
TAV-CPS/IoT 2019: 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Table of Contents
ISSTA 2019: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
STOC 2019: 51st Annual ACM SIGACT Symposium on the Theory of Computing
Table of Contents
DBPL 2019: 17th ACM SIGPLAN International Symposium on Database Programming Languages
Table of Contents
LCTES 2019: 20th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
ISMM 2019: 2019 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
SOAP 2019: 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
MAPL 2019: 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Table of Contents
CHIUW 2019: ACM SIGPLAN 6th Chapel Implementers and Users Workshop
Table of Contents
ARRAY 2019: 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
Table of Contents
PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Table of Contents
VEE 2019: 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
Table of Contents
MAINT 2019: 2019 IEEE 2nd International Workshop on Mining and Analyzing Interaction Histories
Table of Contents
IWSC 2019: 2019 IEEE 13th International Workshop on Software Clones
Table of Contents
IWBOSE 2019: 2019 IEEE 2nd International Workshop on Blockchain Oriented Software Engineering
Table of Contents
IBF 2019: 2019 IEEE 1st International Workshop on Intelligent Bug Fixing
Table of Contents
AI4Mobile 2019: 2019 IEEE 1st International Workshop on Artificial Intelligence for Mobile
Table of Contents
SANER 2019: 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering
Table of Contents
CGO 2019: 2019 IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
CC 2019: 28th International Conference on Compiler Construction
Table of Contents
PEPM 2019: 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2019: 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2019: Proceedings of the ACM on Programming Languages, Volume 3, Number POPL
Table of Contents
WASPI 2018: 1st ACM SIGSOFT International Workshop on Automated Specification Inference
Table of Contents
OOPSLA 2018: Proceedings of the ACM on Programming Languages, Volume 2, Number OOPSLA
Table of Contents
Onward! 2018: 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
AI-SEPS 2018: 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems
Table of Contents
DLS 2018: 14th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
SPLASH-E 2018: 2018 ACM SIGPLAN SPLASH-E Workshop
Table of Contents
META 2018: 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
Table of Contents
AGERE 2018: 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
SLE 2018: 11th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
GPCE 2018: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
SWAN 2018: 4th ACM SIGSOFT International Workshop on Software Analytics
Table of Contents
A-TEST 2018: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
Table of Contents
VMIL 2018: 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
REBLS 2018: 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
NL4SE 2018: 4th ACM SIGSOFT International Workshop on NLP for Software Engineering
Table of Contents
EnSEmble 2018: 1st ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering
Table of Contents
ESEC/FSE 2018: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Program
Table of Contents
FHPC 2018: 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing
Table of Contents
FARM 2018: 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Table of Contents
Erlang 2018: 17th ACM SIGPLAN International Workshop on Erlang
Table of Contents
Scala 2018: 9th ACM SIGPLAN International Scala Symposium
Table of Contents
TyDe 2018: 3rd ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
Haskell 2018: 11th ACM SIGPLAN International Haskell Symposium
Table of Contents
ICFP 2018: Proceedings of the ACM on Programming Languages, Volume 2, Number ICFP
Table of Contents
IWoR 2018: 2nd International Workshop on Refactoring
Table of Contents
A-Mobile 2018: 1st International Workshop on Advances in Mobile App Analysis
Table of Contents
SoftwareMining 2018: 7th International Workshop on Software Mining
Table of Contents
MASES 2018: 1st International Workshop on Machine Learning and Software Engineering in Symbiosis
Table of Contents
ASE 2018: 33rd ACM/IEEE International Conference on Automated Software Engineering
Table of Contents
ISSTA 2018: 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
Program
Table of Contents
ITiCSE 2018 Companion: 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education
Table of Contents
ITiCSE 2018: 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education
Program
Table of Contents
STOC 2018: 50th Annual ACM SIGACT Symposium on the Theory of Computing
Table of Contents
ARRAY 2018: 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Table of Contents
LCTES 2018: 19th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
MAPL 2018: 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Table of Contents
FMS 2018: 2018 ACM SIGPLAN International Workshop on Formal Methods and Security
Table of Contents
PLDI 2018: 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
Table of Contents
ISMM 2018: 2018 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
<Programming'18> Companion: 2nd International Conference on the Art, Science, and Engineering of Programming
Table of Contents
Haptics Symposium 2018 Companion: Companion Proceedings of the 2018 IEEE Haptics Symposium
Program
Table of Contents
Haptics Symposium 2018: 2018 IEEE Haptics Symposium
Program
Table of Contents
VST 2018: 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests
Program
Table of Contents
MaLTeSQuE 2018: 2018 IEEE International Workshop on Machine Learning Techniques for Software Quality Evaluation
Program
Table of Contents
MAINT 2018: 2018 IEEE 1st International Workshop on Mining and Analyzing Interaction Histories
Program
Table of Contents
IWSC 2018: 2018 IEEE 12th International Workshop on Software Clones
Program
Table of Contents
IWBOSE 2018: 2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering
Program
Table of Contents
SANER 2018: 2018 IEEE 25th International Conference on Software Analysis, Evolution, and Reengineering
Program
Table of Contents
CGO 2018: 2018 IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
CC 2018: 27th International Conference on Compiler Construction
Table of Contents
PEPM 2018: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2018: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Table of Contents
POPL 2018: Proceedings of the ACM on Programming Languages, Volume 2, Number POPL
Table of Contents
MIE 2017: 1st ACM SIGCHI International Workshop on Multimodal Interaction for Education
Table of Contents
MHFI 2017: 2nd ACM SIGCHI International Workshop on Multisensory Approaches to Human-Food Interaction
Table of Contents
ISIAA 2017: 1st ACM SIGCHI International Workshop on Investigating Social Interactions with Artificial Agents
Table of Contents
ICMI 2017: 19th ACM International Conference on Multimodal Interaction
Table of Contents
SoftwareMining 2017: 2017 6th IEEE/ACM International Workshop on Software Mining
Table of Contents
ASE 2017: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering
Program
Table of Contents
Onward! 2017: 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
VMIL 2017: 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
DLS 2017: 13th ACM SIGPLAN International Symposium on Dynamic Languages
Table of Contents
SEPS 2017: 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems
Table of Contents
REBLS 2017: 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
FOSD 2017: 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
Table of Contents
CoCoS 2017: 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems
Table of Contents
AGERE 2017: 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
SLE 2017: 10th ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
GPCE 2017: 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
PX/17.2: 3rd ACM SIGPLAN International Workshop on Programming Experience
Table of Contents
Meta 2017: 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
Table of Contents
SPLASH Companion 2017: 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Table of Contents
SCALA 2017: 8th ACM SIGPLAN International Scala Symposium
Table of Contents
OOPSLA 2017: Proceedings of the ACM on Programming Languages, Volume 1, Number OOPSLA
Program
Table of Contents
FARM 2017: 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Table of Contents
Erlang 2017: 16th ACM SIGPLAN International Workshop on Erlang
Table of Contents
Haskell 2017: 10th ACM SIGPLAN International Haskell Symposium
Table of Contents
FHPC 2017: 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing
Table of Contents
WAMA 2017: 2nd ACM SIGSOFT International Workshop on App Market Analytics
Program
Table of Contents
SWAN 2017: 3rd ACM SIGSOFT International Workshop on Software Analytics
Program
Table of Contents
SERF 2017: 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics
Program
Table of Contents
A-TEST 2017: 8th ACM SIGSOFT International Workshop on Automated Software Testing
Program
Table of Contents
ESEC/FSE 2017: 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Program
Table of Contents
TyDe 2017: 2nd ACM SIGPLAN International Workshop on Type-Driven Development
Table of Contents
ICFP 2017: Proceedings of the ACM on Programming Languages, Volume 1, Number ICFP
Table of Contents
SPIN 2017: 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Table of Contents
TECPS 2017: 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems
Table of Contents
ISSTA 2017: 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
Table of Contents
ICSSP 2017: 2017 International Conference on Software and Systems Process
Table of Contents
LCTES 2017: 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
Table of Contents
STOC 2017: 49th Annual ACM SIGACT Symposium on the Theory of Computing
Program
Table of Contents
SOAP 2017: 6th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
MAPL 2017: 1st ACM SIGPLAN Workshop on Machine Learning and Programming Languages
Table of Contents
ARRAY 2017: 4th International Workshop on Libraries, Languages and Compilers for Programming
Table of Contents
PLDI 2017: 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
Table of Contents
ISMM 2017: 2017 ACM SIGPLAN International Symposium on Memory Management
Table of Contents
ETAPS 2017: 2017 European Joint Conferences on Theory and Practice of Software
Program
Table of Contents
VR 2017: 2017 IEEE Virtual Reality
Program
Table of Contents
TVCG 2017: IEEE Transactions on Visualization and Computer Graphics
Program
Table of Contents
3DUI 2017: 2017 IEEE Symposium on 3D User Interfaces
Program
Table of Contents
MaLTeSQuE 2017: 2017 IEEE International Workshop on Machine Learning Techniques for Software Quality Evaluation
Table of Contents
IWSC 2017: 2017 IEEE 11th International Workshop on Software Clones
Table of Contents
SANER 2017: 2017 IEEE 24th International Conference on Software Analysis, Evolution, and Reengineering
Program
Table of Contents
CC 2017: 26th International Conference on Compiler Construction
Table of Contents
CGO 2017: 2017 IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
PEPM 2017: 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2017: 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Table of Contents
POPL 2017: 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Table of Contents
RELENG 2016: 4th International Workshop on Release Engineering
Table of Contents
A-TEST 2016: 7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Table of Contents
SSE 2016: 8th International Workshop on Social Software Engineering
Table of Contents
CHESE 2016: 2nd International Code Hunt Workshop on Educational Software Engineering
Table of Contents
WAMA 2016: International Workshop on App Market Analytics
Table of Contents
SWAN 2016: 2nd International Workshop on Software Analytics
Table of Contents
FSE 2016: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering
Program
Table of Contents
ICMI 2016: 18th ACM International Conference on Multimodal Interaction
Program
Table of Contents
OOPSLA 2016: 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Table of Contents
Onward! 2016: 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
SEPS 2016: 3rd International Workshop on Software Engineering for Parallel Systems
Table of Contents
REBLS 2016: 3rd International Workshop on Reactive and Event-Based Languages and Systems
Table of Contents
PLATEAU 2016: 7th International Workshop on Evaluation and Usability of Programming Languages and Tools
Table of Contents
DLS 2016: 12th Symposium on Dynamic Languages
Table of Contents
VMIL 2016: 8th International Workshop on Virtual Machines and Intermediate Languages
Table of Contents
Mobile! 2016: 1st International Workshop on Mobile Development
Table of Contents
ITSLE 2016: 1st Industry Track for Software Language Engineering
Table of Contents
SLE 2016: 2016 ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
GPCE 2016: 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
FOSD 2016: 7th International Workshop on Feature-Oriented Software Development
Table of Contents
DSM 2016: International Workshop on Domain-Specific Modeling
Table of Contents
AGERE 2016: 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
SPLASH Companion 2016: 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
Table of Contents
SCALA 2016: 2016 7th ACM SIGPLAN Scala Symposium
Table of Contents
FARM 2016: 4th International Workshop on Functional Art, Music, Modelling and Design
Table of Contents
Erlang 2016: 15th International Workshop on Erlang 2016
Table of Contents
Haskell 2016: 9th International Haskell Symposium
Table of Contents
FHPC 2016: 5th International Workshop on Functional High-Performance Computing
Table of Contents
TyDe 2016: 1st International Workshop on Type-Driven Development
Table of Contents
ICFP 2016: 21st ACM SIGPLAN International Conference on Functional Programming
Table of Contents
IWoR 2016: 1st International Workshop on Software Refactoring
Table of Contents
ForMABS 2016: International Workshop on Formal Methods for Analysis of Business Systems
Table of Contents
SoftwareMining 2016: 5th International Workshop on Software Mining
Table of Contents
SCTDCP 2016: 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs
Table of Contents
ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering
Table of Contents
QUDOS 2016: 2nd International Workshop on Quality-Aware DevOps
Table of Contents
INTUITEST 2016: 2nd International Workshop on User Interface Test Automation
Table of Contents
ISSTA 2016: 25th International Symposium on Software Testing and Analysis
Program
Table of Contents
STOC 2016: 48th Annual ACM SIGACT Symposium on the Theory of Computing
Table of Contents
X10 2016: 6th ACM SIGPLAN X10 Workshop
Table of Contents
SOAP 2016: 5th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
ARRAY 2016: 3rd International Workshop on Libraries, Languages and Compilers for Programming
Table of Contents
ISMM 2016: ACM SIGPLAN International Symposium on Memory Management
Table of Contents
PLDI 2016: 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
Table of Contents
LCTES 2016: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
Table of Contents
CC 2016: 25th International Conference on Compiler Construction
Table of Contents
MODULARITY Companion 2016: 15th International Conference on Modularity
Table of Contents
MODULARITY 2016: 15th International Conference on Modularity
Table of Contents
CGO 2016: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Table of Contents
POPL 2016: 43rd ACM SIGPLAN Symposium on Principles of Programming Languages
Table of Contents
PEPM 2016: 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Table of Contents
CPP 2016: 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Table of Contents
SEPS 2015: 2nd International Workshop on Software Engineering for Parallel Systems
Table of Contents
PROMOTO 2015: 3rd International Workshop on Programming for Mobile and Touch
Table of Contents
ETX 2015: Eclipse Technology eXchange
Table of Contents
DSM 2015: Workshop on Domain-Specific Modeling
Table of Contents
DBPL 2015: 15th Symposium on Database Programming Languages
Table of Contents
DLS 2015: 11th Symposium on Dynamic Languages
Table of Contents
WODA 2015: 13th International Workshop on Dynamic Analysis
Table of Contents
PLATEAU 2015: 6th Workshop on the Evaluation and Usability of Programming Languages and Tools
Table of Contents
MobileDeLi 2015: 3rd International Workshop on Mobile Development Lifecycle
Table of Contents
FPW 2015: Future Programming Workshop
Table of Contents
AGERE! 2015: 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Table of Contents
SLE 2015: 2015 ACM SIGPLAN International Conference on Software Language Engineering
Table of Contents
GPCE 2015: 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Table of Contents
SPLASH Companion 2015: 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
Table of Contents
OOPSLA 2015: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Table of Contents
Onward! 2015: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Table of Contents
MTD 2015: 2015 IEEE 7th International Workshop on Managing Technical Debt
Program
Table of Contents
MESOCA 2015: 2015 IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments
Program
Table of Contents
MODELS 2015: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems
Table of Contents
ICSME 2015: 2015 IEEE 31st International Conference on Software Maintenance and Evolution
Program
Table of Contents
MUD 2015: 2015 IEEE 5th Workshop on Mining Unstructured Data
Table of Contents
VISSOFT 2015: 2015 IEEE 3rd Working Conference on Software Visualization
Program
Table of Contents
SCAM 2015: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation
Program
Table of Contents
FARM 2015: 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design
Table of Contents
Erlang 2015: 14th ACM SIGPLAN Erlang Workshop
Table of Contents
Haskell 2015: 8th ACM SIGPLAN Haskell Symposium 2015
Table of Contents
FHPC 2015: 4th ACM SIGPLAN Workshop on Functional High-Performance Computing
Table of Contents
SSE 2015: 7th International Workshop on Social Software Engineering
Table of Contents
QUDOS 2015: 1st International Workshop on Quality-Aware DevOps
Table of Contents
ICFP 2015: 20th ACM SIGPLAN International Conference on Functional Programming
Table of Contents
DeMobile 2015: 3rd International Workshop on Software Development Lifecycle for Mobile
Table of Contents
CTSE 2015: 1st International Workshop on Control Theory for Software Engineering
Table of Contents
WGP 2015: 11th ACM SIGPLAN Workshop on Generic Programming
Table of Contents
IWPSE 2015: 14th International Workshop on Principles of Software Evolution
Table of Contents
A-TEST 2015: 6th International Workshop on Automating Test Case Design, Selection and Evaluation
Table of Contents
ESEC/FSE 2015: 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Program
Table of Contents
RePa 2015: 5th International Workshop on Requirements Patterns
Table of Contents
RELAW 2015: 8th International Workshop on Requirements Engineering and Law
Table of Contents
JITRE 2015: 1st International Workshop on Just-in-Time RE
Table of Contents
ESPRE 2015: 2nd International Workshop on Evolving Security and Privacy Requirements Engineering
Table of Contents
CrowdRE 2015: 1st International Workshop on Crowd-Based Requirements Engineering
Table of Contents
MoDRE 2015: 5th International Model-Driven Requirements Engineering Workshop
Table of Contents
EmpiRE 2015: 5th International Workshop on Empirical Requirements Engineering
Table of Contents
AIRE 2015: 2nd International Workshop on Artificial Intelligence for Requirements Engineering
Table of Contents
RE 2015: 2015 IEEE 23rd International Requirements Engineering Conference
Program
Table of Contents
ICSSP 2015: 2015 International Conference on Software and Systems Process
Table of Contents
CHESE 2015: 1st International Code Hunt Workshop on Educational Software Engineering
Table of Contents
ISSTA 2015: 2015 International Symposium on Software Testing and Analysis
Table of Contents
X10 2015: ACM SIGPLAN X10 Workshop
Table of Contents
SOAP 2015: 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Table of Contents
ISMM 2015: ACM SIGPLAN International Symposium on Memory Management
Table of Contents
SCALA 2015: 6th ACM SIGPLAN Scala Symposium 2015
Table of Contents
ARRAY 2015: 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Table of Contents
PLDI 2015: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
Program
Table of Contents
MODULARITY Companion 2015: 14th International Conference on Modularity
Table of Contents
MODULARITY 2015: 14th International Conference on Modularity
Table of Contents
IWSC 2015: 2015 IEEE 9th International Workshop on Software Clones
Table of Contents
SWAN 2015: 2015 IEEE 1st International Workshop on Software Analytics
Table of Contents
PPAP 2015: 2015 IEEE 2nd International Workshop on Patterns Promotion and Anti-patterns Prevention
Table of Contents
PCODA 2015: 2015 IEEE 6th International Workshop on Program Comprehension through Dynamic Analysis
Table of Contents
SANER 2015: 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering
Program
Table of Contents
PPAA 2015: 2nd Workshop on Parallel Programming for Analytics Applications
Table of Contents
GPGPU 2015: 8th Workshop on General Purpose Processing using GPUs
Table of Contents
PPoPP 2015: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Program
Table of Contents
INTERNETWARE 2014: 6th Asia-Pacific Symposium on Internetware
Program
Table of Contents
SSE 2014: 6th International Workshop on Social Software Engineering
Table of Contents
DeMobile 2014: 2nd International Workshop on Software Development Lifecycle for Mobile
Table of Contents
CrowdSoft 2014: 1st International Workshop on Crowd-based Software Development Methods and Technologies
Table of Contents
InnoSWDev 2014: International Workshop on Innovative Software Development Methodologies and Practices
Table of Contents
AOAsia 2014: 9th International Workshop on Advanced Modularization Techniques
Table of Contents
FSE 2014: 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering
Program
Table of Contents
GPCE 2014: 13th International Conference on Generative Programming: Concepts and Experiences
Program
Table of Contents
RET 2014: 2014 IEEE 1st International Workshop on Requirements Engineering and Testing
Table of Contents
RePriCo 2014: 2014 IEEE 5th International Workshop on Requirements Prioritization and Communication
Table of Contents
RePa 2014: 2014 IEEE 4th International Workshop on Requirements Patterns
Table of Contents
RELAW 2014: 2014 IEEE 7th International Workshop on Requirements Engineering and Law
Table of Contents
IWSPM 2014: 2014 IEEE 8th International Workshop on Software Product Management
Table of Contents
AIRE 2014: 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering
Table of Contents
UsARE 2014: 2014 IEEE 2nd International Workshop on Usability and Accessibility focused Requirements Engineering
Table of Contents
REBPM 2014: 2014 IEEE 1st International Workshop on the Interrelations between Requirements Engineering and Business Process Management
Table of Contents
MoDRE 2014: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop
Table of Contents
ESPRE 2014: 2014 IEEE 1st International Workshop on Evolving Security and Privacy Requirements Engineering
Table of Contents
EmpiRE 2014: 2014 IEEE 4th International Workshop on Empirical Requirements Engineering
Table of Contents
RE 2014: 2014 IEEE 22nd International Requirements Engineering Conference
Program
Table of Contents
WODA+PERTEA 2014: WODA+PERTEA 2014: Joint 12th International Workshop on Dynamic Analysis
Table of Contents
SPIN 2014: 2014 International SPIN Symposium on Model Checking of Software
Program
Table of Contents
JAMAICA 2014: 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing
Table of Contents
ISSTA 2014: 2014 International Symposium on Software Testing and Analysis
Program
Table of Contents
WETSoM 2014: 5th International Workshop on Emerging Trends in Software Metrics
Table of Contents
RSSE 2014: 4th International Workshop on Recommendation Systems for Software Engineering
Table of Contents
RCoSE 2014: 1st International Workshop on Rapid Continuous Software Engineering
Table of Contents
RAISE 2014: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
Table of Contents
FormaliSE 2014: 2nd FME Workshop on Formal Methods in Software Engineering
Table of Contents
SEAMS 2014: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Table of Contents
MOBILESoft 2014: 1st International Conference on Mobile Software Engineering and Systems
Table of Contents
SBST 2014: 7th International Workshop on Search-Based Software Testing
Table of Contents
MiSE 2014: 6th International Workshop on Modeling in Software Engineering
Table of Contents
GTSE 2014: 3rd SEMAT Workshop on General Theories of Software Engineering
Table of Contents
CSI-SE 2014: 1st International Workshop on CrowdSourcing in Software Engineering
Table of Contents
CHASE 2014: 7th International Workshop on Cooperative and Human Aspects of Software Engineering
Table of Contents
CESI 2014: 2nd International Workshop on Conducting Empirical Studies in Industry
Table of Contents
ICPC 2014: 22nd International Conference on Program Comprehension
Program
Table of Contents
TwinPeaks 2014: 4th International Workshop on the Twin Peaks of Requirements and Architecture
Table of Contents
SE4SG 2014: 3rd International Workshop on Software Engineering Challenges for the Smart Grid
Table of Contents
SER&IPs 2014: 1st International Workshop on Software Engineering Research and Industrial Practices
Table of Contents
IWP 2014: 1st International Workshop on Inclusive Web Programming - Programming on the Web with Open Data for Societal Applications
Table of Contents
GREENS 2014: 3rd International Workshop on Green and Sustainable Software
Table of Contents
MSR 2014: 11th Working Conference on Mining Software Repositories
Table of Contents
PESOS 2014: 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems
Table of Contents
MoSEMInA 2014: 1st International Workshop on Modern Software Engineering Methods for Industrial Automation
Table of Contents
CSTVA 2014: 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Table of Contents
AST 2014: 9th International Workshop on Automation of Software Test
Table of Contents
ICSE Companion 2014: 36th International Conference on Software Engineering
Program
Table of Contents
ICSE 2014: 36th International Conference on Software Engineering
Program
Table of Contents
FOSE 2014: Future of Software Engineering
Program
Table of Contents
ICSSP 2014: 2014 International Conference on Software and Systems Process
Table of Contents
EAST 2014: 2014 3rd International Workshop on Evidential Assessment of Software Technologies
Table of Contents
CSEE&T 2014: 2014 IEEE 27th Conference on Software Engineering Education and Training
Program
Table of Contents
CSMR-WCRE 2014: 2014 Software Evolution Week --- IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering
Table of Contents
ASE 2013: 2013 28th IEEE/ACM International Conference on Automated Software Engineering
Table of Contents
WCRE 2013: 2013 20th Working Conference on Reverse Engineering
Table of Contents
WEA 2013: 2013 1st International Workshop on Software Ecosystem Architectures
Table of Contents
IWPSE 2013: 2013 13th International Workshop on Principles of Software Evolution
Table of Contents
DeMobile 2013: 2013 1st International Workshop on Software Development Lifecycle for Mobile
Table of Contents
SSE 2013: 2013 5th International Workshop on Social Software Engineering
Table of Contents
ESEC/FSE 2013: 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Table of Contents
TwinPeaks 2013: 2013 3rd International Workshop on the Twin Peaks of Requirements and Architecture
Table of Contents
RePa 2013: 2013 3rd International Workshop on Requirements Patterns
Table of Contents
RELAW 2013: 2013 6th International Workshop on Requirements Engineering and Law
Table of Contents
CMA@RE 2013: 2013 3rd International Workshop on Comparing Requirements Modeling Approaches
Table of Contents
MoDRE 2013: 2013 3rd International Workshop on Model-Driven Requirements Engineering
Table of Contents
EmpiRE 2013: 2013 3rd International Workshop on Empirical Requirements Engineering
Table of Contents
RE 2013: 2013 21st IEEE International Requirements Engineering Conference
Table of Contents
TTC 2013: 2013 International Workshop on Testing the Cloud
Table of Contents
QASBA 2013: 2013 2nd International Workshop on Quality Assurance for Service-Based Applications
Table of Contents
JAMAICA 2013: 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Table of Contents
ISSTA 2013: 2013 International Symposium on Software Testing and Analysis
Table of Contents
USER 2013: 2013 2nd International Workshop on User Evaluations for Software Engineering Researchers
Table of Contents
PESOS 2013: 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems
Table of Contents
GTSE 2013: 2013 2nd SEMAT Workshop on a General Theory of Software Engineering
Table of Contents
RAISE 2013: 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
Table of Contents
NaturaLiSE 2013: 2013 1st International Workshop on Natural Language Analysis in Software Engineering
Table of Contents
MOBS 2013: 2013 1st International Workshop on the Engineering of Mobile-Enabled Systems
Table of Contents
FormaliSE 2013: 2013 1st FME Workshop on Formal Methods in Software Engineering
Table of Contents
CTGDSD 2013: 2013 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development
Table of Contents
CHASE 2013: 2013 6th International Workshop on Cooperative and Human Aspects of Software Engineering
Table of Contents
WETSoM 2013: 2013 4th International Workshop on Emerging Trends in Software Metrics
Table of Contents
TwinPeaks 2013: 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture
Table of Contents
TOPI 2013: 2013 3rd International Workshop on Developing Tools as Plug-Ins
Table of Contents
SESENA 2013: 2013 4th International Workshop on Software Engineering for Sensor Network Applications
Table of Contents
DAPSE 2013: 2013 1st International Workshop on Data Analysis Patterns in Software Engineering
Table of Contents
SEAMS 2013: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Table of Contents
SEHC 2013: 2013 5th International Workshop on Software Engineering in Health Care
Table of Contents
RELENG 2013: 2013 1st International Workshop on Release Engineering
Table of Contents
PLEASE 2013: 2013 4th International Workshop on Product LinE Approaches in Software Engineering
Table of Contents
MTD 2013: 2013 4th International Workshop on Managing Technical Debt
Table of Contents
GREENS 2013: 2013 2nd International Workshop on Green and Sustainable Software
Table of Contents
CMSBSE 2013: 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering
Table of Contents
CESI 2013: 2013 1st International Workshop on Conducting Empirical Studies in Industry
Table of Contents
ICPC 2013: 2013 21st International Conference on Program Comprehension
Table of Contents
TEFSE 2013: 2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering
Table of Contents
LIVE 2013: 2013 1st International Workshop on Live Programming
Table of Contents
IWSC 2013: 2013 7th International Workshop on Software Clones
Table of Contents
ASSURE 2013: 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems
Table of Contents
CSEE&T 2013: 2013 26th International Conference on Software Engineering Education and Training
Table of Contents
MSR 2013: 2013 10th Working Conference on Mining Software Repositories
Table of Contents
ICSSP 2013: 2013 International Conference on Software and Systems Process
Table of Contents
SE4SG 2013: 2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid
Table of Contents
SE-CSE 2013: 2013 5th International Workshop on Software Engineering for Computational Science and Engineering
Table of Contents
MiSE 2013: 2013 5th International Workshop on Modeling in Software Engineering
Table of Contents
GAS 2013: 2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change
Table of Contents
AST 2013: 2013 8th International Workshop on Automation of Software Test
Table of Contents
ICSE 2013: 2013 35th International Conference on Software Engineering
Table of Contents
TwinPeaks 2012: 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture
Table of Contents
RESS 2012: 2012 Second IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems
Table of Contents
RELAW 2012: 2012 Fifth IEEE International Workshop on Requirements Engineering and Law
Table of Contents
EmpiRE 2012: 2012 Second IEEE International Workshop on Empirical Requirements Engineering
Table of Contents
RePa 2012: 2012 Second IEEE International Workshop on Requirements Patterns
Table of Contents
REET 2012: 2012 Seventh IEEE International Workshop on Requirements Engineering Education and Training
Table of Contents
MoDRE 2012: 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering
Table of Contents
RE 2012: 2012 20th IEEE International Requirements Engineering Conference
Table of Contents
ASE 2012: 2012 27th IEEE/ACM International Conference on Automated Software Engineering
Table of Contents
PADTAD 2012: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Table of Contents
WODA 2012: 2012 10th International Workshop on Dynamic Analysis
Table of Contents
ISSTA 2012: 2012 International Symposium on Software Testing and Analysis
Table of Contents
ICPC 2012: 2012 20th IEEE International Conference on Program Comprehension
Table of Contents
WEH 2012: 2012 5th International Workshop on Exception Handling
Table of Contents
SEES 2012: 2012 Second International Workshop on Software Engineering for Embedded Systems
Table of Contents
GAS 2012: 2012 Second International Workshop on Games and Software Engineering: Realizing User Engagement with Game Engineering Techniques
Table of Contents
EduRex 2012: 2012 First International Workshop on Software Engineering Education Based on Real-World Experiences
Table of Contents
CTGDSD 2012: 2012 Second International Workshop on Collaborative Teaching of Globally Distributed Software Development
Table of Contents
USER 2012: 2012 First International Workshop on User Evaluation for Software Engineering Researchers
Table of Contents
SUITE 2012: 2012 4th International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation
Table of Contents
S-Cube 2012: 2012 First International Workshop on European Software Services and Systems Research - Results and Challenges
Table of Contents
RAISE 2012: 2012 First International Workshop on Realizing AI Synergies in Software Engineering
Table of Contents
MTD 2012: 2012 Third International Workshop on Managing Technical Debt
Table of Contents
SEAMS 2012: 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Table of Contents
UsARE 2012: 2012 First International Workshop on Usability and Accessibility Focused Requirements Engineering
Table of Contents
SEHC 2012: 2012 4th International Workshop on Software Engineering in Health Care
Table of Contents
RSSE 2012: 2012 Third International Workshop on Recommendation Systems for Software Engineering
Table of Contents
PLEASE 2012: 2012 Third International Workshop on Product LinE Approaches in Software Engineering
Table of Contents
PESOS 2012: 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems
Table of Contents
IWSC 2012: 2012 6th International Workshop on Software Clones
Table of Contents
WETSoM 2012: 2012 3rd International Workshop on Emerging Trends in Software Metrics
Table of Contents
TOPI 2012: 2012 Second International Workshop on Developing Tools as Plug-Ins
Table of Contents
SE-SmartGrids 2012: 2012 First International Workshop on Software Engineering Challenges for the Smart Grid
Table of Contents
HotSWUp 2012: 2012 4th International Workshop on Hot Topics in Software Upgrades
Table of Contents
GREENS 2012: 2012 First International Workshop on Green and Sustainable Software
Table of Contents
MSR 2012: 2012 9th IEEE Working Conference on Mining Software Repositories
Table of Contents
ICSSP 2012: 2012 International Conference on Software and System Process
Table of Contents
SESENA 2012: 2012 Third International Workshop on Software Engineering for Sensor Network Applications
Table of Contents
MiSE 2012: 2012 4th International Workshop on Modeling in Software Engineering
Table of Contents
FormSERA 2012: 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches
Table of Contents
CHASE 2012: 2012 5th International Workshop on Co-operative and Human Aspects of Software Engineering
Table of Contents
AST 2012: 2012 7th International Workshop on Automation of Software Test
Table of Contents
ICSE 2012: 2012 34th International Conference on Software Engineering
Table of Contents
ASE 2011: 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Table of Contents
WODA 2011: Ninth International Workshop on Dynamic Analysis
Table of Contents
PADTAD 2011: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Table of Contents
ETSE 2011: 2011 International Workshop on End-to-End Test Script Engineering
Table of Contents
ISSTA 2011: 2011 International Symposium on Software Testing and Analysis
Table of Contents
TOPI 2011: First Workshop on Developing Tools as Plug-ins
Table of Contents
SUITE 2011: Third International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation
Table of Contents
SE-CSE 2011: Fourth International Workshop on Software Engineering for Computational Science and Engineering
Table of Contents
WETSoM 2011: Workshop on Emerging Trends in Software Metrics
Table of Contents
Web2SE 2011: Second International Workshop on Web 2.0 for Software Engineering
Table of Contents
SHARK 2011: Workshop on SHAring and Reusing architectural Knowledge
Table of Contents
SEAMS 2011: Sixth International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Table of Contents
TEFSE 2011: Sixth International Workshop on Traceability in Emerging Forms of Software Engineering
Table of Contents
PESOS 2011: Third International Workshop on Principles of Engineering Service-Oriented Systems
Table of Contents
MTD 2011: Second International Workshop on Managing Technical Debt
Table of Contents
IWSC 2011: Fifth International Workshop on Software Clones
Table of Contents
CTGDSD 2011: Collaborative Teaching of Globally Distributed Software Development: Community Building Workshop
Table of Contents
AST 2011: Sixth International Workshop on Automation of Software Test
Table of Contents
WRT 2011: Fourth Workshop on Refactoring Tools
Table of Contents
SESS 2011: Seventh International Workshop on Software Engineering for Secure Systems
Table of Contents
SESENA 2011: Second International Workshop on Software Engineering for Sensor Network Applications
Table of Contents
SEHC 2011: Third International Workshop on Software Engineering in Healthcare
Table of Contents
SECLOUD 2011: Workshop on Software Engineering for Cloud Computing
Table of Contents
PLEASE 2011: Second International Workshop on Product Line Approaches in Software Engineering
Table of Contents
GAS 2011: Workshop on Games and Software Engineering
Table of Contents
CSEE&T 2011: 2011 24th IEEE-CS Conference on Software Engineering Education and Training
Table of Contents
MSR 2011: Eighth Working Conference on Mining Software Repositories
Table of Contents
ICSSP 2011: International Conference on Software and Systems Process
Table of Contents
IWMSE 2011: Fourth International Workshop on Multicore Software Engineering
Table of Contents
CHASE 2011: Fourth International Workshop on Cooperative and Human Aspects of Software Engineering
Table of Contents
ICSE 2011: 33rd International Conference on Software Engineering
Table of Contents

Time stamp: 2024-11-21T04:57:03+00:00