The Experts below are selected from a list of 273 Experts worldwide ranked by ideXlab platform
Pete Sanderson - One of the best experts on this subject based on the ideXlab platform.
-
mars an education oriented mips Assembly Language simulator
Technical Symposium on Computer Science Education, 2006Co-Authors: Kenneth R Vollmar, Pete SandersonAbstract:We describe the implementation of "MARS," a GUI, Java-based simulator for the MIPS Assembly Language. MIPS, the computer architecture underlying the simulated Assembly Language, is widely used in industry and is the basis of the popular textbook Computer Organization and Design [6], used at over 400 universities. The MARS simulator has been implemented with characteristics that are especially useful to undergraduate computer science students and their instructors.
Dominic Duggan - One of the best experts on this subject based on the ideXlab platform.
-
Types in Compilation - Sharing in Typed Module Assembly Language
Lecture Notes in Computer Science, 2001Co-Authors: Dominic DugganAbstract:There is a growing need to provide low-overhead software-based protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed Assembly Language provide this protection by relying on untrusted compilers to certify the safety properties of machine Language programs. Typed Module Assembly Language (TMAL) is an extension of typed Assembly Language with support for the type-safe manipulation of dynamically linked libraries. A particularly important aspect of TMAL is its support for shared libraries.
-
sharing in typed module Assembly Language
Lecture Notes in Computer Science, 2000Co-Authors: Dominic DugganAbstract:There is a growing need to provide low-overhead software-based protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed Assembly Language provide this protection by relying on untrusted compilers to certify the safety properties of machine Language programs. Typed Module Assembly Language (TMAL) is an extension of typed Assembly Language with support for the type-safe manipulation of dynamically linked libraries. A particularly important aspect of TMAL is its support for shared libraries.
Karl Crary - One of the best experts on this subject based on the ideXlab platform.
-
toward a foundational typed Assembly Language
Symposium on Principles of Programming Languages, 2003Co-Authors: Karl CraryAbstract:We present the design of a typed Assembly Language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements the von Neumann model in which programs are stored in memory, and supports relative addressing. Type safety for execution and for garbage collection are shown by machine-checkable proofs. TALT is the first formalized typed Assembly Language to provide any of these features.
-
POPL - Toward a foundational typed Assembly Language
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03, 2003Co-Authors: Karl CraryAbstract:We present the design of a typed Assembly Language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements the von Neumann model in which programs are stored in memory, and supports relative addressing. Type safety for execution and for garbage collection are shown by machine-checkable proofs. TALT is the first formalized typed Assembly Language to provide any of these features.
-
from system f to typed Assembly Language
ACM Transactions on Programming Languages and Systems, 1999Co-Authors: Greg Morrisett, David Walker, Karl Crary, Neal GlewAbstract:We motivate the design of typed Assembly Language (TAL) and present a type-preserving ttranslation from Systemn F to TAL. The typed Assembly Language we pressent is based on a conventional RISC Assembly Language, but its static type sytem provides support for enforcing high-level Language abstratctions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violatet these abstractionsl In addition, the typing constructs admit many low-level compiler optimiztaions. Our translation to TAL is specified as a sequence of type-preserving transformations, including CPS and closure conversion phases; type-correct source programs are mapped to type-correct Assembly Language. A key contribution is an approach to polymorphic closure conversion that is considerably simpler than previous work. The compiler and typed Assembly lanugage provide a fully automatic way to produce certified code, suitable for use in systems where unstrusted and potentially malicious code must be checked for safety before execution.
-
TALx86: A Realistic Typed Assembly Language∗
1999Co-Authors: Greg Morrisett, David Walker, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, Stephanie Weirich, Steve ZdancewicAbstract:The goal of typed Assembly Language (TAL) is to provide a low-level, statically typed target Language that is better suited than Java bytecodes for supporting a wide variety of source Languages and a number of important optimizations. In previous work, we formalized idealized versions of TAL and proved important safety properties about them. In this paper, we present our progress in defining and implementing a realistic typed Assembly Language called TALx86. The TALx86 instructions comprise a relatively complete fragment of the Intel IA32 (32-bit 80x86 flat model) Assembly Language and are thus executable on processors such as the Intel Pentium. The type system for the Language incorporates a number of advanced features necessary for safely compiling large programs to good code. To motivate the design of the type system, we demonstrate how various high-level Language features are compiled to TALx86. For this purpose, we present a type-safe C-like Language called Popcorn.
-
from system f to typed Assembly Language
Symposium on Principles of Programming Languages, 1998Co-Authors: Greg Morrisett, David Walker, Karl Crary, Neal GlewAbstract:We motivate the design of a statically typed Assembly Language (TAL) and present a type-preserving translation from System F to TAL. The TAL we present is based on a conventional RISC Assembly Language, but its static type system provides support for enforcing high-level Language abstractions, such as closures, tuples, and objects, as well as user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the typing constructs place almost no restrictions on low-level optimizations such as register allocation, instruction selection, or instruction scheduling.Our translation to TAL is specified as a sequence of type-preserving transformations, including CPS and closure conversion phases; type-correct source programs are mapped to type-correct Assembly Language. A key contribution is an approach to polymorphic closure conversion that is considerably simpler than previous work. The compiler and typed Assembly Language provide a fully automatic way to produce proof carrying code, suitable for use in systems where untrusted and potentially malicious code must be checked for safety before execution.
Kenneth R Vollmar - One of the best experts on this subject based on the ideXlab platform.
-
mars an education oriented mips Assembly Language simulator
Technical Symposium on Computer Science Education, 2006Co-Authors: Kenneth R Vollmar, Pete SandersonAbstract:We describe the implementation of "MARS," a GUI, Java-based simulator for the MIPS Assembly Language. MIPS, the computer architecture underlying the simulated Assembly Language, is widely used in industry and is the basis of the popular textbook Computer Organization and Design [6], used at over 400 universities. The MARS simulator has been implemented with characteristics that are especially useful to undergraduate computer science students and their instructors.
Huang Jian-ling - One of the best experts on this subject based on the ideXlab platform.
-
Discuss of the Assembly Language Course' Educational Reform Based on Win32
Journal of Shangrao Normal College, 2007Co-Authors: Huang Jian-lingAbstract:The article has analyzed the importance of reforming Assembly Language course's didactical content,expounded the differ- ent points between Win32 Assembly Language and DOS Assembly Language through one example,studied the characteristic of Win32 Assembly Language,and explored didactical rule of the Win32 Assembly Language.
-
Teaching Reforms and Practices in Assembly Language and Programming
Journal of Shangrao Normal College, 2005Co-Authors: Huang Jian-lingAbstract:The Assembly Language is one of the main courses for students majoring in computer.But on one hand the traditional Assembly Language teaching is based on Intel 8086/8088 microprocessor,which is out of date and lacks practical ability.And one the other hand Assembly Language is difficult to learn.So the paper discusses about some of the key such as updating course content and teaching methods,puts forward a series of reforming measures which have been taken during the teaching practices and satisfactory results have been achieved.
