August 31, 2011 - SAC/PL (ACM 2012 SYMPOSIUM ON APPLIED COMPUTING, Technical Track on "Programming Languages" )

When	Aug 31, 2011 from 12:00 AM to 11:35 PM
Where	Riva del Garda, Trentino, Italy
Add event to calendar	vCal iCal

August 13 2010 - PLATEAU 2010 (Second Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) in conjunction with SPLASH/Onward! 2010 October 17-21, 2010 (Reno, NV))

August 24 - SAC SPECIAL TRACK: EMBEDDED SYSTEMS (26th ACM Symposium on Applied Computing)

October 8, 2010 - CC 2011 (International Conference on Compiler Construction 2011)

March 20, 2010 - PACT 2010 (The Nineteenth International Conference on Parallel Architectures and Compilation Techniques)

April 5, 2010 - SC 2010 (Supercomputing is the International Conference for High Performnance Computing)

October 8, 2010 - MULTIPROG 2011 (Fourth Workshop on Programmability Issues for Heterogeneous Multicores)

May 8, 2010 - SCAM (Tenth IEEE International Working Conference on Source Code Analysis and Manipulation)

September 1, 2010 - HiPC Workshops (CALL FOR PAPERS for WORKSHOPS Co-located with INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING)

September 1, 2010 - Workshop on Hybrid Multi-core Computing

APRIL 12, 2010 - ATVA 2010 (8th International Symposium on Automated Technology for Verification and Analysis)

April 11, 2010 - CASES 2010 (International Conference on Compilers Architectures and Synthesis for Embeded Systems)

November 19, 2010 - PLDI 2011 (ACM SIGPLAN Conference on Programming Language Design and Implementation)

January 14, 2011 - ICS 2011 (25th International Conference on Supercomputing)

March 15, 2010 - ASE 2010 (25th IEEE/ACM International Conference on AUTOMATED SOFTWARE ENGINEERING)

February 4, 2010 - ICPP 2010 (Int'l Conf. Parallel Processing (ICPP) 2010)

February 12, 2010 - ASAP 2010 (21st IEEE International Conference Application-specific Systems, Architectures and Processors)

February 1, 2010 - ISC 2010 (International Supercomputing Conference)

January 11, 2010 - ICS 2010 (24th International Conference on Supercomputing)

January 31, 2011 - IWOMP 2011 (7th International Workshop on OpenMP)

June 15, 2011 - NSAD 2011 (The Third International Workshop on Numerical and Symbolic Abstract Domains)

October 8, 2010 - LCTES 2011 (ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems)

March 31, 2011 - ParCo2011 (Parallel Computing)

December 10, 2010 - CF'11 (2011 ACM International Conference on Computing Frontiers)

December 21, 2010 - Bytecode 2011 (6th workshop on Bytecode Semantics, Verification, Analysis and Transformation)

November 19, 2010 - SAW-2 (2nd Workshop on SoC Architecture, Accelerators and Workloads)

February 24, 2011 - ICPP 2011 ( International Conference on Parallel Processing)

March 25, 2011 - PACT 2011 (The Twentieth International Conference on Parallel Architectures and Compilation Techniques)

November 28, 2010 - HipHaC'11 (New Frontiers in High-performance and Hardware-aware Computing )

January 8, 2011 - workshop on "Program Generation and Transformation for HPC Applications" (part of ICCS 2011)

January 8, 2011 - workshop on "Tools for Program Development and Analysis in Computational Science" (part of ICCS 2011)

January 8, 2010 - WEPA (3rd Workshop on using Emerging Parallel Architectures)

November 18, 2010 - ESS (Embedded Systems and Software at DAC)

January 11, 2011 - WEHA 2011 (WORKSHOP ON EXPLOITATION OF HARDWARE ACCELERATORS)

November 30, 2010 - INTERACT-15 (Workshop on Interaction between Compilers and Computer Architectures)

December 3, 2010 - RAW 2011 (18th Reconfigurable Architectures Workshop)

April 04, 2011 - ASAP 2011 (22nd IEEE International Conference on Application-specific Systems, Architectures and Processors)

February 09, 2011 - RenPar'20 (Rencontres francophones du Parallélisme)

March 24, 2011 - SAS 2011 (The 18th International Static Analysis Symposium)

January 24, 2011 - HDPC 2011 (The 20th International ACM Symposium on High-Performance Parallel and Distributed Computing)

February 07, 2011 - IMPACT (First International Workshop on Polyhedral Compilation Techniques)

January 16, 2011 - RSP (22nd IEEE International Symposium on Rapid System Prototyping)

January 7, 2011 - HCW 2011 (20th International Heterogeneity in Computing Workshop)

March 1, 2011 - Special Issue on Real-Time Image Processing on Multi-Cores, Many-Cores and High-level FPGA-based Platforms

March 25, 2011 - FMICS 2011 (16th International Workshop on Formal Methods for Industrial Critical Systems)

February 7, 2011 - CADE-23 (23nd International Conference on Automated Deduction)

January 31, 2011 - Euro-Par (17th International European Conference on Parallel and Distributed Computing)

December 10, 2010 - (Fourth Workshop on General Purpose Processing on Graphics Processing Units)

January 30, 2011 - PaCT 2011 (Parallel Computing Technologies-2011)

February 07, 2011 - SAMOS XI (ternational Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation)

February 27 - SCOPES (14th International Workshop on Software and Compilers for Embedded Systems)

January 23, 2011 - ISC'11 (International Supercomputing Conference)

February 15, HEART 2011 (The 2nd International Workshop on Highly Efficient Accelerators and Reconfigurable Technologies)

January 23, 2011 - ECRTS 11 (23nd EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS)

April 27-29, 2011 - (troisièmes rencontres de la communauté française de compilation)

February 14, 2011 - WEHA 2011 (WORKSHOP ON EXPLOITATION OF HARDWARE ACCELERATORS)

April 08, 2011 - SC11 (International Conference for High Performance Computing, Networking, Storage and Analysis)

March 19, 2011 - PACT (The Twentieth International Conference on Parallel Architectures and Compilation Techniques)

March 18, 2011 - MSPC 2011 (The 2011 ACM SIGPLAN Workshop on Memory Systems Performance & Correctness )

April 26, 2011 - PSTI 2011 (Second International Workshop on Parallel Software Tools and Tool Infrastructures)

February 08, 2011 - SYMPA'14 (SYMPosium en Architectures)

April 08, 2011 - PASTE (10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering)

June 03, 2011 - LCPC 2011 (The 24th International Workshop on Languages and Compilers for Parallel Computing)

February 21, 2011 - SASP (9th IEEE Symposium on Application Specific Processors)

February 28, 2011 - Special Issue on Application Specific Processors (ACM Transactions on Embedded Computing Systems)

February 19, 2011 - ACCA 2011 (Workshop “analyse to compile, compile to analyse”)

April 15, 2011 - SCAM 2011 (Eleventh IEEE International Working Conference on Source Code Analysis and Manipulation)

May 08, 2011 - RV 2011 (International Conference on Runtime Verification)

April 11, 2011 - CASES 2011 (International Conference on Compilers, Architecture, and Synthesis for Embedded Systems)

July 12, 2011 - POPL 2012 (39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)

March 20, 2011 - IWPD 2011 (Second International Workshop on Program Debugging)

April 10, 2011 - WSRE (13th WORKSHOP SOFTWARE-REENGINEERING)

May 16, 2011 - HiPC 2011 (18th IEEE International Conference on High Performance Computing)

May 06, 2011 - ATVA 2011 (9th International Symposium on Automated Technology for Verification and Analysis)

May 09, 2011- ASE (The 26th IEEE/ACM International Conference on Automated Software Engineering)

April 11, 2011 - PESPMA 2011 (4th Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures)

July 12, 2011 - POPL 2012 ( 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)

May 02, 2011 - DASIP (2011 Conference on Design and Architectures for Signal and Image Processing)

April 30, 2011 - APPT (Advanced Parallel Processing Technology Symposium)

July 25, 2011 - DP 2012 (The 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing)

July 18, 2011 - ASPLOS (17th International Conference on Architectural Support for Programming Languages and Operating Systems)

April 29, 2011 - (21st Workshop on Logic-based methods in Programming Environments)

June 13, 2001 - AVOCS (11th International Workshop on Automated Verification of Critical Systems)

May 01, 2011 - HPCC-2011 (13th edition of the highly successful International Conference on High Performance and Communications)

June 22, 2011 - TISS'11 (5th International Workshop on Harnessing Theories for Tool Support in Software)

April 30, 2011 - (Memory and Data Parallelism on Multi- and Manycore Platforms)

May 27, 2011 - LCPC (24th International Workshop on Languages and Compilers for Parallel Computing)

May 02, 2011 - (Transformation Tool Contest 2011)

July 15, 2011 - HIPEAC (7th International Conference on High-Performance and Embedded Architectures and Compilers)

May 23, 2011 - VISSOFT 2011 (6th IEEE International Workshop on Visualizing Software for Understanding and Analysis)

July 25, 2011 - Special Session on GPU Computing and Hybrid Computing at PDP 2012

July 22, 2011 - Posters for SC 11 (Supercomputing Conference)

August 19, 2011 - PPoPP 17 (17th ACM ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming)

October 14, 2011 - CC 2012 (International Conference on Compiler Construction)

June 01, 2011 - VECoS'2011 (5th International Workshop on Verification and Evaluation of Computer and Communication Systems)

July 06, 2011 - WCRE 2011 (18th Working Conference on Reverse Engineering,)

July 17, 2011 - "Facing the Mulicore-Challenge II"

May 31, 2011 - ICA3PP 2011 (11th International Conference on Algorithms and Architectures for Parallel Processing)

September 20, 2011 - CGO (10th International Symposium on Code Generation and Optimization)

August 31, 2011 - ACM Transactions in Embedded Computing Systems (TECS), Special Section on Embedded Systems for Real-time Multimedia

June 01, 2011 - SSV 2011 (6th International Workshop on Systems Software Verification, Real Software, Real Problems, Real Solutions)

June 13, 2011 - HeteroPar'2011 (8th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)

August 31, 2011 - HPCA-18 (The 18th International Symposium on High-Performance Computer Architecture)

August 31, 2011 - SAC/EMBS (27th ACM Symposium on Applied Computing, EMBEDDED SYSTEMS Across Hardware and Software)

August 31, 2011 - SAC/SVT (27th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track)

August 31, 2011 - SAC/PL (ACM 2012 SYMPOSIUM ON APPLIED COMPUTING, Technical Track on "Programming Languages" )

November 6, 2011 - PLDI (Programming Language Design and Implementation )

February 10, 2012 - LCTES (15th ACM Conference on Languages, Compilers, Tools & Theory for Embedded Systems)

February 10, 2012 - ISSTA 2012 (2012 International Symposium on Software Testing and Analysis)

September 11, 2011 - DATE E (DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE, TRACK E: "Embedded Systems Software", TOPIC E2: "Compilers and Software Synthesis for Embedded Systems")

September 25, 2011 - CPC 2012 (16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING)

August 18, 2011 - HVC 2011 (Haifa Verification Conference 2011)

October 21, 2011 - ITNG 2012 (The 4th International Symposium on Software Testing)

September 11, 2011 - NWPT'11 (23rd NORDIC WORKSHOP ON PROGRAMMING THEORY )

January 15, 2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science" )

January 22, 2012 - CAV (24th International Conference on Computer Aided Verification (CAV 2012)

January 23, 2012 - HPDC'12 (The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing)

January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering)

January 15, 2012 - (4th International Workshop on “Tools and Techniques in Software Development Process”)

February 17, 2012 - ( 20th IEEE International Conference on Program Comprehension)

February 15, 2012 - ASAP12 (23rd IEEE International Conference on Application-specific Systems, Architectures and Processors)

December 16, 2011 - INTERACT-16 (16th Workshop on Interaction between Compilers and Computer Architectures)

January 11, 2012 - PLC’2012 (Multicore and GPU Programming Models, Languages and Compilers Workshop)

April 04, 2012 - FMICS 2012 (17th International Workshop on Formal Methods for Industrial Critical Systems)

January 5, 2012 - RAW 2012 (9th Reconfigurable Architectures Workshop)

March 30, 2012 - SPIN 2012 (19th International Workshop on Model Checking Software)

February 1, 2012 - HAC 2012 (1st International Workshop on Heterogeneous Architectures and Computing)

March 23, 2012 - SAS 2012 (19th International Static Analysis Symposium)

March 02, 2012 - ASE 2012 (27th IEEE/ACM International Conference on Automated Software Engineering)

January 13, 2012 - HP-PAC (Eighth IEEE Workshop on High-Performance, Power-Aware Computing)

January 20,2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science)

January 15, 2012 - (ACM International Conference on Computing Frontiers)

June 05, 2012 - LCPC (25th International Workshop on Languages and Compilers for Parallel Computing)

June 18, 2012 - HiPEAC 2013 (8th International Conference on High-Performance Embedded Architectures and Compilers)

April 09, 2012 - (12th International Workshop on Worst-Case Execution Time Analysis)

March 12, 2012 - IPCV'12 (The 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition)

April 04, 2012 - ESWeek 2012 (Embedded Systems Week)

April 06, 2012 - LCTES WiP (The International Conference on Languages, Compilers, Tools and Theory for Embedded Systems)

April 27, 2012 - SC12 (SuperComputing)

May 05, 2012 - Science of Computer Programming, Special Issue on Automated Verification of Critical Systems

March 16, 2012 - WSR 2012 (14th Workshop Software Reengineering)

February 18, 2012- Euro-Par 2012 (18th International European Conference on Parallel and Distributed Computing)

April 20, 2012 - WCET (12th International Workshop on Worst-Case Execution Time Analysis)

March 18, 2012 - WRT12 (5th Workshop on Refactoring Tools)

February 17, 2012 - Map2MPSoC/SCOPES 2012 (5th Workshop on Mapping of Applications to MPSoCs and 15th International Workshop on Software and Compilers for Embedded Systems)

March 25, 2012 - FGC 2012 (The Third International Workshop on Frontier of GPU Computing)

June 11, 2012 - PROPER 2012 (5th Workshop on Productivity and Performance Tools for HPC Application Development)

June 01, 2012 - AVoCS (12th International Workshop on Automated Verification of Critical Systems)

March 16, 2012 - PACT 2012 (The Twenty-First International Conference on Parallel Architectures and Compilation Techniques)

September 07, 2012 - HPCA-19 (19th International Symposium on High-Performance Computer Architecture)

April 04, 2012 - CASES 2012 (Compilers Architectures and Synthesis for Embedded Systems)

June 06, 2012 - NSAD 2012 (The Third International Workshop on Numerical and Symbolic Abstract Domains)

March 12, 2012 - PDPTA'12 (The 2012 International Conference on Parallel and Distributed Processing Techniques and Applications)

March 02, 2012 - PLAS 2012 (Seventh ACM SIGPLAN Workshop on Programming Languages and Analysis for Security)

May 11, 2012 - PSTI 2012 (Third International Workshop on Parallel Software Tools and Tool Infrastructures)

March 28, 2012 - EMSOFT (International Conference on Embedded Software )

March 31, 2012 - ICA3PP 2012 (12th International Conference on Algorithms and Architectures for Parallel Processing)

March 26, 2012 - Map2MPSoC/SCOPES 2012 (Mapping of Applications to MPSoCs and 15th International Workshop on Software and Compilers for Embedded Systems)

April 01, 2012 - DASIP 2012 (The 2012 Conference on Design and Architectures for Signal and Image Processing)

May 16, 2012 - HiPC 2012 (19th IEEE International Conference on High Performance Computing)

June 01, 2012 - TAPAS 2012 (The 3th Tools for Automatic Program AnalysiS workshop)

April 27, 2012 - WODA 2012 (10th International Workshop on Dynamic Analysis)

September 10, 2012 - CGO 2013 (2013 International Symposium on Code Generation and Optimization)

April 25, 2012 - WATERS 2012 (3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems)

April 27, 2012 - ISoLA 2012 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation)

June 28, 2012 - HeteroPar'2012 (10th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)

June 01, 2012 - RSP (23rd IEEE International Symposium on Rapid System Prototyping)

May 04, 2012 - SCMA 2012 (12th IEEE International Working Conference on Source Code Analysis and Manipulation )

May 24, 2012 - RP'12 (6th International Workshop on Reachability Problems)

September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track)

June 29, 2012 - SBAC PAD 2012 (THE 24th INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING)

June 11, 2012 - CPA 2012 (Communicating Process Architectures)

February 28, 2013 - ParCo 2013 (PARALLEL COMPUTING 2013)

May 25, 2012 - SASSUR (International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems)

June 03, 2012 - RV 2012 (International Conference on Runtime Verification )

September 17, 2012 - ICST 2013 (6th IEEE International Conference on Software Testing, Verification, and Validation)

September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Embedded Systems Track)

June 25, 2012 - ESTIMedia 2012 (10th IEEE Symposium on Embedded Systems for Real-Time Multimedia )

July 20, 2012 - PDCAT 2012 (Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies)

June 27, 2012 - WCRE 2012 (19th Working Conference on Reverse Engineering)

September 24, 2012 - ComPAS/RenPar/SympA/CFSE (Conférence d'informatique en Parallélisme, Architecture et Système)

September 16, 2012 - SRS (5th HiPC Student Research Symposium)

September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Embedded Systems Track, Advances along the Hardware/Software Borderline)

July 30, 2012 - PDP 2013 (Special Session on GPU Computing and Hybrid Computing)

August 19, 2012 - Compiler, Architecture and Tools Conference

October 12, 2012 - ITNG 2013 (5th International Symposium on Software Testing)

April 26, 2013 - EnA-HPC 2013 (Fourth International Conference on Energy-Aware High Performance Computing)

February 12, 2013 - LCTES 2013 (The conference on Languages, Compilers and Tools for Embedded Systems)

May 05, 2013 - SCAM (13th IEEE International Working Conference on Source Code Analysis and Manipulation)

April 24, 2013 - ICSM (29th IEEE International Conference on Software Maintenance)

March 01, 2013 - APMM 2013 (3rd International Workshop on New Algorithms and Programming Models for the Manycore Era)

January 25, 2013 - ALCHEMY Workshop (Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems)

March 11, 2013 - DSD (The Euromicro Conference on Digital System Design)

February 10, 2013 - SAS 2013 (The 20th International Static Analysis Symposium)

January 18, 2013 - CSTVA'13 (5th International workshop on Constraints in Software Testing, Verification and Analysis)

June 15, 2013 - HPCC 2013 (15th IEEE International Conference on High Performance Computing and Communications)

January 22, 2013 - COMPUTATION TOOLS 2013 (The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking)

January 20, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)

February 01, 2013 - ASAP 2013 (24th IEEE International Conference on Application-specific Systems, Architectures and Processors)

January 15, 2013 - CAV (25th International Conference on Computer Aided Verification)

January 10, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)

May 10, 2013 - PSTI 2013 (Fourth International Workshop on Parallel Software Tools and Tool Infrastructures)

August 31, 2011 - SAC/PL (ACM 2012 SYMPOSIUM ON APPLIED COMPUTING, Technical Track on "Programming Languages" )

This Site Uses Cookies