Search results for "assembly language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
3	Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker	Fault-tolerant typed assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, typed assembly language, soft faults
3	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
3	Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen	A garbage-collecting typed assembly language.	TLDI	2007	DBLP DOI BibTeX RDF	garbage collection, typed assembly language
3	Kenneth Vollmar, Pete Sanderson	MARS: an education-oriented MIPS assembly language simulator.	SIGCSE	2006	DBLP DOI BibTeX RDF	simulation, architecture, MIPS, assembly language
3	Craig B. Zilles	SPIMbot: an engaging, problem-based approach to teaching assembly language programming.	SIGCSE	2005	DBLP DOI BibTeX RDF	assembly language programming, education, MIPS
3	Thomas A. Henzinger, Christoph M. Kirsch	A typed assembly language for real-time programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	real time, virtual machine, typed assembly language
3	David Aspinall, Adriana B. Compagnoni	Heap-Bounded Assembly Language.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
3	Karl Crary	Toward a foundational typed assembly language.	POPL	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
3	J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew	From system F to typed assembly language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion
2	J. Stanley Warford, Chris Dimpfl	The pep/8 memory tracer: visualizing activation records on the run-time stack.	SIGCSE	2010	DBLP DOI BibTeX RDF	activation record, pep/8, run-time stack, simulation, visualization, virtual machine, memory model, heap, assembly language
2	Mu Lingling, Qian Xiaojie, Zhang Zhihong, Zhao Gang, Xu Ying	An Assessment Tool for Assembly Language Programming.	CSSE	2008	DBLP DOI BibTeX RDF
2	Jun Zhang, Fuxiang Gao, Jian Wang	Teaching Plan for Assembly Language and Programming: Conditional Directives and Macro Directives.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Adam Chlipala	A certified type-preserving compiler from lambda calculus to assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	denotational semantics, dependent types, compiler verification, interactive proof assistants
2	Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo	Foundational Typed Assembly Language with Certified Garbage Collection.	TASE	2007	DBLP DOI BibTeX RDF
2	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
2	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
2	Nerina Bermudo, Andreas Krall, R. Nigel Horspool	Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions.	SCAM	2005	DBLP DOI BibTeX RDF
2	Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli	A Typed Assembly Language for Non-interference.	ICTCS	2005	DBLP DOI BibTeX RDF
2	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
2	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
2	Joseph Vanderwaart, Karl Crary	Automated and certified conformance to responsiveness policies.	TLDI	2005	DBLP DOI BibTeX RDF	grid computing, typed assembly language, certified code
2	Michael W. Hicks, Scott Nettles	Dynamic software updating.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	typed assembly language, Dynamic software updating
2	Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu	Construction of a Semantic Model for a Typed Assembly Language.	VMCAI	2004	DBLP DOI BibTeX RDF
2	Cecile Yehezkel, Matzi Eliahu, Miky Ronen	Learning Computer Organization and Assembly Language with the EasyCPU Visual Environment.	ICALT	2003	DBLP DOI BibTeX RDF
2	Ariel Ortiz	Teaching the SIMD execution model: : assembling a few parallel programming skills.	SIGCSE	2003	DBLP DOI BibTeX RDF	parallel computing, computer architecture, SIMD, assembly language, x86
2	Amal J. Ahmed, David Walker	The logical approach to stack typing.	TLDI	2003	DBLP DOI BibTeX RDF	bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language
2	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	foundational proof-carrying code, syntactic soundness proof, typed assembly language
2	Rogério Reis, Nelma Moreira	Apoo: an environment for a first course in assembly language programming.	SIGCSE Bulletin	2001	DBLP DOI BibTeX RDF
2	Hongwei Xi, Robert Harper	A Dependently Typed Assembly Language.	ICFP	2001	DBLP DOI BibTeX RDF
2	Carl Bredlau, Dorothy Deremer	Assembly language through the Java virtual machine.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
2	Dominic Duggan	Sharing in Typed Module Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
2	Dan Grossman, J. Gregory Morrisett	Scalable Certification for Typed Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
2	Adrian Johnstone, Elizabeth Scott, Tim Womack	What Assembly Language Programmers Get Up To: Control Flow Challenges in Reverse Compilation. (PDF / PS)	CSMR	2000	DBLP DOI BibTeX RDF
2	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker	Stack-Based Typed Assembly Language.	Types in Compilation	1998	DBLP DOI BibTeX RDF
2	Andrew Williams	The Development of a Computer-Aided Learning Tool for Supporting the Teaching of Assembly Language Programming. (PDF / PS)	HICSS	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	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set
2	Susan N. Roberts, Richard L. Piazza, D. G. Katz	A Portable Assembler Reverse Engineering Environment (PARE). (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	portable assembler reverse engineering environment, PARE, third generation language, portable workbench, assembly language reverse engineering, Language Independent Method, programming, programming environments
2	B. Lewis Barnett III	A visual simulator for a simple machine and assembly language.	SIGCSE	1995	DBLP DOI BibTeX RDF	HyperCard
2	Mark Newsome, Cherri M. Pancake, Christopher Ward	Visual Execution of Assembly Language Programs.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	Motorola 68000
2	Paul Curzon	A Programming Logic for a Verified Structured Assembly Language.	LPAR	1992	DBLP DOI BibTeX RDF
2	Mitchell Wand	Correctness of Procedure Representations in Higher-Order Assembly Language.	MFPS	1991	DBLP DOI BibTeX RDF
2	Clint Foulk	Structured Programming in Macintosh Assembly Language (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
2	Clinton R. Foulk	Macintosh assembly language.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Macintosh
2	R. Rainey Little, Mark Smotherman	Assembly language courses in transition.	SIGCSE	1988	DBLP DOI BibTeX RDF
2	Clinton R. Foulk	Teaching assembly language on the Macintosh (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Macintosh
2	William F. Decker	Making concepts and phenomena visual in machine and assembly language programming.	SIGCSE	1987	DBLP DOI BibTeX RDF
2	Robert Leeper, Karl O. Rehmerk	Structured Assembly language in VAX-11 MACRO.	SIGCSE	1986	DBLP DOI BibTeX RDF
1	Daniel J. Bernstein, Hsieh-Chung Chen, Chen-Mou Cheng, Tanja Lange, Ruben Niederhagen, Peter Schwabe, Bo-Yin Yang	Usable assembly language for GPUs: a success story.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Simon Winwood, Manuel M. T. Chakravarty	Singleton: a general-purpose dependently-typed assembly language.	TLDI	2011	DBLP DOI BibTeX RDF
1	Anliang Zhang, Lijun Ye	Heuristic Teaching and Practice on Assembly Language Programmng.	ICEE	2010	DBLP DOI BibTeX RDF
1	Andrew Moss, Dan Page	Bridging the gap between symbolic and efficient AES implementations.	PEPM	2010	DBLP DOI BibTeX RDF	cao, memoisation, vectorisation, aes
1	Jean Yang, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
1	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
1	Dino Schweitzer, Jeff Boleng	A simple machine simulator for teaching stack frames.	SIGCSE	2010	DBLP DOI BibTeX RDF	stack frames, visualization, active learning, buffer overflow
1	Tyler Sondag, Kian L. Pokorny, Hridesh Rajan	Frances: a tool for understanding code generation.	SIGCSE	2010	DBLP DOI BibTeX RDF	frances, visualization, compilers, code generation
1	Peter M. Chen	Transistors to toys: teaching systems to freshmen.	VEE	2010	DBLP DOI BibTeX RDF	education
1	Arun Kumar, Sheetal K. Agarwal, Priyanka Manwani	The spoken web: software development and programming through voice.	WWW	2010	DBLP DOI BibTeX RDF	programming by voice, spoken web, voicesites
1	Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos	Compiling the pi-calculus into a Multithreaded Typed Assembly Language.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro	Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language	PLACES	2009	DBLP DOI BibTeX RDF
1	Tom Goulding	An encryption system in assembly language: a game-like project for novice programmers.	SIGCSE Bulletin	2009	DBLP DOI BibTeX RDF
1	Torsten Hoefler, Christian Siebert, Andrew Lumsdaine	Group Operation Assembly Language - A Flexible Way to Express Collective Communication.	ICPP	2009	DBLP DOI BibTeX RDF
1	Ajmal Khan, Muhammad Saqib, Zeeshan Kaleem	Functional unit level parallelism in RISC architecture.	FIT	2009	DBLP DOI BibTeX RDF
1	Victor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera	An infrastructure for scalable and portable parallel programs for computational chemistry.	ICS	2009	DBLP DOI BibTeX RDF	coupled cluster methods, tensors, distributed arrays
1	Koji Kagawa	WAPPEN: a web-based application framework for programming and its bison/flex plug-in.	ITiCSE	2009	DBLP DOI BibTeX RDF	web, programming languages, eclipse, compiler construction
1	Chris Hawblitzel, Erez Petrank	Automated verification of practical garbage collectors.	POPL	2009	DBLP DOI BibTeX RDF	verification, garbage collection
1	Jiyong Park, Seongsoo Hong	Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment.	SAC	2009	DBLP DOI BibTeX RDF	fine-granularity, AOP, operating systems, language independence
1	Michael D. Black	Build an operating system from scratch: a project for an introductory operating systems course.	SIGCSE	2009	DBLP DOI BibTeX RDF	education, operating systems
1	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
1	Ralph Duncan, Peder Jungck	packetC Language for High Performance Packet Processing.	HPCC	2009	DBLP DOI BibTeX RDF
1	Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Discovering Application-Level Insider Attacks Using Symbolic Execution.	SEC	2009	DBLP DOI BibTeX RDF
1	Ellie D'Hondt, Yves Vandriessche	Distributed Quantum Programming.	UC	2009	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Willis K. King	Assembly Language.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Louis-Julien Guillemette, Stefan Monnier	A type-preserving compiler in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de Bruijn
1	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
1	Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki	Type-preserving compilation for large-scale optimizing object-oriented compilers.	PLDI	2008	DBLP DOI BibTeX RDF	object-oriented compilers, type-preserving compilation
1	Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
1	Flavius Gruian, Mark Westmijze	VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture.	SAC	2008	DBLP DOI BibTeX RDF	embedded systems, java processor, Bluespec
1	Karl Crary, Susmit Sarkar	Foundational certified code in the Twelf metalogical framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Foundational certified code, metalogic, logic programming
1	David J. Greaves, Satnam Singh	Kiwi: Synthesis of FPGA Circuits from Parallel Programs.	FCCM	2008	DBLP DOI BibTeX RDF
1	Sihyung Lee, Tina Wong, Hyong S. Kim	To Automate or Not to Automate: On the Complexity of Network Configuration.	ICC	2008	DBLP DOI BibTeX RDF
1	Michael H. Dawson	Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine.	ISORC	2008	DBLP DOI BibTeX RDF	Java, Real-time, Implementation
1	Carl von Platen, Johan Eker	Efficient realization of a cal video decoder on a mobile terminal (position paper).	SiPS	2008	DBLP DOI BibTeX RDF
1	Satnam Singh, David J. Greaves	Synthesizing FPGA Circuits from Parallel Programs.	ARC	2008	DBLP DOI BibTeX RDF
1	Ramsay Taylor	Separation of Z Operations.	ABZ	2008	DBLP DOI BibTeX RDF
1	Frances Perry, David Walker	Reasoning about Control Flow in the Presence of Transient Faults.	SAS	2008	DBLP DOI BibTeX RDF
1	Artem Starostin, Alexandra Tsyban	Verified Process-Context Switch for C-Programmed Kernels.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Cindy Norris, James T. Wilkes	YESS: a Y86 pipelined processor simulator.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	simulation, computer architecture, assembly language
1	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
1	J. Stanley Warford, Ryan Okelberry	Pep8CPU: a programmable simulator for a central processing unit.	SIGCSE	2007	DBLP DOI BibTeX RDF	Pep/8, data section, micropro-gramming, simulation, virtual machine, CPU, MIPS, assembly language
1	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
1	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
1	Michael J. Wirthlin, Misha Burich, Andrew Guyler, Brian Von Herzen	High-level languages: the future or a passing fad?	FPGA	2007	DBLP DOI BibTeX RDF	high-level design languages, RTL design
1	Nick Benton, Uri Zarfaty	Formalizing and verifying semantic type soundness of a simple compiler.	PPDP	2007	DBLP DOI BibTeX RDF	relational para-metricity, separation logic, proof assistants, compiler verification, type soundness
1	Abdul Sattar 0002, Torben Lorenzen	Develop a compiler in Java for a compiler design course.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	Jasmin, complier, recursive descent parser, Java, Java, JVM
1	Praful V. Bhansali	The MCDC paradox.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	software verification, software safety, DO-178B
1	Kevin Borders, Atul Prakash, Mark Zielinski	Spector: Automatically Analyzing Shell Code.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton	Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior.	HICSS	2007	DBLP DOI BibTeX RDF