Static data-flow analysis of synchronous programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
Can domain-specific languages be implemented by service-oriented architecture?
Proceedings of the 2010 ACM Symposium on Applied Computing
Bantam Java compiler project: experiences and extensions
Journal of Computing Sciences in Colleges
A GPGPU compiler for memory optimization and parallelism management
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
GATEKEEPER: mostly static enforcement of security and reliability policies for javascript code
SSYM'09 Proceedings of the 18th conference on USENIX security symposium
Lessons from the dragon: compiling PDF to machine code
Proceedings of the 10th ACM symposium on Document engineering
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Path-based scheduling in a hardware compiler
Proceedings of the Conference on Design, Automation and Test in Europe
Fine-grain dynamic instruction placement for L0 scratch-pad memory
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Automated Development of Cooperative MAC Protocols
Mobile Networks and Applications
Secure and private search protocols for RFID systems
Information Systems Frontiers
Equivalence checking of scheduling with speculative code transformations in high-level synthesis
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Improving the reliability of transaction identification in use cases
Information and Software Technology
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Journal of Computational and Applied Mathematics
Formalization and automated verification of RESTful behavior
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Design and implementation of domain-specific language easytime
Computer Languages, Systems and Structures
Generating synchronization statements in divide-and-conquer programs
Parallel Computing
Policy-based benchmarking of weak heaps and their relatives,
SEA'10 Proceedings of the 9th international conference on Experimental Algorithms
Strategies for predicate-aware register allocation
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
A formal approach to fixing bugs
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
GenComp --- a generic transformation system
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Removing overhead from high-level interfaces
Proceedings of the 49th Annual Design Automation Conference
Partition and compose: parallel complex event processing
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
New developments in parsing mizar
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Lean programs, branch mispredictions, and sorting
FUN'12 Proceedings of the 6th international conference on Fun with Algorithms
Towards fully automatic placement of security sanitizers and declassifiers
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the dictionary compression for Java card environment
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Low cost control flow protection using abstract control signatures
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
On death, taxes, and sleep disorder bugs in smartphones
Proceedings of the Workshop on Power-Aware Computing and Systems
Automatic mediation of privacy-sensitive resource access in smartphone applications
SEC'13 Proceedings of the 22nd USENIX conference on Security
Lessons in converting from Python to C++
Journal of Computing Sciences in Colleges
Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
Alias analysis for object-oriented programs
Aliasing in Object-Oriented Programming
Hi-index | 0.00 |