Search results for "Assembly code"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski	Stack bounds analysis for microcontroller assembly code.	WESS	2009	DBLP DOI BibTeX RDF	model checking, verification, static analysis, embedded software, assembly code
3	Lamia Djoudi, Leïla Kloul	Assembly Code Analysis Using Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF	Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation
3	Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
3	Ramakrishnan Venkitaraman, Gopal Gupta	Static program analysis of embedded executable assembly code.	CASES	2004	DBLP DOI BibTeX RDF	embedded software components, executable code, static analysis, abstract interpretation, assembly code
2	Ming Fu, Yu Zhang, Yong Li	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.	TASE	2009	DBLP DOI BibTeX RDF
2	Thomas Reinbacher, Martin Horauer, Bastian Schlich	Using 3-valued memory representation for state space reduction in embedded assembly code model checking.	DDECS	2009	DBLP DOI BibTeX RDF
2	Bastian Schlich, Jann Löll, Stefan Kowalewski	Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.	FMICS	2007	DBLP DOI BibTeX RDF
2	Christopher Kumar Anand, Wolfram Kahl	Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Hongxu Cai, Zhong Shao, Alexander Vaynberg	Certified self-modifying code.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, runtime code manipulation, self-modifying code, hoare logic, modular verification
2	Xinyu Feng, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
2	Matthew Harren, George C. Necula	Using Dependent Types to Certify the Safety of Assembly Code.	SAS	2005	DBLP DOI BibTeX RDF
2	David Zaretsky, Gaurav Mittal, Robert P. Dick, Prith Banerjee	Generation of Control and Data Flow Graphs from Scheduled and Pipelined Assembly Code.	LCPC	2005	DBLP DOI BibTeX RDF
2	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
2	Gordon Cichon, Gerhard Fettweis	MOUSE: A Shortcut from Matlab Source to SIMD DSP Assembly Code.	SAMOS	2004	DBLP DOI BibTeX RDF
2	David Zaretsky, Gaurav Mittal, Xiaoyong Tang, Prithviraj Banerjee	Evaluation of scheduling and allocation algorithms while mapping assembly code onto FPGAs.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	scheduling, optimizations, FPGAs, compilers, binary translation, chaining, hardware synthesis
2	Dachuan Yu, Zhong Shao	Verification of safety properties for concurrent assembly code.	ICFP	2004	DBLP DOI BibTeX RDF	local guarantee, concurrency, assembly
2	Björn Decker 0002, Daniel Kästner	Reconstructing Control Flow from Predicated Assembly Code.	SCOPES	2003	DBLP DOI BibTeX RDF
2	Daniel Kästner, Stephan Wilhelm	Generic control flow reconstruction from assembly code.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	control flow reconstruction, embedded processors, call graph, retargetable compilers, assembly code, postpass optimization
2	Wolfram Amme, Peter Braun, Eberhard Zehendner, François Thomasset	Data Dependence Analysis of Assembly Code.	IEEE PACT	1998	DBLP DOI BibTeX RDF	ILP, data dependence analysis, memory disambiguation
2	Paul H. Morris, Robert E. Filman	Mandrake: A Tool for Reverse-Engineering IBM Assembly Code. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF
2	Eero Lassila	A Macro Expansion Approach to Embedded Processor Code Generation.	EUROMICRO	1996	DBLP DOI BibTeX RDF	macro expansion approach, embedded processor code generation, embedded special-purpose processors, retargetable assembly-code-level macro expander, program flow analysis, hierarchical macro libraries, compiler writer, assembly language programmer, computer architecture
2	Christopher W. Fraser, Eugene W. Myers, Alan L. Wendt	Analyzing and compressing assembly code.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
1	Kevin Coogan, Saumya K. Debray	Equational Reasoning on x86 Assembly Code.	SCAM	2011	DBLP DOI BibTeX RDF
1	Andrea Flexeder, Michael Petter, Helmut Seidl	Side-Effect Analysis of Assembly Code.	SAS	2011	DBLP DOI BibTeX RDF
1	Eric Schulte, Stephanie Forrest, Westley Weimer	Automated program repair through the evolution of assembly code.	ASE	2010	DBLP DOI BibTeX RDF
1	S. S. Anju, P. Harmya, Noopa Jagadeesh, R. Darsana	Malware detection using assembly code and control flow graph optimization.	A2CWiC	2010	DBLP DOI BibTeX RDF
1	Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori	MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers.	SIGCSE	2010	DBLP DOI BibTeX RDF	compiler course, rich internet application (ria), visualization, code generation, program understanding
1	Jeff Ringenberg, Trevor N. Mudge	SuiteSpecks and SuiteSpots: A methodology for the automatic conversion of benchmarking programs into intrinsically checkpointed assembly code.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich	Refining assembly code static analysis for the Intel MCS-51 microcontroller.	SIES	2009	DBLP DOI BibTeX RDF
1	Bastian Schlich, Stefan Kowalewski	Model checking C source code for embedded systems.	STTT	2009	DBLP DOI BibTeX RDF	Model checking, Embedded systems, Microcontroller, Assembly code, C code
1	Ioannis E. Venetis, Guang R. Gao	Mapping the LU decomposition on a many-core architecture: challenges and solutions.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	register tiling, load balancing, multi-core, local memory, LU decomposition
1	Pranith D. Kumar, Anchal Nema, Rajeev Kumar	Hybrid analysis of executables to detect security vulnerabilities: security vulnerabilities.	ISEC	2009	DBLP DOI BibTeX RDF	hybrid analysis, instrumentation, slicing, security vulnerabilities, memory errors
1	Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood	seL4: formal verification of an OS kernel.	SOSP	2009	DBLP DOI BibTeX RDF	l4, sel4, microkernel, isabelle/hol
1	Xavier Leroy	Formal verification of a realistic compiler.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	Manuel Hohenauer, Felix Engel, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	A SIMD optimization framework for retargetable compilers.	TACO	2009	DBLP DOI BibTeX RDF	SIMD, vectorization, ASIP, subword parallelism, retargetable compilers
1	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Jeffrey J. Cook, Craig B. Zilles	Characterizing and optimizing the memory footprint of de novo short read DNA sequence assembly.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban	Balancing the Load.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Pervasive formal verification, Software verification, Systems verification
1	Jianjun Xu, Rui Shen, Qingping Tan	PRASE: An Approach for Program Reliability Analysis with Soft Errors.	PRDC	2008	DBLP DOI BibTeX RDF
1	Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich	Challenges in embedded model checking - a simulator for the [mc]square model checker.	SIES	2008	DBLP DOI BibTeX RDF
1	Katerina Dolgova, Alexander Chernov	Automatic Type Reconstruction in Disassembled C Programs.	WCRE	2008	DBLP DOI BibTeX RDF
1	Lamia Djoudi, Jose Noudohouenou, William Jalby	The Design and Architecture of MAQAOAdvisor: A Live Tuning Guide.	HiPC	2008	DBLP DOI BibTeX RDF
1	Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff	A Verification Approach for System-Level Concurrent Programs.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Thomas Noll, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li	A general framework for certifying garbage collectors and their mutators.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, garbage collection, abstract data type, separation logic, proof-carrying code
1	Jie Guo, Jun Liu, Björn Mennenga, Gerhard Fettweis	A Phase-Coupled Compiler Backend for a New VLIW Processor Architecture Using Two-step Register Allocation.	ASAP	2007	DBLP DOI BibTeX RDF
1	Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews	Code Compaction of an Operating System Kernel.	CGO	2007	DBLP DOI BibTeX RDF
1	Benjamin Carrión Schäfer, Yongho Lee, Taewhan Kim	Temperature-Aware Compilation for VLIWProcessors.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Bastian Schlich, Falk Salewski, Stefan Kowalewski	Applying Model Checking to an Automotive Microcontroller Application.	SIES	2007	DBLP DOI BibTeX RDF
1	Dachuan Yu	More Typed Assembly Languages for Confidentiality.	APLAS	2007	DBLP DOI BibTeX RDF
1	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
1	Nikolas Kroupis, Dimitrios Soudris	Design Methodology and Software Tool for Estimation of Multi-level Instruction Cache Memory Miss Rate.	PATMOS	2007	DBLP DOI BibTeX RDF
1	Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler	Adaptor Synthesis for Real-Time Components.	TACAS	2007	DBLP DOI BibTeX RDF
1	Daniel Ernst, Kimon P. Valavanis, Richard Garcia, Jeff Craighead	Unmanned Vehicle Controller Design, Evaluation and Implementation: From MATLAB to Printed Circuit Board.	Journal of Intelligent and Robotic Systems	2007	DBLP DOI BibTeX RDF	Autopilot, Unmanned systems, Validation, Implementation, Microcontroller, Controller design, MATLAB/SIMULINK
1	Douglas Mota Dias, Marco Aurélio Cavalcanti Pacheco, José F. M. Amaral	Automatic Synthesis of Microcontroller Assembly Code Through Linear Genetic Programming.	Genetic Systems Programming	2006	DBLP DOI BibTeX RDF
1	João Dias, Norman Ramsey	Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.	CC	2006	DBLP DOI BibTeX RDF
1	Patrick Borunda, Chris Brewer, Cesim Erten	GSPIM: graphical visualization tool for MIPS assembly programming and simulation.	SIGCSE	2006	DBLP DOI BibTeX RDF	visualization, computer organization, assembly code
1	Muhammad Omer Cheema, Omar Hammami	Customized SIMD unit synthesis for system on programmable chip: a foundation for HW/SW partitioning with vectorization.	ASP-DAC	2006	DBLP DOI BibTeX RDF	AltiVec architecture, SIMD synthesis, vectorization, HW/SW codesign
1	Nathan Clark, Amir Hormati, Scott A. Mahlke, Sami Yehia	Scalable subgraph mapping for acyclic computation accelerators.	CASES	2006	DBLP DOI BibTeX RDF	compilation, embedded processors
1	Hiroaki Tanaka, Yoshinori Takeuchi, Keishi Sakanushi, Masaharu Imai, Yutaka Ota, Nobu Matsumoto, Masaki Nakagawa	Pack instruction generation for media pUsing multi-valued decision diagram.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	multi-valued decision diagram, SIMD instructions
1	Hanno Scharwächter, Manuel Hohenauer, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	An interprocedural code optimization technique for network processors using hardware multi-threading support.	DATE	2006	DBLP DOI BibTeX RDF
1	Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli	Towards an architectural approach for the dynamic and automatic composition of software components.	ROSATEA	2006	DBLP DOI BibTeX RDF
1	Xavier Leroy	Formal certification of a compiler back-end or: programming a compiler with a proof assistant.	POPL	2006	DBLP DOI BibTeX RDF	compiler transformations and optimizations, the Coq theorem prover, certified compilation, program proof, semantic preservation
1	Nikolas Kroupis, Stylianos Mamagkakis, Dimitrios Soudris	An Estimation Methodology for Designing Instruction Cache Memory of Embedded Systems.	ESTImedia	2006	DBLP DOI BibTeX RDF
1	Bastian Schlich, Stefan Kowalewski	[mc]square: A Model Checker for Microcontroller Code.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jie Guo, Gleb Belov, Gerhard Fettweis	A Basic Data Routing Model for a Coarse-Grain Reconfigurable Hardware.	ARC	2006	DBLP DOI BibTeX RDF
1	Dmitri Boulytchev	BURS-Based Instruction Set Selection.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
1	Jie Guo, Torsten Limberg, Emil Matús, Björn Mennenga, Reimund Klemm, Gerhard Fettweis	Code Generation for STA Architecture.	Euro-Par	2006	DBLP DOI BibTeX RDF
1	Sandrine Blazy, Zaynah Dargaye, Xavier Leroy	Formal Verification of a C Compiler Front-End.	FM	2006	DBLP DOI BibTeX RDF
1	Douglas Mota Dias, Marco Aurélio Cavalcanti Pacheco, José Franco Machado do Amaral	Genetic Programming of a Microcontrolled Water Bath Plant.	KES	2006	DBLP DOI BibTeX RDF
1	Mun-Kyu Lee, Jung Ki Min, Seok Hun Kang, Sang-Hwa Chung, Howon Kim, Dong Kyue Kim	Efficient Implementation of Pseudorandom Functions for Electronic Seal Protection Protocols.	WISA	2006	DBLP DOI BibTeX RDF	electronic seal, RFID, AES, message authentication code, pseudorandom function
1	Stephen Hines, Prasad A. Kulkarni, David B. Whalley, Jack W. Davidson	Using de-optimization to re-optimize code.	EMSOFT	2005	DBLP DOI BibTeX RDF	assembly translation, de-optimization, phase ordering
1	Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere	LANCET: a nifty code editing tool.	PASTE	2005	DBLP DOI BibTeX RDF	optimization, visualization, instrumentation, assembler, binary code
1	Jonny Vinter, Olof Hannius, Torbjörn Norlander, Peter Folkesson, Johan Karlsson	Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles.	DSN	2005	DBLP DOI BibTeX RDF
1	Gang Ren, Peng Wu, David A. Padua	An Empirical Study On the Vectorization of Multimedia Applications for Multimedia Extensions.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Nozomu Togawa, Hideki Kawazu, Jumpei Uchida, Yuichiro Miyaoka, Masao Yanagisawa, Tatsuo Ohtsuki	Sub-operation parallelism optimization in SIMD processor synthesis and its experimental evaluations.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Yanwei Niu, Ziang Hu, Kenneth E. Barner, Guang R. Gao	Performance Modelling and Optimization of Memory Access on Cellular Computer Architecture Cyclops64.	NPC	2005	DBLP DOI BibTeX RDF
1	Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco	Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.	Comput. J.	2004	DBLP DOI BibTeX RDF
1	Xavier Rival	Certification of compiled assembly code by invariant translation.	STTT	2004	DBLP DOI BibTeX RDF	Abstract interpretation, Static program analysis, Certified compilation
1	Yuichiro Miyaoka, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki	A cosynthesis algorithm for application specific processors with heterogeneous datapaths.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Nozomu Togawa, Koichi Tachikake, Yuichiro Miyaoka, Masao Yanagisawa, Tatsuo Ohtsuki	Instruction set and functional unit synthesis for SIMD processor cores.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Truman Parks Boyer, Mohsen Chitsaz	ICE™ and ICE/T™: tools to assist in compiler design and implementation.	SIGCSE Bulletin	2004	DBLP DOI BibTeX RDF	back-end, compiler, project, translator
1	Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima	Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C.	APSEC	2004	DBLP DOI BibTeX RDF
1	Johann Laurent, Nathalie Julien, Eric Senn, Eric Martin	Functional Level Power Analysis: An Efficient Approach for Modeling the Power Consumption of Complex Processors.	DATE	2004	DBLP DOI BibTeX RDF
1	David Zaretsky, Gaurav Mittal, Xiaoyong Tang, Prithviraj Banerjee	Overview of the FREEDOM Compiler for Mapping DSP Software to FPGAs.	FCCM	2004	DBLP DOI BibTeX RDF
1	Martin Burtscher, Ilya Ganusov	Automatic Synthesis of High-Speed Processor Simulators.	MICRO	2004	DBLP DOI BibTeX RDF
1	Bogong Su, Jian Wang, Erh-Wen Hu, Joseph Manzano	Software De-Pipelining Technique.	SCAM	2004	DBLP DOI BibTeX RDF
1	Ramakrishnan Venkitaraman, Gopal Gupta	Framework for Safe Reuse of Software Binaries.	ICDCIT	2004	DBLP DOI BibTeX RDF
1	Xavier Rival	Abstract Interpretation-Based Certification of Assembly Code.	VMCAI	2003	DBLP DOI BibTeX RDF	compilation, Abstract Interpretation, Static program analysis
1	Cullen Linn, Saumya K. Debray	Obfuscation of executable code to improve resistance to static disassembly.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	disassembly, code obfuscation
1	Pramote Kuacharoen, Vincent John Mooney, Vijay K. Madisetti	Software Streaming via Block Streaming.	DATE	2003	DBLP DOI BibTeX RDF
1	Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone	Automatic synthesis of coordinators for COTS group-ware applications: an example.	WETICE	2003	DBLP DOI BibTeX RDF
1	Raimund Kirner, Peter P. Puschner	Timing Analysis of Optimised Code.	WORDS	2003	DBLP DOI BibTeX RDF	Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages
1	Nathalie Julien, Johann Laurent, Eric Senn, Eric Martin	Power Consumption Modeling and Characterization of the TI C6201.	IEEE Micro	2003	DBLP DOI BibTeX RDF
1	Bruce A. Draper, J. Ross Beveridge, A. P. Wim Böhm, Charles Ross, Monica Chawathe	Accelerated image processing on FPGAs.	IEEE Transactions on Image Processing	2003	DBLP DOI BibTeX RDF
1	Colin J. Fidge	Verifying Emulation of Legacy Mission Computer Systems.	FME	2003	DBLP DOI BibTeX RDF
1	Oliver Wahlen, Manuel Hohenauer, Gunnar Braun, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Xiaoning Nie	Extraction of Efficient Instruction Schedulers from Cycle-True Processor Models.	SCOPES	2003	DBLP DOI BibTeX RDF
1	Karl Lermer, Colin J. Fidge, Ian J. Hayes	Linear Approximation of Execution-Time Constraints.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction
1	Xiushan Feng, Alan J. Hu	Automatic formal verification for scheduled VLIW code.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	theory of equality with uninterpreted functions, formal verification, DSP, VLIW, symbolic execution