Browse Books

Zhang B, Chen W, Yao P, Wang C, Tang W and Zhang C SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, (882-899)

Lee H, Dathathri R and Pingali K Kimbap: A Node-Property Map System for Distributed Graph Analytics Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, (566-581)

Yang S, Xiao Y, Xu Z, Sun C, Ji C and Zhang Y Enhancing OSS Patch Backporting with Semantics Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, (2366-2380)

Levy B, Ishaq M, Sherman B, Kennard L, Milanova A and Zikas V COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, (2531-2545)

Gong P, Liu R, Mao Z, Cai Z, Yan X, Li C, Wang M and Li Z gSampler: General and Efficient GPU-based Graph Sampling for Graph Learning Proceedings of the 29th Symposium on Operating Systems Principles, (562-578)

Bach Poulsen C, Zwaan A and Hübner P A Monadic Framework for Name Resolution in Multi-phased Type Checkers Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (14-28)

Scott E, Johnstone A and Walsh R (2023). Multiple Input Parsing and Lexical Analysis, ACM Transactions on Programming Languages and Systems, 45:3, (1-44), Online publication date: 30-Sep-2023.

Brandt A, Maza M, Jeshani T, Wang L, Mohajerani D and Paudel J Dynamically Finding Optimal Kernel Launch Parameters for CUDA Programs Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, (64-73)

Türker U, Hierons R, Barlas G and El-Fakih K (2023). Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs, IEEE Transactions on Software Engineering, 49:9, (4371-4389), Online publication date: 1-Sep-2023.

Ayub M, Saleem T, Janjua M and Ahmad T (2022). Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts, ACM Transactions on Software Engineering and Methodology, 32:3, (1-32), Online publication date: 31-Jul-2023.

Kuepper J, Erbsen A, Gross J, Conoly O, Sun C, Tian S, Wu D, Chlipala A, Chuengsatiansup C, Genkin D, Wagner M and Yarom Y (2023). CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives, Proceedings of the ACM on Programming Languages, 7:PLDI, (1268-1292), Online publication date: 6-Jun-2023.

Zhang J, Morrisett G and Tan G (2023). Interval Parsing Grammars for File Format Parsing, Proceedings of the ACM on Programming Languages, 7:PLDI, (1073-1095), Online publication date: 6-Jun-2023.

Gopalakrishnan A, Verbrugge C and Batty M Memory Consistency Models for Program Transformations: An Intellectual Abstract Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, (30-42)

Rahman A and Parnin C (2023). Detecting and Characterizing Propagation of Security Weaknesses in Puppet-Based Infrastructure Management, IEEE Transactions on Software Engineering, 49:6, (3536-3553), Online publication date: 1-Jun-2023.

Kendon T, Wu L and Aycock J AI-Generated Code Not Considered Harmful Proceedings of the 25th Western Canadian Conference on Computing Education, (1-7)

Amato G and Scozzari F The ScalaFix Equation Solver Formal Methods, (142-159)

Alcoz A, Busse-Grawitz C, Marty E and Vanbever L Reducing P4 language's voluminosity using higher-level constructs Proceedings of the 5th International Workshop on P4 in Europe, (19-25)

Kalita P, Singal D, Agarwal P, Jhunjhunwala S and Roy S (2022). Symbolic encoding of LL(1) parsing and its applications, Formal Methods in System Design, 61:2-3, (338-379), Online publication date: 1-Dec-2022.

Rahat T, Feng Y and Tian Y Cerberus Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, (2459-2473)

Bavishi R, Joshi H, Cambronero J, Fariha A, Gulwani S, Le V, Radiček I and Tiwari A (2022). Neurosymbolic repair for low-code formula languages, Proceedings of the ACM on Programming Languages, 6:OOPSLA2, (1093-1122), Online publication date: 31-Oct-2022.

Gobieski G, Ghosh S, Heule M, Mowry T, Nowatzki T, Beckmann N and Lucia B RipTide: A Programmable, Energy-Minimal Dataflow Compiler and Architecture Proceedings of the 55th Annual IEEE/ACM International Symposium on Microarchitecture, (546-564)

Prinz T, Choi Y and Ha N Understanding and Decomposing Control-Flow Loops in Business Process Models Business Process Management, (307-323)

Zhang X, Gong Y, Liang B, Huang J, You W, Shi W and Zhang J Hunting bugs with accelerated optimal graph vertex matching Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, (64-76)

Susungi A and Tadonki C (2021). Intermediate Representations for Explicitly Parallel Programs, ACM Computing Surveys, 54:5, (1-24), Online publication date: 30-Jun-2022.

Handzhiyski N and Somova E (2022). Tunnel Parsing with the Token’s Lexeme, Cybernetics and Information Technologies, 22:2, (125-144), Online publication date: 1-Jun-2022.

Zeng M, Wu Y, Ye Z, Xiong Y, Zhang X and Zhang L Fault localization via efficient probabilistic modeling of program semantics Proceedings of the 44th International Conference on Software Engineering, (958-969)

Guo Y, Zhou J, Yao P, Shi Q and Zhang C Precise divide-by-zero detection with affirmative evidence Proceedings of the 44th International Conference on Software Engineering, (1718-1729)

Abadi A, Makovitzki B, Shemer R and Tyszberowicz S A lightweight approach for sound call graph approximation Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, (1837-1844)

Hua B, Ouyang W, Jiang C, Fan Q and Pan Z Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust Proceedings of the 37th Annual Computer Security Applications Conference, (812-823)

Jacobsen B, Rahaman S and Debray S Optimization to the Rescue Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks, (1-10)

Uezato Y Accelerating XOR-based erasure coding using program optimization techniques Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, (1-14)

Shin Y and Sung H Hybrid Register Allocation with Spill Cost and Pattern Guided Optimization Languages and Compilers for Parallel Computing, (33-49)

Pan W, Chen Z, Zhang G, Luo Y, Zhang Y and Wang J Grammar-agnostic symbolic execution by token symbolization Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, (374-387)

Gavazzo F and Faggian C A relational theory of monadic rewriting systems, part i Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-14)

Burchard L, Moe J, Schroeder D, Pogorelov K and Langguth J iPUG: Accelerating Breadth-First Graph Traversals Using Manycore Graphcore IPUs High Performance Computing, (291-309)

Beyer D and Jakobs M (2021). Cooperative verifier-based testing with CoVeriTest, International Journal on Software Tools for Technology Transfer (STTT), 23:3, (313-333), Online publication date: 1-Jun-2021.

de Fine Licht J, Besta M, Meierhans S and Hoefler T (2020). Transformations of High-Level Synthesis Codes for High-Performance Computing, IEEE Transactions on Parallel and Distributed Systems, 32:5, (1014-1029), Online publication date: 1-May-2021.

Skarlatos D, Zhao Z, Paccagnella R, Fletcher C and Torrellas J Jamais vu: thwarting microarchitectural replay attacks Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (1061-1076)

Jamieson M and Brown N Compact native code generation for dynamic languages on micro-core architectures Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, (131-140)

Copik M, Calotoiu A, Grosser T, Wicki N, Wolf F and Hoefler T Extracting clean performance models from tainted programs Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (403-417)

Macke S, Gong H, Lee D, Head A, Xin D and Parameswaran A (2021). Fine-grained lineage for safer notebook interactions, Proceedings of the VLDB Endowment, 14:6, (1093-1101), Online publication date: 1-Feb-2021.

van Rozen R (2020). Languages of Games and Play, ACM Computing Surveys, 53:6, (1-37), Online publication date: 1-Feb-2021.

Blumenthal R (2021). Descriptive and prescriptive software, ACM SIGCAS Computers and Society, 49:3, (28-30), Online publication date: 22-Jan-2021.

El-Fakih K and Bochmann G (2021). Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers, IEEE Transactions on Software Engineering, 47:1, (1-16), Online publication date: 1-Jan-2021.

Feng N, Mora F, Hui V and Chechik M Scaling client-specific equivalence checking via impact boundary search Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, (734-745)

Kosolapov Y (2020). On Detecting Code Reuse Attacks, Automatic Control and Computer Sciences, 54:7, (573-583), Online publication date: 1-Dec-2020.

Hähnle R, Heydari Tabar A, Mazaheri A, Norouzi M, Steinhöfel D and Wolf F Safer Parallelization Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, (117-137)

Celik Z, Fernandes E, Pauley E, Tan G and McDaniel P (2019). Program Analysis of Commodity IoT Applications for Security and Privacy, ACM Computing Surveys, 52:4, (1-30), Online publication date: 31-Jul-2020.

Ramu R, Upadhyaya G, Nguyen H and Rajan H BCFA Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, (1037-1048)

Czech G, Moser M and Pichler J (2019). A systematic mapping study on best practices for domain-specific modeling, Software Quality Journal, 28:2, (663-692), Online publication date: 1-Jun-2020.

Wenzl M, Merzdovnik G, Ullrich J and Weippl E (2019). From Hack to Elaborate Technique—A Survey on Binary Rewriting, ACM Computing Surveys, 52:3, (1-37), Online publication date: 31-May-2020.

Somogyi F and Asztalos M (2019). Systematic review of matching techniques used in model-driven methodologies, Software and Systems Modeling (SoSyM), 19:3, (693-720), Online publication date: 1-May-2020.

Josipović L, Sheikhha S, Guerrieri A, Ienne P and Cortadella J Buffer Placement and Sizing for High-Performance Dataflow Circuits Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, (186-196)

Wu C, Zhao H, Nandi C, Lipton J, Tatlock Z and Schulz A (2019). Carpentry compiler, ACM Transactions on Graphics, 38:6, (1-14), Online publication date: 31-Dec-2020.

Scott E and Johnstone A Multiple lexicalisation (a Java based study) Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, (71-82)

Henriksen I, Bilardi G and Pingali K (2019). Derivative grammars: a symbolic approach to parsing with derivatives, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-28), Online publication date: 10-Oct-2019.

Isenberg T, Jakobs M, Pauck F and Wehrheim H When Are Software Verification Results Valid for Approximate Hardware? Tests and Proofs, (3-20)

Ashouri A, Killian W, Cavazos J, Palermo G and Silvano C (2018). A Survey on Compiler Autotuning using Machine Learning, ACM Computing Surveys, 51:5, (1-42), Online publication date: 30-Sep-2019.

Kühn T, Cazzola W, Giampietro N and Poggi M Piggyback IDE Support for Language Product Lines Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, (131-142)

Viuginov N and Filchenkov A A machine learning based automatic folding of dynamically typed languages Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, (31-36)

Yuan L, Ding C, Smith W, Denning P and Zhang Y (2019). A Relational Theory of Locality, ACM Transactions on Architecture and Code Optimization, 16:3, (1-26), Online publication date: 20-Aug-2019.

Walia R, Narayanan P, Carette J, Tobin-Hochstadt S and Shan C (2019). From high-level inference algorithms to efficient code, Proceedings of the ACM on Programming Languages, 3:ICFP, (1-30), Online publication date: 26-Jul-2019.

Brahmakshatriya A, Kedia P, McKee D, Garg D, Lal A, Rastogi A, Nemati H, Panda A and Bhatu P ConfLLVM Proceedings of the Fourteenth EuroSys Conference 2019, (1-15)

Chittimalli P and Bhattacharyya A SBVR-based Business Rule Creation for Legacy Programs using Variable Provenance Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), (1-11)

Tikhonova U (2019). Reusable specification templates for defining dynamic semantics of DSLs, Software and Systems Modeling (SoSyM), 18:1, (691-720), Online publication date: 1-Feb-2019.

Sidhanta S, Mukhopadhyay S and Golab W Consistify Proceedings of the 20th International Conference on Distributed Computing and Networking, (282-291)

Chimdyalwar B and Darke P (2018). Statically relating program properties for efficient verification (short WIP paper), ACM SIGPLAN Notices, 53:6, (99-103), Online publication date: 7-Dec-2018.

Steindorfer M and Vinju J (2018). To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries, ACM SIGPLAN Notices, 53:4, (283-295), Online publication date: 2-Dec-2018.

Liang Y, Wang S and Zhang W (2018). FlexCL: A Model of Performance and Power for OpenCL Workloads on FPGAs, IEEE Transactions on Computers, 67:12, (1750-1764), Online publication date: 1-Dec-2018.

Kalra C, Previlon F, Li X, Rubin N and Kaeli D PRISM Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, (1-14)

Kalra C, Previlon F, Li X, Rubin N and Kaeli D PRISM Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, (1-14)

Smyth S, Schulz-Rosengarten A and von Hanxleden R Towards Interactive Compilation Models Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (246-260)

Bian P, Liang B, Shi W, Huang J and Cai Y NAR-miner: discovering negative association rules from code for bug detection Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (411-422)

Butting A, Dalibor M, Leonhardt G, Rumpe B and Wortmann A Deriving fluent internal domain-specific languages from grammars Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (187-199)

Jeong H, Lee H, Shin C and Moon S IONN Proceedings of the ACM Symposium on Cloud Computing, (401-411)

Pagetti C, Forget J, Falk H, Oehlert D and Luppold A Automated generation of time-predictable executables on multicore Proceedings of the 26th International Conference on Real-Time Networks and Systems, (104-113)

Jukšs M, Verbrugge C, Elaasar M and Vangheluwe H (2018). Scope in model transformations, Software and Systems Modeling (SoSyM), 17:4, (1227-1252), Online publication date: 1-Oct-2018.

Delfino T and Ribeiro R Towards certified virtual machine-based regular expression parsing Proceedings of the XXII Brazilian Symposium on Programming Languages, (67-74)

Willis J and Wu N Garnishing parsec with parsley Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, (24-34)

Ertl M Software vector chaining Proceedings of the 15th International Conference on Managed Languages & Runtimes, (1-9)

Mandal A, Mohan D, Jetley R, Nair S and D'Souza M A Generic Static Analysis Framework for Domain-specific Languages 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), (27-34)

Wan Y, Zhao Z, Yang M, Xu G, Ying H, Wu J and Yu P Improving automatic source code summarization via deep reinforcement learning Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, (397-407)

Sharif H, Abubakar M, Gehani A and Zaffar F TRIMMER: application specialization for code debloating Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, (329-339)

Warren D WAM for everyone Declarative Logic Programming, (237-277)

Tekchandani R, Bhatia R and Singh M (2018). Semantic code clone detection for Internet of Things applications using reaching definition and liveness analysis, The Journal of Supercomputing, 74:9, (4199-4226), Online publication date: 1-Sep-2018.

Kalysch A, Milisterfer O, Protsenko M and Müller T Tackling Androids Native Library Malware with Robust, Efficient and Accurate Similarity Measures Proceedings of the 13th International Conference on Availability, Reliability and Security, (1-10)

Hückelheim J, Hovland P, Narayanan S and Velesko P Vectorised Computation of Diverging Ensembles Proceedings of the 47th International Conference on Parallel Processing, (1-10)

El-Rahman S, El-Shishtawy T and El-Kammar R (2018). A Knowledge-Based Machine Translation Using AI Technique, International Journal of Software Innovation, 6:3, (79-92), Online publication date: 1-Jul-2018.

Das T and Dingel J (2018). Model development guidelines for UML-RT, Software and Systems Modeling (SoSyM), 17:3, (717-752), Online publication date: 1-Jul-2018.

Chimdyalwar B and Darke P Statically relating program properties for efficient verification (short WIP paper) Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, (99-103)

Steindorfer M and Vinju J To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, (283-295)

Toffalini F, Sun J and Ochoa M Static analysis of context leaks in android applications Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, (215-224)

Beyer D, Jakobs M, Lemberger T and Wehrheim H Reducer-based construction of conditional verifiers Proceedings of the 40th International Conference on Software Engineering, (1182-1193)

Sun C, Li Y, Zhang Q, Gu T and Su Z Perses Proceedings of the 40th International Conference on Software Engineering, (361-371)

Yu H, Chen Z, Wang J, Su Z and Dong W Symbolic verification of regular properties Proceedings of the 40th International Conference on Software Engineering, (871-881)

Clayman S and Tuncer D Lessons from operating systems for layering and abstractions in 5G networks NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium, (1-7)

Xu C, Su J and Chen S Exploring Efficient NFA Data Structures to Accelerate DFA Generation Proceedings of the 2nd International Conference on Cryptography, Security and Privacy, (56-61)

Beyer D, Dangl M and Wendler P (2018). A Unifying View on SMT-Based Software Verification, Journal of Automated Reasoning, 60:3, (299-335), Online publication date: 1-Mar-2018.

Tiwari M, Gupta B and Lamba S Performance Improvement of Image Enhancement Methods Using Statistical Moving Average Histogram Modification Filter Proceedings of the 2nd International Conference on Digital Signal Processing, (65-69)

Su T, Wu K, Miao W, Pu G, He J, Chen Y and Su Z (2017). A Survey on Data-Flow Testing, ACM Computing Surveys, 50:1, (1-35), Online publication date: 31-Jan-2018.

Jourdan J and Pottier F (2017). A Simple, Possibly Correct LR Parser for C11, ACM Transactions on Programming Languages and Systems, 39:4, (1-36), Online publication date: 31-Dec-2018.

Buffenbarger J (2017). Amake, Computer Languages, Systems and Structures, 50:C, (20-30), Online publication date: 1-Dec-2017.

Nagar K and Srikant Y (2017). Refining Cache Behavior Prediction Using Cache Miss Paths, ACM Transactions on Embedded Computing Systems, 16:4, (1-26), Online publication date: 30-Nov-2017.

Fezzardi P, Lattuada M and Ferrandi F (2017). Using Efficient Path Profiling to Optimize Memory Consumption of On-Chip Debugging for High-Level Synthesis, ACM Transactions on Embedded Computing Systems, 16:5s, (1-19), Online publication date: 31-Oct-2017.

Reiser M and Bläser L Accelerate JavaScript applications by cross-compiling to WebAssembly Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, (10-17)

Kasikci B, Cui W, Ge X and Niu B Lazy Diagnosis of In-Production Concurrency Bugs Proceedings of the 26th Symposium on Operating Systems Principles, (582-598)

Zaytsev V Language design with intent Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (45-52)

Monteiro F, Januário F, Cordeiro L and de Lima Filho E (2017). BMCLua, ACM SIGSOFT Software Engineering Notes, 42:3, (1-10), Online publication date: 5-Sep-2017.

Garbervetsky D, Pavlinovic Z, Barnett M, Musuvathi M, Mytkowicz T and Zoppi E Static analysis for optimizing big data queries Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, (932-937)

Bonetta D and Brantner M (2017). FAD.js, Proceedings of the VLDB Endowment, 10:12, (1778-1789), Online publication date: 1-Aug-2017.

Reps T, Turetsky E and Prabhu P (2017). Newtonian Program Analysis via Tensor Product, ACM Transactions on Programming Languages and Systems, 39:2, (1-72), Online publication date: 30-Jun-2017.

Amrani M and Schobbens P Formal Analysis of Object-Oriented Mograms Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, (1-6)

Wang S, Liang Y and Zhang W FlexCL Proceedings of the 54th Annual Design Automation Conference 2017, (1-6)

Qiu J, Zhao Z, Wu B, Vishnu A and Song S Enabling scalability-sensitive speculative parallelization for FSM computations Proceedings of the International Conference on Supercomputing, (1-10)

Grochol D and Sekanina L Multi-objective evolution of hash functions for high speed networks 2017 IEEE Congress on Evolutionary Computation (CEC), (1533-1540)

Demyanova Y, Pani T, Veith H and Zuleger F (2017). Empirical software metrics for benchmarking of verification tools, Formal Methods in System Design, 50:2-3, (289-316), Online publication date: 1-Jun-2017.

Zhang W, Hao M and Snir M (2017). Predicting HPC parallel program performance based on LLVM compiler, Cluster Computing, 20:2, (1179-1192), Online publication date: 1-Jun-2017.

Tan T, Xue Y, Chen M, Liu S, Yu Y and Sun J JSFox Proceedings of the 39th International Conference on Software Engineering Companion, (256-258)

Bondhugula U, Bandishti V and Pananilath I (2017). Diamond Tiling, IEEE Transactions on Parallel and Distributed Systems, 28:5, (1285-1298), Online publication date: 1-May-2017.

Schröder L, Kozen D, Milius S and Wiβmann T Nominal Automata with Name Binding Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203, (124-142)

(2017). Exploiting vectorization in high level synthesis of nested irregular loops, Journal of Systems Architecture: the EUROMICRO Journal, 75:C, (1-14), Online publication date: 1-Apr-2017.

Jäschke C, Herter U, Wolkober C, Schmitt C and Zoellin C Static netlist verification for IBM high-frequency processors using a tree-grammar Proceedings of the Conference on Design, Automation & Test in Europe, (1556-1561)

Pilato C, Mantovani P, Di Guglielmo G and Carloni L (2017). System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36:3, (435-448), Online publication date: 1-Mar-2017.

Doerfert J, Grosser T and Hack S Optimistic loop optimization Proceedings of the 2017 International Symposium on Code Generation and Optimization, (292-304)

Sadeghi A, Esfahani N and Malek S (2017). Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency Analysis, ACM Transactions on Software Engineering and Methodology, 26:1, (1-27), Online publication date: 31-Jan-2017.

Hierons R and Türker U (2017). Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs, ACM Transactions on Software Engineering and Methodology, 26:1, (1-34), Online publication date: 31-Jan-2017.

Faleiro J, Abadi D and Hellerstein J (2017). High performance transactions via early write visibility, Proceedings of the VLDB Endowment, 10:5, (613-624), Online publication date: 1-Jan-2017.

Mingo J and Aler R (2016). A competence-performance based model to develop a syntactic language for artificial agents, Information Sciences: an International Journal, 373:C, (79-94), Online publication date: 10-Dec-2016.

Li Z and Ge T (2016). History is a mirror to the future, Proceedings of the VLDB Endowment, 10:4, (397-408), Online publication date: 1-Nov-2016.

Hierons R and Turker U (2016). Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets, IEEE Transactions on Computers, 65:11, (3370-3383), Online publication date: 1-Nov-2016.

Ade-Ibijola A FINCHAN Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, (1-10)

Lou L, Nguyen P, Lawrence J and Barnes C (2016). Image Perforation, ACM Transactions on Graphics, 35:5, (1-14), Online publication date: 22-Sep-2016.

Scott E and Johnstone A (2016). Structuring the GLL parsing algorithm for performance, Science of Computer Programming, 125:C, (1-22), Online publication date: 1-Sep-2016.

Ohmann P, Brown D, Neelakandan N, Linderoth J and Liblit B Optimizing customized program coverage Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (27-38)

Sivaraman A, Cheung A, Budiu M, Kim C, Alizadeh M, Balakrishnan H, Varghese G, McKeown N and Licking S Packet Transactions Proceedings of the 2016 ACM SIGCOMM Conference, (15-28)

Shahbaz M, Choi S, Pfaff B, Kim C, Feamster N, McKeown N and Rexford J PISCES Proceedings of the 2016 ACM SIGCOMM Conference, (525-538)

Lattuada M, Pilato C and Ferrandi F (2016). Performance Estimation of Task Graphs Based on Path Profiling, International Journal of Parallel Programming, 44:4, (735-771), Online publication date: 1-Aug-2016.

Kim J, Choi H, Yun H and Moon B Measuring Source Code Similarity by Finding Similar Subgraph with an Incremental Genetic Algorithm Proceedings of the Genetic and Evolutionary Computation Conference 2016, (925-932)

Grochol D and Sekanina L Evolutionary Design of Fast High-quality Hash Functions for Network Applications Proceedings of the Genetic and Evolutionary Computation Conference 2016, (901-908)

Horváth G and Pataki N Source language representation of function summaries in static analysis Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (1-9)

Shaikhha A, Klonatos Y, Parreaux L, Brown L, Dashti M and Koch C How to Architect a Query Compiler Proceedings of the 2016 International Conference on Management of Data, (1907-1922)

Gupta K and Nandivada V (2016). Lexical state analyzer for JavaCC grammars, Software—Practice & Experience, 46:6, (751-765), Online publication date: 1-Jun-2016.

Liang B, Bian P, Zhang Y, Shi W, You W and Cai Y AntMiner Proceedings of the 38th International Conference on Software Engineering, (333-344)

Barve A and Joshi B (2016). Fast parallel lexical analysis on multi-core machines, International Journal of High Performance Computing and Networking, 9:3, (250-257), Online publication date: 1-May-2016.

Jin X, Huang P, Xu T and Zhou Y NChecker Proceedings of the Eleventh European Conference on Computer Systems, (1-16)

Cazzola W, Giannini P and Shaqiri A (2016). Formal Attributes Traceability in Modular Language Development Frameworks, Electronic Notes in Theoretical Computer Science (ENTCS), 322:C, (119-134), Online publication date: 18-Apr-2016.

Lin Y and Lee J (2016). Vector data flow analysis for SIMD optimizations on OpenCL programs, Concurrency and Computation: Practice & Experience, 28:5, (1629-1654), Online publication date: 10-Apr-2016.

Jančík P and Kofroň J Dead variable analysis for multi-threaded heap manipulating programs Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1620-1627)

Cazzola W and Vacchi E (2016). Language components for modular DSLs using traits, Computer Languages, Systems and Structures, 45:C, (16-34), Online publication date: 1-Apr-2016.

Albert E, Flores-Montoya A, Genaim S and Martin-Martin E (2015). May-Happen-in-Parallel Analysis for Actor-Based Concurrency, ACM Transactions on Computational Logic, 17:2, (1-39), Online publication date: 28-Mar-2016.

Rajbhandari S, Kim J, Krishnamoorthy S, Pouchet L, Rastello F, Harrison R and Sadayappan P On fusing recursive traversals of K-d trees Proceedings of the 25th International Conference on Compiler Construction, (152-162)

Murphy N, Jones T, Mullins R and Campanoni S Performance implications of transient loop-carried data dependences in automatically parallelized loops Proceedings of the 25th International Conference on Compiler Construction, (23-33)

Yang Z, Hao K, Cong K, Lei L, Ray S and Xie F Validating scheduling transformation for behavioral synthesis Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1652-1657)

Schulz S and Bringmann O Accelerating source-level timing simulation Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1574-1579)

Monshizadeh M, Naldurg P and Venkatakrishnan V Patching Logic Vulnerabilities for Web Applications using LogicPatcher Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy, (73-84)

Hussain I, Csallner C, Grechanik M, Xie Q, Park S, Taneja K and Mainul Hossain B (2016). RUGRAT, Software—Practice & Experience, 46:3, (405-431), Online publication date: 1-Mar-2016.

Weng M, Utting M and Pfahringer B (2016). Bound Analysis for Whiley Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 320:C, (53-67), Online publication date: 26-Feb-2016.

Nanda M and Arun-Kumar S Decompiling Boolean Expressions from Java™ Bytecode Proceedings of the 9th India Software Engineering Conference, (59-69)

Eshuis R, Lécué F and Mehandjiev N (2016). Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge, ACM Transactions on the Web, 10:1, (1-27), Online publication date: 17-Feb-2016.

Gabow H (2016). The Minset-Poset Approach to Representations of Graph Connectivity, ACM Transactions on Algorithms, 12:2, (1-73), Online publication date: 12-Feb-2016.

Yang X, Qiu T, Wang B, Zheng B, Wang Y and Li C (2016). Negative Factor, ACM Transactions on Database Systems, 40:4, (1-46), Online publication date: 3-Feb-2016.

Sumikawa Y and Takimoto M (2016). Global load instruction aggregation based on dimensions of arrays, Computers and Electrical Engineering, 50:C, (180-199), Online publication date: 1-Feb-2016.

Gribova V, Kleshchev A, Moskalenko F and Timchenko V (2016). Implementation of a model of a metainformation-controlled editor of information units with a complex structure, Automatic Documentation and Mathematical Linguistics, 50:1, (14-25), Online publication date: 1-Jan-2016.

Barve A and Joshi B (2016). Fast parallel lexical analysis on multi-core machines, International Journal of High Performance Computing and Networking, 9:3, (250-257), Online publication date: 1-Jan-2016.

Membarth R, Reiche O, Hannig F, Teich J, Korner M and Eckert W (2016). HIPA^cc: A Domain-Specific Language and Compiler for Image Processing, IEEE Transactions on Parallel and Distributed Systems, 27:1, (210-224), Online publication date: 1-Jan-2016.

Eshuis R and Kumar A (2016). Converting unstructured into semi-structured process models, Data & Knowledge Engineering, 101:C, (43-61), Online publication date: 1-Jan-2016.

Steindorfer M and Vinju J (2015). Optimizing hash-array mapped tries for fast and lean immutable JVM collections, ACM SIGPLAN Notices, 50:10, (783-800), Online publication date: 18-Dec-2015.

Madhavan R, Mayer M, Gulwani S and Kuncak V (2015). Automating grammar comparison, ACM SIGPLAN Notices, 50:10, (183-200), Online publication date: 18-Dec-2015.

Cojocar L, Zaddach J, Verdult R, Bos H, Francillon A and Balzarotti D PIE Proceedings of the 31st Annual Computer Security Applications Conference, (251-260)

Healy C (2015). The parse machine, Journal of Computing Sciences in Colleges, 31:2, (219-226), Online publication date: 1-Dec-2015.

Güniçen C, Jourdan G and Yenigün H Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation Proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 9447, (19-34)

Steindorfer M and Vinju J Optimizing hash-array mapped tries for fast and lean immutable JVM collections Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (783-800)

Madhavan R, Mayer M, Gulwani S and Kuncak V Automating grammar comparison Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (183-200)

Bott J and Laviola Jr. J (2015). The WOZ Recognizer, ACM Transactions on Interactive Intelligent Systems, 5:3, (1-38), Online publication date: 16-Oct-2015.

Dorn J, Barnes C, Lawrence J and Weimer W (2015). Towards Automatic Band-Limited Procedural Shaders, Computer Graphics Forum, 34:7, (77-87), Online publication date: 1-Oct-2015.

Safi G, Shahbazian A, Halfond W and Medvidovic N Detecting event anomalies in event-based systems Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, (25-37)

Parameshwaran I, Budianto E, Shinde S, Dang H, Sadhu A and Saxena P Auto-patching DOM-based XSS at scale Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, (272-283)

Jayathilaka H, Krintz C and Wolski R Response time service level agreements for cloud-hosted web applications Proceedings of the Sixth ACM Symposium on Cloud Computing, (315-328)

Prountzos D, Manevich R and Pingali K (2015). Synthesizing parallel graph programs via automated planning, ACM SIGPLAN Notices, 50:6, (533-544), Online publication date: 7-Aug-2015.

Kühn T, Cazzola W and Olivares D Choosy and picky Proceedings of the 19th International Conference on Software Product Line, (71-80)

Li Q, Zhao M, Hu J, Liu Y, He Y and Xue C Compiler directed automatic stack trimming for efficient non-volatile processors Proceedings of the 52nd Annual Design Automation Conference, (1-6)

Prountzos D, Manevich R and Pingali K Synthesizing parallel graph programs via automated planning Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (533-544)

Su T, Fu Z, Pu G, He J and Su Z Combining symbolic execution and model checking for data flow testing Proceedings of the 37th International Conference on Software Engineering - Volume 1, (654-665)

Royuela S, Ferrer R, Caballero D and Martorell X Compiler analysis for OpenMP tasks correctness Proceedings of the 12th ACM International Conference on Computing Frontiers, (1-8)

Lestringant P, Guihéry F and Fouque P Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, (203-214)

Puffitsch W Persistence-based branch misprediction bounds for WCET analysis Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1898-1905)

Fauzia N, Pouchet L and Sadayappan P Characterizing and enhancing global memory data coalescing on GPUs Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, (12-22)

Bahr P and Axelsson E Generalising Tree Traversals to DAGs Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, (27-38)

Fedorchenko L and Baranov S (2015). Equivalent Transformations and Regularization in Context-Free Grammars, Cybernetics and Information Technologies, 14:4, (29-44), Online publication date: 1-Jan-2015.

Pomonis M, Petsios T, Jee K, Polychronakis M and Keromytis A IntFlow Proceedings of the 30th Annual Computer Security Applications Conference, (416-425)

Lin Y, Radoi C and Dig D Retrofitting concurrency for Android applications through refactoring Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (341-352)

Liu C, Zhang J, Zhou H, McDirmid S, Guo Z and Moscibroda T Automating Distributed Partial Aggregation Proceedings of the ACM Symposium on Cloud Computing, (1-12)

Güniçen C, İnan K, Türker U and Yenigün H (2014). The relation between preset distinguishing sequences and synchronizing sequences, Formal Aspects of Computing, 26:6, (1153-1167), Online publication date: 1-Nov-2014.

Visser E, Wachsmuth G, Tolmach A, Neron P, Vergu V, Passalaqua A and Konat G A Language Designer's Workbench Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, (95-111)

Horng S, Farfoura M, Fan P, Wang X, Li T and Guo J (2014). A low cost fragile watermarking scheme in H.264/AVC compressed domain, Multimedia Tools and Applications, 72:3, (2469-2495), Online publication date: 1-Oct-2014.

Fourtounis G and Papaspyrou N An efficient representation for lazy constructors using 64-bit pointers Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, (23-30)

Bhoraskar R, Han S, Jeon J, Azim T, Chen S, Jung J, Nath S, Wang R and Wetherall D Brahmastra Proceedings of the 23rd USENIX conference on Security Symposium, (1021-1036)

Wei S and Ryder B State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects Proceedings of the 28th European Conference on ECOOP 2014 --- Object-Oriented Programming - Volume 8586, (1-26)

Brady A, Lawrence J, Peers P and Weimer W (2014). genBRDF, ACM Transactions on Graphics, 33:4, (1-11), Online publication date: 27-Jul-2014.

Sinn M, Zuleger F and Veith H A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559, (745-761)

Gligoric M, Majumdar R, Sharma R, Eloussi L and Marinov D Regression Test Selection for Distributed Software Histories Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559, (293-309)

Guan N, Lv M, Yi W and Yu G (2014). WCET analysis with MRU cache, ACM Transactions on Embedded Computing Systems, 13:4s, (1-26), Online publication date: 1-Jul-2014.

Georgiadis L, Laura L, Parotsidis N and Tarjan R Loop Nesting Forests, Dominators, and Applications Proceedings of the 13th International Symposium on Experimental Algorithms - Volume 8504, (174-186)

Ghosh S, Hiser J and Davidson J What's the PointiSA? Proceedings of the 2nd ACM workshop on Information hiding and multimedia security, (23-34)

Li Z Array privatization for parallel execution of loops ACM International Conference on Supercomputing 25th Anniversary Volume, (173-182)

Feautrier P Array expansion ACM International Conference on Supercomputing 25th Anniversary Volume, (99-111)

Goodman J and Hsu W Code scheduling and register allocation in large basic blocks ACM International Conference on Supercomputing 25th Anniversary Volume, (88-98)

Chittimalli P and Naik R Variable provenance in software systems Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, (9-13)

Yang Z, Hao K, Cong K, Lei L, Ray S and Xie F Scalable Certification Framework for Behavioral Synthesis Front-End Proceedings of the 51st Annual Design Automation Conference, (1-6)

Li D, Tran A and Halfond W Making web applications more energy efficient for OLED smartphones Proceedings of the 36th International Conference on Software Engineering, (527-538)

Yao X, Harman M and Jia Y A study of equivalent and stubborn mutation operators using human analysis of equivalence Proceedings of the 36th International Conference on Software Engineering, (919-930)

Vacchi E, Olivares D, Shaqiri A and Cazzola W Neverlang 2 Proceedings of the companion publication of the 13th international conference on Modularity, (29-32)

Schulte E, Dorn J, Harding S, Forrest S and Weimer W (2014). Post-compiler software optimization for reducing energy, ACM SIGARCH Computer Architecture News, 42:1, (639-652), Online publication date: 5-Apr-2014.

Schulte E, Dorn J, Harding S, Forrest S and Weimer W (2014). Post-compiler software optimization for reducing energy, ACM SIGPLAN Notices, 49:4, (639-652), Online publication date: 5-Apr-2014.

Schulte E, Dorn J, Harding S, Forrest S and Weimer W Post-compiler software optimization for reducing energy Proceedings of the 19th international conference on Architectural support for programming languages and operating systems, (639-652)

Leather H, Bonilla E and O'boyle M (2014). Automatic feature generation for machine learning--based optimising compilation, ACM Transactions on Architecture and Code Optimization, 11:1, (1-32), Online publication date: 1-Feb-2014.

Payet E and Spoto F An operational semantics for android activities Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, (121-132)

Hoefler T, Dinan J, Buntinas D, Balaji P, Barrett B, Brightwell R, Gropp W, Kale V and Thakur R (2013). MPI + MPI, Computing, 95:12, (1121-1136), Online publication date: 1-Dec-2013.

Kawahito M, Komatsu H, Moriyama T, Inoue H and Nakatani T (2013). Idiom recognition framework using topological embedding, ACM Transactions on Architecture and Code Optimization, 10:3, (1-34), Online publication date: 16-Sep-2013.

Garcia J, Popescu D, Safi G, Halfond W and Medvidovic N Identifying message flow in distributed event-based systems Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (367-377)

Androutsopoulos K, Clark D, Harman M, Krinke J and Tratt L (2013). State-based model slicing, ACM Computing Surveys, 45:4, (1-36), Online publication date: 1-Aug-2013.

Chang J, Venkatasubramanian K, West A and Lee I (2013). Analyzing and defending against web-based malware, ACM Computing Surveys, 45:4, (1-35), Online publication date: 1-Aug-2013.

Devaki P, Thummalapenta S, Singhania N and Sinha S Efficient and flexible GUI test execution via test merging Proceedings of the 2013 International Symposium on Software Testing and Analysis, (34-44)

Luxton-Reilly A, Denny P, Kirk D, Tempero E and Yu S On the differences between correct student solutions Proceedings of the 18th ACM conference on Innovation and technology in computer science education, (177-182)

Auerbach J, Bacon D, Cheng P, Fink S and Rabbah R The shape of things to run Proceedings of the 27th European conference on Object-Oriented Programming, (679-706)

Li Z, Ge T and Chen C ε-Matching Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, (601-612)

Li Q, Jiang L, Zhang Y, He Y and Xue C Compiler directed write-mode selection for high performance low power volatile PCM Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, (101-110)

Li Q, Jiang L, Zhang Y, He Y and Xue C Compiler directed write-mode selection for high performance low power volatile PCM Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, (101-110)

Lu J, Bai K and Shrivastava A SSDM Proceedings of the 50th Annual Design Automation Conference, (1-8)

Li Q, Jiang L, Zhang Y, He Y and Xue C (2013). Compiler directed write-mode selection for high performance low power volatile PCM, ACM SIGPLAN Notices, 48:5, (101-110), Online publication date: 23-May-2013.

Hatcliff J, Robby , Chalin P and Belt J Explicating symbolic execution (xSymExe): an evidence-based verification framework Proceedings of the 2013 International Conference on Software Engineering, (222-231)

Wu Q, Wu L, Liang G, Wang Q, Xie T and Mei H Inferring dependency constraints on parameters for web services Proceedings of the 22nd international conference on World Wide Web, (1421-1432)

Hascoet L and Pascual V (2013). The Tapenade automatic differentiation tool, ACM Transactions on Mathematical Software, 39:3, (1-43), Online publication date: 1-Apr-2013.

Alitavoli M, Joafshani M and Erfanian A A novel watermarking method for Java programs Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1013-1018)

Beyer D and Löwe S Explicit-State software model checking based on CEGAR and interpolation Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering, (146-162)

Cesare S and Xiang Y Simseer and bugwise Proceedings of the Eleventh Australasian Symposium on Parallel and Distributed Computing - Volume 140, (21-29)

Choi H and Burgstaller B Non-blocking parallel subset construction on shared-memory multicore architectures Proceedings of the Eleventh Australasian Symposium on Parallel and Distributed Computing - Volume 140, (13-20)

Saladi K, Somakumar H and Ganapathi M (2013). Concurrency-aware compiler optimizations for hardware description languages, ACM Transactions on Design Automation of Electronic Systems, 18:1, (1-16), Online publication date: 1-Jan-2013.

Weaver G and Smith S XUTools Proceedings of the 26th international conference on Large Installation System Administration: strategies, tools, and techniques, (83-100)

Bandishti V, Pananilath I and Bondhugula U Tiling stencil computations to maximize parallelism Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, (1-11)

Cimatti A, Roveri M, Susi A and Tonetta S (2013). Validation of requirements for hybrid systems, ACM Transactions on Software Engineering and Methodology, 21:4, (1-34), Online publication date: 1-Nov-2012.

Jeon J, Micinski K, Vaughan J, Fogel A, Reddy N, Foster J and Millstein T Dr. Android and Mr. Hide Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices, (3-14)

Oliveira B and Cook W (2012). Functional programming with structured graphs, ACM SIGPLAN Notices, 47:9, (77-88), Online publication date: 15-Oct-2012.

Guo Z, Fan X, Chen R, Zhang J, Zhou H, McDirmid S, Liu C, Lin W, Zhou J and Zhou L Spotting code optimizations in data-parallel pipelines through PeriSCOPE Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, (121-133)

Athavale V, Hertz S, Jetly D, Ganesan V, Krysl J and Vasudevan S Using static analysis for coverage extraction fromemulation/prototyping platforms Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (207-214)

Lin H, Hu T and Fei Y (2012). A Hardware/Software Cooperative Custom Register Binding Approach for Register Spill Elimination in Application-Specific Instruction Set Processors, ACM Transactions on Design Automation of Electronic Systems, 17:4, (1-19), Online publication date: 1-Oct-2012.

Nikolić Đ and Spoto F Definite expression aliasing analysis for java bytecode Proceedings of the 9th international conference on Theoretical Aspects of Computing, (74-89)

Oliveira B and Cook W Functional programming with structured graphs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, (77-88)

Patzke T, Becker M, Steffens M, Sierszecki K, Savolainen J and Fogdal T Identifying improvement potential in evolving product line infrastructures Proceedings of the 16th International Software Product Line Conference - Volume 1, (239-248)

Hussain I, Csallner C, Grechanik M, Fu C, Xie Q, Park S, Taneja K and Hossain B Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator Proceedings of the Ninth International Workshop on Dynamic Analysis, (1-6)

Fry Z, Landau B and Weimer W A human study of patch maintainability Proceedings of the 2012 International Symposium on Software Testing and Analysis, (177-187)

Koschmieder A and Leser U Regular path queries on large graphs Proceedings of the 24th international conference on Scientific and Statistical Database Management, (177-194)

Lu L, Zhang C and Zhao J Soot-based implementation of a demand-driven reaching definitions analysis Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, (21-26)

Ettinger R Program sliding Proceedings of the 26th European conference on Object-Oriented Programming, (713-737)

Eder S, Junker M, Jürgens E, Hauptmann B, Vaas R and Prommer K How much does unused code matter for maintenance? Proceedings of the 34th International Conference on Software Engineering, (1102-1111)

Mesbah A and Mirshokraie S Automated analysis of CSS rules to support style maintenance Proceedings of the 34th International Conference on Software Engineering, (408-418)

Karfa C, Mandal C and Sarkar D (2012). Formal verification of code motion techniques using data-flow-driven equivalence checking, ACM Transactions on Design Automation of Electronic Systems, 17:3, (1-37), Online publication date: 1-Jun-2012.

Yang Y, Xiang P, Kong J, Mantor M and Zhou H (2012). A unified optimizing compiler framework for different GPGPU architectures, ACM Transactions on Architecture and Code Optimization, 9:2, (1-33), Online publication date: 1-Jun-2012.

Cazzola W Domain-Specific languages in few steps Proceedings of the 11th international conference on Software Composition, (162-177)

Sánchez Cuadrado J Towards a family of model transformation languages Proceedings of the 5th international conference on Theory and Practice of Model Transformations, (176-191)

Zhang J, Zhou H, Chen R, Fan X, Guo Z, Lin H, Li J, Lin W, Zhou J and Zhou L Optimizing data shuffling in data-parallel computation by understanding user-defined functions Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, (22-22)

Ganty P and Majumdar R (2012). Algorithmic verification of asynchronous programs, ACM Transactions on Programming Languages and Systems, 34:1, (1-48), Online publication date: 1-Apr-2012.

Zhang R, Debray S and Snodgrass R Micro-specialization Proceedings of the Tenth International Symposium on Code Generation and Optimization, (63-73)

Albert E, Arenas P, Genaim S, Gómez-Zamalloa M and Puebla G Automatic inference of resource consumption bounds Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, (1-11)

Watanobe Y, Mirenkov N and Watanabe Y AIDA compiler Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments, (76-83)

Nikolić Đ and Spoto F Automaton-Based array initialization analysis Proceedings of the 6th international conference on Language and Automata Theory and Applications, (420-432)

Hundeshagen N and Otto F Characterizing the rational functions by restarting transducers Proceedings of the 6th international conference on Language and Automata Theory and Applications, (325-336)

Komondoor R, Nandivada V, Sinha S and Field J Identifying services from legacy batch applications Proceedings of the 5th India Software Engineering Conference, (13-22)

Bouchou B, Halfeld-Ferrari M and Lima M A grammarware for the incremental validation of integrity constraints on XML documents under multiple updates Transactions on Large-Scale Data- and Knowledge-Centered Systems VI, (167-197)

Palsberg J Overloading is NP-Complete Logic and Program Semantics, (204-218)

Carlsson M and Mildner P (2012). Sicstus prolog-the first 25 years, Theory and Practice of Logic Programming, 12:1-2, (35-66), Online publication date: 1-Jan-2012.

Shamizi S and Lotfi S Register allocation via graph coloring using an evolutionary algorithm Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part II, (1-8)

Marinescu P and Candea G (2011). Efficient Testing of Recovery Code Using Fault Injection, ACM Transactions on Computer Systems, 29:4, (1-38), Online publication date: 1-Dec-2011.

Zhang H, Kuan Tan H, Zhang L, Lin X, Wang X, Zhang C and Mei H (2011). Checking enforcement of integrity constraints in database applications based on code patterns, Journal of Systems and Software, 84:12, (2253-2264), Online publication date: 1-Dec-2011.

Mangassarian H, Veneris A, Smith D and Safarpour S Debugging with dominance Proceedings of the International Conference on Computer-Aided Design, (587-594)

Yu Y, Tun T and Nuseibeh B Specifying and detecting meaningful changes in programs Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (273-282)

Lemay F, Khoury R and Tawbi N Optimized inlining of runtime monitors Proceedings of the 16th Nordic conference on Information Security Technology for Applications, (149-161)

Gampe A and von Ronne J Efficient incremental information flow control with nested control regions Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, (19-28)

Nandivada V, Nanda M, Dhoolia P, Saha D, Nandy A and Ghosh A A framework for analyzing programs written in proprietary languages Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, (289-300)

Belazzougui D and Raffinot M Approximate regular expression matching with multi-strings Proceedings of the 18th international conference on String processing and information retrieval, (55-66)

Coogan K, Lu G and Debray S Deobfuscation of virtualization-obfuscated software Proceedings of the 18th ACM conference on Computer and communications security, (275-284)

Zeng B, Tan G and Morrisett G Combining control-flow integrity and static analysis for efficient and validated data sandboxing Proceedings of the 18th ACM conference on Computer and communications security, (29-40)

Fehnker A, Huuck R and Rödiger W Model checking dataflow for malicious input Proceedings of the Workshop on Embedded Systems Security, (1-10)

Godefroid P, Lahiri S and Rubio-González C Statically validating must summaries for incremental compositional dynamic test generation Proceedings of the 18th international conference on Static analysis, (112-128)

Bauer M, Clark J, Schkufza E and Aiken A (2011). Programming the memory hierarchy revisited, ACM SIGPLAN Notices, 46:8, (13-24), Online publication date: 7-Sep-2011.

Bauer A, Leucker M and Schallhart C (2011). Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, 20:4, (1-64), Online publication date: 1-Sep-2011.

Bouchou B, Ferrari M and Lima M Attribute grammar for XML integrity constraint validation Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I, (94-109)

Dinesh N, Joshi A and Lee I Computing logical form on regulatory texts Proceedings of the Conference on Empirical Methods in Natural Language Processing, (1202-1212)

Babić D, Reynaud D and Song D Malware analysis with tree automata inference Proceedings of the 23rd international conference on Computer aided verification, (116-131)

Hanneforth T A practical algorithm for intersecting weighted context-free grammars with finite-state automata Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing, (57-64)

Basten H and Vinju J Parse forest diagnostics with dr. ambiguity Proceedings of the 4th international conference on Software Language Engineering, (283-302)

Cuadrado J, Guerra E and De Lara J Generic model transformations Proceedings of the 4th international conference on Theory and practice of model transformations, (62-77)

Wimmer M, Kappel G, Kusel A, Retschitzegger W, Schönböck J, Schwinger W, Kolovos D, Paige R, Lauder M, Schürr A and Wagelaar D A comparison of rule inheritance in model-to-model transformation languages Proceedings of the 4th international conference on Theory and practice of model transformations, (31-46)

Pingali K, Nguyen D, Kulkarni M, Burtscher M, Hassaan M, Kaleem R, Lee T, Lenharth A, Manevich R, Méndez-Lojo M, Prountzos D and Sui X The tao of parallelism in algorithms Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (12-25)

Pingali K, Nguyen D, Kulkarni M, Burtscher M, Hassaan M, Kaleem R, Lee T, Lenharth A, Manevich R, Méndez-Lojo M, Prountzos D and Sui X (2011). The tao of parallelism in algorithms, ACM SIGPLAN Notices, 46:6, (12-25), Online publication date: 4-Jun-2011.

Mingo J and Aler R An incremental model of lexicon consensus in a population of agents by means of grammatical evolution, reinforcement learning and semantic rules Proceedings of the 4th international conference on Interplay between natural and artificial computation - Volume Part I, (40-49)

Maruyama K and Omori T A security-aware refactoring tool for Java programs Proceedings of the 4th Workshop on Refactoring Tools, (22-28)

Cordy M and Remiche M QBD sensitivity analysis tool using discrete-event simulation and extension of SMCSolver Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (439-446)

Ottoni G, Hartin T, Weaver C, Brandt J, Kuttanna B and Wang H Harmonia Proceedings of the 8th ACM International Conference on Computing Frontiers, (1-10)

Turner R (2011). Specification, Minds and Machines, 21:2, (135-152), Online publication date: 1-May-2011.

Li J, Wu C and Hsu W Dynamic register promotion of stack variables Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization, (21-31)

Zhang Q, Zheng W and Lyu M Flow-augmented call graph Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software, (386-400)

Bodden E Closure joinpoints Proceedings of the tenth international conference on Aspect-oriented software development, (117-128)

Xydis S, Economakos G, Soudris D and Pekmestzi K (2011). High performance and area efficient flexible DSP datapath synthesis, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 19:3, (429-442), Online publication date: 1-Mar-2011.

Chen S, Gibbons P, Kozuch M and Mowry T (2011). Log-based architectures, ACM SIGOPS Operating Systems Review, 45:1, (84-91), Online publication date: 18-Feb-2011.

Bauer M, Clark J, Schkufza E and Aiken A Programming the memory hierarchy revisited Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, (13-24)

Hirvensalo M Quantum automata theory – a review Algebraic Foundations in Computer Science, (146-167)

Puebla G, Albert E and Hermenegildo M (2011). Efficient local unfolding with ancestor stacks*, Theory and Practice of Logic Programming, 11:1, (1-32), Online publication date: 1-Jan-2011.

Rieck K, Krueger T and Dewald A Cujo Proceedings of the 26th Annual Computer Security Applications Conference, (31-39)

Mohan S, Mueller F, Root M, Hawkins W, Healy C, Whalley D and Vivancos E (2011). Parametric timing analysis and its application to dynamic voltage scaling, ACM Transactions on Embedded Computing Systems, 10:2, (1-34), Online publication date: 1-Dec-2010.

Xu Z, Kim Y, Kim M, Rothermel G and Cohen M Directed test suite augmentation Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (257-266)

Vallée-Rai R, Co P, Gagnon E, Hendren L, Lam P and Sundaresan V Soot CASCON First Decade High Impact Papers, (214-224)

Méndez-Lojo M, Mathew A and Pingali K (2010). Parallel inclusion-based points-to analysis, ACM SIGPLAN Notices, 45:10, (428-443), Online publication date: 17-Oct-2010.

Shi Y, Park S, Yin Z, Lu S, Zhou Y, Chen W and Zheng W (2010). Do I use the wrong definition?, ACM SIGPLAN Notices, 45:10, (160-174), Online publication date: 17-Oct-2010.

Méndez-Lojo M, Mathew A and Pingali K Parallel inclusion-based points-to analysis Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (428-443)

Shi Y, Park S, Yin Z, Lu S, Zhou Y, Chen W and Zheng W Do I use the wrong definition? Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (160-174)

Aslam A and Hendren L McFLAT Proceedings of the 23rd international conference on Languages and compilers for parallel computing, (1-15)

Xu D, Gössler G and Girault A Probabilistic contracts for component-based design Proceedings of the 8th international conference on Automated technology for verification and analysis, (325-340)

Anju S, Harmya P, Jagadeesh N and Darsana R Malware detection using assembly code and control flow graph optimization Proceedings of the 1st Amrita ACM-W Celebration on Women in Computing in India, (1-4)

Farzan A and Kincaid Z Compositional bitvector analysis for concurrent programs with nested locks Proceedings of the 17th international conference on Static analysis, (253-270)

Dobriýek S, Žibert J and Mihelič F Towards the optimal minimization of a pronunciation dictionary model Proceedings of the 13th international conference on Text, speech and dialogue, (267-274)

Jovanovic N, Kruegel C and Kirda E (2010). Static analysis for detecting taint-style vulnerabilities in web applications, Journal of Computer Security, 18:5, (861-907), Online publication date: 1-Sep-2010.

Kalenkova A (2010). Application of if-conversion to verification and optimization of workflows, Programming and Computing Software, 36:5, (276-288), Online publication date: 1-Sep-2010.

Mak J, Faxén K, Janson S and Mycroft A Estimating and exploiting potential parallelism by source-level dependence profiling Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I, (26-37)

Holzer M and Kutrib M The complexity of regular(-like) expressions Proceedings of the 14th international conference on Developments in language theory, (16-30)

Le Maout V Regular expressions at their best Proceedings of the 15th international conference on Implementation and application of automata, (310-320)

Georgiadis L Testing 2-vertex connectivity and computing pairs of vertex-disjoint s-t paths in digraphs Proceedings of the 37th international colloquium conference on Automata, languages and programming, (738-749)

Vecchié E, Talpin J and Boisgérault S A higher-order extension for imperative synchronous languages Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, (1-10)

Cazzola W and Poletti D DSL evolution through composition Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, (1-6)

Dhoolia P, Mani S, Sinha V and Sinha S Debugging model-transformation failures using dynamic tainting Proceedings of the 24th European conference on Object-oriented programming, (26-51)

Chroni M and Nikolopoulos S Encoding watermark integers as self-inverting permutations Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies, (125-130)

Bertin C, Guillon C and De Bosschere K Compilation and virtualization in the HiPEAC vision Proceedings of the 47th Design Automation Conference, (96-101)

Ruwase O, Chen S, Gibbons P and Mowry T (2010). Decoupled lifeguards, ACM SIGPLAN Notices, 45:6, (25-35), Online publication date: 12-Jun-2010.

Ruwase O, Chen S, Gibbons P and Mowry T Decoupled lifeguards Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (25-35)

Ng K and Haron Z (2010). Visual microcontroller programming using extended S-system Petri nets, WSEAS Transactions on Computers, 9:6, (573-582), Online publication date: 1-Jun-2010.

Weber I, Hoffmann J and Mendling J (2010). Beyond soundness, Distributed and Parallel Databases, 27:3, (271-343), Online publication date: 1-Jun-2010.

House D, Malloy B and Buckley C The craft of computer programming Proceedings of the International Academic Conference on the Future of Game Design and Technology, (74-81)

Rumpe B, Schindler M, Völkel S and Weisemöller I Generative software development Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (473-474)

Chiappini A, Cimatti A, Macchi L, Rebollo O, Roveri M, Susi A, Tonetta S and Vittorini B Formalization and validation of a subset of the European Train Control System Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (109-118)

Sumner W, Zheng Y, Weeratunge D and Zhang X Precise calling context encoding Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, (525-534)

Zimmer C, Bhat B, Mueller F and Mohan S Time-based intrusion detection in cyber-physical systems Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, (109-118)

Thacker R, Jones K, Myers C and Zheng H Automatic abstraction for verification of cyber-physical systems Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, (12-21)

Zamfir C and Candea G Execution synthesis Proceedings of the 5th European conference on Computer systems, (321-334)

Wang J, Zhai S and Canny J SHRIMP Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (15-24)

Zhuang X and Pande S (2010). An optimization framework for embedded processors with auto-addressing mode, ACM Transactions on Programming Languages and Systems, 32:4, (1-41), Online publication date: 1-Apr-2010.

Klint P, van der Storm T and Vinju J On the impact of DSL tools on the maintainability of language implementations Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, (1-9)

Johnstone A and Scott E Tear-Insert-Fold grammars Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, (1-8)

Goodstein M, Vlachos E, Chen S, Gibbons P, Kozuch M and Mowry T Butterfly analysis Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems, (257-270)

Goodstein M, Vlachos E, Chen S, Gibbons P, Kozuch M and Mowry T (2010). Butterfly analysis, ACM SIGPLAN Notices, 45:3, (257-270), Online publication date: 5-Mar-2010.

Goodstein M, Vlachos E, Chen S, Gibbons P, Kozuch M and Mowry T (2010). Butterfly analysis, ACM SIGARCH Computer Architecture News, 38:1, (257-270), Online publication date: 5-Mar-2010.

Spoto F, Mesnard F and Payet É (2010). A termination analyzer for Java bytecode based on path-length, ACM Transactions on Programming Languages and Systems, 32:3, (1-70), Online publication date: 1-Mar-2010.

Sinha V, Sinha S and Rao S BUGINNINGS Proceedings of the 3rd India software engineering conference, (3-12)

Jiang T, Li M, Ravikumar B and Regan K Formal grammars and languages Algorithms and theory of computation handbook, (20-20)

Kong S, Choi W and Yi K (2009). Abstract parsing for two-staged languages with concatenation, ACM SIGPLAN Notices, 45:2, (109-116), Online publication date: 1-Feb-2010.

Courbot A, Grimaud G and Vandewalle J (2010). Efficient off-board deployment and customization of virtual machine-based embedded systems, ACM Transactions on Embedded Computing Systems, 9:3, (1-53), Online publication date: 1-Feb-2010.

Cabodi G, Lavagno L, Murciano M, Kondratyev A and Watanabe Y (2010). Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques, ACM Transactions on Design Automation of Electronic Systems, 15:2, (1-34), Online publication date: 1-Feb-2010.

Mun N and Haron Z Graphical microcontroller programming tool based on extended S-System Petri net Proceedings of the 4th WSEAS international conference on Computer engineering and applications, (159-163)

Lin K, Lo C and Tsay R Source-level timing annotation for fast and accurate TLM computation model generation Proceedings of the 2010 Asia and South Pacific Design Automation Conference, (235-240)

Bille P and Thorup M Regular expression matching with multi-strings and intervals Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete algorithms, (1297-1308)

Ebert J and Bildhauer D Reverse engineering using graph queries Graph transformations and model-driven engineering, (335-362)

Traver V (2010). On compiler error messages, Advances in Human-Computer Interaction, 2010, (1-26), Online publication date: 1-Jan-2010.

Ølgaard K and Wells G (2010). Optimizations for quadrature representations of finite element tensors through automated code generation, ACM Transactions on Mathematical Software, 37:1, (1-23), Online publication date: 1-Jan-2010.

Scott E and Johnstone A (2010). Recognition is not parsing - SPPF-style parsing from cubic recognisers, Science of Computer Programming, 75:1-2, (55-70), Online publication date: 1-Jan-2010.

Bille P, Fagerberg R and Gørtz I (2009). Improved approximate string matching and regular expression matching on Ziv-Lempel compressed texts, ACM Transactions on Algorithms, 6:1, (1-14), Online publication date: 1-Dec-2009.

GüleşIr G, Berg K, Bergmans L and Akşit M (2009). Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems, Empirical Software Engineering, 14:6, (720-777), Online publication date: 1-Dec-2009.

Antichi G, Di Pietro A, Ficara D, Giordano S, Procissi G and Vitucci F Second-order differential encoding of deterministic finite automata Proceedings of the 28th IEEE conference on Global telecommunications, (2838-2843)

Crawley S and Duddy K Improving type-safety in CORBA Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, (291-304)

Zhai J, Sheng T, He J, Chen W and Zheng W FACT Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, (1-12)

Jung Y, Oh H and Yi K Identifying static analysis techniques for finding non-fix hunks in fix revisions Proceedings of the ACM first international workshop on Data-intensive software management and mining, (13-18)

van de Pol J and Timmer M State Space Reduction of Linear Processes Using Control Flow Reconstruction Automated Technology for Verification and Analysis, (54-68)

Kong S, Choi W and Yi K Abstract parsing for two-staged languages with concatenation Proceedings of the eighth international conference on Generative programming and component engineering, (109-116)

Auguston M (2009). Software architecture built from behavior models, ACM SIGSOFT Software Engineering Notes, 34:5, (1-15), Online publication date: 2-Oct-2009.

Abadi M, Budiu M, Erlingsson Ú and Ligatti J (2009). Control-flow integrity principles, implementations, and applications, ACM Transactions on Information and System Security, 13:1, (1-40), Online publication date: 1-Oct-2009.

Stone A, Strout M and Behere S (2009). May/must analysis and the DFAGen data-flow analysis generator, Information and Software Technology, 51:10, (1440-1453), Online publication date: 1-Oct-2009.

Lundberg J, Gutzmann T, Edvinsson M and Löwe W (2009). Fast and precise points-to analysis, Information and Software Technology, 51:10, (1428-1439), Online publication date: 1-Oct-2009.

Gómez-Zamalloa M, Albert E and Puebla G (2009). Decompilation of Java bytecode to Prolog by partial evaluation, Information and Software Technology, 51:10, (1409-1427), Online publication date: 1-Oct-2009.

Li P, Gao D and Reiter M Automatically Adapting a Trained Anomaly Detector to Software Patches Proceedings of the 12th International Symposium on Recent Advances in Intrusion Detection, (142-160)

Fabian R and Alexandru-Nicolae M Natural language processing implementation on Romanian Chatbot Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization, (440-445)

Lo C and Tai Y (2009). Space Optimization on Counters for FPGA-Based Perl Compatible Regular Expressions, ACM Transactions on Reconfigurable Technology and Systems, 2:4, (1-18), Online publication date: 1-Sep-2009.

Frigo M, Halpern P, Leiserson C and Lewin-Berlin S Reducers and other Cilk++ hyperobjects Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, (79-90)

Checkoway S, Feldman A, Kantor B, Halderman J, Felten E and Shacham H Can DREs provide long-lasting security? the case of return-oriented programming and the AVC advantage Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections, (6-6)

Bamford R, Borkar V, Brantner M, Fischer P, Florescu D, Graf D, Kossmann D, Kraska T, Muresan D, Nasoi S and Zacharioudakis M (2009). XQuery reloaded, Proceedings of the VLDB Endowment, 2:2, (1342-1353), Online publication date: 1-Aug-2009.

Ferrandi F, Lattuada M, Pilato C and Tumeo A Performance estimation for task graphs combining sequential path profiling and control dependence regions Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign, (131-140)

Jandhyala R, Krishnamoorthy M, Nagy G, Padmanabhan R, Seth S and Silversmith W From Tessellations to Table Interpretation Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics, (422-437)

Kyas M (2009). Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol, Electronic Notes in Theoretical Computer Science (ENTCS), 243, (105-120), Online publication date: 1-Jul-2009.

Arasu A and Kaushik R A grammar-based entity representation framework for data cleaning Proceedings of the 2009 ACM SIGMOD International Conference on Management of data, (233-244)

Fidge C and Corney D (2009). Integrating hardware and software information flow analyses, ACM SIGPLAN Notices, 44:7, (157-166), Online publication date: 28-Jun-2009.

Fidge C and Corney D Integrating hardware and software information flow analyses Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (157-166)

Schwerdfeger A and Van Wyk E Verifiable composition of deterministic grammars Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (199-210)

Hammer M, Acar U and Chen Y CEAL Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (25-37)

Fung W, Sham I, Yuan G and Aamodt T (2009). Dynamic warp formation, ACM Transactions on Architecture and Code Optimization, 6:2, (1-37), Online publication date: 1-Jun-2009.

Park K, Park H, Jeun W and Ha S (2009). Boolean circuit programming, Journal of Discrete Algorithms, 7:2, (267-277), Online publication date: 1-Jun-2009.

Schwerdfeger A and Van Wyk E (2009). Verifiable composition of deterministic grammars, ACM SIGPLAN Notices, 44:6, (199-210), Online publication date: 28-May-2009.

Hammer M, Acar U and Chen Y (2009). CEAL, ACM SIGPLAN Notices, 44:6, (25-37), Online publication date: 28-May-2009.

Monga M, Paleari R and Passerini E A hybrid analysis framework for detecting web application vulnerabilities Proceedings of the 2009 ICSE Workshop on Software Engineering for Secure Systems, (25-32)

Beach T and Avis N An intelligent semi-automatic application porting system for application accelerators Proceedings of the combined workshops on UnConventional high performance computing workshop plus memory access workshop, (7-10)

Sethumadhavan S, Arora N, Ganapathi R, Demme J and Kaiser G COMPASS Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, (41-48)

Cazzola W and Speziale I Sectional domain specific languages Proceedings of the 4th workshop on Domain-specific aspect languages, (11-14)

Jeon J, Shin K and Han H (2009). Abstracting access patterns of dynamic memory using regular expressions, ACM Transactions on Architecture and Code Optimization, 5:4, (1-28), Online publication date: 1-Mar-2009.

Nayak A and Samanta D (2009). Model-based test cases synthesis using UML interaction diagrams, ACM SIGSOFT Software Engineering Notes, 34:2, (1-10), Online publication date: 28-Feb-2009.

Milhau J, Fraikin B and Frappier M Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions Proceedings of the 7th International Conference on Integrated Formal Methods, (337-351)

Lämmel R and Zaytsev V An Introduction to Grammar Convergence Proceedings of the 7th International Conference on Integrated Formal Methods, (246-260)

Kim H, Han B, Namgung J, Sik D, Yoon H, Lee M, Won Y and Lee K Advanced designer-oriented system in VR environment Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1, (126-131)

Tryfonopoulos C, Koubarakis M and Drougas Y (2009). Information filtering and query indexing for an information retrieval model, ACM Transactions on Information Systems, 27:2, (1-47), Online publication date: 1-Feb-2009.

Kirner R (2009). Towards preserving model coverage and structural code coverage, EURASIP Journal on Embedded Systems, 2009, (1-16), Online publication date: 1-Jan-2009.

Chuang K, Chen H and Chen M (2009). Feature-preserved sampling over streaming data, ACM Transactions on Knowledge Discovery from Data, 2:4, (1-45), Online publication date: 1-Jan-2009.

Zhou X and Petrov P (2009). Cross-layer customization for rapid and low-cost task preemption in multitasked embedded systems, ACM Transactions on Embedded Computing Systems, 8:2, (1-28), Online publication date: 1-Jan-2009.

Aho A (2008). Teaching the compilers course, ACM SIGCSE Bulletin, 40:4, (6-8), Online publication date: 30-Nov-2008.

Lai Z, Cheung S and Chan W Inter-context control-flow and data-flow test adequacy criteria for nesC applications Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, (94-104)

Lin Z and Zhang X Deriving input syntactic structure from execution Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, (83-93)

Jiang L and Su Z Profile-guided program simplification for effective testing and analysis Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, (48-58)

Memon A (2008). Automatically repairing event sequence-based GUI test suites for regression testing, ACM Transactions on Software Engineering and Methodology, 18:2, (1-36), Online publication date: 1-Nov-2008.

Donaldson A and Miller A (2008). Automatic Symmetry Detection for Promela, Journal of Automated Reasoning, 41:3-4, (251-293), Online publication date: 1-Nov-2008.

Huang Y, Zhang W and Zang B Undergraduate education in the computer system of software school, Fudan University Proceedings of the 1st ACM Summit on Computing Education in China on First ACM Summit on Computing Education in China, (1-3)

Biswas P and Venkataramani G Comprehensive isomorphic subtree enumeration Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems, (177-186)

Layman L, Kudrjavets G and Nagappan N Iterative identification of fault-prone binaries using in-process metrics Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, (206-212)

Sangeorzan L, Burada M and Iakab K (2008). Aspects of dictionary making developing an in-house text parsing tool, WSEAS Transactions on Computers, 7:10, (1731-1741), Online publication date: 1-Oct-2008.

Huffmire T, Sherwood T, Kastner R and Levin T (2008). Enforcing memory policy specifications in reconfigurable hardware, Computers and Security, 27:5-6, (197-215), Online publication date: 1-Oct-2008.

Ficara D, Giordano S, Procissi G, Vitucci F, Antichi G and Di Pietro A (2008). An improved DFA for fast regular expression matching, ACM SIGCOMM Computer Communication Review, 38:5, (29-40), Online publication date: 30-Sep-2008.

Kong S, Smith R and Estan C Efficient signature matching with multiple alphabet compression tables Proceedings of the 4th international conference on Security and privacy in communication netowrks, (1-10)

Baptista J Pragmatic DITA on a budget Proceedings of the 26th annual ACM international conference on Design of communication, (193-198)

Meredith P, Jin D, Chen F and Rosu G Efficient Monitoring of Parametric Context-Free Patterns Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, (148-157)

Danielsson N and Norell U Parsing mixfix operators Proceedings of the 20th international conference on Implementation and application of functional languages, (80-99)

Karam M, Smedley T and Dascalu S (2008). Unit-level test adequacy criteria for visual dataflow languages and a testing methodology, ACM Transactions on Software Engineering and Methodology, 18:1, (1-40), Online publication date: 1-Sep-2008.

Sangeorzan L, Burada M and Iakab K Designing a text parsing programme for a specialized bilingual online dictionary Proceedings of the 8th conference on Applied informatics and communications, (110-114)

Laugerotte É and Ziadi D (2008). WeightedWord Recognition, Fundamenta Informaticae, 83:3, (277-298), Online publication date: 20-Aug-2008.

Laugerotte É and Ziadi D (2008). WeightedWord Recognition, Fundamenta Informaticae, 83:3, (277-298), Online publication date: 1-Aug-2008.

Duarte E, Musicante M and Fernandes H (2008). ANEMONA, International Journal of Network Management, 18:4, (293-300), Online publication date: 1-Aug-2008.

Fabian R, Hunyadi D and Popa E Syntactic pattern model classification with total fuzzy grammars Proceedings of the 12th WSEAS international conference on Computers, (317-321)

Guzma V, Jääskeläinen P, Kellomäki P and Takala J Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation, (23-32)

Conway C, Dams D, Namjoshi K and Barrett C Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors Proceedings of the 15th international symposium on Static Analysis, (62-77)

Thiemann P and Neubauer M Macros for context-free grammars Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, (120-130)

Utke J, Naumann U, Fagan M, Tallent N, Strout M, Heimbach P, Hill C and Wunsch C (2008). OpenAD/F, ACM Transactions on Mathematical Software, 34:4, (1-36), Online publication date: 15-Jul-2008.

Merkle L Metaoptimization of the in-lining priority function for a compiler targeting a polymorphous computing architecture Proceedings of the 10th annual conference companion on Genetic and evolutionary computation, (1921-1928)

Ceng J, Castrillon J, Sheng W, Scharwächter H, Leupers R, Ascheid G, Meyr H, Isshiki T and Kunieda H MAPS Proceedings of the 45th annual Design Automation Conference, (754-759)

Rebout M, Féraud L and Soloviev S A unified categorical approach for attributed graph rewriting Proceedings of the 3rd international conference on Computer science: theory and applications, (398-409)

Mowbray M and Lain A Dominator-tree analysis for distributed authorization Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security, (101-112)

Shou Y and van Engelen R Automatic SIMD vectorization of chains of recurrences Proceedings of the 22nd annual international conference on Supercomputing, (245-255)

Kim S and Moon S Rotating register allocation with multiple rotating branches Proceedings of the 22nd annual international conference on Supercomputing, (235-244)

Maule A, Emmerich W and Rosenblum D Impact analysis of database schema changes Proceedings of the 30th international conference on Software engineering, (451-460)

Xu L (2008). A modular approach to language engineering using XML and inexpensive robots, Journal of Computing Sciences in Colleges, 23:5, (133-141), Online publication date: 1-May-2008.

Dantas D, Walker D, Washburn G and Weirich S (2008). AspectML, ACM Transactions on Programming Languages and Systems, 30:3, (1-60), Online publication date: 1-May-2008.

Koes D and Goldstein S Near-optimal instruction selection on dags Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization, (45-54)

Moscola J, Lockwood J and Cho Y (2008). Reconfigurable content-based router using hardware-accelerated language parser, ACM Transactions on Design Automation of Electronic Systems, 13:2, (1-25), Online publication date: 2-Apr-2008.

Danvy O and Millikin K (2008). On the equivalence between small-step and big-step abstract machines, Information Processing Letters, 106:3, (100-109), Online publication date: 1-Apr-2008.

Logozzo F and Fähndrich M On the relative completeness of bytecode analysis versus source code analysis Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction, (197-212)

Robilliard D, Marion-Poty V and Fonlupt C Population parallel GP on the G80 GPU Proceedings of the 11th European conference on Genetic programming, (98-109)

Albert E, Arenas P, Genaim S, Puebla G and Zanardini D Removing useless variables in cost analysis of Java bytecode Proceedings of the 2008 ACM symposium on Applied computing, (368-375)

Denny J and Malloy B IELR(1) Proceedings of the 2008 ACM symposium on Applied computing, (240-245)

Roy S and Srikant Y Improving flow-insensitive solutions for non-separable dataflow problems Proceedings of the 2008 ACM symposium on Applied computing, (211-216)

Xu L Language engineering in the context of a popular, inexpensive robot platform Proceedings of the 39th SIGCSE technical symposium on Computer science education, (43-47)

Weimer W and Necula G (2008). Exceptional situations and program reliability, ACM Transactions on Programming Languages and Systems, 30:2, (1-51), Online publication date: 1-Mar-2008.

Xu L (2008). Language engineering in the context of a popular, inexpensive robot platform, ACM SIGCSE Bulletin, 40:1, (43-47), Online publication date: 29-Feb-2008.

Plank J The RAID-6 liberation codes Proceedings of the 6th USENIX Conference on File and Storage Technologies, (1-14)

Gupta A, Henzinger T, Majumdar R, Rybalchenko A and Xu R (2008). Proving non-termination, ACM SIGPLAN Notices, 43:1, (147-158), Online publication date: 14-Jan-2008.

Gupta A, Henzinger T, Majumdar R, Rybalchenko A and Xu R Proving non-termination Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (147-158)

Wang Y On mathematical laws of software Transactions on computational science II, (46-83)

Wang Y On contemporary denotational mathematics for computational intelligence Transactions on computational science II, (6-29)

Grimsmo N Faster path indexes for search in XML data Proceedings of the nineteenth conference on Australasian database - Volume 75, (127-135)

Vikram T and Urs S Development of prototype morphological analyzer for the South Indian language of Kannada Proceedings of the 10th international conference on Asian digital libraries: looking back 10 years and forging new frontiers, (109-116)

Chen H, Zou T and Wang D Data-flow based vulnerability analysis and java bytecode Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7, (201-207)

Nettleton C, Ifill W and Marsh C (2007). Towards a demonstrably-correct ada compiler, ACM SIGAda Ada Letters, XXVII:3, (89-96), Online publication date: 17-Nov-2007.

Nettleton C, Ifill W and Marsh C Towards a demonstrably-correct ada compiler Proceedings of the 2007 ACM international conference on SIGAda annual international conference, (89-96)

Khedker U, Sanyal A and Karkare A (2007). Heap reference analysis using access graphs, ACM Transactions on Programming Languages and Systems, 30:1, (1-es), Online publication date: 1-Nov-2007.

Thapa D, Park C, Park S and Wang G Formal modeling and verification of shop floor controller logics Proceedings of the IASTED Asian Conference on Modelling and Simulation, (209-213)

Balzarotti D, Cova M, Felmetsger V and Vigna G Multi-module vulnerability analysis of web-based applications Proceedings of the 14th ACM conference on Computer and communications security, (25-35)

Escuder V, Durán R and Rico R Quantifying ILP by means of graph theory Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-7)

Costa M, Castro M, Zhou L, Zhang L and Peinado M (2007). Bouncer, ACM SIGOPS Operating Systems Review, 41:6, (117-130), Online publication date: 14-Oct-2007.

Costa M, Castro M, Zhou L, Zhang L and Peinado M Bouncer Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, (117-130)

Van Wyk E and Schwerdfeger A Context-aware scanning for parsing extensible languages Proceedings of the 6th international conference on Generative programming and component engineering, (63-72)

Karkare B and Khedker U (2007). An improved bound for call strings based interprocedural analysis of bit vector frameworks, ACM Transactions on Programming Languages and Systems, 29:6, (38-es), Online publication date: 1-Oct-2007.

Anastasakis K, Bordbar B, Georg G and Ray I UML2Alloy Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (436-450)

Weil F, Mastenbrook B, Nelson D, Dietz P and Van Den Berg A Automated semantic analysis of design models Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (166-180)

Noll T and Rieger S Composing transformations to optimize linear code Proceedings of the 4th international conference on Theoretical aspects of computing, (425-439)

Brantner M, Kanne C and Moerkotte G Let a single FLWOR bloom Proceedings of the 5th international conference on Database and XML Technologies, (46-61)

Botan I, Kossmann D, Fischer P, Kraska T, Florescu D and Tamosevicius R Extending XQuery with window functions Proceedings of the 33rd international conference on Very large data bases, (75-86)

Cova M, Balzarotti D, Felmetsger V and Vigna G Swaddler Proceedings of the 10th international conference on Recent advances in intrusion detection, (63-86)

Vanbroekhoven P, Janssens G, Bruynooghe M and Catthoor F (2007). A practical dynamic single assignment transformation, ACM Transactions on Design Automation of Electronic Systems, 12:4, (40-es), Online publication date: 1-Sep-2007.

Wassermann G, Gould C, Su Z and Devanbu P (2007). Static checking of dynamically generated queries in database applications, ACM Transactions on Software Engineering and Methodology, 16:4, (14-es), Online publication date: 1-Sep-2007.

Staschulat J and Ernst R (2007). Scalable precision cache analysis for real-time software, ACM Transactions on Embedded Computing Systems, 6:4, (25-es), Online publication date: 1-Sep-2007.

De Francesco N and Martini L (2007). Instruction-level security analysis for information flow in stack-based assembly languages, Information and Computation, 205:9, (1334-1370), Online publication date: 1-Sep-2007.

Caymes-Scutari P, Morajko A, Margalef T and Luque E Automatic generation of dynamic tuning techniques Proceedings of the 13th international Euro-Par conference on Parallel Processing, (13-22)

Payet É and Spoto F Magic-sets transformation for the analysis of java bytecode Proceedings of the 14th international conference on Static Analysis, (452-467)

Craciunean V, Aron C, Fabian R and Hunyadi D Multi level recursive specifications for context free grammars Proceedings of the 11th WSEAS International Conference on Computers, (275-280)

Devos H, Beyls K, Christiaens M, Campenhout J, D'Hollander E and Stroobandt D Finding and Applying Loop Transformations for Generating Optimized FPGA Implementations Transactions on High-Performance Embedded Architectures and Compilers I, (159-178)

Bernard T, Jesshope C and Knijnenburg P Strategies for compiling µTC to novel chip Multiprocessors Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation, (127-138)

Self J and Mercer E On-the-fly dynamic dead variable analysis Proceedings of the 14th international SPIN conference on Model checking software, (113-130)

Albert E, Arenas P, Genaim S, Puebla G and Zanardini D (2007). Experiments in Cost Analysis of Java Bytecode, Electronic Notes in Theoretical Computer Science (ENTCS), 190:1, (67-83), Online publication date: 1-Jul-2007.

Eden A (2007). Three Paradigms of Computer Science, Minds and Machines, 17:2, (135-167), Online publication date: 1-Jul-2007.

Pap Z, Subramaniam M, Kovács G and Németh3 G A bounded incremental test generation algorithm for finite state machines Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems, (244-259)

Titov I and Henderson J A latent variable model for generative dependency parsing Proceedings of the 10th International Conference on Parsing Technologies, (144-155)

Frost R, Hafiz R and Callaghan P Modular and efficient top-down parsing for ambiguous left-recursive grammars Proceedings of the 10th International Conference on Parsing Technologies, (109-120)

Lee K, Fang X and Midkiff S Practical escape analyses Proceedings of the 3rd international conference on Virtual execution environments, (180-190)

Naborskyy A and Fujimoto R Using Reversible Computation Techniques in a Parallel Optimistic Simulation of a Multi-Processor Computing System Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, (179-188)

Rellermeyer J and Alonso G (2007). Concierge, ACM SIGOPS Operating Systems Review, 41:3, (245-258), Online publication date: 1-Jun-2007.

Pistoia M, Fink S, Flynn R and Yahav E When Role Models Have Flaws Proceedings of the 29th international conference on Software Engineering, (478-488)

Chalabine M and Kessler C A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations Proceedings of the 29th international conference on Software Engineering, (137-146)

Uzuncaova E and Khurshid S Kato Proceedings of the 29th international conference on Software Engineering, (767-770)

Encelle B and Baptiste-Jessel N A transformation framework for building personalized user interfaces for browsing XML content Proceedings of the 2007 international workshop on Semantically aware document processing and indexing, (49-57)

Lanzi A, Martignoni L, Monga M and Paleari R A Smart Fuzzer for x86 Executables Proceedings of the Third International Workshop on Software Engineering for Secure Systems

Encelle B and Baptiste-Jessel N Personalization of user interfaces for browsing XML content using transformations built on end-user requirements Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A), (58-64)

Ferrer G (2007). Simplifying parser generation, Journal of Computing Sciences in Colleges, 22:5, (23-29), Online publication date: 1-May-2007.

Lee S, Lee J, Park C and Min S (2007). Selective code transformation for dual instruction set processors, ACM Transactions on Embedded Computing Systems, 6:2, (10-es), Online publication date: 1-May-2007.

Xie Y and Aiken A (2007). Saturn, ACM Transactions on Programming Languages and Systems, 29:3, (16-es), Online publication date: 1-May-2007.

Ganster B and Klein R An integrated framework for procedural modeling Proceedings of the 23rd Spring Conference on Computer Graphics, (123-130)

Wang C, Yang Z, Ivančić F and Gupta A (2007). Disjunctive image computation for software verification, ACM Transactions on Design Automation of Electronic Systems, 12:2, (10-es), Online publication date: 1-Apr-2007.

Balasa F, Zhu H and Luican I (2007). Computation of storage requirements for multi-dimensional signal processing applications, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15:4, (447-460), Online publication date: 1-Apr-2007.

Armando A, Benerecetti M and Mantovani J Abstraction refinement of linear programs with arrays Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (373-388)

Farzan A and Madhusudan P Causal dataflow analysis for concurrent programs Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (102-116)

Albert E, Arenas P, Genaim S, Puebla G and Zanardini D Cost analysis of java bytecode Proceedings of the 16th European Symposium on Programming, (157-172)

Burdy L, Huisman M and Pavlova M Preliminary design of BML Proceedings of the 10th international conference on Fundamental approaches to software engineering, (215-229)

Pauca V, Torgersen T, Abraham Y, Schmitt J and Harris R Automating the development of quantum computational software Proceedings of the 45th annual southeast regional conference, (541-543)

Rellermeyer J and Alonso G Concierge Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, (245-258)

Shin J and Hovland P Comparison of two activity analyses for automatic differentiation Proceedings of the 2007 ACM symposium on Applied computing, (1323-1329)

Ruckert M (2007). Teaching compiler construction and language design, ACM SIGCSE Bulletin, 39:1, (435-439), Online publication date: 7-Mar-2007.

Ruckert M Teaching compiler construction and language design Proceedings of the 38th SIGCSE technical symposium on Computer science education, (435-439)

Bruschi D, Martignoni L and Monga M (2007). Code Normalization for Self-Mutating Malware, IEEE Security and Privacy, 5:2, (46-54), Online publication date: 1-Mar-2007.

Otero J, Graña J and Vilares M Contextual spelling correction Proceedings of the 11th international conference on Computer aided systems theory, (290-296)

Kumar R and Chakraborty S (2007). Precise static type analysis for object oriented programs, ACM SIGPLAN Notices, 42:2, (17-26), Online publication date: 1-Feb-2007.

Vagner L and Melichar B Formal Translation Directed by Parallel LLP Parsing Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science, (532-543)

Berdine J, Chawdhary A, Cook B, Distefano D and O'Hearn P Variance analyses from invariance analyses Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (211-224)

Berdine J, Chawdhary A, Cook B, Distefano D and O'Hearn P (2007). Variance analyses from invariance analyses, ACM SIGPLAN Notices, 42:1, (211-224), Online publication date: 17-Jan-2007.

Ben-Asher Y and Meisler D Towards a source level compiler Program analysis and compilation, theory and practice, (328-360)

Lamperti G, Zanella M and Zanni D (2007). Incremental processing of temporal observations in Model-Based Reasoning, AI Communications, 20:1, (27-37), Online publication date: 1-Jan-2007.

Wonnacott D (2007). Attribute grammars and the teaching of compiler design and implementation, Journal of Computing Sciences in Colleges, 22:3, (121-127), Online publication date: 1-Jan-2007.

Alpuente M, Escobar S and Lucas S (2007). Removing redundant arguments automatically, Theory and Practice of Logic Programming, 7:1-2, (3-35), Online publication date: 1-Jan-2007.

Bauer A, Leucker M and Schallhart C Monitoring of real-time properties Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science, (260-272)

Danaher J, Lee I and Leiserson C (2006). Programming with exceptions in JCilk, Science of Computer Programming, 63:2, (147-171), Online publication date: 1-Dec-2006.

Blieberger J (2006). Average case analysis of DJ graphs, Journal of Discrete Algorithms, 4:4, (649-675), Online publication date: 1-Dec-2006.

Zalila B, Hugues J and Pautet L (2006). An improved IDL compiler for optimizing CORBA applications, ACM SIGAda Ada Letters, XXVI:3, (21-28), Online publication date: 17-Nov-2006.

Zalila B, Hugues J and Pautet L An improved IDL compiler for optimizing CORBA applications Proceedings of the 2006 annual ACM SIGAda international conference on Ada, (21-28)

Fatahalian K, Horn D, Knight T, Leem L, Houston M, Park J, Erez M, Ren M, Aiken A, Dally W and Hanrahan P Sequoia Proceedings of the 2006 ACM/IEEE conference on Supercomputing, (83-es)

Castro M, Costa M and Harris T Securing software by enforcing data-flow integrity Proceedings of the 7th symposium on Operating systems design and implementation, (147-160)

Wu C, Chen S and Lee J Copy propagation optimizations for VLIW DSP processors with distributed register files Proceedings of the 19th international conference on Languages and compilers for parallel computing, (251-266)

Kern S, Braun P and Rossak W MobiSoft Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I, (984-993)

Cohen T, Gil J and Maman I JTL Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (89-108)

Gilbert J and Abrahamson D Adaptive object code compression Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (282-292)

Audsley N and Ward M Syntax-driven implementation of software programming language control constructs and expressions on FPGAs Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (253-260)

Egger B, Kim C, Jang C, Nam Y, Lee J and Min S A dynamic code placement technique for scratchpad memory using postpass optimization Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (223-233)

Jung D, Bae S, Lee J, Moon S and Park J Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (35-42)

Riehl J Assimilating MetaBorg: Proceedings of the 5th international conference on Generative programming and component engineering, (21-28)

Kamin S, Aktemur B and Katelman M Staging static analyses for program generation Proceedings of the 5th international conference on Generative programming and component engineering, (1-10)

Cohen T, Gil J and Maman I (2006). JTL, ACM SIGPLAN Notices, 41:10, (89-108), Online publication date: 16-Oct-2006.

Muller P, Fleurey F, Fondement F, Hassenforder M, Schneckenburger R, Gérard S and Jézéquel J Model-Driven analysis and synthesis of concrete syntax Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (98-110)

Duarte L, Kramer J and Uchitel S Model extraction using context information Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (380-394)

Akehurst D, Bordbar B, Evans M, Howells W and McDonald-Maier K SiTra Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (351-364)

Gerdt P and Sajaniemi J (2006). A web-based service for the automatic detection of roles of variables, ACM SIGCSE Bulletin, 38:3, (178-182), Online publication date: 26-Sep-2006.

Lee K and Midkiff S A two-phase escape analysis for parallel java programs Proceedings of the 15th international conference on Parallel architectures and compilation techniques, (53-62)

Pohjalainen P Object-Oriented language processing Proceedings of the 7th joint conference on Modular Programming Languages, (104-115)

Horspool R, Pereira D and Scholz B Fast profile-based partial redundancy elimination Proceedings of the 7th joint conference on Modular Programming Languages, (362-376)

Burgstaller B, Scholz B and Blieberger J Symbolic analysis of imperative programming languages Proceedings of the 7th joint conference on Modular Programming Languages, (172-194)

Sehring H, Bossung S and Schmidt J Content is capricious Proceedings of the 10th East European conference on Advances in Databases and Information Systems, (430-445)

Cong J, Han G and Zhang Z (2006). Architecture and compiler optimizations for data bandwidth improvement in configurable processors, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 14:9, (986-997), Online publication date: 1-Sep-2006.

Cervelle J, Forax R and Roussel G Tatoo Proceedings of the 4th international symposium on Principles and practice of programming in Java, (13-20)

Chen F and Roşu G Parametric and termination-sensitive control dependence Proceedings of the 13th international conference on Static Analysis, (387-404)

Kirkegaard C and Møller A Static analysis for java servlets and JSP Proceedings of the 13th international conference on Static Analysis, (336-352)

Amiranoff P, Cohen A and Feautrier P Beyond iteration vectors Proceedings of the 13th international conference on Static Analysis, (161-180)

Guo J, Limberg T, Matus E, Mennenga B, Klemm R and Fettweis G Code generation for STA architecture Proceedings of the 12th international conference on Parallel Processing, (299-310)

Allauzen C and Mohri M A unified construction of the glushkov, follow, and antimirov automata Proceedings of the 31st international conference on Mathematical Foundations of Computer Science, (110-121)

Giraud M, Veber P and Lavenier D Path-equivalent removals of ε-transitions in a genomic weighted finite automaton Proceedings of the 11th international conference on Implementation and Application of Automata, (23-33)

Saha D and Ramakrishnan C A local algorithm for incremental evaluation of tabled logic programs Proceedings of the 22nd international conference on Logic Programming, (56-71)

Brain M, Crick T, De Vos M and Fitch J TOAST Proceedings of the 22nd international conference on Logic Programming, (270-284)

Cho J and Paek Y Run-Time memory optimization for DDMB architecture through a CCB algorithm Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, (775-784)

Zhou X and Petrov P Rapid and low-cost context-switch through embedded processor customization for real-time and control applications Proceedings of the 43rd annual Design Automation Conference, (352-357)

Zhao J, Xie T and Li N Towards regression test selection for AspectJ programs Proceedings of the 2nd workshop on Testing aspect-oriented programs, (21-26)

Chang M, Do Q and Roth D A pipeline framework for dependency parsing Proceedings of the COLING/ACL on Main conference poster sessions, (65-72)

Bruschi D, Martignoni L and Monga M Detecting self-mutating malware using control-flow graph matching Proceedings of the Third international conference on Detection of Intrusions and Malware & Vulnerability Assessment, (129-143)

Bille P New algorithms for regular expression matching Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I, (643-654)

Scott E and Johnstone A (2006). Right nulled GLR parsers, ACM Transactions on Programming Languages and Systems, 28:4, (577-618), Online publication date: 1-Jul-2006.

Rajagopalan M, Hiltunen M, Jim T and Schlichting R (2006). System Call Monitoring Using Authenticated System Calls, IEEE Transactions on Dependable and Secure Computing, 3:3, (216-229), Online publication date: 1-Jul-2006.

Gerdt P and Sajaniemi J A web-based service for the automatic detection of roles of variables Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, (178-182)

Kastenberg H, Kleppe A and Rensink A Defining object-oriented execution semantics using graph transformations Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (186-201)

Jovanovic N, Kruegel C and Kirda E Precise alias analysis for static detection of web application vulnerabilities Proceedings of the 2006 workshop on Programming languages and analysis for security, (27-36)

Chang M, Do Q and Roth D A pipeline model for bottom-up dependency parsing Proceedings of the Tenth Conference on Computational Natural Language Learning, (186-190)

Ibershoff J, Jaromczyk J and van Noort D Simulations of microreactors Proceedings of the 12th international conference on DNA Computing, (286-297)

Mund G and Mall R (2006). An efficient interprocedural dynamic slicing method, Journal of Systems and Software, 79:6, (791-806), Online publication date: 1-Jun-2006.

Ceng J, Sheng W, Hohenauer M, Leupers R, Ascheid G, Meyr H and Braun G (2006). Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting, Journal of VLSI Signal Processing Systems, 43:2-3, (235-246), Online publication date: 1-Jun-2006.

Dauvergne B and Hascoët L The data-flow equations of checkpointing in reverse automatic differentiation Proceedings of the 6th international conference on Computational Science - Volume Part IV, (566-573)

Hartono A, Lu Q, Gao X, Krishnamoorthy S, Nooijen M, Baumgartner G, Bernholdt D, Choppella V, Pitzer R, Ramanujam J, Rountev A and Sadayappan P Identifying cost-effective common subexpressions to reduce operation count in tensor contraction evaluations Proceedings of the 6th international conference on Computational Science - Volume Part I, (267-275)

Ji M, Wang J, Li S and Qi Z Automated WCET analysis based on program modes Proceedings of the 2006 international workshop on Automation of software test, (36-42)

Dimopoulos A, Pavlatos C, Panagopoulos I and Papakonstantinou G An efficient hardware implementation for AI applications Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence, (35-45)

Han J, Cho Y, Kim E and Choi J A ubiquitous workflow service framework Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV, (30-39)

Yim K, Lee J, Park J, Yoo J, Im C and Ryu Y A software reproduction of virtual memory for deeply embedded systems Proceedings of the 6th international conference on Computational Science and Its Applications - Volume Part I, (1000-1009)

Beyls K and D'Hollander E Intermediately executed code is the key to find refactorings that improve temporal data locality Proceedings of the 3rd conference on Computing frontiers, (373-382)

Behera C and Kumar P (2006). An improved algorithm for loop dead optimization, ACM SIGPLAN Notices, 41:5, (11-20), Online publication date: 1-May-2006.

Stokely M, Chaki S and Ouaknine J (2006). Parallel Assignments in Software Model Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 157:1, (77-94), Online publication date: 1-May-2006.

Ikeda T, Ino F and Hagihara K A code motion technique for accelerating general-purpose computation on the GPU Proceedings of the 20th international conference on Parallel and distributed processing, (85-85)

Haneda M, Knijnenburg P and Wijshoff H On the impact of data input sets on statistical compiler tuning Proceedings of the 20th international conference on Parallel and distributed processing, (385-385)

Moscola J, Cho Y and Lockwood J Reconfigurable context-free grammar based data processing hardware with error recovery Proceedings of the 20th international conference on Parallel and distributed processing, (218-218)

Burdy L and Pavlova M Java bytecode specification and verification Proceedings of the 2006 ACM symposium on Applied computing, (1835-1839)

Wu X, Bryant B, Gray J, Roychoudhury S and Mernik M Separation of concerns in compiler development using aspect-orientation Proceedings of the 2006 ACM symposium on Applied computing, (1585-1590)

Bernardeschi C, Lettieri G, Martini L and Masci P (2006). Using postdomination to reduce space requirements of data flow analysis, Information Processing Letters, 98:1, (11-18), Online publication date: 15-Apr-2006.

El Kadhi N and El-Gendy H (2006). Advanced method for cryptographic protocol verification, Journal of Computational Methods in Sciences and Engineering, 6:5,6 Supplement 1, (109-119), Online publication date: 1-Apr-2006.

Karam M (2006). Testing criteria for object oriented visual dataflow languages, Journal of Computational Methods in Sciences and Engineering, 6:5,6 Supplement 1, (9-22), Online publication date: 1-Apr-2006.

Klein G and Huuck R High assurance system software Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55, (59-67)

Lenka D and Kumar P (2006). States merging in LR parser, ACM SIGPLAN Notices, 41:4, (24-29), Online publication date: 1-Apr-2006.

Chen S, Lo M, Wu K, Yih J and Viehrig C (2006). A practical approach to extracting DTD-conforming XML documents from heterogeneous data sources, Information Sciences: an International Journal, 176:7, (820-844), Online publication date: 1-Apr-2006.

Xu L and Martin F (2006). Chirp on crickets, ACM SIGCSE Bulletin, 38:1, (82-86), Online publication date: 31-Mar-2006.

Armando A, Mantovani J and Platania L Bounded model checking of software using SMT solvers instead of SAT solvers Proceedings of the 13th international conference on Model Checking Software, (146-162)

Lal A, Lim J, Polishchuk M and Liblit B Path optimization in programs and its application to debugging Proceedings of the 15th European conference on Programming Languages and Systems, (246-263)

Zhang T, Zhuang X and Pande S Compiler Optimizations to Reduce Security Overhead Proceedings of the International Symposium on Code Generation and Optimization, (346-357)

Garay J and Huelsbergen L Software integrity protection using timed executable agents Proceedings of the 2006 ACM Symposium on Information, computer and communications security, (189-200)

Harbulot B and Gurd J A join point for loops in AspectJ Proceedings of the 5th international conference on Aspect-oriented software development, (63-74)

Zhang W and van Engelen R TDX Proceedings of the 44th annual Southeast regional conference, (726-731)

Wirth J Box English - preparing for CS1 Proceedings of the 44th annual Southeast regional conference, (596-600)

Tang P Complete inlining of recursive calls Proceedings of the 44th annual Southeast regional conference, (579-584)

Shou Y, van Engelen R, Birch J and Gallivan K Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization Proceedings of the 44th annual Southeast regional conference, (1-6)

Scharwaechter H, Hohenauer M, Leupers R, Ascheid G and Meyr H An interprocedural code optimization technique for network processors using hardware multi-threading support Proceedings of the conference on Design, automation and test in Europe: Proceedings, (919-924)

Xu L and Martin F Chirp on crickets Proceedings of the 37th SIGCSE technical symposium on Computer science education, (82-86)

Lamperti G and Zanella M (2006). Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques, Artificial Intelligence, 170:3, (232-297), Online publication date: 1-Mar-2006.

Gregor D and Schupp S (2006). STLlint: lifting static checking from languages to libraries, Software—Practice & Experience, 36:3, (225-254), Online publication date: 1-Mar-2006.

Li Z, Lu S, Myagmar S and Zhou Y (2006). CP-Miner, IEEE Transactions on Software Engineering, 32:3, (176-192), Online publication date: 1-Mar-2006.

Pottier F and Régis-Gianas Y (2006). Towards Efficient, Typed LR Parsers, Electronic Notes in Theoretical Computer Science (ENTCS), 148:2, (155-180), Online publication date: 1-Mar-2006.

Garavel H and Serwe W (2006). State space reduction for process algebra specifications, Theoretical Computer Science, 351:2, (131-145), Online publication date: 21-Feb-2006.

Bernardi P, Bolzani L, Rebaudengo M, Sonza Reorda M, Vargas F and Violante M (2006). A New Hybrid Fault Detection Technique for Systems-on-a-Chip, IEEE Transactions on Computers, 55:2, (185-198), Online publication date: 1-Feb-2006.

Geiger C, Uzsoy R and Aytug H (2006). Rapid Modeling and Discovery of Priority Dispatching Rules, Journal of Scheduling, 9:1, (7-34), Online publication date: 1-Feb-2006.

Su Z and Wassermann G (2006). The essence of command injection attacks in web applications, ACM SIGPLAN Notices, 41:1, (372-382), Online publication date: 12-Jan-2006.

Su Z and Wassermann G The essence of command injection attacks in web applications Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (372-382)

Saha D and Ramakrishnan C Incremental evaluation of tabled prolog Proceedings of the 8th international conference on Practical Aspects of Declarative Languages, (215-229)

Hristova K and Liu Y Improved algorithm complexities for linear temporal logic model checking of pushdown systems Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation, (190-206)

Bravenboer M, van Dam A, Olmos K and Visser E (2006). Program Transformation with Scoped Dynamic Rewrite Rules, Fundamenta Informaticae, 69:1-2, (123-178), Online publication date: 1-Jan-2006.

Pérez-Jiménez M and Romero-Campero F P systems, a new computational modelling tool for systems biology Transactions on Computational Systems Biology VI, (176-197)

Bravenboer M, van Dam A, Olmos K and Visser E (2005). Program Transformation with Scoped Dynamic Rewrite Rules, Fundamenta Informaticae, 69:1-2, (123-178), Online publication date: 1-Jan-2006.

Kandemir M, Ramanujam J and Sezer U (2006). Improving the energy behavior of block buffering using compiler optimizations, ACM Transactions on Design Automation of Electronic Systems, 11:1, (228-250), Online publication date: 1-Jan-2006.

You Y, Lee C and Lee J (2006). Compilers for leakage power reduction, ACM Transactions on Design Automation of Electronic Systems, 11:1, (147-164), Online publication date: 1-Jan-2006.

Constantinides G (2006). Word-length optimization for differentiable nonlinear systems, ACM Transactions on Design Automation of Electronic Systems, 11:1, (26-43), Online publication date: 1-Jan-2006.

Barnett M and Leino K (2005). Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, 31:1, (82-87), Online publication date: 1-Jan-2006.

Svore K, Aho A, Cross A, Chuang I and Markov I (2006). A Layered Software Architecture for Quantum Computing Design Tools, Computer, 39:1, (74-83), Online publication date: 1-Jan-2006.

Aktemur B and Kamin S (2006). Mumbo, Electronic Notes in Theoretical Computer Science (ENTCS), 147:1, (31-55), Online publication date: 1-Jan-2006.

Chafle G, Chandra S, Kankar P and Mann V Handling faults in decentralized orchestration of composite web services Proceedings of the Third international conference on Service-Oriented Computing, (410-423)

Han J, Cho Y and Choi J A workflow language based on structural context model for ubiquitous computing Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (879-889)

Cho Y, Han J, Choi J and Yoo C A uWDL handler for context-aware workflow services in ubiquitous computing environments Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (131-140)

Glück R and Kawabe M (2005). A Method for Automatic Program Inversion Based on LR(0) Parsing, Fundamenta Informaticae, 66:4, (367-395), Online publication date: 1-Dec-2005.

Wu X, Bryant B, Gray J and Mernik M (2005). Applying object-orientation and aspect-orientation in teaching domain-specific language implementation, Journal of Computing Sciences in Colleges, 21:2, (335-340), Online publication date: 1-Dec-2005.

Snyder R (2005). A pattern for generating extended truth tables using Java, Journal of Computing Sciences in Colleges, 21:2, (244-249), Online publication date: 1-Dec-2005.

Sierra J, Navarro A, Fernández-Manjón B and Fernández-Valmayor A (2005). Incremental definition and operationalization of domain-specific markup languages in ADDS, ACM SIGPLAN Notices, 40:12, (28-37), Online publication date: 1-Dec-2005.

Johnstone A and Scott E (2005). Recursion Engineering for Reduction Incorporated Parsers, Electronic Notes in Theoretical Computer Science (ENTCS), 141:4, (143-160), Online publication date: 1-Dec-2005.

Adachi F, Washio T, Fujimoto A, Motoda H and Hanafusa H (2005). Multi-structure information retrieval method based on transformation invariance, New Generation Computing, 23:4, (291-313), Online publication date: 1-Dec-2005.

Pop S, Cohen A and Silber G Induction variable analysis with delayed abstractions Proceedings of the First international conference on High Performance Embedded Architectures and Compilers, (218-232)

Abadi M, Budiu M, Erlingsson Ú and Ligatti J Control-flow integrity Proceedings of the 12th ACM conference on Computer and communications security, (340-353)

Kumar A, Srivastava B and Mittal S Information modeling for end to end composition of semantic web services Proceedings of the 4th international conference on The Semantic Web, (476-490)

Vanbroekhoven P, Janssens G, Bruynooghe M and Catthoor F Transformation to dynamic single assignment using a simple data flow analysis Proceedings of the Third Asian conference on Programming Languages and Systems, (330-346)

Livshits B, Whaley J and Lam M Reflection analysis for java Proceedings of the Third Asian conference on Programming Languages and Systems, (139-160)

Glenstrup A and Jones N (2005). Termination analysis and specialization-point insertion in offline partial evaluation, ACM Transactions on Programming Languages and Systems, 27:6, (1147-1215), Online publication date: 1-Nov-2005.

Behera C and Kumar P (2005). An improved algorithm for loop dead optimization, ACM SIGPLAN Notices, 40:11, (18-28), Online publication date: 1-Nov-2005.

Tikir M and Hollingsworth J (2005). Efficient online computation of statement coverage, Journal of Systems and Software, 78:2, (146-165), Online publication date: 1-Nov-2005.

Dams D and Namjoshi K Orion Proceedings of the 4th international conference on Formal Methods for Components and Objects, (138-160)

Pryamikov V Call tree transformation for program obfuscation and copy protection Proceedings of the First international conference on Digital Rights Management: technologies, Issues, Challenges and Systems, (164-179)

Barik R Efficient computation of may-happen-in-parallel information for concurrent java programs Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing, (152-169)

Tschantz M and Ernst M Javari Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (211-230)

Trainer E, Quirk S, de Souza C and Redmiles D Bridging the gap between technical and social dependencies with Ariadne Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, (26-30)

Tschantz M and Ernst M (2005). Javari, ACM SIGPLAN Notices, 40:10, (211-230), Online publication date: 12-Oct-2005.

Wong F, Hu D, Mao Y, Dong M and Li Y Machine translation based on constraint-based synchronous grammar Proceedings of the Second international joint conference on Natural Language Processing, (612-623)

Reps T, Schwoon S, Jha S and Melski D (2005). Weighted pushdown systems and their application to interprocedural dataflow analysis, Science of Computer Programming, 58:1-2, (206-263), Online publication date: 1-Oct-2005.

Summerville D, Skormin V, Volynkin A and Moronski J Prevention of information attacks by run-time detection of self-replication in computer codes Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security, (54-75)

Shye A, Iyer M, Reddi V and Connors D Code coverage testing using hardware performance monitoring support Proceedings of the sixth international symposium on Automated analysis-driven debugging, (159-163)

Glossner J, Moudgill M, Iancu D, Nacer G, Jintukar S, Stanley S, Samori M, Raja T, Schulte M and Vassiliadis S Future wireless convergence platforms Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (7-12)

Moy M, Maraninchi F and Maillet-Contoz L Pinapa Proceedings of the 5th ACM international conference on Embedded software, (317-324)

Gedell T Embedding static analysis into tableaux and sequent based frameworks Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, (108-122)

Bossung S, Sehring H, Skusa M and Schmidt J Conceptual content management for software engineering processes Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (309-323)

Vinju J Type-driven automatic quotation of concrete object code in meta programs Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (97-112)

Subramaniam M and Shi J Using Dominators to Extract Observable Protocol Contexts Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (96-105)

Pap Z, Csopaki G and Dibuz S On the Theory of Patching Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (263-271)

Barnett M and Leino K Weakest-precondition of unstructured programs Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (82-87)

Li Z and Zhou Y PR-Miner Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, (306-315)

Hasuo I and Jacobs B Context-free languages via coalgebraic trace semantics Proceedings of the First international conference on Algebra and Coalgebra in Computer Science, (213-231)

Demaille A (2005). Making compiler construction projects relevant to core curriculums, ACM SIGCSE Bulletin, 37:3, (266-270), Online publication date: 1-Sep-2005.

Li Z and Zhou Y (2005). PR-Miner, ACM SIGSOFT Software Engineering Notes, 30:5, (306-315), Online publication date: 1-Sep-2005.

Nedjah N and de Macedo Mourelle L (2005). Secure evolvable hardware for public-key cryptosystems, New Generation Computing, 23:3, (259-275), Online publication date: 1-Sep-2005.

Costagliola G, Deufemia V and Risi M Sketch Grammars Proceedings of the Eighth International Conference on Document Analysis and Recognition, (1226-1231)

Li X and Agrawal G Efficient evaluation of XQuery over streaming data Proceedings of the 31st international conference on Very large data bases, (265-276)

Luis Sierra J, Fernandez-Valmayor A, Fernandez-Manjon B and Navarro A Developing Content-Intensive Applications with XML Documents, Document Transformations and Software Components Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications, (4-11)

Li M, Wei Z, Zhang J and Hu Z Improved GLR parsing algorithm Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II, (169-178)

You J, Seo S, Kim Y, Choi J, Lee S and Kim B Kimchi Proceedings of the 6th international conference on Information Security Applications, (179-193)

Donaldson A and Gay S ETCH Proceedings of the 12th international conference on Model Checking Software, (266-271)

Chen G and Kandemir M Dataflow analysis for energy-efficient scratch-pad memory management Proceedings of the 2005 international symposium on Low power electronics and design, (327-330)

Mock M, Atkinson D, Chambers C and Eggers S (2005). Program Slicing with Dynamic Points-To Sets, IEEE Transactions on Software Engineering, 31:8, (657-678), Online publication date: 1-Aug-2005.

Pistoia M, Flynn R, Koved L and Sreedhar V Interprocedural analysis for privileged code placement and tainted variable detection Proceedings of the 19th European conference on Object-Oriented Programming, (362-386)

Taglietti L, Filho J, Casarotto D, Furtado O and dos Santos L Automatic ADL-based assembler generation for ASIP programming support Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (262-268)

Staschulat J and Ernst R (2005). Scalable precision cache analysis for preemptive scheduling, ACM SIGPLAN Notices, 40:7, (157-165), Online publication date: 12-Jul-2005.

Zhang K and Pande S (2005). Efficient application migration under compiler guidance, ACM SIGPLAN Notices, 40:7, (10-20), Online publication date: 12-Jul-2005.

Saha D and Ramakrishnan C Incremental and demand-driven points-to analysis using logic programming Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, (117-128)

Zelenov S and Zelenova S Automated generation of positive and negative tests for parsers Proceedings of the 5th international conference on Formal Approaches to Software Testing, (187-202)

Meier M, Schmerl S and Koenig H Improving the efficiency of misuse detection Proceedings of the Second international conference on Detection of Intrusions and Malware, and Vulnerability Assessment, (188-205)

Lal A, Reps T and Balakrishnan G Extended weighted pushdown systems Proceedings of the 17th international conference on Computer Aided Verification, (434-448)

Barrett C, Fang Y, Goldberg B, Hu Y, Pnueli A and Zuck L TVOC Proceedings of the 17th international conference on Computer Aided Verification, (291-295)

Xie Y and Aiken A Saturn Proceedings of the 17th international conference on Computer Aided Verification, (139-143)

Lämmel R and Meijer E Mappings make data processing go 'round Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, (169-218)

Hu Z, Yokoyama T and Takeichi M Program optimizations and transformations in calculation form Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, (144-168)

Okhotin A LR parsing for boolean grammars Proceedings of the 9th international conference on Developments in Language Theory, (362-373)

Vipindeep V and Jalote P (2005). Efficient static analysis with path pruning using coverage data, ACM SIGSOFT Software Engineering Notes, 30:4, (1-6), Online publication date: 1-Jul-2005.

Klint P, Lämmel R and Verhoef C (2005). Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology, 14:3, (331-380), Online publication date: 1-Jul-2005.

Verdu-Mas J, Carrasco R and Calera-Rubio J (2005). Parsing with Probabilistic Strictly Locally Testable Tree Languages, IEEE Transactions on Pattern Analysis and Machine Intelligence, 27:7, (1040-1050), Online publication date: 1-Jul-2005.

Demaille A Making compiler construction projects relevant to core curriculums Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (266-270)

Haneda M, Knijnenburg P and Wijshoff H Generating new general compiler optimization settings Proceedings of the 19th annual international conference on Supercomputing, (161-168)

Marinov D, Khurshid S, Bugrara S, Zhang L and Rinard M Optimizations for compiling declarative models into boolean formulas Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, (187-202)

Staschulat J and Ernst R Scalable precision cache analysis for preemptive scheduling Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (157-165)

Zhang K and Pande S Efficient application migration under compiler guidance Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (10-20)

de la Cruz Echeandía M, de la Puente A and Alfonseca M Attribute grammar evolution Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II, (182-191)

Jhala R and Majumdar R Path slicing Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (38-47)

Jhala R and Majumdar R (2005). Path slicing, ACM SIGPLAN Notices, 40:6, (38-47), Online publication date: 12-Jun-2005.

Koju T, Takada S and Doi N An efficient and generic reversible debugger using the virtual machine based approach Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, (79-88)

Cong J, Han G and Zhang Z Architecture and compilation for data bandwidth improvement in configurable embedded processors Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, (263-270)

Naumann U and Utke J Source templates for the automatic generation of adjoint code through static call graph reversal Proceedings of the 5th international conference on Computational Science - Volume Part I, (338-346)

Alam S and Vetter J Performance and scalability analysis of cray x1 vectorization and multistreaming optimization Proceedings of the 5th international conference on Computational Science - Volume Part I, (304-312)

Stewart M Advancing scientific computation by improving scientific code development Proceedings of the 5th international conference on Computational Science - Volume Part I, (1043-1050)

Vipindeep V and Jalote P Efficient static analysis with path pruning using coverage data Proceedings of the third international workshop on Dynamic analysis, (1-6)

Kossmann D and Reichel C SLL Special interest tracks and posters of the 14th international conference on World Wide Web, (962-963)

Han J, Cho Y and Choi J Context-aware workflow language based on web services for ubiquitous computing Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II, (1008-1017)

Haneda M, Knijnenburg P and Wijshoff H Optimizing general purpose compiler optimization Proceedings of the 2nd conference on Computing frontiers, (180-188)

Leuschel M and Turner E Visualising larger state spaces in ProB Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (6-23)

Ryu S and Ramsey N Source-Level debugging for multiple languages with modest programming effort Proceedings of the 14th international conference on Compiler Construction, (10-26)

Olmos K and Visser E Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules Proceedings of the 14th international conference on Compiler Construction, (204-220)

van der Spek P, Plat N and Pronk C (2005). Syntax error repair for a Java-based parser generator, ACM SIGPLAN Notices, 40:4, (47-50), Online publication date: 1-Apr-2005.

Hounam I (2005). Software tools for Fortran, ACM SIGPLAN Fortran Forum, 24:1, (6-22), Online publication date: 1-Apr-2005.

Fu C, Milanova A, Ryder B and Wonnacott D (2005). Robustness Testing of Java Server Applications, IEEE Transactions on Software Engineering, 31:4, (292-311), Online publication date: 1-Apr-2005.

Brändén P and Mansour T (2005). Finite automata and pattern avoidance in words, Journal of Combinatorial Theory Series A, 110:1, (127-145), Online publication date: 1-Apr-2005.

Tonella P and Ricca F (2005). Web Application Slicing in Presence of Dynamic Code Generation, Automated Software Engineering, 12:2, (259-288), Online publication date: 1-Apr-2005.

Hong H and Ural H Dependence testing Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems, (23-39)

Shin J, Hall M and Chame J Superword-Level Parallelism in the Presence of Control Flow Proceedings of the international symposium on Code generation and optimization, (165-175)

Nandivada V and Detlefs D Compile-Time Concurrent Marking Write Barrier Removal Proceedings of the international symposium on Code generation and optimization, (37-48)

Wenzel I, Rieder B, Kirner R and Puschner P Automatic Timing Model Generation by CFG Partitioning and Model Checking Proceedings of the conference on Design, Automation and Test in Europe - Volume 1, (606-611)

Mueller C (2005). Axiomatic computational model, ACM SIGPLAN Notices, 40:3, (29-39), Online publication date: 1-Mar-2005.

Nguyen D, Ricken M and Wong S Design patterns for parsing Proceedings of the 36th SIGCSE technical symposium on Computer science education, (477-481)

White E, Sen R and Stewart N Hide and show Proceedings of the 36th SIGCSE technical symposium on Computer science education, (12-16)

Nguyen D, Ricken M and Wong S (2005). Design patterns for parsing, ACM SIGCSE Bulletin, 37:1, (477-481), Online publication date: 23-Feb-2005.

White E, Sen R and Stewart N (2005). Hide and show, ACM SIGCSE Bulletin, 37:1, (12-16), Online publication date: 23-Feb-2005.

Ziegler H and Hall M Evaluating heuristics in automatically mapping multi-loop applications to FPGAs Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays, (184-195)

Cong J, Fan Y, Han G, Jagannathan A, Reinman G and Zhang Z Instruction set extension with shadow registers for configurable processors Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays, (99-106)

de Ilarraza A, Gojenola K and Oronoz M Design and development of a system for the detection of agreement errors in basque Proceedings of the 6th international conference on Computational Linguistics and Intelligent Text Processing, (793-802)

Estep J and Healy C (2005). A flexible tool for visualizing assembly code, Journal of Computing Sciences in Colleges, 20:3, (55-67), Online publication date: 1-Feb-2005.

Shaw S and Kumar P (2005). Loop-dead optimization, ACM SIGPLAN Notices, 40:2, (33-40), Online publication date: 1-Feb-2005.

D'Alberto P, Nicolau A, Veidenbaum A and Gupta R (2005). Line Size Adaptivity Analysis of Parameterized Loop Nests for Direct Mapped Data Cache, IEEE Transactions on Computers, 54:2, (185-197), Online publication date: 1-Feb-2005.

Georgiadis L and Tarjan R Dominator tree verification and vertex-disjoint paths Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms, (433-442)

Genaim S and Spoto F Information flow analysis for java bytecode Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, (346-362)

Xie Y and Aiken A (2005). Scalable error detection using boolean satisfiability, ACM SIGPLAN Notices, 40:1, (351-363), Online publication date: 12-Jan-2005.

Xie Y and Aiken A Scalable error detection using boolean satisfiability Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (351-363)

Sammapun U, Easwaran A, Lee I and Sokolsky O (2005). Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Electronic Notes in Theoretical Computer Science (ENTCS), 113:C, (123-143), Online publication date: 3-Jan-2005.

Glück R and Kawabe M (2005). A Method for Automatic Program Inversion Based on LR(0) Parsing, Fundamenta Informaticae, 66:4, (367-395), Online publication date: 1-Jan-2005.

Koehler J, Hauser R, Sendall S and Wahler M (2005). Declarative techniques for model-driven business process integration, IBM Systems Journal, 44:1, (47-65), Online publication date: 1-Jan-2005.

(2004). Parameterized LR Parsing, Electronic Notes in Theoretical Computer Science (ENTCS), 110:C, (115-132), Online publication date: 31-Dec-2005.

Venkitaraman R and Gupta G Framework for safe reuse of software binaries Proceedings of the First international conference on Distributed Computing and Internet Technology, (283-293)

Li Z, Lu S, Myagmar S and Zhou Y CP-Miner Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation - Volume 6, (20-20)

Vachharajani N, Bridges M, Chang J, Rangan R, Ottoni G, Blome J, Reis G, Vachharajani M and August D RIFLE Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture, (243-254)

Anckaert B, De Sutter B, Chanet D and De Bosschere K Steganography for executables and code transformation signatures Proceedings of the 7th international conference on Information Security and Cryptology, (425-439)

Hawkins W and Healy C (2004). Introducing practical applications into a computational theory class, Journal of Computing Sciences in Colleges, 20:2, (219-225), Online publication date: 1-Dec-2004.

Noble J and Biddle R (2004). Notes on notes on postmodern programming, ACM SIGPLAN Notices, 39:12, (40-56), Online publication date: 1-Dec-2004.

Allauzen C and Mohri M (2004). An optimal pre-determinization algorithm for weighted transducers, Theoretical Computer Science, 328:1-2, (3-18), Online publication date: 29-Nov-2004.

Srinivasan S, Amir A, Deshpande P and Zbarsky V Grammar-based task analysis of web logs Proceedings of the thirteenth ACM international conference on Information and knowledge management, (244-245)

Walker R and Viggers K (2004). Implementing protocols via declarative event patterns, ACM SIGSOFT Software Engineering Notes, 29:6, (159-169), Online publication date: 1-Nov-2004.

Manevich R, Sridharan M, Adams S, Das M and Yang Z (2004). PSE, ACM SIGSOFT Software Engineering Notes, 29:6, (63-72), Online publication date: 1-Nov-2004.

Chen S, Chieu T, Fu S, Liu Y, Pinel F and Yih J (2004). A practical experience in workspace separation for developing multiple storefronts on customized commerce engines, Journal of Systems and Software, 73:3, (415-424), Online publication date: 1-Nov-2004.

Walker R and Viggers K Implementing protocols via declarative event patterns Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (159-169)

Manevich R, Sridharan M, Adams S, Das M and Yang Z PSE Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (63-72)

Kilpeläinen P and Tuhkanen R Towards efficient implementation of XML schema content models Proceedings of the 2004 ACM symposium on Document engineering, (239-241)

Chidlovskii B and Fuselier J Supervised learning for the legacy document conversion Proceedings of the 2004 ACM symposium on Document engineering, (220-228)

Hardy M, Brailsford D and Thomas P Creating structured PDF files using XML templates Proceedings of the 2004 ACM symposium on Document engineering, (99-108)

Georges A, Buytaert D, Eeckhout L and De Bosschere K Method-level phase behavior in java workloads Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (270-287)

Noble J and Biddle R Notes on notes on postmodern programming Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (112-115)

Costagliola G, Deufemia V and Polese G (2004). A framework for modeling and implementing visual notations with applications to software engineering, ACM Transactions on Software Engineering and Methodology, 13:4, (431-487), Online publication date: 1-Oct-2004.

Dwyer M, Clarke L, Cobleigh J and Naumovich G (2004). Flow analysis for verifying properties of concurrent software systems, ACM Transactions on Software Engineering and Methodology, 13:4, (359-430), Online publication date: 1-Oct-2004.

Georges A, Buytaert D, Eeckhout L and De Bosschere K (2004). Method-level phase behavior in java workloads, ACM SIGPLAN Notices, 39:10, (270-287), Online publication date: 1-Oct-2004.

Brylow D and Palsberg J (2004). Deadline Analysis of Interrupt-Driven Software, IEEE Transactions on Software Engineering, 30:10, (634-655), Online publication date: 1-Oct-2004.

Li H, Jin M, Liu C and Gao Z Test Criteria for Context-Free Grammars Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (300-305)

Zhang K, Zhang T and Pande S Binary translation to improve energy efficiency through post-pass register re-allocation Proceedings of the 4th ACM international conference on Embedded software, (74-85)

Venkitaraman R and Gupta G Static program analysis of embedded executable assembly code Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems, (157-166)

Elliott C Programming graphics processors functionally Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, (45-56)

Carribault P, Lemuet C, Acquaviva J, Cohen A and Jalby W Branch strategies to optimize decision trees for wide-issue architectures Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing, (439-454)

Hong H and Ural H Using model checking for reducing the cost of test generation Proceedings of the 4th international conference on Formal Approaches to Software Testing, (110-124)

Zhang J Symbolic Execution of Program Paths Involving Pointer and Structure Variables Proceedings of the Quality Software, Fourth International Conference, (87-92)

Widemann B V→M Proceedings of the 16th international conference on Implementation and Application of Functional Languages, (90-107)

Stefanov E and Sloane A Simple, effective code-size reduction for functional programs Proceedings of the 16th international conference on Implementation and Application of Functional Languages, (211-225)

Bordihn H, Holzer M and Kutrib M (2004). Economy of description for basic constructions on rational transductions, Journal of Automata, Languages and Combinatorics, 9:2-3, (175-188), Online publication date: 1-Sep-2004.

Adams D and Trefftz C (2004). Using XML in a compiler course, ACM SIGCSE Bulletin, 36:3, (4-6), Online publication date: 1-Sep-2004.

Forth S, Tadjouddine M, Pryce J and Reid J (2004). Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding, ACM Transactions on Mathematical Software, 30:3, (266-299), Online publication date: 1-Sep-2004.

Bhattacharyya S and Murthy P (2004). The CBP Parameter, Journal of VLSI Signal Processing Systems, 38:2, (131-146), Online publication date: 1-Sep-2004.

Lacey D, Jones N, Van Wyk E and Frederiksen C (2004). Compiler Optimization Correctness by Temporal Logic, Higher-Order and Symbolic Computation, 17:3, (173-206), Online publication date: 1-Sep-2004.

Puebla G, Albert E and Hermenegildo M Efficient local unfolding with ancestor stacks for full prolog Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation, (149-165)

Liakata M and Pulman S Learning theories from text Proceedings of the 20th international conference on Computational Linguistics, (183-es)

Laplante P and Gilreath W (2004). One Instruction Set Computers for Image Processing, Journal of VLSI Signal Processing Systems, 38:1, (45-61), Online publication date: 1-Aug-2004.

Bhowmik A and Franklin M (2004). A General Compiler Framework for Speculative Multithreaded Processors, IEEE Transactions on Parallel and Distributed Systems, 15:8, (713-724), Online publication date: 1-Aug-2004.

Ordonez C and Omiecinski E (2004). Efficient Disk-Based K-Means Clustering for Relational Databases, IEEE Transactions on Knowledge and Data Engineering, 16:8, (909-921), Online publication date: 1-Aug-2004.

Lin K, Shann J and Chung C (2004). Code compression by register operand dependency, Journal of Systems and Software, 72:3, (295-304), Online publication date: 1-Aug-2004.

Zhuang X and Pande S (2004). Power-efficient prefetching via bit-differential offset assignment on embedded processors, ACM SIGPLAN Notices, 39:7, (67-77), Online publication date: 11-Jul-2004.

Reimer D, Schonberg E, Srinivas K, Srinivasan H, Alpern B, Johnson R, Kershenbaum A and Koved L SABER Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (243-251)

Ezick J An optimizing compiler for batches of temporal logic formulas Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (183-194)

Fu C, Ryder B, Milanova A and Wonnacott D Testing of java web services for robustness Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (23-34)

Dor N, Adams S, Das M and Yang Z Software validation via scalable path-sensitive value flow analysis Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (12-22)

Reimer D, Schonberg E, Srinivas K, Srinivasan H, Alpern B, Johnson R, Kershenbaum A and Koved L (2004). SABER, ACM SIGSOFT Software Engineering Notes, 29:4, (243-251), Online publication date: 1-Jul-2004.

Ezick J (2004). An optimizing compiler for batches of temporal logic formulas, ACM SIGSOFT Software Engineering Notes, 29:4, (183-194), Online publication date: 1-Jul-2004.

Fu C, Ryder B, Milanova A and Wonnacott D (2004). Testing of java web services for robustness, ACM SIGSOFT Software Engineering Notes, 29:4, (23-34), Online publication date: 1-Jul-2004.

Dor N, Adams S, Das M and Yang Z (2004). Software validation via scalable path-sensitive value flow analysis, ACM SIGSOFT Software Engineering Notes, 29:4, (12-22), Online publication date: 1-Jul-2004.

Kodaganallur V (2004). Incorporating Language Processing into Java Applications, IEEE Software, 21:4, (70-77), Online publication date: 1-Jul-2004.

Yorav K and Grumberg O (2004). Static Analysis for State-Space Reductions Preserving Temporal Logics, Formal Methods in System Design, 25:1, (67-96), Online publication date: 1-Jul-2004.

Brooks R, Zhu M, Lamb J and Iyengar S (2004). Aspect-oriented design of sensor networks, Journal of Parallel and Distributed Computing, 64:7, (853-865), Online publication date: 1-Jul-2004.

Adams D and Trefftz C Using XML in a compiler course Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, (4-6)

van Engelen R, Birch J, Shou Y, Walsh B and Gallivan K A unified framework for nonlinear dependence testing and symbolic analysis Proceedings of the 18th annual international conference on Supercomputing, (106-115)

Bonev S A flexible table driven LR(1) parser Proceedings of the 5th international conference on Computer systems and technologies, (1-6)

Zhang Z, He B and Chang K Understanding Web query interfaces Proceedings of the 2004 ACM SIGMOD international conference on Management of data, (107-118)

Zhuang X and Pande S Power-efficient prefetching via bit-differential offset assignment on embedded processors Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (67-77)

Zhuang X and Pande S (2004). Balancing register allocation across threads for a multithreaded network processor, ACM SIGPLAN Notices, 39:6, (289-300), Online publication date: 9-Jun-2004.

Zhuang X and Pande S Balancing register allocation across threads for a multithreaded network processor Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, (289-300)

Deb A, Jantsch A and Öberg J System design for DSP applications in transaction level modeling paradigm Proceedings of the 41st annual Design Automation Conference, (466-471)

Muttreja A, Raghunathan A, Ravi S and Jha N Automated energy/performance macromodeling of embedded software Proceedings of the 41st annual Design Automation Conference, (99-102)

Kapp K and Sabelfeld V Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis Proceedings of the 41st annual Design Automation Conference, (61-66)

Wang W, Raghunathan A, Lakshminarayana G and Jha N (2004). Input space adaptive design, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 12:6, (590-602), Online publication date: 1-Jun-2004.

Gould C, Su Z and Devanbu P Static Checking of Dynamically Generated Queries in Database Applications Proceedings of the 26th International Conference on Software Engineering, (645-654)

Beyer D, Chlipala A, Henzinger T, Jhala R and Majumdar R Generating Tests from Counterexamples Proceedings of the 26th International Conference on Software Engineering, (326-335)

Collberg C, Huntwork A, Carter E and Townsend G Graph theoretic software watermarks Proceedings of the 6th international conference on Information Hiding, (192-207)

Parikh A, Kim S, Kandemir M, Vijaykrishnan N and Irwin M (2004). Instruction Scheduling for Low Power, Journal of VLSI Signal Processing Systems, 37:1, (129-149), Online publication date: 1-May-2004.

Kantorovitz I (2004). Lexical analysis tool, ACM SIGPLAN Notices, 39:5, (66-74), Online publication date: 1-May-2004.

Francia M, Panizzi E, Petricola A and Visconti G Parallel simulation of orography influence on large-scale atmosphere motion on APEmille Proceedings of the 1st conference on Computing frontiers, (320-325)

Javed F, Bryant B, Črepinšek M, Mernik M and Sprague A Context-free grammar induction using genetic programming Proceedings of the 42nd annual Southeast regional conference, (404-405)

Frigo M (2004). A fast Fourier transform compiler, ACM SIGPLAN Notices, 39:4, (642-655), Online publication date: 1-Apr-2004.

Bodík R, Gupta R and Soffa M (2004). Complete removal of redundant expressions, ACM SIGPLAN Notices, 39:4, (596-611), Online publication date: 1-Apr-2004.

Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P (2004). TIL, ACM SIGPLAN Notices, 39:4, (554-567), Online publication date: 1-Apr-2004.

Flanagan C, Sabry A, Duba B and Felleisen M (2004). The essence of compiling with continuations, ACM SIGPLAN Notices, 39:4, (502-514), Online publication date: 1-Apr-2004.

Wall D (2004). Predicting program behavior using real or estimated profiles, ACM SIGPLAN Notices, 39:4, (429-441), Online publication date: 1-Apr-2004.

Chambers C and Ungar D (2004). A retrospective on, ACM SIGPLAN Notices, 39:4, (295-312), Online publication date: 1-Apr-2004.

Moon S, Li X, Hundt R, Chakrabarti D, Lozano L, Srinivasan U and Liu S SYZYGY - A Framework for Scalable Cross-Module IPO Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization

Scotto M, Sillitti A, Succi G and Vernazza T A relational approach to software metrics Proceedings of the 2004 ACM symposium on Applied computing, (1536-1540)

van Engelen R Code generation techniques for developing light-weight XML Web services for embedded devices Proceedings of the 2004 ACM symposium on Applied computing, (854-861)

Neff N Attribute based compiler implemented using visitor pattern Proceedings of the 35th SIGCSE technical symposium on Computer science education, (130-134)

Neff N (2004). Attribute based compiler implemented using visitor pattern, ACM SIGCSE Bulletin, 36:1, (130-134), Online publication date: 1-Mar-2004.

Das O and Woodside C (2004). Analyzing the effectiveness of fault-management architectures in layered distributed systems, Performance Evaluation, 56:1-4, (93-120), Online publication date: 1-Mar-2004.

Sasaki A and Sassa M (2004). Circular attribute grammars with remote attribute references and their evaluators, New Generation Computing, 22:1, (37-60), Online publication date: 1-Mar-2004.

Deb A, Jantsch A and Öberg J System Design for DSP Applications Using the MASIC Methodology Proceedings of the conference on Design, automation and test in Europe - Volume 1

Kempe A (2004). Extraction and recoding of input-ε-cycles in finite state transducers, Theoretical Computer Science, 313:1, (145-158), Online publication date: 16-Feb-2004.

Vernet O and Markenzon L (2004). Solving problems for maximal reducible flowgraphs, Discrete Applied Mathematics, 136:2-3, (341-348), Online publication date: 15-Feb-2004.

Song L and Kavi K (2004). What can we gain by unfolding loops?, ACM SIGPLAN Notices, 39:2, (26-33), Online publication date: 1-Feb-2004.

Müller-Olm M (2004). Precise interprocedural dependence analysis of parallel programs, Theoretical Computer Science, 311:1-3, (325-388), Online publication date: 23-Jan-2004.

Benton N Simple relational correctness proofs for static analyses and program transformations Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-25)

Georgiadis L and Tarjan R Finding dominators revisited Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms, (869-878)

Nguyen P and Xue J Strength reduction for loop-invariant types Proceedings of the 27th Australasian conference on Computer science - Volume 26, (213-222)

Lee H, Alves-Foss J and Harrison S (2004). The construction of secure mobile agents via evaluating encrypted functions, Web Intelligence and Agent Systems, 2:1, (1-19), Online publication date: 1-Jan-2004.

Benton N (2004). Simple relational correctness proofs for static analyses and program transformations, ACM SIGPLAN Notices, 39:1, (14-25), Online publication date: 1-Jan-2004.

Harman M, Hu L, Hierons R, Wegener J, Sthamer H, Baresel A and Roper M (2004). Testability Transformation, IEEE Transactions on Software Engineering, 30:1, (3-16), Online publication date: 1-Jan-2004.

Harman M, Hu L, Munro M, Zhang X, Binkley D, Danicic S, Daoudi M and Ouarbya L (2004). Syntax-Directed Amorphous Slicing, Automated Software Engineering, 11:1, (27-61), Online publication date: 1-Jan-2004.

Rinard M (2003). Acceptability-oriented computing, ACM SIGPLAN Notices, 38:12, (57-75), Online publication date: 1-Dec-2003.

Aycock J (2003). The ART of compiler construction projects, ACM SIGPLAN Notices, 38:12, (28-32), Online publication date: 1-Dec-2003.

Leinonen P Automating XML document structure transformations Proceedings of the 2003 ACM symposium on Document engineering, (26-28)

Onizuka M Light-weight xPath processing of XML stream with deterministic automata Proceedings of the twelfth international conference on Information and knowledge management, (342-349)

Christensen A, Møller A and Schwartzbach M (2003). Extending Java for high-level Web service construction, ACM Transactions on Programming Languages and Systems, 25:6, (814-875), Online publication date: 1-Nov-2003.

Menon V, Pingali K and Mateev N (2003). Fractal symbolic analysis, ACM Transactions on Programming Languages and Systems, 25:6, (776-813), Online publication date: 1-Nov-2003.

Spinellis D (2003). Global Analysis and Transformations in Preprocessed Languages, IEEE Transactions on Software Engineering, 29:11, (1019-1030), Online publication date: 1-Nov-2003.

Rinard M Acceptability-oriented computing Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (221-239)

Searle A, Gough J and Abramson D Automating relative debugging Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (356-359)

Snavely N, Debray S and Andrews G Unspeculation Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (205-214)

Deng Y, Frankl P and Chen Z Testing database transaction concurrency Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (184-193)

Consel C and Réveillère L A programmable client-server model Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (70-79)

Strelzoff A and Petzold L Deriving user interface requirements from densely interleaved scientific computing applications Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (22-28)

Stefanov T and Deprettere E Deriving process networks from weakly dynamic applications in system-level design Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (90-96)

Navarro G (2003). Regular expression searching on compressed text, Journal of Discrete Algorithms, 1:5-6, (423-443), Online publication date: 1-Oct-2003.

Ogawa M, Hu Z and Sasano I (2003). Iterative-free program analysis, ACM SIGPLAN Notices, 38:9, (111-123), Online publication date: 25-Sep-2003.

De Beijer N, Watson B and Kourie D Stretching and jamming of automata Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (198-207)

Ngassam E, Watson B and Kourie D Hardcoding finite state automata processing Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (111-121)

Ilie L and Yu S (2003). Reducing NFAs by invariant equivalences, Theoretical Computer Science, 306:1-3, (373-390), Online publication date: 5-Sep-2003.

Memon A and Soffa M (2003). Regression testing of GUIs, ACM SIGSOFT Software Engineering Notes, 28:5, (118-127), Online publication date: 1-Sep-2003.

Memon A and Soffa M Regression testing of GUIs Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (118-127)

Beszédes Á, Ferenc R, Gyimóthy T, Dolenc A and Karsisto K (2003). Survey of code-size reduction methods, ACM Computing Surveys, 35:3, (223-267), Online publication date: 1-Sep-2003.

Lee K, Choy Y and Cho S (2003). Logical Structure Analysis and Generation for Structured Documents, IEEE Transactions on Knowledge and Data Engineering, 15:5, (1277-1294), Online publication date: 1-Sep-2003.

Ogawa M, Hu Z and Sasano I Iterative-free program analysis Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, (111-123)

Garain U and Chaudhuri B On Machine Understanding of Online Handwritten Mathematical Expressions Proceedings of the Seventh International Conference on Document Analysis and Recognition - Volume 1

Verstak A, Ramakrishnan N, Watson L, He J, Shaffer C, Bae K, Jiang J, Tranter W and Rappaport T (2003). BSML: A binding schema markup language for data interchange in problem solving environments, Scientific Programming, 11:3, (199-224), Online publication date: 1-Aug-2003.

Kumar K (2003). Value reuse optimization, ACM SIGPLAN Notices, 38:8, (60-66), Online publication date: 1-Aug-2003.

Watson B (2003). A new algorithm for the construction of minimal acyclic DFAs, Science of Computer Programming, 48:2-3, (81-97), Online publication date: 1-Aug-2003.

Johansson E, Pettersson M, Sagonas K and Lindgren T (2003). The development of the HiPE system, International Journal on Software Tools for Technology Transfer (STTT), 4:4, (421-436), Online publication date: 1-Aug-2003.

Olano M, Kuehne B and Simmons M Automatic shader level of detail Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware, (7-14)

Castaño J LR parsing for global index languages (GILs) Proceedings of the 8th international conference on Implementation and application of automata, (269-281)

Vilares M, Darriba V, Vilares J and Rodríguez L Robust parsing using dynamic programming Proceedings of the 8th international conference on Implementation and application of automata, (258-268)

Allauzen C and Mohri M An efficient pre-determinization algorithm Proceedings of the 8th international conference on Implementation and application of automata, (83-95)

Sierra J, Fernández-Valmayor A, Fernández-Manjón B and Navarro A Building applications with domain-specific markup languages Proceedings of the 2003 international conference on Web engineering, (230-240)

McMinn P and Holcombe M The state problem for evolutionary testing Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII, (2488-2498)

Zhuang X, Lau C and Pande S (2003). Storage assignment optimizations through variable coalescence for embedded processors, ACM SIGPLAN Notices, 38:7, (220-231), Online publication date: 11-Jul-2003.

Vanbroekhoven P, Janssens G, Bruynooghe M, Corporaal H and Catthoor F (2003). Advanced copy propagation for arrays, ACM SIGPLAN Notices, 38:7, (24-33), Online publication date: 11-Jul-2003.

Paleri V, Srikant Y and Shankar P (2003). Partial redundancy elimination, Science of Computer Programming, 48:1, (1-20), Online publication date: 1-Jul-2003.

Panizzi E Exploiting dynamicity for the definition and parsing of context sensitive grammars Proceedings of the 4th international and interdisciplinary conference on Modeling and using context, (475-482)

Fang X, Lee J and Midkiff S Automatic fence insertion for shared memory multiprocessing Proceedings of the 17th annual international conference on Supercomputing, (285-294)

Carroll S and Polychronopoulos C A framework for incremental extensible compiler construction Proceedings of the 17th annual international conference on Supercomputing, (53-62)

Stoyanov I and Bonev S Resolving non-determinism in NFA Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning, (119-123)

Tahvildari L, Kontogiannis K and Mylopoulos J (2003). Quality-driven software re-engineering, Journal of Systems and Software, 66:3, (225-239), Online publication date: 15-Jun-2003.

Reps T, Schwoon S and Jha S Weighted pushdown systems and their application to interprocedural dataflow analysis Proceedings of the 10th international conference on Static analysis, (189-213)

Christensen A, Møller A and Schwartzbach M Precise analysis of string expressions Proceedings of the 10th international conference on Static analysis, (1-18)

Zhuang X, Lau C and Pande S Storage assignment optimizations through variable coalescence for embedded processors Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (220-231)

Vanbroekhoven P, Janssens G, Bruynooghe M, Corporaal H and Catthoor F Advanced copy propagation for arrays Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (24-33)

Ziegler H, Hall M and Diniz P Compiler-generated communication for pipelined FPGA applications Proceedings of the 40th annual Design Automation Conference, (610-615)

Zhuang X and Pande S Compiler Scheduling of Mobile Agents for Minimizing Overheads Proceedings of the 23rd International Conference on Distributed Computing Systems

Kim D and Jung M An efficient optimization algorithm of java bytecode to reduce network traffic Proceedings of the 2003 international conference on Computational science and its applications: PartII, (542-551)

Tadjouddine M, Forth S and Pryce J Hierarchical automatic differentiation by vertex elimination and source transformation Proceedings of the 2003 international conference on Computational science and its applications: PartII, (115-124)

Naumann U and Heimbach P Coupling tangent-linear and adjoint models Proceedings of the 2003 international conference on Computational science and its applications: PartII, (105-114)

Rajagopalan M, Debray S, Hiltunen M and Schlichting R Cassyopia Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9, (18-18)

Zhang K, Orgun M and Zhang K Visual language semantics specification in the VisPro system Selected papers from the 2002 Pan-Sydney workshop on Visualisation - Volume 22, (121-127)

Hwang G, Chen C, Lee J and Dz-Ching Ju R (2003). Segmented Alignment, The Journal of Supercomputing, 25:1, (17-41), Online publication date: 1-May-2003.

Smith F, Grossman D, Morrisett G, Hornof L and Jim T (2003). Compiling for template-based run-time code generation, Journal of Functional Programming, 13:3, (677-708), Online publication date: 1-May-2003.

Fernandez J, Bozga M and Ghirvu L (2003). State space reduction based on live variables analysis, Science of Computer Programming, 47:2-3, (203-220), Online publication date: 1-May-2003.

Gagnon E and Hendren L Effective inline-threaded interpretation of Java bytecode using preparation sequences Proceedings of the 12th international conference on Compiler construction, (170-184)

Ryder B Dimensions of precision in reference analysis of object-oriented programming languages Proceedings of the 12th international conference on Compiler construction, (126-137)

Danvy O A new one-pass transformation into monadic normal form Proceedings of the 12th international conference on Compiler construction, (77-89)

Johnson N and Mycroft A Combined code motion and register allocation using the value state dependence graph Proceedings of the 12th international conference on Compiler construction, (1-16)

Vedula V, Abraham J, Bhadra J and Tupuri R (2003). A Hierarchical Test Generation Approach Using Program Slicing Techniques on Hardware Description Languages, Journal of Electronic Testing: Theory and Applications, 19:2, (149-160), Online publication date: 1-Apr-2003.

Settle A, Connors D, Hoflehner G and Lavery D Optimization for the Intel® Itanium® architecture register stack Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, (115-124)

Nanda M and Ramesh S Pointer analysis of multithreaded Java programs Proceedings of the 2003 ACM symposium on Applied computing, (1068-1075)

Nanda M and Karnik N Synchronization analysis for decentralizing composite Web services Proceedings of the 2003 ACM symposium on Applied computing, (407-414)

Kandemir M, Kolcu I and Zhang W Implementation and Evaluation of an On-Demand Parameter-Passing Strategy for Reducing Energy Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

Lomena A, Lopez-Vallejo M, Watanabe Y and Kondratyev A An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

Doroshenko A and Ragozin D (2003). Using Graph Models in Retargetable Optimizing Compilers for Microprocessors with VLIW Architectures, Cybernetics and Systems Analysis, 39:2, (192-211), Online publication date: 1-Mar-2003.

De Moor O, Lacey D and Van Wyk E (2003). Universal Regular Path Queries, Higher-Order and Symbolic Computation, 16:1-2, (15-35), Online publication date: 1-Mar-2003.

Hwang Y and Saltz J (2003). Identifying parallelism in programs with cyclic graphs, Journal of Parallel and Distributed Computing, 63:3, (337-355), Online publication date: 1-Mar-2003.

Baldwin D A compiler for teaching about compilers Proceedings of the 34th SIGCSE technical symposium on Computer science education, (220-223)

Cooper K and Xu L (2002). An efficient static analysis algorithm to detect redundant memory operations, ACM SIGPLAN Notices, 38:2 supplement, (97-107), Online publication date: 15-Feb-2003.

Ding C and Zhong Y (2002). Compiler-directed run-time monitoring of program data access, ACM SIGPLAN Notices, 38:2 supplement, (1-12), Online publication date: 15-Feb-2003.

Liu J and Shragowitz E Transaction-based waveform analysis for IP selection Proceedings of the 2003 Asia and South Pacific Design Automation Conference, (104-107)

Fiskio-Lasseter J and Young M (2002). Flow equations as a generic programming tool for manipulation of attributed graphs, ACM SIGSOFT Software Engineering Notes, 28:1, (69-76), Online publication date: 17-Jan-2003.

Tikir M, Hollingsworth J and Lueh G (2002). Recompilation for debugging support in a JIT-compiler, ACM SIGSOFT Software Engineering Notes, 28:1, (10-17), Online publication date: 17-Jan-2003.

Chelf B, Engler D and Hallem S (2002). How to write system-specific, static checkers in metal, ACM SIGSOFT Software Engineering Notes, 28:1, (51-60), Online publication date: 17-Jan-2003.

Gheorghioiu O, Salcianu A and Rinard M (2003). Interprocedural compatibility analysis for static object preallocation, ACM SIGPLAN Notices, 38:1, (273-284), Online publication date: 15-Jan-2003.

Carter L, Ferrante J and Thomborson C (2003). Folklore confirmed, ACM SIGPLAN Notices, 38:1, (106-114), Online publication date: 15-Jan-2003.

Gheorghioiu O, Salcianu A and Rinard M Interprocedural compatibility analysis for static object preallocation Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (273-284)

Carter L, Ferrante J and Thomborson C Folklore confirmed Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (106-114)

Thorup M On AC0 implementations of fusion trees and atomic heaps Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms, (699-707)

Baldwin D (2003). A compiler for teaching about compilers, ACM SIGCSE Bulletin, 35:1, (220-223), Online publication date: 11-Jan-2003.

Gupta S, Dutt N, Gupta R and Nicolau A SPARK Proceedings of the 16th International Conference on VLSI Design

Mangalam G, Narayan S, Besouw P, Avra L, Mathur A and Saluja S Graph Transformations for Improved Tree Height Reduction Proceedings of the 16th International Conference on VLSI Design

Stitt G and Vahid F Propagating constants past software to hardware peripherals on fixed-application embedded systems Compilers and operating systems for low power, (115-135)

Hom J and Kremer U Energy management of virtual memory on diskless devices Compilers and operating systems for low power, (95-113)

Král J and Žemlička M Software confederations Managing globally with information technology, (57-81)

Brüggemann-Klein A and Wood D On predictive parsing and extended context-free grammars Computer Science in Perspective, (69-87)

Leino K and Nelson G Abstraction dependencies Programming methodology, (269-289)

Briggs P Register allocation Encyclopedia of Computer Science, (1516-1518)

Bloss A Language processors Encyclopedia of Computer Science, (955-958)

Agesen O and Sankar S Compiler Encyclopedia of Computer Science, (251-258)

Hwang_cor Y and Saltz J (2003). Interprocedural definition-use chains of dynamic pointer-linked data structures, Scientific Programming, 11:1, (3-37), Online publication date: 1-Jan-2003.

Govindarajan R, Yang H, Amaral J, Zhang C and Gao G (2003). Minimum Register Instruction Sequencing to Reduce Register Spills in Out-of-Order Issue Superscalar Architectures, IEEE Transactions on Computers, 52:1, (4-20), Online publication date: 1-Jan-2003.

Maltesson N, Naccache D, Trichina E and Tymen C Applet verification strategies for RAM-constrained devices Proceedings of the 5th international conference on Information security and cryptology, (118-137)

Xie Y and Engler D Using redundancies to find errors Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, (51-60)

Fiskio-Lasseter J and Young M Flow equations as a generic programming tool for manipulation of attributed graphs Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (69-76)

Tikir M, Hollingsworth J and Lueh G Recompilation for debugging support in a JIT-compiler Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (10-17)

Chelf B, Engler D and Hallem S How to write system-specific, static checkers in metal Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (51-60)

Clarke D and Drossopoulou S (2002). Ownership, encapsulation and the disjointness of type and effect, ACM SIGPLAN Notices, 37:11, (292-310), Online publication date: 17-Nov-2002.

Kane B, Su H and Rundensteiner E Consistently updating XML documents using incremental constraint check queries Proceedings of the 4th international workshop on Web information and data management, (1-8)

Clarke D and Drossopoulou S Ownership, encapsulation and the disjointness of type and effect Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (292-310)

Cahoon B and McKinley K Simple and effective array prefetching in Java Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (86-95)

Xie Y and Engler D (2002). Using redundancies to find errors, ACM SIGSOFT Software Engineering Notes, 27:6, (51-60), Online publication date: 1-Nov-2002.

Chen J and Subramaniam S (2002). Specification-based Testing for Gui-based Applications, Software Quality Journal, 10:3, (205-224), Online publication date: 1-Nov-2002.

Hahn J, Ha R, Min S and Liu J (2002). Analysis of Worst Case DMA Response Time in a Fixed-Priority Bus Arbitration Protocol, Real-Time Systems, 23:3, (209-238), Online publication date: 1-Nov-2002.

Drape S, de Moor O and Sittampalam G Transforming the .NET intermediate language using path logic programming Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (133-144)

Serpette B and Serrano M Compiling scheme to JVM bytecode: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (259-270)

Ford B Packrat parsing: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (36-47)

Gupta S, Reshadi M, Savoiu N, Dutt N, Gupta R and Nicolau A Dynamic common sub-expression elimination during scheduling in high-level synthesis Proceedings of the 15th international symposium on System Synthesis, (261-266)

Cao Y, Tomiyama H, Okuma T and Yasuura H Data memory design considering effective bitwidth for low-energy embedded systems Proceedings of the 15th international symposium on System Synthesis, (201-206)

Brooks R and Orr N (2002). A Model for Mobile Code Using Interacting Automata, IEEE Transactions on Mobile Computing, 1:4, (313-326), Online publication date: 1-Oct-2002.

Shpeisman T, Lueh G and Adl-Tabatabai A Just-In-Time Java? Compilation for the Itanium® Processor Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques, (249-258)

Zhuang X, Pande S and Greenland J A Framework for Parallelizing Load/Stores on Embedded Processors Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques

Fernández M and Espasa R Speculative Alias Analysis for Executable Code Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques, (222-231)

Serpette B and Serrano M (2002). Compiling scheme to JVM bytecode:, ACM SIGPLAN Notices, 37:9, (259-270), Online publication date: 17-Sep-2002.

Ford B (2002). Packrat parsing:, ACM SIGPLAN Notices, 37:9, (36-47), Online publication date: 17-Sep-2002.

Eloff J Software restructuring Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (83-92)

Malloy B, Power J and Waldron J Applying software engineering techniques to parser design Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (75-82)

Widemann B Stacking cycles Proceedings of the 14th international conference on Implementation of functional languages, (150-164)

Park J and Park M Using indexed data structures for program specialization Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, (61-69)

Chan E, Ng R, Sen P, Proudfoot K and Hanrahan P Efficient partitioning of fragment shaders for multipass rendering on programmable graphics hardware Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware, (69-78)

Scott K (2002). MISC, ACM SIGCSE Bulletin, 34:3, (223-223), Online publication date: 1-Sep-2002.

Bos J Compilation of unification grammars with compositional semantics to speech recognition packages Proceedings of the 19th international conference on Computational linguistics - Volume 1, (1-7)

Bhowmik A and Franklin M A general compiler framework for speculative multithreading Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, (99-108)

Dhamdhere D (2002). E-path_PRE, ACM SIGPLAN Notices, 37:8, (53-65), Online publication date: 1-Aug-2002.

Viega J, Bloch J, Kohno T and McGraw G (2002). Token-based scanning of source code for security problems, ACM Transactions on Information and System Security, 5:3, (238-261), Online publication date: 1-Aug-2002.

Masselos K, Catthoor F, Goutis C and Deman H (2002). A systematic methodology for the application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in realizations of multimedia algorithms on programmable processors, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 10:4, (515-518), Online publication date: 1-Aug-2002.

Healy C and Whalley D (2002). Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering, 28:8, (763-781), Online publication date: 1-Aug-2002.

Bik A, Girkar M, Grey P and Tian X Automatic detection of saturation and clipping idioms Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, (61-74)

You Y, Lee C and Lee J Compiler analysis and supports for leakage power reduction on microprocessors Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, (45-60)

Tikir M and Hollingsworth J Efficient instrumentation for code coverage testing Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, (86-96)

Saputra H, Kandemir M, Vijaykrishnan N, Irwin M, Hu J, Hsu C and Kremer U (2002). Energy-conscious compilation based on voltage scaling, ACM SIGPLAN Notices, 37:7, (2-11), Online publication date: 17-Jul-2002.

Brüggemann-Klein A and Wood D On predictive parsing and extended context-free grammars Proceedings of the 7th international conference on Implementation and application of automata, (239-247)

Okhotin A Efficient automaton-based recognition for linear conjunctive languages Proceedings of the 7th international conference on Implementation and application of automata, (169-181)

Tikir M and Hollingsworth J (2002). Efficient instrumentation for code coverage testing, ACM SIGSOFT Software Engineering Notes, 27:4, (86-96), Online publication date: 1-Jul-2002.

Rufino J, Pina A, Alves A and Exposto J Distributed paged hash tables Proceedings of the 5th international conference on High performance computing for computational science, (679-693)

Scott K MISC Proceedings of the 7th annual conference on Innovation and technology in computer science education, (223-223)

Ferreira R, Agrawal G and Saltz J Compiler supported high-level abstractions for sparse disk-resident datasets Proceedings of the 16th international conference on Supercomputing, (241-251)

Saputra H, Kandemir M, Vijaykrishnan N, Irwin M, Hu J, Hsu C and Kremer U Energy-conscious compilation based on voltage scaling Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems, (2-11)

Baker J and Hsieh W Maya Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (270-281)

Kawahito M, Komatsu H and Nakatani T Effective sign extension elimination Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (187-198)

Foster J, Terauchi T and Aiken A Flow-sensitive type qualifiers Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (1-12)

Cooper K and Xu L An efficient static analysis algorithm to detect redundant memory operations Proceedings of the 2002 workshop on Memory system performance, (97-107)

Ding C and Zhong Y Compiler-directed run-time monitoring of program data access Proceedings of the 2002 workshop on Memory system performance, (1-12)

Mohnen M An open framework for data-flow analysis in Java Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (157-161)

Yang C, Mitra T and Chiueh T A Decoupled Architecture for Application-Specific File Prefetching Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, (157-170)

Gupta S, Savoiu N, Dutt N, Gupta R, Nicolau A, Kam T, Kishinevsky M and Rotem S Coordinated transformations for high-level synthesis of high performance microprocessor blocks Proceedings of the 39th annual Design Automation Conference, (898-903)

Wolf F, Staschulat J and Ernst R Associative caches in formal software timing analysis Proceedings of the 39th annual Design Automation Conference, (622-627)

Lee J and Park I Timed compiled-code simulation of embedded software for performance analysis of SOC design Proceedings of the 39th annual Design Automation Conference, (293-298)

Kandemir M, Ramanujam J and Choudhary A Exploiting shared scratch pad memory space in embedded multiprocessor systems Proceedings of the 39th annual Design Automation Conference, (219-224)

Burnett M, Sheretov A, Ren B and Rothermel G (2002). Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology, IEEE Transactions on Software Engineering, 28:6, (576-594), Online publication date: 1-Jun-2002.

Milicev D and Jovanovic Z (2002). Control Flow Regeneration for Software Pipelined Loops with Conditions, International Journal of Parallel Programming, 30:3, (149-179), Online publication date: 1-Jun-2002.

Graunke P and Krishnamurthi S Advanced control flows for flexible graphical user interfaces Proceedings of the 24th International Conference on Software Engineering, (277-287)

Baker J and Hsieh W (2002). Maya, ACM SIGPLAN Notices, 37:5, (270-281), Online publication date: 17-May-2002.

Kawahito M, Komatsu H and Nakatani T (2002). Effective sign extension elimination, ACM SIGPLAN Notices, 37:5, (187-198), Online publication date: 17-May-2002.

Foster J, Terauchi T and Aiken A (2002). Flow-sensitive type qualifiers, ACM SIGPLAN Notices, 37:5, (1-12), Online publication date: 17-May-2002.

Carroll J Unparsing RDF/XML Proceedings of the 11th international conference on World Wide Web, (454-461)

Blieberger J (2002). Data-Flow Frameworks for Worst-Case Execution Time Analysis, Real-Time Systems, 22:3, (183-227), Online publication date: 1-May-2002.

Naumann U Reducing the Memory Requirement in Reverse Mode Automatic Differentiation by Solving TBR Flow Equations Proceedings of the International Conference on Computational Science-Part II, (1039-1048)

Beazley D An Extensible Compiler for Creating Scriptable Scientific Software Proceedings of the International Conference on Computational Science-Part II, (824-833)

Wobbrock J In your own words: using full sentences as feedback CHI '02 Extended Abstracts on Human Factors in Computing Systems, (866-867)

Leroy X (2002). Bytecode verification on Java smart cards, Software—Practice & Experience, 32:4, (319-340), Online publication date: 10-Apr-2002.

Araujo G, Ottoni G and Cintra M (2002). Global array reference allocation, ACM Transactions on Design Automation of Electronic Systems, 7:2, (336-357), Online publication date: 1-Apr-2002.

Acebal C, Castanedo R and Cueva Lovelle J (2002). Good design principles in a compiler university course, ACM SIGPLAN Notices, 37:4, (62-73), Online publication date: 1-Apr-2002.

Benso A, Carlo S, Natale G and Prinetto P An Optimal Algorithm for the Automatic Generation of March Tests Proceedings of the conference on Design, automation and test in Europe

Kandemir M, Choudhary A and Ramanujam J (2002). An I/O-Conscious Tiling Strategy for Disk-Resident Data Sets, The Journal of Supercomputing, 21:3, (257-284), Online publication date: 1-Mar-2002.

Kühl B and Schreiner A (2002). Objects for lexical analysis, ACM SIGPLAN Notices, 37:2, (45-52), Online publication date: 1-Feb-2002.

St-Denis R (2002). Designing reactive systems, Journal of Systems and Software, 60:2, (103-112), Online publication date: 1-Feb-2002.

Goswami D and Mall R (2002). An efficient method for computing dynamic program slices, Information Processing Letters, 81:2, (111-117), Online publication date: 31-Jan-2002.

Lacey D, Jones N, Van Wyk E and Frederiksen C Proving correctness of compiler optimizations by temporal logic Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (283-294)

Neubauer M, Thiemann P, Gasbichler M and Sperber M Functional logic overloading Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (233-244)

Philipose M, Chambers C and Eggers S Towards automatic construction of staged compilers Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (113-125)

Henzinger T, Jhala R, Majumdar R and Sutre G Lazy abstraction Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (58-70)

Palkovic M, Miranda M, Denolf K, Vos P and Catthoor F Systematic Address and Control Code Transformations for Performance Optimisation of a MPEG-4 Video Decoder Proceedings of the 2002 Asia and South Pacific Design Automation Conference

Wang W, Raghunathan A, Lakshminarayana G and Jha N Input Space Adaptive Embedded Software Synthesis Proceedings of the 2002 Asia and South Pacific Design Automation Conference

Amtoft T, Consel C, Danvy O and Malmkjær K The abstraction and instantiation of string-matching programs The essence of computation, (332-357)

Schmidt D Structure-preserving binary relations for program abstraction The essence of computation, (245-265)

Vander Aa T, Eeckhout L, Goeman B, Vandierendonck H, Van Achteren T, Lauwereins R and De Bosschere K (2002). Optimizing a 3D image reconstruction algorithm, Australian Computer Science Communications, 24:3, (119-126), Online publication date: 1-Jan-2002.

Vander Aa T, Eeckhout L, Goeman B, Vandierendonck H, Van Achteren T, Lauwereins R and De Bosschere K Optimizing a 3D image reconstruction algorithm Proceedings of the seventh Asia-Pacific conference on Computer systems architecture, (119-126)

Cerecke C (2002). Repairing syntax errors in LR-based parsers, Australian Computer Science Communications, 24:1, (17-22), Online publication date: 1-Jan-2002.

Cerecke C Repairing syntax errors in LR-based parsers Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, (17-22)

Coors M, Keding H, Lüthje O and Meyr H (2002). Design and DSP implementation of fixed-point systems, EURASIP Journal on Advances in Signal Processing, 2002:1, (908-925), Online publication date: 1-Jan-2002.

Cobleigh J, Clarke L and Osterweil L (2002). FLAVERS, IBM Systems Journal, 41:1, (140-165), Online publication date: 1-Jan-2002.

Lacey D, Jones N, Van Wyk E and Frederiksen C (2002). Proving correctness of compiler optimizations by temporal logic, ACM SIGPLAN Notices, 37:1, (283-294), Online publication date: 1-Jan-2002.

Neubauer M, Thiemann P, Gasbichler M and Sperber M (2002). Functional logic overloading, ACM SIGPLAN Notices, 37:1, (233-244), Online publication date: 1-Jan-2002.

Philipose M, Chambers C and Eggers S (2002). Towards automatic construction of staged compilers, ACM SIGPLAN Notices, 37:1, (113-125), Online publication date: 1-Jan-2002.

Henzinger T, Jhala R, Majumdar R and Sutre G (2002). Lazy abstraction, ACM SIGPLAN Notices, 37:1, (58-70), Online publication date: 1-Jan-2002.

Loechner V, Meister B and Clauss P (2002). Precise Data Locality Optimization of Nested Loops, The Journal of Supercomputing, 21:1, (37-76), Online publication date: 1-Jan-2002.

Collins J, Tullsen D, Wang H and Shen J Dynamic speculative precomputation Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture, (306-317)

Vahid F, Patel R and Stitt G (2001). Propagating constants past software to hardware peripherals in fixed-application embedded systems, ACM SIGARCH Computer Architecture News, 29:5, (25-30), Online publication date: 1-Dec-2001.

Chen S and Fuchs W (2001). Compiler-Assisted Multiple Instruction Word Retry for VLIW Architectures, IEEE Transactions on Parallel and Distributed Systems, 12:12, (1293-1304), Online publication date: 1-Dec-2001.

Xiao Y, Sabry A and Ariola Z (2001). From Syntactic Theories to Interpreters, Higher-Order and Symbolic Computation, 14:4, (387-409), Online publication date: 1-Dec-2001.

Lüthje O, Coors M, Keding H and Meyr H A novel approach to code analysis of digital signal processing systems Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems, (76-83)

Wang Z, Sha E and Hu X Combined partitioning and data padding for scheduling multiple loop nests Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems, (67-75)

Silberhorn H TabulaMagica Proceedings of the 2001 ACM Symposium on Document engineering, (68-75)

Byers D, Kamkar M and Palsson T Syntax-Directed Construction of Value Dependence Graphs Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Tu Q and Godfrey M The Build-Time Software Architecture View Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Tonella P and Potrich A Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Harman M, Hierons R, Fox C, Danicic S and Howroyd J Pre/Post Conditioned Slicing Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Malenfant B Flow Analysis to Detect Blocked Statements Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Atkinson D and Griswold W Implementation Techniques for Efficient Data-Flow Analysis of Large Programs Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Fluet M and Weeks S (2001). Contification using dominators, ACM SIGPLAN Notices, 36:10, (2-13), Online publication date: 1-Oct-2001.

Fluet M and Weeks S Contification using dominators Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (2-13)

Miranda M, Ghez C, Kulkarni C, Catthoor F and Verkest D Systematic speed-power memory data-layout exploration for cache controlled embedded multimedia applications Proceedings of the 14th international symposium on Systems synthesis, (107-112)

Fraboulet A, Kodary K and Mignotte A Loop fusion for memory space optimization Proceedings of the 14th international symposium on Systems synthesis, (95-100)

Harrison B and Sheard T Dynamically adaptable software with metacomputations in a staged language Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation, (163-182)

Damian D and Danvy O Static transition compression Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation, (92-107)

Lee C, Lee K, Hahn J, Seo Y, Min S, Ha R, Hong S, Park C, Lee M and Kim C (2001). Bounding Cache-Related Preemption Delay for Real-Time Systems, IEEE Transactions on Software Engineering, 27:9, (805-826), Online publication date: 1-Sep-2001.

Wagner J and Leupers R C Compiler Design for an Industrial Network Processor Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (155-164)

Ziegenbein D, Wolf F, Richter K, Jersak M and Ernst R Interval-Based Analysis of Software Processes Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (94-101)

De Sutter B, De Bus B, De Bosschere K and Debray S Combining Global Code and Data Compaction Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (29-38)

Wagner J and Leupers R C Compiler Design for an Industrial Network Processor Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (155-164)

Ziegenbein D, Wolf F, Richter K, Jersak M and Ernst R Interval-Based Analysis of Software Processes Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (94-101)

De Sutter B, De Bus B, De Bosschere K and Debray S Combining Global Code and Data Compaction Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (29-38)

Wagner J and Leupers R (2001). C Compiler Design for an Industrial Network Processor, ACM SIGPLAN Notices, 36:8, (155-164), Online publication date: 1-Aug-2001.

Ziegenbein D, Wolf F, Richter K, Jersak M and Ernst R (2001). Interval-Based Analysis of Software Processes, ACM SIGPLAN Notices, 36:8, (94-101), Online publication date: 1-Aug-2001.

De Sutter B, De Bus B, De Bosschere K and Debray S (2001). Combining Global Code and Data Compaction, ACM SIGPLAN Notices, 36:8, (29-38), Online publication date: 1-Aug-2001.

Zhao Y and Strom R Exploitng event stream interpretation in publish-subscribe systems Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, (219-228)

Chen S, Fuchs W and Chung J (2001). Reversible Debugging Using Program Instrumentation, IEEE Transactions on Software Engineering, 27:8, (715-727), Online publication date: 1-Aug-2001.

Lee J and Padua D (2001). Hiding Relaxed Memory Consistency with a Compiler, IEEE Transactions on Computers, 50:8, (824-833), Online publication date: 1-Aug-2001.

Aycock J (2001). Why bison is becoming extinct, XRDS: Crossroads, The ACM Magazine for Students, 7:5, (3-3), Online publication date: 5-Jul-2001.

Dillon L and Kurt Stirewalt R Lightweight analysis of operational specifications using inference graphs Proceedings of the 23rd International Conference on Software Engineering, (57-67)

Ricca F and Tonella P Analysis and testing of Web applications Proceedings of the 23rd International Conference on Software Engineering, (25-34)

Hunt H, Marathe M and Stearns R Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures Proceedings of the 2001 international symposium on Symbolic and algebraic computation, (183-191)

Chechik M and Gannon J (2001). Automatic Analysis of Consistency between Requirements and Designs, IEEE Transactions on Software Engineering, 27:7, (651-672), Online publication date: 1-Jul-2001.

Cho S, Yew P and Lee G (2001). A High-Bandwidth Memory Pipeline for Wide Issue Processors, IEEE Transactions on Computers, 50:7, (709-723), Online publication date: 1-Jul-2001.

Nedjah N and Mourelle L How Many CLBs Does Your Circuit Need to be Implemented? Proceedings of the 12th International Workshop on Rapid System Prototyping

Wang W, Raghunathan A, Lakshminarayana G and Jha N Input space adaptive design Proceedings of the 38th annual Design Automation Conference, (738-743)

Keding H, Coors M, Lüthje O and Meyr H Fast bit-true simulation Proceedings of the 38th annual Design Automation Conference, (708-713)

Sarkar V, Serrano M and Simons B Register-sensitive selection, duplication, and sequencing of instructions Proceedings of the 15th international conference on Supercomputing, (277-288)

Wu P, Cohen A, Hoeflinger J and Padua D Monotonic evolution Proceedings of the 15th international conference on Supercomputing, (78-91)

Mateev N, Menon V and Pingali K Fractal symbolic analysis Proceedings of the 15th international conference on Supercomputing, (38-49)

Roger M and Goubault-Larrecq J Log Auditing through Model-Checking Proceedings of the 14th IEEE workshop on Computer Security Foundations

Sudarsanam A, Malik S and Fujita M A retargetable compilation methodology for embedded digital signal processors using a machine-dependent code optimizaton library Readings in hardware/software co-design, (506-515)

Liao S, Devadas S, Keutzer K and Tjiang S Instruction selection using binate covering for code size optimization Readings in hardware/software co-design, (499-505)

Goossens G, Van Praet J, Lanneer D, Geurts W, Kifli A, Liem C and Paulin P Embedded software in real-time signal processing systems Readings in hardware/software co-design, (433-451)

Seawright A and Brewer F Clairvoyant Readings in hardware/software co-design, (375-388)

Chiodo M, Guisto P, Jurecska A, Hsieh H, Sangiovanni-Vincentelli A and Lavagno L Hardware-software codesign of embedded systems Readings in hardware/software co-design, (313-323)

Tiwari V, Malik S and Wolfe A Power analysis of embedded software Readings in hardware/software co-design, (222-230)

De Micheli G and Gupta R Hardware/software co-design Readings in hardware/software co-design, (30-44)

Ernst R, Henkel J and Benner T Hardware-software cosynthesis for microcontrollers Readings in hardware/software co-design, (18-29)

Das R, Hwang Y, Saltz J and Sussman A Runtime and compiler support for irregular computations Compiler optimizations for scalable parallel systems, (751-778)

Gupta M A framework for global communication analysis of optimizations Compiler optimizations for scalable parallel systems, (485-524)

Tu P and Padua D Automatic array privatization Compiler optimizations for scalable parallel systems, (247-281)

Feautrier P Array dataflow analysis Compiler optimizations for scalable parallel systems, (173-219)

Roark B (2001). Probabilistic top-down parsing and language modeling, Computational Linguistics, 27:2, (249-276), Online publication date: 1-Jun-2001.

Ball T and Rajamani S Bebop Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (97-103)

Ancourt C and Nguyen T Array resizing for scientific code debugging, maintenance and reuse Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (32-37)

Palsberg J Type-based analysis and applications Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (20-27)

Lie D, Chou A, Engler D and Dill D A simple method for extracting models for protocol code Proceedings of the 28th annual international symposium on Computer architecture, (192-203)

Seymour K and Dongarra J Automatic translation of Fortran to JVM bytecode Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, (126-133)

Eckstein S, Ahlbrecht P and Neumann K Techniques and language constructs for developing generic informations systems Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, (145-154)

Maruyama K Automated method-extraction refactoring by using block-based slicing Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, (31-40)

Lie D, Chou A, Engler D and Dill D (2001). A simple method for extracting models for protocol code, ACM SIGARCH Computer Architecture News, 29:2, (192-203), Online publication date: 1-May-2001.

Eckstein S, Ahlbrecht P and Neumann K (2001). Techniques and language constructs for developing generic informations systems, ACM SIGSOFT Software Engineering Notes, 26:3, (145-154), Online publication date: 1-May-2001.

Maruyama K (2001). Automated method-extraction refactoring by using block-based slicing, ACM SIGSOFT Software Engineering Notes, 26:3, (31-40), Online publication date: 1-May-2001.

Paleczny M, Vick C and Click C The java hotspotTM server compiler Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (1-1)

Memory Hierarchy Optimization of Multimedia Applications on Programmable Embedded Cores 1 Proceedings of the 2nd International Symposium on Quality Electronic Design

Jung J, Yoo S and Choi K Performance improvement of multi-processor systems cosimulation based on SW analysis Proceedings of the conference on Design, automation and test in Europe, (749-753)

Passerone C, Watanabe Y and Lavagno L Generation of minimal size code for scheduling graphs Proceedings of the conference on Design, automation and test in Europe, (668-673)

Sami M, Sciuto D, Silvano C, Zaccaria V and Zafalon R Exploiting data forwarding to reduce the power budget of VLIW embedded processors Proceedings of the conference on Design, automation and test in Europe, (252-257)

Joisha P, Kanhere A, Banerjee P, Shenoy U and Choudhary A (2000). Handling context-sensitive syntactic issues in the design of a front-end for a MATLAB compiler, ACM SIGAPL APL Quote Quad, 31:3, (27-40), Online publication date: 1-Mar-2001.

Ryder B, Landi W, Stocks P, Zhang S and Altucher R (2001). A schema for interprocedural modification side-effect analysis with pointer aliasing, ACM Transactions on Programming Languages and Systems, 23:2, (105-186), Online publication date: 1-Mar-2001.

Gordon A and Syme D (2001). Typing a multi-language intermediate code, ACM SIGPLAN Notices, 36:3, (248-260), Online publication date: 1-Mar-2001.

Power J and Malloy B Exploiting metrics to facilitate grammar transformation into LALR format Proceedings of the 2001 ACM symposium on Applied computing, (636-640)

Jeffery C Goal-directed object-oriented programming in Unicon Proceedings of the 2001 ACM symposium on Applied computing, (306-308)

Moisset P, Diniz P and Park J Matching and searching analysis for parallel hardware implementation on FPGAs Proceedings of the 2001 ACM/SIGDA ninth international symposium on Field programmable gate arrays, (125-133)

Dutt N, Nicolau A, Tomiyama H and Halambi A New directions in compiler technology for embedded systems (embedded tutorial) Proceedings of the 2001 Asia and South Pacific Design Automation Conference, (409-414)

Letz R and Stenz G Model elimination and connection tableau procedures Handbook of automated reasoning, (2015-2112)

Milicev D and Jovanovic Z A finite state machine based format model of software pipelined loops with conditions Progress in computer research, (51-60)

Lorie R Long term preservation of digital information Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries, (346-352)

Gordon A and Syme D Typing a multi-language intermediate code Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (248-260)

Pijls W (2000). LR and LL parsing, ACM SIGCSE Bulletin, 32:4, (24-27), Online publication date: 1-Dec-2000.

Sias J, Hwu W and August D Accurate and efficient predicate analysis with binary decision diagrams Proceedings of the 33rd annual ACM/IEEE international symposium on Microarchitecture, (112-123)

Kandemir M, Choudhary A, Banerjee P, Ramanujam J and Shenoy N (2000). Minimizing Data and Synchronization Costs in One-Way Communication, IEEE Transactions on Parallel and Distributed Systems, 11:12, (1232-1251), Online publication date: 1-Dec-2000.

Blazy S (2000). Specifying and Automatically Generating a Specialization Tool for Fortran 90, Automated Software Engineering, 7:4, (345-376), Online publication date: 1-Dec-2000.

Liu Y (2000). Efficiency by Incrementalization, Higher-Order and Symbolic Computation, 13:4, (289-313), Online publication date: 1-Dec-2000.

Godefroid P, Jagadeesan L, Jagadeesan R and Läufer K Automated systematic testing for constraint-based interactive services Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (40-49)

Godefroid P, Jagadeesan L, Jagadeesan R and Läufer K (2000). Automated systematic testing for constraint-based interactive services, ACM SIGSOFT Software Engineering Notes, 25:6, (40-49), Online publication date: 1-Nov-2000.

Freimer R Generalized map coloring for use in geographical information systems Proceedings of the 8th ACM international symposium on Advances in geographic information systems, (167-173)

Fahringer T and Scholz B (2000). A Unified Symbolic Evaluation Framework for Parallelizing Compilers, IEEE Transactions on Parallel and Distributed Systems, 11:11, (1105-1125), Online publication date: 1-Nov-2000.

Nadeau D Volume scene graphs Proceedings of the 2000 IEEE symposium on Volume visualization, (49-56)

Sze S and Lyu M ATACOBOL Proceedings of the 11th International Symposium on Software Reliability Engineering

Katz B and Lin J REXTOR Proceedings of the ACL-2000 workshop on Recent advances in natural language processing and information retrieval: held in conjunction with the 38th Annual Meeting of the Association for Computational Linguistics - Volume 11, (67-77)

Amme W, Braun P, Thomasset F and Zehendner E (2000). Data Dependence Analysis of Assembly Code, International Journal of Parallel Programming, 28:5, (431-467), Online publication date: 1-Oct-2000.

Leupers R Code generation for embedded processors Proceedings of the 13th international symposium on System synthesis, (173-178)

Wolf F and Ernst R Intervals in software execution cost analysis Proceedings of the 13th international symposium on System synthesis, (130-135)

A Methodology and Tool for Automated Transformational High-Level Design Space Exploration Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors

Fahringer T, Scholz B and Sun X Execution-driven performance analysis for distributed and parallel systems Proceedings of the 2nd international workshop on Software and performance, (204-215)

Souter A and Pollock L (2000). OMEN: A strategy for testing object-oriented software, ACM SIGSOFT Software Engineering Notes, 25:5, (49-59), Online publication date: 1-Sep-2000.

Sinha S and Harrold M (2000). Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, 26:9, (849-871), Online publication date: 1-Sep-2000.

Hwang Y and Saltz J Identifying Parallelism in Programs with Cyclic Graphs Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing

Cannarozzi D, Plezbert M and Cytron R Contaminated garbage collection Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (264-273)

Fähndrich M, Rehof J and Das M Scalable context-sensitive flow analysis using instantiation constraints Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (253-263)

Ruf E Effective synchronization removal for Java Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (208-218)

Cheng B and Hwu W Modular interprocedural pointer analysis using access paths Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (57-69)

Cierniak M, Lueh G and Stichnoth J Practicing JUDO Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (13-26)

Souter A and Pollock L OMEN: A strategy for testing object-oriented software Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, (49-59)

Hind M and Pioli A Traveling Through Dakota Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)

Joisha P, Kanhere A, Banerjee P, Shenoy U and Choudhary A Handling context-sensitive syntactic issues in the design of a front-end for a MATLAB compiler Proceedings of the international conference on APL-Berlin-2000 conference, (27-40)

Smith M (2000). Overcoming the challenges to feedback-directed optimization (Keynote Talk), ACM SIGPLAN Notices, 35:7, (1-11), Online publication date: 1-Jul-2000.

Panda P, Dutt N and Nicolau A (2000). On-chip vs. off-chip memory, ACM Transactions on Design Automation of Electronic Systems, 5:3, (682-704), Online publication date: 1-Jul-2000.

Minnen G, Carroll J and Pearce D Robust, applied morphological generation Proceedings of the first international conference on Natural language generation - Volume 14, (201-208)

Steffan J, Colohan C, Zhai A and Mowry T A scalable approach to thread-level speculation Proceedings of the 27th annual international symposium on Computer architecture, (1-12)

Suezawa T Persistent execution state of a Java virtual machine Proceedings of the ACM 2000 conference on Java Grande, (160-167)

Cortadella J, Kondratyev A, Lavagno L, Massot M, Moral S, Passerone C, Watanabe Y and Sangiovanni-Vincentelli A Task generation and compile-time scheduling for mixed data-control embedded software Proceedings of the 37th Annual Design Automation Conference, (489-494)

Whittle J and Schumann J Generating statechart designs from scenarios Proceedings of the 22nd international conference on Software engineering, (314-323)

Palmer C and Faloutsos C (2000). Density biased sampling, ACM SIGMOD Record, 29:2, (82-92), Online publication date: 1-Jun-2000.

Ågren O Virtual machines as an aid in teaching computer concepts Proceedings of the 2000 workshop on Computer architecture education, (14-es)

Palmer C and Faloutsos C Density biased sampling Proceedings of the 2000 ACM SIGMOD international conference on Management of data, (82-92)

Cannarozzi D, Plezbert M and Cytron R (2000). Contaminated garbage collection, ACM SIGPLAN Notices, 35:5, (264-273), Online publication date: 1-May-2000.

Fähndrich M, Rehof J and Das M (2000). Scalable context-sensitive flow analysis using instantiation constraints, ACM SIGPLAN Notices, 35:5, (253-263), Online publication date: 1-May-2000.

Ruf E (2000). Effective synchronization removal for Java, ACM SIGPLAN Notices, 35:5, (208-218), Online publication date: 1-May-2000.

Cheng B and Hwu W (2000). Modular interprocedural pointer analysis using access paths, ACM SIGPLAN Notices, 35:5, (57-69), Online publication date: 1-May-2000.

Cierniak M, Lueh G and Stichnoth J (2000). Practicing JUDO, ACM SIGPLAN Notices, 35:5, (13-26), Online publication date: 1-May-2000.

Steffan J, Colohan C, Zhai A and Mowry T (2000). A scalable approach to thread-level speculation, ACM SIGARCH Computer Architecture News, 28:2, (1-12), Online publication date: 1-May-2000.

Tabbara B, Tabbara A and Sangiovanni-Vincentelli A Task response time optimization using cost-based operation motion Proceedings of the eighth international workshop on Hardware/software codesign, (110-114)

Bammi J, Kruijtzer W, Lavagno L, Harcourt E and Lazarescu M Software performance estimation strategies in a system-level design tool Proceedings of the eighth international workshop on Hardware/software codesign, (82-86)

Maruyama K and Shima K (2000). An Automatic Class Generation Mechanism by Using Method Integration, IEEE Transactions on Software Engineering, 26:5, (425-440), Online publication date: 1-May-2000.

Healy C, Sjödin M, Rustagi V, Whalley D and Engelen R (2000). Supporting Timing Analysis by Automatic Bounding of LoopIterations, Real-Time Systems, 18:2/3, (129-156), Online publication date: 1-May-2000.

Mueller F (2000). Timing Analysis for Instruction Caches, Real-Time Systems, 18:2/3, (217-247), Online publication date: 1-May-2000.

Theiling H, Ferdinand C and Wilhelm R (2000). Fast and Precise WCET Prediction by Separated Cache andPath Analyses, Real-Time Systems, 18:2/3, (157-179), Online publication date: 1-May-2000.

Moore R Removing left recursion from context-free grammars Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference, (249-255)

Sudarsanam A and Malik S (2000). Simultaneous reference allocation in code generation for dual data memory bank ASIPs, ACM Transactions on Design Automation of Electronic Systems, 5:2, (242-264), Online publication date: 1-Apr-2000.

Benini L and Micheli G (2000). System-level power optimization, ACM Transactions on Design Automation of Electronic Systems, 5:2, (115-192), Online publication date: 1-Apr-2000.

Jacome M and Veciana G (2000). Design Challenges for New Application-Specific Processors, IEEE Design & Test, 17:2, (40-50), Online publication date: 1-Apr-2000.

van Noord G (2000). Treatment of epsilon moves in subset construction, Computational Linguistics, 26:1, (61-76), Online publication date: 1-Mar-2000.

Danicic S and Harman M Espresso Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (831-839)

Gu J and Li Z (2000). Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization, IEEE Transactions on Software Engineering, 26:3, (244-261), Online publication date: 1-Mar-2000.

Leupers R Register allocation for common subexpressions in DSP data paths Proceedings of the 2000 Asia and South Pacific Design Automation Conference, (235-240)

Cousot P and Cousot R Temporal abstract interpretation Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (12-25)

Hart B, Danforth S and Valduriez P Parallelizing a database programming language Proceedings of the first international symposium on Databases in parallel and distributed systems, (72-79)

Alpern B, Attanasio C, Barton J, Burke M, Cheng P, Choi J, Cocchi A, Fink S, Grove D, Hind M, Hummel S, Lieber D, Litvinov V, Mergen M, Ngo T, Russell J, Sarkar V, Serrano M, Shepherd J, Smith S, Sreedhar V, Srinivasan H and Whaley J (2000). The Jalapeño virtual machine, IBM Systems Journal, 39:1, (211-238), Online publication date: 1-Jan-2000.

Suganuma T, Ogasawara T, Takeuchi M, Yasue T, Kawahito M, Ishizaki K, Komatsu H and Nakatani T (2000). Overview of the IBM Java just-in-time compiler, IBM Systems Journal, 39:1, (175-193), Online publication date: 1-Jan-2000.

Heath J and Welsch L Difficulties in parsing SGML Proceedings of the ACM conference on Document processing systems, (71-77)

Smith M Overcoming the challenges to feedback-directed optimization (Keynote Talk) Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization, (1-11)

Corno F, Reorda M, Squillero G, Manzone A and Pincetti A Automatic test bench generation for validation of RT-level descriptions Proceedings of the conference on Design, automation and test in Europe, (385-389)

Lajolo M, Raghunathan A and Dey S Efficient power co-estimation techniques for system-on-chip design Proceedings of the conference on Design, automation and test in Europe, (27-34)

Gupta S, Miranda M, Catthoor F and Gupta R Analysis of high-level address code transformations for programmable processors Proceedings of the conference on Design, automation and test in Europe, (9-13)

Lee S, Min S, Kim C, Lee C and Lee M (1999). Cache-Conscious Limited Preemptive Scheduling, Real-Time Systems, 17:2-3, (257-282), Online publication date: 14-Dec-1999.

White R, Mueller F, Healy C, Whalley D and Harmon M (1999). Timing Analysis for Data and Wrap-Around Fill Caches, Real-Time Systems, 17:2-3, (209-233), Online publication date: 14-Dec-1999.

Ebcioğlu K, Altman E, Gschwind M and Sathaye S Optimizations and oracle parallelism with dynamic translation Proceedings of the 32nd annual ACM/IEEE international symposium on Microarchitecture, (284-295)

Cho S, Yew P and Lee G Access region locality for high-bandwidth processor memory system design Proceedings of the 32nd annual ACM/IEEE international symposium on Microarchitecture, (136-146)

Vallée-Rai R, Co P, Gagnon E, Hendren L, Lam P and Sundaresan V Soot - a Java bytecode optimization framework Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research

Merlo E and Antoniol G A static measure of a subset of intra-procedural data flow testing coverage based on node coverage Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research

Helaihel R and Olukotun K JMTP Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, (551-557)

Centoducatte P, Araujo G and Pannain R Compressed Code Execution on DSP Architectures Proceedings of the 12th international symposium on System synthesis

Kei Shin Ho E and Chan L (1999). How to Design a Connectionist Holistic Parser, Neural Computation, 11:8, (1995-2016), Online publication date: 1-Nov-1999.

Kandemir M, Banerjee P, Choudhary A, Ramanujam J and Shenoy N (1999). A global communication optimization technique based on data-flow analysis and linear algebra, ACM Transactions on Programming Languages and Systems, 21:6, (1251-1297), Online publication date: 1-Nov-1999.

Liddle S, Campbell D and Crawford C Automatically extracting structure and data from business reports Proceedings of the eighth international conference on Information and knowledge management, (86-93)

Begel A, McCanne S and Graham S (1999). BPF+, ACM SIGCOMM Computer Communication Review, 29:4, (123-134), Online publication date: 1-Oct-1999.

Farkas K, Chow P, Jouppi N and Vranesic Z (1999). The Multicluster Architecture, International Journal of Parallel Programming, 27:5, (327-356), Online publication date: 1-Oct-1999.

Preston N New type signatures for legacy Fortran subroutines Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (76-85)

Agrawal H Efficient coverage testing using global dominator graphs Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (11-20)

Preston N (1999). New type signatures for legacy Fortran subroutines, ACM SIGSOFT Software Engineering Notes, 24:5, (76-85), Online publication date: 1-Sep-1999.

Agrawal H (1999). Efficient coverage testing using global dominator graphs, ACM SIGSOFT Software Engineering Notes, 24:5, (11-20), Online publication date: 1-Sep-1999.

Lopes A (1999). Ada+SQL—an overview, ACM SIGAda Ada Letters, XIX:3, (157-162), Online publication date: 1-Sep-1999.

Lopes A Ada+SQL—an overview Proceedings of the 1999 annual ACM SIGAda international conference on Ada, (157-162)

Younis M, Marlowe T, Stoyen A and Tsai G (1999). Statically Safe Speculative Execution for Real-Time Systems, IEEE Transactions on Software Engineering, 25:5, (701-721), Online publication date: 1-Sep-1999.

Li S, Okoon B, Hella M, Ismail M and Rubeiz M (1999). The Implementation of a VHDL-AMS to SPICE Converter, Analog Integrated Circuits and Signal Processing, 20:3, (203-211), Online publication date: 1-Sep-1999.

Li S, Okoon B, Hella M, Ismail M and Rubeiz M (1999). The Implementation of a VHDL-AMS to SPICE Converter, Journal of VLSI Signal Processing Systems, 22:2, (113-121), Online publication date: 1-Sep-1999.

Begel A, McCanne S and Graham S BPF+ Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication, (123-134)

Lee J, Padua D and Midkiff S (1999). Basic compiler algorithms for parallel programs, ACM SIGPLAN Notices, 34:8, (1-12), Online publication date: 1-Aug-1999.

Hind M, Burke M, Carini P and Choi J (1999). Interprocedural pointer alias analysis, ACM Transactions on Programming Languages and Systems, 21:4, (848-894), Online publication date: 1-Jul-1999.

Eckstein E and Krall A (1999). Minimizing cost of local variables access for DSP-processors, ACM SIGPLAN Notices, 34:7, (20-27), Online publication date: 1-Jul-1999.

Uh G, Wang Y, Whalley D, Jinturkar S, Burns C and Cao V (1999). Effective exploitation of a zero overhead loop buffer, ACM SIGPLAN Notices, 34:7, (10-19), Online publication date: 1-Jul-1999.

Villard D and Monagan M ADrien Proceedings of the 1999 international symposium on Symbolic and algebraic computation, (221-228)

Giorgi R and Prete C (1999). PSCR, IEEE Transactions on Parallel and Distributed Systems, 10:7, (742-763), Online publication date: 1-Jul-1999.

Canfora G, De lucia A and Di Lucca G (1999). A System for Generating Reverse Engineering Tools, Automated Software Engineering, 6:3, (233-263), Online publication date: 1-Jul-1999.

Menon V and Pingali K High-level semantic optimization of numerical codes Proceedings of the 13th international conference on Supercomputing, (434-443)

Ramanan V and Govindarajan R Resource usage models for instruction scheduling Proceedings of the 13th international conference on Supercomputing, (417-424)

Naik M and Kumar R (1999). Object-oriented symbol management in syntax-directed compiler systems, ACM SIGPLAN Notices, 34:6, (58-67), Online publication date: 1-Jun-1999.

Khedker U and Dhamdhere D (1999). Bidirectional data flow analysis, ACM SIGPLAN Notices, 34:6, (47-57), Online publication date: 1-Jun-1999.

Zhu X and Lin B Hardware compilation for FPGA-based configurable computing machines Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (697-702)

Bergamaschi R Behavioral network graph Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (213-218)

Henkel J A low power hardware/software partitioning approach for core-based embedded systems Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (122-127)

Burke M, Choi J, Fink S, Grove D, Hind M, Sarkar V, Serrano M, Sreedhar V, Srinivasan H and Whaley J The Jalapeño dynamic optimizing compiler for Java Proceedings of the ACM 1999 conference on Java Grande, (129-141)

Ishizaki K, Kawahito M, Yasue T, Takeuchi M, Ogasawara T, Suganuma T, Onodera T, Komatsu H and Nakatani T Design, implementation, and evaluation of optimizations in a just-in-time compiler Proceedings of the ACM 1999 conference on Java Grande, (119-128)

Alkhalifa Z, Nair V, Krishnamurthy N and Abraham J (1999). Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection, IEEE Transactions on Parallel and Distributed Systems, 10:6, (627-641), Online publication date: 1-Jun-1999.

Gajjala Purna K and Bhatia D (1999). Temporal Partitioning and Scheduling Data Flow Graphs for Reconfigurable Computers, IEEE Transactions on Computers, 48:6, (579-590), Online publication date: 1-Jun-1999.

Cheong Y and Jarzabek S Frame-based method for customizing generic software architectures Proceedings of the 1999 symposium on Software reusability, (103-112)

Sinha S, Harrold M and Rothermel G System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow Proceedings of the 21st international conference on Software engineering, (432-441)

Nishimatsu A, Jihira M, Kusumoto S and Inoue K Call-mark slicing Proceedings of the 21st international conference on Software engineering, (422-431)

Pavlopoulou C and Young M Residual test coverage monitoring Proceedings of the 21st international conference on Software engineering, (277-284)

Maruyama K and Shima K Automatic method refactoring using weighted dependence graphs Proceedings of the 21st international conference on Software engineering, (236-245)

Eckstein E and Krall A Minimizing cost of local variables access for DSP-processors Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems, (20-27)

Uh G, Wang Y, Whalley D, Jinturkar S, Burns C and Cao V Effective exploitation of a zero overhead loop buffer Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems, (10-19)

Marlet R, Consel C and Boinot P (1999). Efficient incremental run-time specialization for free, ACM SIGPLAN Notices, 34:5, (281-292), Online publication date: 1-May-1999.

Wu L, Mirani R, Patil H, Olsen B and Hwu W (1999). A new framework for debugging globally optimized code, ACM SIGPLAN Notices, 34:5, (181-191), Online publication date: 1-May-1999.

Frigo M (1999). A fast Fourier transform compiler, ACM SIGPLAN Notices, 34:5, (169-180), Online publication date: 1-May-1999.

Stichnoth J, Lueh G and Cierniak M (1999). Support for garbage collection at every instruction in a Java compiler, ACM SIGPLAN Notices, 34:5, (118-127), Online publication date: 1-May-1999.

Marlet R, Consel C and Boinot P Efficient incremental run-time specialization for free Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (281-292)

Wu L, Mirani R, Patil H, Olsen B and Hwu W A new framework for debugging globally optimized code Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (181-191)

Frigo M A fast Fourier transform compiler Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (169-180)

Stichnoth J, Lueh G and Cierniak M Support for garbage collection at every instruction in a Java compiler Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (118-127)

Lee J, Padua D and Midkiff S Basic compiler algorithms for parallel programs Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming, (1-12)

Caspi P, Girault A and Pilaud D (1999). Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors, IEEE Transactions on Software Engineering, 25:3, (416-427), Online publication date: 1-May-1999.

Cardoso J and Neto H Macro-Based Hardware Compilation of Java(tm) Bytecodes into a Dynamic Reconfigurable Computing System Proceedings of the Seventh Annual IEEE Symposium on Field-Programmable Custom Computing Machines

Bik A, Girkar M and Haghighat M (1999). Incorporating Intel® MMX$^{\rm TM}$ technology into a Java$^{\rm TM}$ JIT compiler$^{1}$, Scientific Programming, 7:2, (167-184), Online publication date: 1-Apr-1999.

Lance D, Untch R and Wahl N Bytecode-based Java program analysis Proceedings of the 37th annual Southeast regional conference (CD-ROM), (14-es)

Cardoso J and Vestístias M (1999). Architectures and compilers to support reconfigurable computing, XRDS: Crossroads, The ACM Magazine for Students, 5:3, (15-22), Online publication date: 1-Mar-1999.

Alfonseca E (1998). Writing a compilers compiler in APL, ACM SIGAPL APL Quote Quad, 29:3, (69-75), Online publication date: 1-Mar-1999.

Scholz S (1998). On defining application-specific high-level array operations by means of shape-invariant programming facilities, ACM SIGAPL APL Quote Quad, 29:3, (32-38), Online publication date: 1-Mar-1999.

Arnold M and Corporaal H Automatic detection of recurring operation patterns Proceedings of the seventh international workshop on Hardware/software codesign, (22-26)

Bashford S and Leupers R (1999). Phase-Coupled Mapping of Data Flow Graphs to Irregular Data Paths, Design Automation for Embedded Systems, 4:2-3, (119-165), Online publication date: 1-Mar-1999.

Sudarsanam A, Malik S and Fujita M (1999). A Retargetable Compilation Methodology for Embedded Digital Signal Processors Using a Machine-Dependent Code Optimization Library, Design Automation for Embedded Systems, 4:2-3, (187-206), Online publication date: 1-Mar-1999.

Royappa A Implementing catalog clearinghouses with XML and XSL Proceedings of the 1999 ACM symposium on Applied computing, (616-621)

Valasareddi R and Carver D A representation model for procedural program maintenance Proceedings of the 1999 ACM symposium on Applied computing, (580-585)

Bertsch E and Nederhof M (1999). On failure of the pruning technique in “Error repair in shift-reduce parsers”, ACM Transactions on Programming Languages and Systems, 21:1, (1-10), Online publication date: 1-Jan-1999.

Radetzki M, Stammermann A, Putzke-Röming W and Nebel W Data type analysis for hardware synthesis from object-oriented models Proceedings of the conference on Design, automation and test in Europe, (101-es)

Ruckert M Continuous grammars Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (303-310)

Wand M and Siveroni I Constraint systems for useless variable elimination Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (291-302)

Ramalingam G, Field J and Tip F Aggregate structure identification and its application to program analysis Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (119-132)

Stoyen A, Marlowe T, Younis M and Petrov P (1999). A Development Environment for Complex Distributed Real-Time Applications, IEEE Transactions on Software Engineering, 25:1, (50-74), Online publication date: 1-Jan-1999.

Sudarsanam A, Liao S and Devadas S (1999). Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures, Design Automation for Embedded Systems, 4:1, (5-22), Online publication date: 1-Jan-1999.

Sudarsanam A, Malik S, Tjiang S and Liao S (1999). Paged Absolute Addressing Mode Optimizations for Embedded Digital Signal Processors Using Post-pass Data-flow Analysis, Design Automation for Embedded Systems, 4:1, (41-59), Online publication date: 1-Jan-1999.

Wang F and Lo C (1999). Procedure-Level Verification of Real-time Concurrent Systems, Real-Time Systems, 16:1, (81-114), Online publication date: 1-Jan-1999.

Brandt M and Henglein F (1998). Coinductive Axiomatization of Recursive Type Equality and Subtyping, Fundamenta Informaticae, 33:4, (309-338), Online publication date: 1-Dec-1998.

Torrellas J, Xia C and Daigle R (1998). Optimizing the Instruction Cache Performance of the Operating System, IEEE Transactions on Computers, 47:12, (1363-1381), Online publication date: 1-Dec-1998.

Parulkar I, Gupta S and Breuer M (1998). Estimation of BIST Resources During High-Level Synthesis, Journal of Electronic Testing: Theory and Applications, 13:3, (221-237), Online publication date: 1-Dec-1998.

Araujo G, Centoducatte P, Cartes M and Pannain R Code compression based on operand factorization Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture, (194-201)

Luk C and Mowry T Cooperative prefetching Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture, (182-194)

Cheng B, Connors D and Hwu W Compiler-directed early load-address generation Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture, (138-147)

Vijaykumar T and Sohi G Task selection for a multiscalar processor Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture, (81-92)

Carlisle M and Maes P (1998). RAPID, ACM SIGAda Ada Letters, XVIII:6, (158-164), Online publication date: 1-Nov-1998.

Buchsbaum A, Kaplan H, Rogers A and Westbrook J (1998). A new, simpler linear-time dominators algorithm, ACM Transactions on Programming Languages and Systems, 20:6, (1265-1296), Online publication date: 1-Nov-1998.

Dhamdhere D and Sankaranarayanan K (1998). Dynamic currency determination in optimized programs, ACM Transactions on Programming Languages and Systems, 20:6, (1111-1130), Online publication date: 1-Nov-1998.

Atkinson D and Griswold W (1998). Effective whole-program analysis in the presence of pointers, ACM SIGSOFT Software Engineering Notes, 23:6, (46-55), Online publication date: 1-Nov-1998.

Carlisle M and Maes P RAPID Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (158-164)

Stafford J and Wolf A Architecture-level dependence analysis in support of software maintenance Proceedings of the third international workshop on Software architecture, (129-132)

Chok S and Marriott K Automatic construction of intelligent diagram editors Proceedings of the 11th annual ACM symposium on User interface software and technology, (185-194)

Atkinson D and Griswold W Effective whole-program analysis in the presence of pointers Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (46-55)

Clarke D, Potter J and Noble J (1998). Ownership types for flexible alias protection, ACM SIGPLAN Notices, 33:10, (48-64), Online publication date: 1-Oct-1998.

Clarke D, Potter J and Noble J Ownership types for flexible alias protection Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (48-64)

Wagner T and Graham S (1998). Efficient and flexible incremental parsing, ACM Transactions on Programming Languages and Systems, 20:5, (980-1013), Online publication date: 1-Sep-1998.

Canfora G, Cimitile A, de Carlini U and de Lucia A (1998). An Extensible System for Source Code Analysis, IEEE Transactions on Software Engineering, 24:9, (721-740), Online publication date: 1-Sep-1998.

Guralnik V, Wijesekera D and Srivastava J Pattern directed mining of sequence data Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining, (51-57)

Nederhof M An alternative LR algorithm for TAGS Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (946-952)

Hajj N, Stamoulis G, Bellas N and Polychronopoulos C Architectural and compiler support for energy reduction in the memory hierarchy of high performance microprocessors Proceedings of the 1998 international symposium on Low power electronics and design, (70-75)

Park C, Kim T and Liu C (1998). Register Allocation—A Hierarchical Reduction Approach, Journal of VLSI Signal Processing Systems, 19:3, (269-285), Online publication date: 1-Aug-1998.

Park C, Kim T and Liu C (1998). Register Allocation--A Hierarchical Reduction Approach, Journal of VLSI Signal Processing Systems, 19:3, (269-285), Online publication date: 1-Aug-1998.

Kornfeld W and Wattecamps J Automatically locating, extracting and analyzing tabular data Proceedings of the 21st annual international ACM SIGIR conference on Research and development in information retrieval, (347-348)

Chang P, Mahlke S, Chen W, Warter N and Hwu W IMPACT 25 years of the international symposia on Computer architecture (selected papers), (408-417)

Alfonseca E Writing a compilers compiler in APL Proceedings of the APL98 conference on Array Processing Languages, (69-75)

Scholz S On defining application-specific high-level array operations by means of shape-invariant programming facilities Proceedings of the APL98 conference on Array Processing Languages, (32-38)

Kennedy K and Kremer U (1998). Automatic data layout for distributed-memory machines, ACM Transactions on Programming Languages and Systems, 20:4, (869-916), Online publication date: 1-Jul-1998.

Agrawal G (1998). Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation, IEEE Transactions on Parallel and Distributed Systems, 9:7, (609-625), Online publication date: 1-Jul-1998.

Degano P and Priami C (1998). LR techniques for handling syntax errors, Computer Languages, 24:2, (73-98), Online publication date: 1-Jul-1998.

van Noord G Treatment of ε-moves in subset construction Proceedings of the International Workshop on Finite State Methods in Natural Language Processing, (57-68)

Glenstrup A, Makholm H and Secher J C-MIX Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, (108-154)

Ancona M and Cazzola W (1998). Static header as sentinel, ACM SIGPLAN Notices, 33:6, (61-64), Online publication date: 1-Jun-1998.

Lee C, Hahn J, Seo Y, Min S, Ha R, Hong S, Park C, Lee M and Kim C (1998). Analysis of Cache-Related Preemption Delay in Fixed-Priority Preemptive Scheduling, IEEE Transactions on Computers, 47:6, (700-713), Online publication date: 1-Jun-1998.

Raman A, Andreae P and Patrick J (1998). A beam search algorithm for PFSA inference, Pattern Analysis & Applications, 1:2, (121-129), Online publication date: 1-Jun-1998.

(1998). On Formal Semantics and Analysis of Typed Modeling Languages, INFORMS Journal on Computing, 10:2, (189-208), Online publication date: 1-May-1998.

Colby C, Godefroid P and Jagadeesan L (1998). Automatically closing open reactive programs, ACM SIGPLAN Notices, 33:5, (345-357), Online publication date: 1-May-1998.

Adl-Tabatabai A, Cierniak M, Lueh G, Parikh V and Stichnoth J (1998). Fast, effective code generation in a just-in-time Java compiler, ACM SIGPLAN Notices, 33:5, (280-290), Online publication date: 1-May-1998.

Sastry S, Palacharla S and Smith J (1998). Exploiting idle floating-point resources for integer execution, ACM SIGPLAN Notices, 33:5, (118-129), Online publication date: 1-May-1998.

Diwan A, McKinley K and Moss J (1998). Type-based alias analysis, ACM SIGPLAN Notices, 33:5, (106-117), Online publication date: 1-May-1998.

Bodík R, Gupta R and Soffa M (1998). Complete removal of redundant expressions, ACM SIGPLAN Notices, 33:5, (1-14), Online publication date: 1-May-1998.

Colby C, Godefroid P and Jagadeesan L Automatically closing open reactive programs Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (345-357)

Adl-Tabatabai A, Cierniak M, Lueh G, Parikh V and Stichnoth J Fast, effective code generation in a just-in-time Java compiler Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (280-290)

Sastry S, Palacharla S and Smith J Exploiting idle floating-point resources for integer execution Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (118-129)

Diwan A, McKinley K and Moss J Type-based alias analysis Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (106-117)

Bodík R, Gupta R and Soffa M Complete removal of redundant expressions Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (1-14)

Hong Y, Beerel P, Lavagno L and Sentovich E Don't care-based BDD minimization for embedded software Proceedings of the 35th annual Design Automation Conference, (506-509)

Passerone R, Rowson J and Sangiovanni-Vincentelli A Automatic synthesis of interfaces between incompatible protocols Proceedings of the 35th annual Design Automation Conference, (8-13)

Joiner J and Tsai W (1998). Re-engineering legacy Cobol programs, Communications of the ACM, 41:5es, (185-197), Online publication date: 1-May-1998.

Schmidt D (1998). Trace-Based Abstract Interpretation of Operational Semantics, Lisp and Symbolic Computation, 10:3, (237-271), Online publication date: 1-May-1998.

Low D (1998). Protecting Java code via code obfuscation, XRDS: Crossroads, The ACM Magazine for Students, 4:3, (21-23), Online publication date: 1-Apr-1998.

Li J and Gupta R HDL code restructuring using timed decision tables Proceedings of the 6th international workshop on Hardware/software codesign, (131-135)

Ball T (1998). On the limit of control flow analysis for regression test selection, ACM SIGSOFT Software Engineering Notes, 23:2, (134-142), Online publication date: 1-Mar-1998.

Godefroid P, Hanmer R and Jagadeesan L (1998). Model checking without a model, ACM SIGSOFT Software Engineering Notes, 23:2, (124-133), Online publication date: 1-Mar-1998.

Gotlieb A, Botella B and Rueher M (1998). Automatic test data generation using constraint solving techniques, ACM SIGSOFT Software Engineering Notes, 23:2, (53-62), Online publication date: 1-Mar-1998.

Harrold M, Rothermel G and Sinha S (1998). Computation of interprocedural control dependence, ACM SIGSOFT Software Engineering Notes, 23:2, (11-20), Online publication date: 1-Mar-1998.

Ball T On the limit of control flow analysis for regression test selection Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, (134-142)

Godefroid P, Hanmer R and Jagadeesan L Model checking without a model Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, (124-133)

Gotlieb A, Botella B and Rueher M Automatic test data generation using constraint solving techniques Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, (53-62)

Harrold M, Rothermel G and Sinha S Computation of interprocedural control dependence Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, (11-20)

Jarzabek S (1998). Design of Flexible Static Program Analyzers with PQL, IEEE Transactions on Software Engineering, 24:3, (197-215), Online publication date: 1-Mar-1998.

Economakos G, Papakostantinou G and Tsankas P Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs Proceedings of the 1998 ACM symposium on Applied Computing, (45-49)

Economakos G, Papakonstantinou G and Tsanakas P AGENDA Proceedings of the conference on Design, automation and test in Europe, (933-934)

Tomiyama H, Ishihara T, Inoue A and Yasuura H Instruction scheduling for power reduction in processor-based system design Proceedings of the conference on Design, automation and test in Europe, (855-860)

Öberg J, Kumar A and Hemani A Scheduling of outputs in grammar-based hardware synthesis of data communication protocols Proceedings of the conference on Design, automation and test in Europe, (596-603)

Li J and Gupta R An algorithm to determine mutually exclusive operations in behavioral descriptions Proceedings of the conference on Design, automation and test in Europe, (457-465)

Gerlach J and Rosenstiel W A scalable methodology for cost estimation in a transformational high-level design space exploration environment Proceedings of the conference on Design, automation and test in Europe, (226-233)

Lin B Efficient compilation of process-based concurrent programs without run-time scheduling Proceedings of the conference on Design, automation and test in Europe, (211-217)

Grimm C and Waldschmidt K Repartitioning and technology mapping of electronic hybrid systems Proceedings of the conference on Design, automation and test in Europe, (52-58)

Bodík R and Anik S Path-sensitive value-flow analysis Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (237-251)

Collberg C, Thomborson C and Low D Manufacturing cheap, resilient, and stealthy opaque constructs Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (184-196)

Ghiya R and Hendren L Putting pointer analysis to work Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (121-133)

Knobe K and Sarkar V Array SSA form and its use in parallelization Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (107-120)

Schmidt D Data flow analysis is model checking of abstract interpretations Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (38-48)

Debray S, Muth R and Weippert M Alias analysis of executable code Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (12-24)

Imai H and Tanaka H A method of incorporating bigram constraints into an LR table and its effectiveness in natural language processing Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning, (225-233)

Bodlaender H, Gustedt J and Telle J Linear-time register allocation for a fixed number of registers Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms, (574-583)

Farach M and Liberatore V On local register allocation Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms, (564-573)

Nedjah N (1998). Minimal deterministic left-to-right pattern-matching automata, ACM SIGPLAN Notices, 33:1, (40-47), Online publication date: 1-Jan-1998.

Anane R (1998). Holistic design of a programming system, ACM SIGSOFT Software Engineering Notes, 23:1, (72-76), Online publication date: 1-Jan-1998.

Leuschel M, Martens B and De Schreye D (1998). Controlling generalization and polyvariance in partial deduction of normal logic programs, ACM Transactions on Programming Languages and Systems, 20:1, (208-258), Online publication date: 1-Jan-1998.

Eigenmann R, Hoeflinger J and Padua D (1998). On the Automatic Parallelization of the Perfect Benchmarks®, IEEE Transactions on Parallel and Distributed Systems, 9:1, (5-23), Online publication date: 1-Jan-1998.

Liao S, Devadas S, Keutzer K, Tjiang S and Wang A (1998). Code Optimization Techniques in Embedded DSP Microprocessors, Design Automation for Embedded Systems, 3:1, (59-73), Online publication date: 1-Jan-1998.

Catthoor F, Janssen M, Nachtergaele L and De Man H (1998). System-Level Data-Flow Transformation Exploration andPower-Area Trade-offs Demonstrated on Video Codecs, Journal of VLSI Signal Processing Systems, 18:1, (39-50), Online publication date: 1-Jan-1998.

Farkas K, Chow P, Jouppi N and Vranesic Z The multicluster architecture Proceedings of the 30th annual ACM/IEEE international symposium on Microarchitecture, (149-159)

Danvy O and Schultz U (1997). Lambda-dropping, ACM SIGPLAN Notices, 32:12, (90-106), Online publication date: 1-Dec-1997.

Hornof L and Noyé J (1997). Accurate binding-time analysis for imperative languages, ACM SIGPLAN Notices, 32:12, (63-73), Online publication date: 1-Dec-1997.

Danvy O and Schultz U Lambda-dropping Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (90-106)