Jens Palsberg

According to our database, Jens Palsberg authored at least 152 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

From Leaks to Fixes: Automated Repairs for Resource Leak Warnings.

Akshay Utture, Jens Palsberg

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Building a Quantum Engineering Undergraduate Program.

Abraham Asfaw, Alexandre Blais, Kenneth R. Brown, Jonathan Candelaria, Christopher Cantwell, Lincoln D. Carr, Joshua Combes, Dripto M. Debroy, John M. Donohue, Sophia E. Economou, Emily Edwards, Michael F. J. Fox, Steven M. Girvin, Alan Ho, Hilary M. Hurst, Zubin Jacob, Blake R. Johnson, Ezekiel Johnston-Halperin, Robert Joynt, Eliot Kapit, Judith Klein-Seetharaman, Martin Laforest, H. J. Lewandowski, Theresa W. Lynn, Corey Rae H. McRae, Celia Merzbacher, Spyridon Michalakis, Prineha Narang, William D. Oliver, Jens Palsberg, David P. Pappas, Michael G. Raymer, David J. Reilly, Mark Saffman, Thomas A. Searles, Jeffrey H. Shapiro, Chandralekha Singh

IEEE Trans. Educ., 2022

Compiling Volatile Correctly in Java (Artifact).

Shuyang Liu, John Bender, Jens Palsberg

Dagstuhl Artifacts Ser., 2022

Quartz: Superoptimization of Quantum Circuits (Extended Version).

Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia

CoRR, 2022

Quartz: superoptimization of Quantum circuits.

Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Fast and Precise Application Code Analysis using a Partial Library.

Akshay Utture, Jens Palsberg

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Striking a Balance: Pruning False-Positives from Static Call Graphs.

Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Compiling Volatile Correctly in Java.

Shuyang Liu, John Bender, Jens Palsberg

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities.

Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken

CoRR, 2021

Sound and efficient concurrency bug prediction.

Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Quantum abstract interpretation.

Nengkun Yu, Jens Palsberg

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Logical bytecode reduction.

Christian Gram Kalhauge, Jens Palsberg

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

What is decidable about gradual types?

Zeina Migeed, Jens Palsberg

Proc. ACM Program. Lang., 2020

Achieving a quantum smart workforce.

Clarice D. Aiello, D. D. Awschalom, Hannes Bernien, Tina Brower-Thomas, Kenneth R. Brown, Todd A. Brun, Justin R. Caram, Eric Chitambar, Rosa Di Felice, Michael F. J. Fox, Stephan Haas, Alexander W. Holleitner, Eric R. Hudson, Jeffrey H. Hunt, Robert Joynt, Scott Koziol, H. J. Lewandowski, Douglas T. McClure, Jens Palsberg, Gina Passante, Kristen L. Pudenz, Christopher J. K. Richardson, Jessica L. Rosenberg, R. S. Ross, Mark Saffman, M. Singh, David W. Steuerman, Chad Stark, Jos Thijssen, A. Nick Vamivakas, James D. Whitfield, Benjamin M. Zwickl

CoRR, 2020

Conferences in an era of expensive carbon.

Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg

Commun. ACM, 2020

Low-overhead deadlock prediction.

Yan Cai, Ruijie Meng, Jens Palsberg

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

A formalization of Java's concurrent access modes.

John Bender, Jens Palsberg

Proc. ACM Program. Lang., 2019

Toward a universal quantum programming language.

Jens Palsberg

XRDS, 2019

Binary reduction of dependency graphs.

Christian Gram Kalhauge, Jens Palsberg

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Sound deadlock prediction.

Christian Gram Kalhauge, Jens Palsberg

Proc. ACM Program. Lang., 2018

Jones-optimal partial evaluation by specialization-safe normalization.

Matt Brown, Jens Palsberg

Proc. ACM Program. Lang., 2018

NJR: a normalized Java resource.

Jens Palsberg, Cristina V. Lopes

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

Typed self-evaluation via intensional type functions.

Matt Brown, Jens Palsberg

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Retargetable Communication for Distributed Programs.

Oren Freiberg, Jens Palsberg, Mahdi Eslamimehr

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Breaking through the normalization barrier: a self-interpreter for f-omega.

Matt Brown, Jens Palsberg

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Self-Representation in Girard's System U.

Matt Brown, Jens Palsberg

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Declarative fence insertion.

John Bender, Mohsen Lesani, Jens Palsberg

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Type Inference for Place-Oblivious Objects.

Riyaz Haque, Jens Palsberg

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Editorial.

Jens Palsberg

ACM Trans. Program. Lang. Syst., 2014

Introduction to special issue on embedded systems architecture and applications.

Jia Hu, Jens Palsberg, Seetharami Seelam, Marco Di Natale, Lei (Chris) Liu

J. Syst. Archit., 2014

Decomposing Opacity.

Mohsen Lesani, Jens Palsberg

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Sherlock: scalable deadlock detection for concurrent programs.

Mahdi Eslamimehr, Jens Palsberg

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Race directed scheduling of concurrent programs.

Mahdi Eslamimehr, Jens Palsberg

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Automatic Atomicity Verification for Clients of Concurrent Data Structures.

Mohsen Lesani, Todd D. Millstein, Jens Palsberg

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

A decoupled local memory allocator.

Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, Jens Palsberg

ACM Trans. Archit. Code Optim., 2013

Proving Non-opacity.

Mohsen Lesani, Jens Palsberg

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Agnostic Protocol Translation for Cross-Domain Information Sharing.

Chen Liu, Bao-Hong Shen, Soon-Young Oh, Mario Gerla, Jens Palsberg, Clif Banner, Richard Butler

Proceedings of the 32th IEEE Military Communications Conference, 2013

Testing versus Static Analysis of Maximum Stack Size.

Mahdi Eslamimehr, Jens Palsberg

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.

Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong

Proceedings of the Static Analysis - 19th International Symposium, 2012

Featherweight X10: a core calculus for async-finish parallelism.

Jens Palsberg

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen.

Jens Palsberg

Proceedings of the Logic and Program Semantics, 2012

2011

Editorial note.

Jens Palsberg

ACM Trans. Program. Lang. Syst., 2011

Communicating memory transactions.

Mohsen Lesani, Jens Palsberg

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

The essence of compiling with traces.

Shu-yu Guo, Jens Palsberg

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

From textual use cases to service component models.

Zuohua Ding, Mingyue Jiang, Jens Palsberg

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Typed self-interpretation by pattern matching.

C. Barry Jay, Jens Palsberg

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Concurrent Collections.

Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar

Sci. Program., 2010

Featherweight X10: a core calculus for async-finish parallelism.

Jonathan K. Lee, Jens Palsberg

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

From OO to FPGA: fitting round objects into square hardware?

Stephen Kou, Jens Palsberg

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Punctual Coalescing.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

SSA Elimination after Register Allocation.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Compiler Construction, 18th International Conference, 2009

Vertical Object Layout and Compression for Fixed Heaps.

Ben L. Titzer, Jens Palsberg

Proceedings of the Semantics and Algebraic Specification, 2009

Tribute to Peter Mosses.

Jens Palsberg

Proceedings of the Semantics and Algebraic Specification, 2009

2008

A type system equivalent to a model checker.

Mayur Naik, Jens Palsberg

ACM Trans. Program. Lang. Syst., 2008

Aliased register allocation for straight-line programs is NP-complete.

Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira

Theor. Comput. Sci., 2008

Improving the effectiveness of system verification.

Holger Hermanns, Jens Palsberg

Int. J. Softw. Tools Technol. Transf., 2008

MEMOCODE 2006 guest editors' introduction.

James C. Hoe, Jens Palsberg

Des. Autom. Embed. Syst., 2008

Verification of Register Allocators.

Jens Palsberg

Proceedings of the Verification, 2008

Register allocation by puzzle solving.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Constrained types for object-oriented languages.

Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Encapsulating objects with confined types.

Christian Grothoff, Jens Palsberg, Jan Vitek

ACM Trans. Program. Lang. Syst., 2007

Editorial.

Martín Abadi, Jens Palsberg

ACM Trans. Program. Lang. Syst., 2007

A Framework for End-to-End Verification and Evaluation of Register Allocators.

V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Static Analysis, 14th International Symposium, 2007

The ExoVM system for automatic VM and application reduction.

Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Register Allocation via Coloring of Chordal Graphs.

Jens Palsberg

Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007

Type Systems: Advances and Applications.

Jens Palsberg, Todd D. Millstein

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Type-based confinement.

Tian Zhao, Jens Palsberg, Jan Vitek

J. Funct. Program., 2006

Register Allocation After Classical SSA Elimination is NP-Complete.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Inference of User-Defined Type Qualifiers and Qualifier Rules.

Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg

Proceedings of the Programming Languages and Systems, 2006

SARA: Combining Stack Allocation and Register Allocation.

V. Krishna Nandivada, Jens Palsberg

Proceedings of the Compiler Construction, 15th International Conference, 2006

Event Driven Software Quality.

Jens Palsberg

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Automatic discovery of covariant read-only fields.

Jens Palsberg, Tian Zhao, Trevor Jim

ACM Trans. Program. Lang. Syst., 2005

Enabling Detailed Modeling and Analysis of Sensor Networks.

Olaf Landsiedel, Klaus Wehrle, Ben L. Titzer, Jens Palsberg

Prax. Inf.verarb. Kommun., 2005

Method Inlining, Dynamic Class Loading, and Type Soundness.

Neal Glew, Jens Palsberg

J. Object Technol., 2005

D.A.S.: deployment analysis system.

Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Type-Safe Optimisation of Plugin Architectures.

Neal Glew, Jens Palsberg, Christian Grothoff

Proceedings of the Static Analysis, 12th International Symposium, 2005

Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.

V. Krishna Nandivada, Jens Palsberg

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Nonintrusive precision instrumentation of microcontroller software.

Ben L. Titzer, Jens Palsberg

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

Avrora: scalable sensor network simulation with precise timing.

Ben L. Titzer, Daniel K. Lee, Jens Palsberg

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Register Allocation Via Coloring of Chordal Graphs.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Deadline Analysis of Interrupt-Driven Software.

Dennis Brylow, Jens Palsberg

IEEE Trans. Software Eng., 2004

Compiling with code-size constraints.

Mayur Naik, Jens Palsberg

ACM Trans. Embed. Comput. Syst., 2004

Type-safe method inlining.

Neal Glew, Jens Palsberg

Sci. Comput. Program., 2004

Type inference for record concatenation and subtyping.

Jens Palsberg, Tian Zhao

Inf. Comput., 2004

Stack size analysis for interrupt-driven programs.

Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg

Inf. Comput., 2004

2003

CPS transformation of flow information.

Jens Palsberg, Mitchell Wand

J. Funct. Program., 2003

Lightweight confinement for featherweight Java.

Tian Zhao, Jens Palsberg, Jan Vitek

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Efficient spill code for SDRAM.

V. Krishna Nandivada, Jens Palsberg

Proceedings of the International Conference on Compilers, 2003

2002

Teaching reviewing to graduate students.

Jens Palsberg, Scott J. Baxter

Commun. ACM, 2002

Efficient Type Inference for Record Concatenation and Subtyping.

Jens Palsberg, Tian Zhao

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

A Typed Interrupt Calculus.

Jens Palsberg, Di Ma

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Efficient Type Matching.

Somesh Jha, Jens Palsberg, Tian Zhao

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Modern Compiler Implementation in Java, 2nd edition.

Andrew W. Appel, Jens Palsberg

Cambridge University Press, ISBN: 0-521-82060-X, 2002

2001

From Polyvariant flow information to intersection and union types.

Jens Palsberg, Christina Pavlopoulou

J. Funct. Program., 2001

Efficient and Flexible Matching of Recursive Types.

Jens Palsberg, Tian Zhao

Inf. Comput., 2001

Type-based analysis and applications.

Jens Palsberg

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

Static Checking of Interrupt-Driven Software.

Dennis Brylow, Niels Damgaard, Jens Palsberg

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Scalable propagation-based call graph construction algorithms.

Frank Tip, Jens Palsberg

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Experience with Software Watermarking.

Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1999

Optimal Representations of Polymorphic Types with Subtyping.

Alexander Aiken, Edward L. Wimmers, Jens Palsberg

High. Order Symb. Comput., 1999

1998

Evolution of Object Behavior Using Context Relations.

Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr

IEEE Trans. Software Eng., 1998

Equality-based flow analysis versus recursive types.

Jens Palsberg

ACM Trans. Program. Lang. Syst., 1998

Eta-Redexes in Partial Evaluation.

Jens Palsberg

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

The Essence of the Visitor Pattern.

Jens Palsberg, C. Barry Jay

Proceedings of the COMPSAC '98, 1998

1997

Class-Graph Inference for Adaptive Programs.

Jens Palsberg

Theory Pract. Object Syst., 1997

Position Statements on Strategic Directions for Research on Programming Languages.

Chris Hankin, Hanne Riis Nielson, Jens Palsberg

ACM SIGPLAN Notices, 1997

A New Approach to Compiling Adaptive Programs.

Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr

Sci. Comput. Program., 1997

Type Inference with Simple Selftypes is NP-complete.

Jens Palsberg, Trevor Jim

Nord. J. Comput., 1997

Trust in the lambda-Calculus.

Peter Ørbæk, Jens Palsberg

J. Funct. Program., 1997

Type Inference with Non-Structural Subtyping.

Jens Palsberg, Mitchell Wand, Patrick O'Keefe

Formal Aspects Comput., 1997

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).

Alexander Aiken, Edward L. Wimmers, Jens Palsberg

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Constrained Types and Their Expressiveness.

Jens Palsberg, Scott F. Smith

ACM Trans. Program. Lang. Syst., 1996

Eta-Expansion Does The Trick.

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

ACM Trans. Program. Lang. Syst., 1996

Generating Action Compilers by Partial Evaluation.

Anders Bondorf, Jens Palsberg

J. Funct. Program., 1996

Erratum: "Efficient Inference of Object Types" Volume123, Number 2 (1995), pages 198-209.

Jens Palsberg

Inf. Comput., 1996

Software Evolution and Integration.

Jens Palsberg

ACM Comput. Surv., 1996

Compiler Technology for Object-Oriented Languages.

Jens Palsberg

ACM Comput. Surv., 1996

Type Inference for Objects.

Jens Palsberg

ACM Comput. Surv., 1996

Strategic Directions in Research on Programming Languages.

Chris Hankin, Hanne Riis Nielson, Jens Palsberg

ACM Comput. Surv., 1996

1995

Safety Analysis versus Type Inference

Jens Palsberg, Michael I. Schwartzbach

Inf. Comput., April, 1995

Efficient Implementation of Adaptive Software.

Jens Palsberg, Cun Xiao, Karl J. Lieberherr

ACM Trans. Program. Lang. Syst., 1995

A Type System Equivalent to Flow Analysis

Jens Palsberg, Patrick O'Keefe

ACM Trans. Program. Lang. Syst., 1995

Closure Analysis in Constraint Form.

Jens Palsberg

ACM Trans. Program. Lang. Syst., 1995

Complexity Results for 1-Safe Nets.

Allan Cheng, Javier Esparza, Jens Palsberg

Theor. Comput. Sci., 1995

Editorial.

Jens Palsberg, Michael I. Schwartzbach

Theory Pract. Object Syst., 1995

Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance

Ole Agesen, Jens Palsberg, Michael I. Schwartzbach

Softw. Pract. Exp., 1995

Strong Normalization with Non-Structural Subtyping.

Mitchell Wand, Patrick O'Keefe, Jens Palsberg

Math. Struct. Comput. Sci., 1995

Efficient Recursive Subtyping.

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Math. Struct. Comput. Sci., 1995

The Essence of Eta-Expansion in Partial Evaluation.

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

LISP Symb. Comput., 1995

Efficient Inference of Object Types.

Jens Palsberg

Inf. Comput., 1995

Comparing Flow-Based Binding-Time Analyses.

Jens Palsberg

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

A Denotational Semantics of Inheritance and Its Correctness

William R. Cook, Jens Palsberg

Inf. Comput., November, 1994

Foundations of Object-Oriented Languages - Workshop Report.

Andrew P. Black, Jens Palsberg

ACM SIGPLAN Notices, 1994

Static Typing for Object-Oriented Programming.

Jens Palsberg, Michael I. Schwartzbach

Sci. Comput. Program., 1994

Efficient Inference of Partial Types.

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

J. Comput. Syst. Sci., 1994

Binding-time Analysis: Abstract Interpretation versus Type Inference.

Jens Palsberg, Michael I. Schwartzbach

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Flobal Program Analysis in Constraint Form.

Jens Palsberg

Proceedings of the Trees in Algebra and Programming, 1994

Object-oriented type systems.

Jens Palsberg, Michael I. Schwartzbach

Wiley professional computing, Wiley, ISBN: 978-0-471-94128-6, 1994

1993

Correctness of Binding-Time Analysis.

Jens Palsberg

J. Funct. Program., 1993

Normal Forms Have Partial Types.

Jens Palsberg

Inf. Process. Lett., 1993

Compiling Actions by Partial Evaluation.

Anders Bondorf, Jens Palsberg

Proceedings of the conference on Functional programming languages and computer architecture, 1993

Panel: Aims, Means, and Future of Object-Oriented Languages.

Mike Banahan, L. Peter Deutsch, Boris Magnusson, Jens Palsberg

Proceedings of the ECOOP'93, 1993

Type Inference of SELF.

Ole Agesen, Jens Palsberg, Michael I. Schwartzbach

Proceedings of the ECOOP'93, 1993

1992

Types for the language designer (abstract).

Michael I. Schwartzbach, Jens Palsberg

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Three discussions on object-oriented typing.

Jens Palsberg, Michael I. Schwartzbach

OOPS Messenger, 1992

Safety Analysis Versus Type Inference for Partial Types.

Jens Palsberg, Michael I. Schwartzbach

Inf. Process. Lett., 1992

An automatically generated and provably correct compiler for a subset of Ada.

Jens Palsberg

Proceedings of the ICCL'92, 1992

A Provably Correct Compiler Generator.

Jens Palsberg

Proceedings of the ESOP '92, 1992

Making Type Inference Practical.

Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991

Object-Oriented Type Inference.

Jens Palsberg, Michael I. Schwartzbach

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

What is Type-Safe Code Reuse?

Jens Palsberg, Michael I. Schwartzbach

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

Type Substitution for Object-Oriented Programming.

Jens Palsberg, Michael I. Schwartzbach

Proceedings of the Conference on Object-Oriented Programming Systems, 1990