- Under consideration for publication in J. Functional Programming 1 CPS Transformation of Flow Information
- Efficient Spill Code for SDRAM V Krishna Nandivada
- ILP-based Resource-aware Compilation Jens Palsberg
- Foundations of Object-Oriented Languages Workshop Report
- Programming Languages Jens Palsberg
- Journal of Computer and System Sciences 49(2):306324, 1994. Also in Proc. FOCS'92, pages 363-371.
- Separate Abstract Interpretation for Control-Flow Analysis
- In Proc. ECOOP'91, Springer-Verlag (LNCS 512), pages 325341. What is Type-Safe Code Reuse?
- Strictness and Totality Analysis Kirsten Lackner Solberg
- Computing Surveys 28(2):358-359, June 1996. Type Inference for Objects
- Information and Computation, to appear. Efficient and Flexible Matching of Recursive
- Efficient Implementation of Adaptive Software JENS PALSBERG, CUN XIAO, and KARL LIEBERHERR
- 1 Type Systems: Advances and Applications 1 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
- Equality-Based Flow Analysis versus Recursive Types JENS PALSBERG
- Reverse Engineering of Real-Time Assembly Code Jens Palsberg Matthew Wallace
- Extracting Library-BasedObject-OrientedApplications PeterF.Sweeney
- Appeared in ECOOP'95, August 1995. Optimization of
- 22 December 2002/Vol. 45, No. 12 COMMUNICATIONS OF THE ACM he computer science research com-
- Reducing loads and stores in stack architectures Thomas VanDrunen Antony L. Hosking Jens Palsberg
- In ACM SIGPLAN OOPS Messenger, 3(2):3138, 1992. Three Discussions on
- Journal of Functional Programming (1993), vol. 3(3), pp. 347363 Correctness of Binding-time Analysis
- Type Inference with Simple Selftypes is NP-complete
- Avrora: Scalable Sensor Network Simulation with Precise Timing
- Scalable Propagation-Based Call Graph Construction IBM T.J. Watson Research Center
- Type and Effect Systems Flemming Nielson & Hanne Riis Nielson
- Information Processing Letters 43 (1992) 175180. Safety Analysis versus Type Inference
- A Denotational Semantics of Inheritance and its Correctness
- Complexity Results for 1-safe Nets Allan Cheng
- Lisp and Symbolic Computation1, 8(3), 209227 (1995) c 1995 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Closure Analysis in Constraint Form JENS PALSBERG
- Constrained Types and their Expressiveness JENS PALSBERG
- Theory and Practice of Object Systems 3(2):75-85, 1997. Class-graph Inference
- Optimal Representations of Polymorphic Types with Subtyping
- Type Inference for Record Concatenation and Subtyping
- Compiling with Code-Size Constraints MAYUR NAIK and JENS PALSBERG
- Deadline Analysis of Interrupt-Driven Software Dennis Brylow
- Automatic Discovery of Covariant Read-Only Fields Jens Palsberg
- Encapsulating Objects with Confined Types Christian Grothoff1
- Object-Oriented Type Inference Jens Palsberg and Michael I. Schwartzbach
- An Automatically Generated and Provably Correct
- The Essence of the Visitor Pattern Jens Palsberg1
- Proceedings of ICSE'01, International Conference on Software Engineering, pages 4756, 2001. Static Checking of Interrupt-driven Software
- Register Allocation after Classical SSA Elimination is NP-complete
- SARA: Combining Stack Allocation and Register Allocation
- Vertical Object Layout and Compression for Fixed Heaps Ben L. Titzer
- Register Allocation by Puzzle Solving Fernando Magno Quint~ao Pereira Jens Palsberg
- Featherweight X10: A Core Calculus for Async-Finish Parallelism
- Punctual Coalescing Fernando Magno Quint~ao Pereira1
- From OO to FPGA: Fitting Round Objects into Square Hardware?
- The Essence of Compiling with Traces Shu-yu Guo Jens Palsberg
- Teaching reviewing to graduate students Jens Palsberg
- Visitor-Oriented Programming Jens Palsberg
- A Declarative Approach to Generating Machine Code Tools
- arXiv:physics/0508025v529Sep2005 An index to quantify an individual's scientific research output
- Region analysis and the polymorphic lambda calculus Anindya Banerjee
- Type Systems for Closure Conversions John Hannan
- User-extensible Simplification--Type-based Optimizer Generators
- Annotated Type Systems Program Analysis
- Practical Experience with an Application Extractor for Java Frank Tip Chris Laffra Peter F. Sweeney
- Timing analysis of TCP servers for surviving denial-of-service attacks
- Information Processing Letters 45 (1993) 13. Normal Forms have Partial Types
- A Type System Equivalent to a Model Checker Intel Research
- A Type System Equivalent to Flow Analysis Jens Palsberg
- A New Approach to Compiling Adaptive Programs
- Eta-Expansion Does The Trick OLIVIER DANVY and KAROLINE MALMKJR
- Mathematical Structures in Computer Science, 5(3):419430, 1995. Strong Normalization with Non-structural Subtyping
- Under consideration for publication in J. Functional Programming 1 Type-based Confinement
- In Proc. TAPSOFT'95, Springer-Verlag (LNCS 915), pages 561574. Comparing Flow-based Binding-time
- Software--Practice & Experience, 25(9):975995, September 1995. Type Inference of SELF
- Type-Safe Method Inlining Neal Glew a
- Type-Safe Optimisation of Plugin Architectures , Jens Palsberg2
- Efficient Type Matching Somesh Jha1
- Refinement Types for ML Tim Freeman
- J. Functional Programming, 3(2):75-85, 1997. c Cambridge University Press 1 Trust in the -calculus
- The ExoVM System for Automatic VM and Application Ben L. Titzer, Joshua Auerbach, David F. Bacon, Jens Palsberg
- SSA Elimination after Register Allocation Fernando Magno Quint~ao Pereira
- ACM Workshop on Strategic Directions in Computing Research, MIT, June 1415, 1996. Strategic Directions for Research on
- Encapsulating Objects with Confined Types Christian Grothoff Jens Palsberg Jan Vitek
- Type-Based Alias Analysis Amer Diwan Kathryn S. McKinley J. Eliot B. Moss
- Program Optimization for Faster Genetic Programming Bradley J. Lucier
- Type Substitution for Object-Oriented Programming Jens Palsberg Michael I. Schwartzbach
- Types and Concept Analysis for Legacy Systems Tobias Kuipers Leon Moonen
- Register Allocation via Coloring of Chordal Graphs
- Information and Computation, 123(2):198209, 1995. Efficient Inference of Object Types
- Journal of Functional Programming, 11(3):263317, May 2001. From Polyvariant Flow Information
- Eta-Redexes in Partial Evaluation Jens Palsberg
- Visitor-Oriented Programming Thomas VanDrunen Jens Palsberg
- From Control Effects to Typed Continuation Passing Hayo Thielecke
- In Proc. ICCL'94, Fifth IEEE International Conference on Computer Languages, pages 289298. Binding-time Analysis
- Type-Directed Continuation Allocation Zhong Shao and Valery Trifonov
- Generating Action Compilers by Partial Evaluation Anders Bondorf
- Type-Based Analysis and Applications Jens Palsberg
- Stack Size Analysis for Interrupt-driven Programs 1
- Information and Computation, 118(1):128141, 1995. Safety Analysis versus Type Inference
- Type Inference with Non-structural Subtyping Jens Palsberg
- Aliased Register Allocation for Straight-line Programs is NP-Complete
- Proceedings of ACSAC'00, 16th Annual Computer Security Applications Conference, pages 308-316, 2000. Experience with Software Watermarking
- A Framework for End-to-End Verification and Evaluation of Register Allocators
- A type system for bounded space and functional in-place update
- Constrained Types for Object-Oriented Languages Vijay Saraswat1, Nathaniel Nystrom1, Jens Palsberg2, and Christian Grothoff3
- Complexity Results for May-Happen-in-Parallel Analysis
- Type inference in systems of recursive types with Jens Palsberg
- Field Analysis: Getting Useful and Low-cost Interprocedural Information
- Science of Computer Programming 23(1):1953, 1994. Static Typing for
- Nonintrusive Precision Instrumentation of Microcontroller Software
- A Typed Interrupt Calculus Jens Palsberg Di Ma
- Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are
- Method Inlining, Dynamic Class Loading, and Type Soundness
- Mathematical Structures in Computer Science, 5(1):113125, 1995. Also in Proc. POPL'93, pages 419428.
- In Proc. ESOP'92, Springer-Verlag (LNCS 582), pages 418434. A Provably Correct Compiler
- Academic Integrity As a student and member of the University community,
- BEFORE YOU BEGIN THAT PAPER 1. Be sure you understand the assignment. If you have ANY questions, do not hesitate to ASK the
- HOW TO GET THE BETTER OF AN EXAM Preparing for a test can be an anxiety-producing experience. Here are some suggestions to make
