From semi-syntactic lexical analyzer to a new compiler model
ACM SIGPLAN Notices
An environment for Ada software development based on formal specification
ACM SIGAda Ada Letters
ACM SIGPLAN Notices
A flexible graph-unification formalism and its application to natural-language processing
IBM Journal of Research and Development
How (not) to code a finite state machine
ACM SIGPLAN Notices
Shift-reduce conflicts in LR parsers
ACM SIGPLAN Notices
USSA—universal syntax and semantics analyzer
ACM SIGPLAN Notices
Automatic system file generator
ACM SIGSOFT Software Engineering Notes
XIL and YIL: the intermediate languages of TOBEY
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Java intermediate bytecodes: ACM SIGPLAN workshop on intermediate representations (IR'95)
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
FSMD functional partitioning for low power
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Learning to Parse Natural Language with Maximum Entropy Models
Machine Learning - Special issue on natural language learning
Coco-2: a new compiler compiler
ACM SIGPLAN Notices
On the modification of the formal grammar at parse time
ACM SIGPLAN Notices
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Automated Software Engineering
Computation in the Context of Transport Triggered Architectures
International Journal of Parallel Programming
Describing and Using Query Capabilities of Heterogeneous Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Efficient Symbolic Analysis for Optimizing Compilers
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Compressed Code Execution on DSP Architectures
Proceedings of the 12th international symposium on System synthesis
Compiler Managed Dynamic Instruction Placement in a Low-Power Code Cache
Proceedings of the international symposium on Code generation and optimization
Code partitioning for synthesis of embedded applications with phantom
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Post Register Allocation Spill Code Optimization
Proceedings of the International Symposium on Code Generation and Optimization
Software watermarking via opaque predicates: Implementation, analysis, and attacks
Electronic Commerce Research
Detecting Anomaly and Failure in Web Applications
IEEE MultiMedia
Proceedings of the 44th annual Southeast regional conference
Compiling concurrent programs for embedded sequential execution
Integration, the VLSI Journal
Goodness criteria for programming language grammar rules
ACM SIGPLAN Notices
Tool support for iterative software process modeling
Information and Software Technology
Accelerating high-level bounded model checking
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Theoretical Computer Science
Transient variable caching in Java’s stack-based intermediate representation
Scientific Programming
JLAPACK - compiling LAPACK Fortran to Java
Scientific Programming
Algorithmic Debugging of Java Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A typing system for an optimizing multiple-backend Tcl compiler
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
TCLTK '98 Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3
Scalable precision cache analysis for real-time software
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Modeling the function cache for worst-case execution time analysis
Proceedings of the 44th annual Design Automation Conference
ACM SIGGRAPH 2007 courses
An analysis approach for testing exception handling programs
ACM SIGPLAN Notices
HySim: a fast simulation framework for embedded software development
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
A fast and generic hybrid simulation approach using C virtual machine
CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
Stack size reduction of recursive programs
CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
Object-oriented description of graph data structures
Programming and Computing Software
Generating Java Compiler Optimizers Using Bidirectional CTL
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach to optimize data processing in business processes
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A language-driven approach for the design of interactive applications
Interacting with Computers
Static elaboration of recursion for concurrent software
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A tale of three LR(1) syntax analyzers
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
NOAH: A CSP-based language for describing the behaviour of coupled models
Software—Practice & Experience
Extended interface grammars for automated stub generation
Proceedings of the second workshop on Automated formal methods
Rule-based static analysis of network protocol implementations
Information and Computation
Bantam: a customizable, java-based, classroom compiler
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Fix point internal hierarchy specification for context free grammars
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Multi level recursive specifications for context free grammars
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Journal of Signal Processing Systems
A parallel dynamic compiler for CIL bytecode
ACM SIGPLAN Notices
Abstraction layers for scalable microfluidic biocomputing
Natural Computing: an international journal
A compiler-based infrastructure for software-protection
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Generating highly customizable SQL parsers
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
Declarative programming for verification: lessons and outlook
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
XARK: An extensible framework for automatic recognition of computational kernels
ACM Transactions on Programming Languages and Systems (TOPLAS)
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
Completeness in SMT-based BMC for software programs
Proceedings of the conference on Design, automation and test in Europe
A ubiquitous IAs access platform (UIAP) over UPnP
Software—Practice & Experience
Automated reprojection-based pixel shader optimization
ACM SIGGRAPH Asia 2008 papers
An improved shading cache for modern GPUs
Proceedings of the 23rd ACM SIGGRAPH/EUROGRAPHICS symposium on Graphics hardware
Structured data represented in Ruby syntax
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Flow Analysis of Code Customizations
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Mixing source and bytecode: a case for compilation by normalization
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
AN UNSUPERVISED INCREMENTAL LEARNING ALGORITHM FOR DOMAIN-SPECIFIC LANGUAGE DEVELOPMENT
Applied Artificial Intelligence
Address Generation Optimization for Embedded High-Performance Processors: A Survey
Journal of Signal Processing Systems
Doloto: code splitting for network-bound web 2.0 applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Model checking sequential software programs via mixed symbolic analysis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Tupni: automatic reverse engineering of input formats
Proceedings of the 15th ACM conference on Computer and communications security
Parallelizing scientific code with invasive interactive parallelization: a case study with reuseware
Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance
Structured data representation using Ruby syntax
WSEAS Transactions on Information Science and Applications
ACM SIGCSE Bulletin
Automating Performance Analysis from Taverna Workflows
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Embedded DSP Processor Design: Application Specific Instruction Set Processors
Embedded DSP Processor Design: Application Specific Instruction Set Processors
A back-end compiler with fast compilation for VLIW based dynamic reconfigurable processor
WSEAS Transactions on Computers
Semantic Discovery of the User Intended Query in a Selectable Target Query Language
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
CompSysTech '08 Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Code decomposition and recomposition for enhancing embedded software performance
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Syntactic pattern model classification with total fuzzy grammars
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Program transformations using temporal logic side conditions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing the stack size of recursive functions
Computer Languages, Systems and Structures
Points-to analysis for JavaScript
Proceedings of the 2009 ACM symposium on Applied Computing
Generation of accessible diagrams by semantics preserving adaptation
ACM SIGACCESS Accessibility and Computing
A Model Engineering Approach to Tool Interoperability
Software Language Engineering
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Trace-based just-in-time type specialization for dynamic languages
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Computer Generation of General Size Linear Transform Libraries
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Code Generation with the Exemplar Flexibilization Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A higher-order strategy for eliminating common subexpressions
Computer Languages, Systems and Structures
Bridging the application and DBMS divide using static analysis and dynamic profiling
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
Experience of XML-Based Source Code Representation with Parsing Actions
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Dynamic code footprint optimization for the IBM Cell Broadband Engine
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Quick parser development using modified compilers and generated syntax rules
CIS'09 Proceedings of the international conference on Computational and information science 2009
A genetic programming approach to automated software repair
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
May/must analysis and the DFAGen data-flow analysis generator
Information and Software Technology
Loop-extended symbolic execution on binary programs
Proceedings of the eighteenth international symposium on Software testing and analysis
Polymorphing Software by Randomizing Data Structure Layout
DIMVA '09 Proceedings of the 6th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment
JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Applying Classical Concepts to Parsing Expression Grammar
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Generating Optimal Code Using Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Multi-core Architecture Based Parallel Framework for H.264/AVC Deblocking Filters
Journal of Signal Processing Systems
Optimizing Pointer Analysis Using Bisimilarity
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Transactional pointcuts: designation reification and advice of interrelated join points
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Proceedings of the 2nd international conference on Security of information and networks
Compositional deadlock detection for rendezvous communication
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Efficient dynamic voltage/frequency scaling through algorithmic loop transformation
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Evolutionary testing of software with function-assigned flags
Journal of Systems and Software
The ruby intermediate language
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Web services for parsing source code by two-step parsing
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A semi-dynamic multiple watermarking schemefor java applications
Proceedings of the nineth ACM workshop on Digital rights management
Automation technique of software internationalization and localization based on lexical analysis
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
A platform for the automatic generation of attribute evaluation hardware systems
Computer Languages, Systems and Structures
Language-Driven, Technology-Enhanced Instructional Systems Design
EC-TEL '09 Proceedings of the 4th European Conference on Technology Enhanced Learning: Learning in the Synergy of Multiple Disciplines
Input-driven dynamic execution prediction of streaming applications
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Practically Applicable Formal Methods
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
IWPT '09 Proceedings of the 11th International Conference on Parsing Technologies
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Syntax-Aware Editors for Visual Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A simple, verified validator for software pipelining
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementation of a syntax checker for client terminal motion controller
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Bit-level optimization for high-level synthesis and FPGA-based acceleration
Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays
MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers
Proceedings of the 41st ACM technical symposium on Computer science education
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
From Flow Logic to static type systems for coordination languages
Science of Computer Programming
Tree traversal scheduling: a global instruction scheduling technique for VLIW/EPIC processors
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Exploiting statistical correlations for proactive prediction of program behaviors
Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
Hierarchical program representation for program element matching
IDEAL'07 Proceedings of the 8th international conference on Intelligent data engineering and automated learning
Debugging aspect-enabled programs
SC'07 Proceedings of the 6th international conference on Software composition
Proceedings of the 7th ACM international conference on Computing frontiers
Scalable simulation of complex network routing policies
Proceedings of the 7th ACM international conference on Computing frontiers
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
From flow logic to static type systems for coordination languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Semantic hooks using a mini-language for a compiler project
Journal of Computing Sciences in Colleges
Automatic generation of XML-based editors for autonomic systems
International Journal of Autonomic Computing
Program analysis and compilation, theory and practice
Fluxo: a system for internet service programming by non-expert developers
Proceedings of the 1st ACM symposium on Cloud computing
KAdvice: infering synchronization patterns from an existing codebase
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering
New methods for compression of MP double array by compact management of suffixes
Information Processing and Management: an International Journal
Robust and fast pattern matching for intrusion detection
INFOCOM'10 Proceedings of the 29th conference on Information communications
A novel analysis space for pointer analysis and its application for bug finding
Science of Computer Programming
Eliminating voltage emergencies via software-guided code transformations
ACM Transactions on Architecture and Code Optimization (TACO)
Cashing in on hints for better prefetching and caching in PVFS and MPI-IO
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
A model for fusion and code motion in an automatic parallelizing compiler
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Compiler-assisted data distribution for chip multiprocessors
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
NOZZLE: a defense against heap-spraying code injection attacks
SSYM'09 Proceedings of the 18th conference on USENIX security symposium
Eliminating products to test in a software product line
Proceedings of the IEEE/ACM international conference on Automated software engineering
Manimal: relational optimization for data-intensive programs
Procceedings of the 13th International Workshop on the Web and Databases
On the rôle of minimal typing derivations in type-driven program transformation
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Formally specified type checkers for domain specific languages: experience report
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
An input-centric paradigm for program dynamic optimizations
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Detecting/preventing information leakage on the memory bus due to malicious hardware
Proceedings of the Conference on Design, Automation and Test in Europe
Applying data-flow analysis to models a novel approach for model analysis
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Practical aggregation of semantical program properties for machine learning based optimization
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
DisIRer: Converting a retargetable compiler into a multiplatform binary translator
ACM Transactions on Architecture and Code Optimization (TACO)
Edutainment'10 Proceedings of the Entertainment for education, and 5th international conference on E-learning and games
Field-sensitive program dependence analysis
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
LaFA: lookahead finite automata for scalable regular expression detection
Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems
LaFA: lookahead finite automata for scalable regular expression detection
Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Communicating functional expressions from mathematica to C-XSC
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
IntPatch: automatically fix integer-overflow-to-buffer-overflow vulnerability at compile-time
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
Efficient dynamic program monitoring on multi-core systems
Journal of Systems Architecture: the EUROMICRO Journal
Engineering web services with attribute grammars: a case study
ACM SIGSOFT Software Engineering Notes
Towards recognition of degraded words by probabilistic parsing
Proceedings of the Seventh Indian Conference on Computer Vision, Graphics and Image Processing
Stable deterministic multithreading through schedule memoization
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
A fast general parser for automatic code generation
MTPP'10 Proceedings of the Second Russia-Taiwan conference on Methods and tools of parallel programming multicomputers
MTPP'10 Proceedings of the Second Russia-Taiwan conference on Methods and tools of parallel programming multicomputers
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
MICRO '43 Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture
Towards defining semantic foundations for purpose-based privacy policies
Proceedings of the first ACM conference on Data and application security and privacy
Strengthening induction-based race checking with lightweight static analysis
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Explicitly recursive grammar combinators: a better model for shallow parser DSLs
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A syntactic specification for the programming languages of the IEC 61131-3 standard
CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
Code transformations for embedded reconfigurable computing architectures
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Teaching computer language handling - from compiler theory to meta-modelling
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Parallel deblocking filter for H.264/AVC on the TILERA many-core systems
MMM'11 Proceedings of the 17th international conference on Advances in multimedia modeling - Volume Part I
Improving software diagnosability via log enhancement
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
On-the-fly elimination of dynamic irregularities for GPU computing
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Multithreaded parsing for predicting RNA secondary structures
International Journal of Bioinformatics Research and Applications
Polyhedral Model Based Data Locality Optimization for Embedded Applications
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Statically locating web application bugs caused by asynchronous calls
Proceedings of the 20th international conference on World wide web
Domain-Specific Optimization of Signal Recognition Targeting FPGAs
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Automatic optimization for MapReduce programs
Proceedings of the VLDB Endowment
Intelligent system modeling with total fuzzy grammars
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Stochastic grammars for intelligent software systems modeling
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Model checking using SMT and theory of lists
NFM'11 Proceedings of the Third international conference on NASA Formal methods
VLex: visualizing a lexical analyzer generator -- tool demonstration
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Automated refactorings for high performance Fortran programmes
International Journal of High Performance Systems Architecture
Automatic parallelization via matrix multiplication
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
An automatic parallelization framework for algebraic computation systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Dynamic adaptive scheduling for virtual machines
Proceedings of the 20th international symposium on High performance distributed computing
Incremental compilation of knowledge documents for markup-based closed-world authoring
Proceedings of the sixth international conference on Knowledge capture
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Software and Systems Modeling (SoSyM)
Information Systems Frontiers
EuroGP'11 Proceedings of the 14th European conference on Genetic programming
On-the-fly detection of precise loop nests across procedures on a dynamic binary translation system
Proceedings of the 8th ACM International Conference on Computing Frontiers
Galois connections for flow algebras
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Performance optimization of error detection based on speculative reconfiguration
Proceedings of the 48th Design Automation Conference
Automatic analysis of DMA races using model checking and k-induction
Formal Methods in System Design
A language specification tool for model-based parsing
IDEAL'11 Proceedings of the 12th international conference on Intelligent data engineering and automated learning
Localizing globals and statics to make C programs thread-safe
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Dominator homomorphism based code matching for source-level simulation of embedded software
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A fast, GPU based, dictionary attack to OpenPGP secret keyrings
Journal of Systems and Software
Software verification using k-induction
SAS'11 Proceedings of the 18th international conference on Static analysis
Atlantis: robust, extensible execution environments for web applications
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Efficient deterministic multithreading through schedule relaxation
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
ICHIT'11 Proceedings of the 5th international conference on Convergence and hybrid information technology
Feature interactions, products, and composition
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Automatic fine-grain locking using shape properties
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Computing all subtree repeats in ordered ranked trees
SPIRE'11 Proceedings of the 18th international conference on String processing and information retrieval
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
A DSL for writing type systems for Xtext languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Composing transformations for instrumentation and optimization
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Translating flowcharts to non-deterministic languages
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Exact type parameterization and ThisType support
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
A model-extraction approach to verifying concurrent C programs with CADP
Science of Computer Programming
A memetic grammar inference algorithm for language learning
Applied Soft Computing
Improving Software Diagnosability via Log Enhancement
ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011
Checking bounded reachability in asynchronous systems by symbolic event tracing
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
A role-based approach towards modular language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Domain-specific metamodelling languages for software language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Review: survey of directly mapping sql databases to the semantic web
The Knowledge Engineering Review
Strictly-Regular number system and data structures
SWAT'10 Proceedings of the 12th Scandinavian conference on Algorithm Theory
Inferring grammar rules of programming language dialects
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Automatic parallelization of recursive functions using quantifier elimination
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
A non-iterative data-flow algorithm for computing liveness sets in strict SSA programs
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Auto-locating and fix-propagating for HTML validation errors to PHP server-side code
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automatic code overlay generation and partially redundant code fetch elimination
ACM Transactions on Architecture and Code Optimization (TACO)
Batch-pipelining for multicore H.264 decoding
Journal of Visual Communication and Image Representation
Analysis of pure methods using garbage collection
Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness
SuperC: parsing all of C by taming the preprocessor
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Synthesizing software verifiers from proof rules
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Static analysis and compiler design for idempotent processing
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Context-sensitive diagnosis of discrete-event systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Accelerating batch processing of spatial raster analysis using GPU
Computers & Geosciences
Sensitive ants are sensible ants
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Architecture Optimization of Application-Specific Implicit Instructions
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
An assistance tool employing a systematic methodology for GCC retargeting
Software—Practice & Experience
A study of irreducibility in C programs
Software—Practice & Experience
BugRedux: reproducing field failures for in-house debugging
Proceedings of the 34th International Conference on Software Engineering
Static detection of resource contention problems in server-side scripts
Proceedings of the 34th International Conference on Software Engineering
Proceedings of the 34th International Conference on Software Engineering
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
Logical approximation for program analysis
Higher-Order and Symbolic Computation
A framework for optimizing GCC for ARM architecture
Proceedings of the International Conference on Advances in Computing, Communications and Informatics
Opening the black boxes in data flow optimization
Proceedings of the VLDB Endowment
A model-driven parser generator with reference resolution support
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Disjoint out-of-order execution processor
ACM Transactions on Architecture and Code Optimization (TACO)
Implementing constrained cyber-physical systems with IEC 61499
ACM Transactions on Embedded Computing Systems (TECS)
JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Domain-Specific optimization in digital forensics
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Static detection of loop-invariant data structures
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Scalable lookahead regular expression detection system for deep packet inspection
IEEE/ACM Transactions on Networking (TON)
A Hoare-style verification calculus for control state ASMs
Proceedings of the Fifth Balkan Conference in Informatics
Faster program adaptation through reward attribution inference
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Operator precedence and the visibly pushdown property
Journal of Computer and System Sciences
P2P hierarchical botnet traffic detection using hidden Markov models
Proceedings of the 2012 Workshop on Learning from Authoritative Security Experiment Results
Computing all subtree repeats in ordered trees
Information Processing Letters
Exploiting inter-sequence correlations for program behavior prediction
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Efficient backprojection-based synthetic aperture radar computation with many-core processors
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Computer Standards & Interfaces
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
API compilation for image hardware accelerators
ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Spill code placement for SIMD machines
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Optimizing a geomodeling domain specific language
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
Ownership passing: efficient distributed memory programming on multi-core systems
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
A compiler infrastructure for embedded heterogeneous MPSoCs
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores
On the generation of sentences with their parses by propagating regular-controlled grammars
Theoretical Computer Science
A proposal for the privacy leakage verification tool for Android application developers
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication
Detecting source code similarity using code abstraction
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication
PolyGLoT: a polyhedral loop transformation framework for a graphical dataflow language
CC'13 Proceedings of the 22nd international conference on Compiler Construction
Interleaving and lock-step semantics for analysis and verification of GPU kernels
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Discovering math APIs by mining unit tests
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Timing analysis in P2P botnet traffic using probabilistic context-free grammars
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
A white-box policy analysis and its efficient implementation
Proceedings of the 18th ACM symposium on Access control models and technologies
Proceedings of the 18th ACM conference on Innovation and technology in computer science education
SmartSynth: synthesizing smartphone automation scripts from natural language
Proceeding of the 11th annual international conference on Mobile systems, applications, and services
Intermediate representations in imperative compilers: A survey
ACM Computing Surveys (CSUR)
Safe software updates via multi-version execution
Proceedings of the 2013 International Conference on Software Engineering
DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
A code generation method for system-level synthesis on ASIC, FPGA and manycore CGRA
Proceedings of the First International Workshop on Many-core Embedded Systems
KATCH: high-coverage testing of software patches
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A T2 graph-reduction approach to fusion
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Location-aware cache management for many-core processors with deep cache hierarchy
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Precise shape analysis using field sensitivity
Innovations in Systems and Software Engineering
A Framework for Synthesizing Arbitrary Boolean Queries Induced by Frequent Itemsets
International Journal of Knowledge-Based Organizations
An object-oriented approach to language compositions for software language engineering
Journal of Systems and Software
Efficient compilation of CUDA kernels for high-performance computing on FPGAs
ACM Transactions on Embedded Computing Systems (TECS) - Special issue on application-specific processors
ShadowReplica: efficient parallelization of dynamic data flow tracking
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Static analysis of worst-case stack cache behavior
Proceedings of the 21st International conference on Real-Time Networks and Systems
Parallel flow-sensitive pointer analysis by graph-rewriting
PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model driven software development: a practitioner takes stock and looks into future
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Proceedings of the 6th International Conference on Security of Information and Networks
Sleuth: automated verification of software power analysis countermeasures
CHES'13 Proceedings of the 15th international conference on Cryptographic Hardware and Embedded Systems
SEC'13 Proceedings of the 22nd USENIX conference on Security
Software engineering for eLearning
Proceedings of the First International Conference on Technological Ecosystem for Enhancing Multiculturality
A process model for the generative production of interactive simulations in engineering education
Proceedings of the First International Conference on Technological Ecosystem for Enhancing Multiculturality
Jaccie: A Java-based compiler-compiler for generating, visualizing and debugging compiler components
Science of Computer Programming
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Energy-aware code motion for GPU shader processors
ACM Transactions on Embedded Computing Systems (TECS)
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
C1C: A configurable, compiler-guided STT-RAM L1 cache
ACM Transactions on Architecture and Code Optimization (TACO)
GPU code generation for ODE-based applications with phased shared-data access patterns
ACM Transactions on Architecture and Code Optimization (TACO)
Evaluator-executor transformation for efficient pipelining of loops with conditionals
ACM Transactions on Architecture and Code Optimization (TACO)
Systematic audit of third-party android phones
Proceedings of the 4th ACM conference on Data and application security and privacy
Efficient static checker for tainted variable attacks
Science of Computer Programming
Modeling and optimizing large-scale data flows
Future Generation Computer Systems
Joint entity resolution on multiple datasets
The VLDB Journal — The International Journal on Very Large Data Bases
Finding the smallest binarization of a CFG is NP-hard
Journal of Computer and System Sciences
A compiler infrastructure for embedded heterogeneous MPSoCs
Parallel Computing
Efficient backprojection-based synthetic aperture radar computation with many-core processors
Scientific Programming - Selected Papers from Super Computing 2012
Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat
Journal of Computer Security - ESORICS 2010
Static analysis of multi-core TDMA resource arbitration delays
Real-Time Systems
Introducing domain-specific language implementation using web service-oriented technologies
Multiagent and Grid Systems - Development of service-based and agent-based computing systems
Hi-index | 0.00 |