 | 2010 |
|---|
| 126 |       | Manuel V. Hermenegildo,
Jens Palsberg:
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
ACM 2010 |
| 125 |  | Jonathan K. Lee,
Jens Palsberg:
Featherweight X10: a core calculus for async-finish parallelism.
PPOPP 2010: 25-36 |
| 2009 |
|---|
| 124 | | Jens Palsberg,
Zhendong Su:
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Springer 2009 |
| 123 | | Jens Palsberg:
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Springer 2009 |
| 122 | | Fernando Magno Quintão Pereira,
Jens Palsberg:
SSA Elimination after Register Allocation.
CC 2009: 158-173 |
| 121 | | Jens Palsberg:
Tribute to Peter Mosses.
Semantics and Algebraic Specification 2009: 1-3 |
| 120 | | Ben Titzer,
Jens Palsberg:
Vertical Object Layout and Compression for Fixed Heaps.
Semantics and Algebraic Specification 2009: 376-408 |
| 2008 |
|---|
| 119 | | Luca de Alfaro,
Jens Palsberg:
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
ACM 2008 |
| 118 | | Klaus Havelund,
Rupak Majumdar,
Jens Palsberg:
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Springer 2008 |
| 117 | | Nathaniel Nystrom,
Vijay A. Saraswat,
Jens Palsberg,
Christian Grothoff:
Constrained types for object-oriented languages.
OOPSLA 2008: 457-474 |
| 116 | | Fernando Magno Quintão Pereira,
Jens Palsberg:
Register allocation by puzzle solving.
PLDI 2008: 216-226 |
| 115 | | Jens Palsberg:
Verification of Register Allocators.
VMCAI 2008: 6 |
| 114 | | Mayur Naik,
Jens Palsberg:
A type system equivalent to a model checker.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 113 | | Holger Hermanns,
Jens Palsberg:
Improving the effectiveness of system verification.
STTT 10(2): 111-112 (2008) |
| 112 | | Jonathan K. Lee,
Jens Palsberg,
Fernando Magno Quintão Pereira:
Aliased register allocation for straight-line programs is NP-complete.
Theor. Comput. Sci. 407(1-3): 258-273 (2008) |
| 2007 |
|---|
| 111 | | Ben Titzer,
Jens Palsberg:
Vertical object layout and compression for fixed heaps.
CASES 2007: 170-178 |
| 110 | | Jens Palsberg:
Register Allocation via Coloring of Chordal Graphs.
CATS 2007: 3 |
| 109 | | Jonathan K. Lee,
Jens Palsberg,
Fernando Magno Quintão Pereira:
Aliased Register Allocation for Straight-Line Programs Is NP-Complete.
ICALP 2007: 680-691 |
| 108 | | Ben Titzer,
Joshua S. Auerbach,
David F. Bacon,
Jens Palsberg:
The ExoVM system for automatic VM and application reduction.
PLDI 2007: 352-362 |
| 107 | | V. Krishna Nandivada,
Fernando Magno Quintão Pereira,
Jens Palsberg:
A Framework for End-to-End Verification and Evaluation of Register Allocators.
SAS 2007: 153-169 |
| 106 | | Martín Abadi,
Jens Palsberg:
Editorial.
ACM Trans. Program. Lang. Syst. 29(3): (2007) |
| 105 | | Christian Grothoff,
Jens Palsberg,
Jan Vitek:
Encapsulating objects with confined types.
ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 2006 |
|---|
| 104 | | Holger Hermanns,
Jens Palsberg:
Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Springer 2006 |
| 103 | | Jens Palsberg:
Event Driven Software Quality.
APLAS 2006: 165 |
| 102 | | V. Krishna Nandivada,
Jens Palsberg:
SARA: Combining Stack Allocation and Register Allocation.
CC 2006: 232-246 |
| 101 | | Brian Chin,
Shane Markstrum,
Todd D. Millstein,
Jens Palsberg:
Inference of User-Defined Type Qualifiers and Qualifier Rules.
ESOP 2006: 264-278 |
| 100 | | Fernando Magno Quintão Pereira,
Jens Palsberg:
Register Allocation After Classical SSA Elimination is NP-Complete.
FoSSaCS 2006: 79-93 |
| 99 | | Tian Zhao,
Jens Palsberg,
Jan Vitek:
Type-based confinement.
J. Funct. Program. 16(1): 83-128 (2006) |
| 2005 |
|---|
| 98 | | Jens Palsberg,
Martín Abadi:
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005
ACM 2005 |
| 97 | | Fernando Magno Quintão Pereira,
Jens Palsberg:
Register Allocation Via Coloring of Chordal Graphs.
APLAS 2005: 315-329 |
| 96 | | Mayur Naik,
Jens Palsberg:
A Type System Equivalent to a Model Checker.
ESOP 2005: 374-388 |
| 95 | | V. Krishna Nandivada,
Jens Palsberg:
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.
IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 541-549 |
| 94 | | Ben Titzer,
Daniel K. Lee,
Jens Palsberg:
Avrora: scalable sensor network simulation with precise timing.
IPSN 2005: 477-482 |
| 93 | | Ben Titzer,
Jens Palsberg:
Nonintrusive precision instrumentation of microcontroller software.
LCTES 2005: 59-68 |
| 92 | | Neal Glew,
Jens Palsberg,
Christian Grothoff:
Type-Safe Optimisation of Plugin Architectures.
SAS 2005: 135-154 |
| 91 | | Kevin K. Chang,
Nithya Ramanathan,
Deborah Estrin,
Jens Palsberg:
D.A.S.: deployment analysis system.
SenSys 2005: 301 |
| 90 | | Jens Palsberg,
Tian Zhao,
Trevor Jim:
Automatic discovery of covariant read-only fields.
ACM Trans. Program. Lang. Syst. 27(1): 126-162 (2005) |
| 89 | | Neal Glew,
Jens Palsberg:
Method Inlining, Dynamic Class Loading, and Type Soundness.
Journal of Object Technology 4(8): 33-53 (2005) |
| 2004 |
|---|
| 88 | | Mayur Naik,
Jens Palsberg:
Compiling with code-size constraints.
ACM Trans. Embedded Comput. Syst. 3(1): 163-181 (2004) |
| 87 | | Dennis Brylow,
Jens Palsberg:
Deadline Analysis of Interrupt-Driven Software.
IEEE Trans. Software Eng. 30(10): 634-655 (2004) |
| 86 | | Jens Palsberg,
Tian Zhao:
Type inference for record concatenation and subtyping.
Inf. Comput. 189(1): 54-86 (2004) |
| 85 | | Krishnendu Chatterjee,
Di Ma,
Rupak Majumdar,
Tian Zhao,
Thomas A. Henzinger,
Jens Palsberg:
Stack size analysis for interrupt-driven programs.
Inf. Comput. 194(2): 144-174 (2004) |
| 84 | | Neal Glew,
Jens Palsberg:
Type-safe method inlining.
Sci. Comput. Program. 52: 281-306 (2004) |
| 2003 |
|---|
| 83 | | V. Krishna Nandivada,
Jens Palsberg:
Efficient spill code for SDRAM.
CASES 2003: 24-31 |
| 82 | | Dennis Brylow,
Jens Palsberg:
Deadline analysis of interrupt-driven software.
ESEC / SIGSOFT FSE 2003: 198-207 |
| 81 | | Tian Zhao,
Jens Palsberg,
Jan Vitek:
Lightweight confinement for featherweight Java.
OOPSLA 2003: 135-148 |
| 80 | | Krishnendu Chatterjee,
Di Ma,
Rupak Majumdar,
Tian Zhao,
Thomas A. Henzinger,
Jens Palsberg:
Stack Size Analysis for Interrupt-Driven Programs.
SAS 2003: 109-126 |
| 79 | | Jens Palsberg,
Mitchell Wand:
CPS transformation of flow information.
J. Funct. Program. 13(5): 905-923 (2003) |
| 2002 |
|---|
| 78 | | Matthew B. Dwyer,
Jens Palsberg:
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002
ACM 2002 |
| 77 | | Neal Glew,
Jens Palsberg:
Type-Safe Method Inlining.
ECOOP 2002: 525-544 |
| 76 | | Jens Palsberg,
Di Ma:
A Typed Interrupt Calculus.
FTRTFT 2002: 291-310 |
| 75 | | Somesh Jha,
Jens Palsberg,
Tian Zhao:
Efficient Type Matching.
FoSSaCS 2002: 187-204 |
| 74 | | Mayur Naik,
Jens Palsberg:
Compiling with code-size constraints.
LCTES-SCOPES 2002: 120-129 |
| 73 | | Jens Palsberg,
Tian Zhao:
Efficient Type Inference for Record Concatenation and Subtyping.
LICS 2002: 125-136 |
| 72 | | Jens Palsberg,
Scott J. Baxter:
Teaching reviewing to graduate students.
Commun. ACM 45(12): 22-24 (2002) |
| 2001 |
|---|
| 71 | | Dennis Brylow,
Niels Damgaard,
Jens Palsberg:
Static Checking of Interrupt-Driven Software.
ICSE 2001: 47-56 |
| 70 | | Christian Grothoff,
Jens Palsberg,
Jan Vitek:
Encapsulating Objects with Confined Types.
OOPSLA 2001: 241-253 |
| 69 | | Jens Palsberg:
Type-based analysis and applications.
PASTE 2001: 20-27 |
| 68 | | Jens Palsberg,
Tian Zhao:
Efficient and Flexible Matching of Recursive Types.
Inf. Comput. 171(2): 364-387 (2001) |
| 67 | | Jens Palsberg,
Christina Pavlopoulou:
From Polyvariant flow information to intersection and union types.
J. Funct. Program. 11(3): 263-317 (2001) |
| 2000 |
|---|
| 66 | | Jens Palsberg:
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings
Springer 2000 |
| 65 | | Jens Palsberg,
S. Krishnaswamy,
Minseok Kwon,
Di Ma,
Qiuyun Shao,
Y. Zhang:
Experience with Software Watermarking.
ACSAC 2000: 308-316 |
| 64 | | Jens Palsberg,
Tian Zhao:
Efficient and Flexible Matching of Recursive Types.
LICS 2000: 388-398 |
| 63 | | Frank Tip,
Jens Palsberg:
Scalable propagation-based call graph construction algorithms.
OOPSLA 2000: 281-293 |
| 1999 |
|---|
| 62 | | Alexander Aiken,
Edward L. Wimmers,
Jens Palsberg:
Optimal Representations of Polymorphic Types with Subtyping.
Higher-Order and Symbolic Computation 12(3): 237-282 (1999) |
| 1998 |
|---|
| 61 | | Jens Palsberg,
C. Barry Jay:
The Essence of the Visitor Pattern.
COMPSAC 1998: 9-15 |
| 60 | | Jens Palsberg,
Christina Pavlopoulou:
From Polyvariant Flow Information to Intersection and Union Types.
POPL 1998: 197-208 |
| 59 | | Jens Palsberg:
Eta-Redexes in Partial Evaluation.
Partial Evaluation 1998: 356-366 |
| 58 | | Jens Palsberg:
Equality-based flow analysis versus recursive types.
ACM Trans. Program. Lang. Syst. 20(6): 1251-1264 (1998) |
| 57 | | Linda M. Seiter,
Jens Palsberg,
Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations.
IEEE Trans. Software Eng. 24(1): 79-92 (1998) |
| 1997 |
|---|
| 56 | | Alexander Aiken,
Edward L. Wimmers,
Jens Palsberg:
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).
TACS 1997: 47-76 |
| 55 | | Jens Palsberg,
Mitchell Wand,
Patrick O'Keefe:
Type Inference with Non-Structural Subtyping.
Formal Asp. Comput. 9(1): 49-67 (1997) |
| 54 | | Peter Ørbæk,
Jens Palsberg:
Trust in the lambda-Calculus.
J. Funct. Program. 7(6): 557-591 (1997) |
| 53 | | Jens Palsberg,
Trevor Jim:
Type Inference with Simple Selftypes is NP-complete.
Nord. J. Comput. 4(2): 259-286 (1997) |
| 52 | | Chris Hankin,
Hanne Riis Nielson,
Jens Palsberg:
Position Statements on Strategic Directions for Research on Programming Languages.
SIGPLAN Notices 32(1): 59-65 (1997) |
| 51 | | Jens Palsberg,
Boaz Patt-Shamir,
Karl J. Lieberherr:
A New Approach to Compiling Adaptive Programs.
Sci. Comput. Program. 29(3): 303-326 (1997) |
| 50 | | Jens Palsberg:
Class-Graph Inference for Adaptive Programs.
TAPOS 3(2): 75-85 (1997) |
| 1996 |
|---|
| 49 | | Jens Palsberg,
Boaz Patt-Shamir,
Karl J. Lieberherr:
A New Approach to Compiling Adaptive Programs.
ESOP 1996: 280-295 |
| 48 | | Linda M. Seiter,
Jens Palsberg,
Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations.
SIGSOFT FSE 1996: 46-57 |
| 47 | | Jens Palsberg:
Type Inference for Objects.
ACM Comput. Surv. 28(2): 358-359 (1996) |
| 46 | | Chris Hankin,
Hanne Riis Nielson,
Jens Palsberg:
Strategic Directions in Research on Programming Languages.
ACM Comput. Surv. 28(4): 644-652 (1996) |
| 45 | | Jens Palsberg:
Compiler Technology for Object-Oriented Languages.
ACM Comput. Surv. 28(4es): 161 (1996) |
| 44 | | Jens Palsberg:
Software Evolution and Integration.
ACM Comput. Surv. 28(4es): 200 (1996) |
| 43 | | Jens Palsberg,
Scott F. Smith:
Constrained Types and Their Expressiveness.
ACM Trans. Program. Lang. Syst. 18(5): 519-527 (1996) |
| 42 | | Olivier Danvy,
Karoline Malmkjær,
Jens Palsberg:
Eta-Expansion Does The Trick.
ACM Trans. Program. Lang. Syst. 18(6): 730-751 (1996) |
| 41 | | Anders Bondorf,
Jens Palsberg:
Generating Action Compilers by Partial Evaluation.
J. Funct. Program. 6(2): 269-298 (1996) |
| 1995 |
|---|
| 40 | | Jens Palsberg,
Patrick O'Keefe:
A Type System Equivalent to Flow Analysis.
POPL 1995: 367-378 |
| 39 | | Jens Palsberg,
Peter Ørbæk:
Trust in the lambda-Calculus
SAS 1995: 314-329 |
| 38 | | Jens Palsberg:
Comparing Flow-Based Binding-Time Analyses.
TAPSOFT 1995: 561-574 |
| 37 | | Jens Palsberg:
Closure Analysis in Constraint Form.
ACM Trans. Program. Lang. Syst. 17(1): 47-62 (1995) |
| 36 | | Jens Palsberg,
Cun Xiao,
Karl J. Lieberherr:
Efficient Implementation of Adaptive Software.
ACM Trans. Program. Lang. Syst. 17(2): 264-292 (1995) |
| 35 | | Jens Palsberg,
Patrick O'Keefe:
A Type System Equivalent to Flow Analysis
ACM Trans. Program. Lang. Syst. 17(4): 576-599 (1995) |
| 34 | | Jens Palsberg,
Michael I. Schwartzbach:
Safety Analysis versus Type Inference
Inf. Comput. 118(1): 128-141 (1995) |
| 33 | | Jens Palsberg:
Efficient Inference of Object Types.
Inf. Comput. 123(2): 198-209 (1995) |
| 32 | | Olivier Danvy,
Karoline Malmkjær,
Jens Palsberg:
The Essence of Eta-Expansion in Partial Evaluation.
Lisp and Symbolic Computation 8(3): 209-227 (1995) |
| 31 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Recursive Subtyping.
Mathematical Structures in Computer Science 5(1): 113-125 (1995) |
| 30 | | Mitchell Wand,
Patrick O'Keefe,
Jens Palsberg:
Strong Normalization with Non-Structural Subtyping.
Mathematical Structures in Computer Science 5(3): 419-429 (1995) |
| 29 | | Ole Agesen,
Jens Palsberg,
Michael I. Schwartzbach:
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Softw., Pract. Exper. 25(9): 975-995 (1995) |
| 28 | | Jens Palsberg,
Michael I. Schwartzbach:
Editorial.
TAPOS 1(3): 149 (1995) |
| 27 | | Allan Cheng,
Javier Esparza,
Jens Palsberg:
Complexity Results for 1-Safe Nets.
Theor. Comput. Sci. 147(1&2): 117-136 (1995) |
| 1994 |
|---|
| 26 | | Jens Palsberg:
Flobal Program Analysis in Constraint Form.
CAAP 1994: 276-290 |
| 25 | | Jens Palsberg,
Michael I. Schwartzbach:
Binding-time Analysis: Abstract Interpretation versus Type Inference.
ICCL 1994: 277-288 |
| 24 | | Jens Palsberg:
Efficient Inference of Object Types
LICS 1994: 186-195 |
| 23 | | Olivier Danvy,
Karoline Malmkjær,
Jens Palsberg:
The Essence of Eta-Expansion in Partial Evaluation.
PEPM 1994: 11-20 |
| 22 | | William R. Cook,
Jens Palsberg:
A Denotational Semantics of Inheritance and Its Correctness
Inf. Comput. 114(2): 329-350 (1994) |
| 21 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Inference of Partial Types.
J. Comput. Syst. Sci. 49(2): 306-324 (1994) |
| 20 | | Andrew P. Black,
Jens Palsberg:
Foundations of Object-Oriented Languages - Workshop Report.
SIGPLAN Notices 29(3): 3-11 (1994) |
| 19 | | Jens Palsberg,
Michael I. Schwartzbach:
Static Typing for Object-Oriented Programming.
Sci. Comput. Program. 23(1): 19-53 (1994) |
| 1993 |
|---|
| 18 | | Ole Agesen,
Jens Palsberg,
Michael I. Schwartzbach:
Type Inference of SELF.
ECOOP 1993: 247-267 |
| 17 | | Mike Banahan,
L. Peter Deutsch,
Boris Magnusson,
Jens Palsberg:
Panel: Aims, Means, and Future of Object-Oriented Languages.
ECOOP 1993: 528-530 |
| 16 | | Anders Bondorf,
Jens Palsberg:
Compiling Actions by Partial Evaluation.
FPCA 1993: 308-320 |
| 15 | | Allan Cheng,
Javier Esparza,
Jens Palsberg:
Complexity Results for 1-safe Nets.
FSTTCS 1993: 326-337 |
| 14 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Recursive Subtyping.
POPL 1993: 419-428 |
| 13 | | Jens Palsberg:
Normal Forms Have Partial Types.
Inf. Process. Lett. 45(1): 1-3 (1993) |
| 12 | | Jens Palsberg:
Correctness of Binding-Time Analysis.
J. Funct. Program. 3(3): 347-363 (1993) |
| 11 | | Michael I. Schwartzbach,
Jens Palsberg:
Types for the language designer (abstract).
OOPS Messenger 4(2): 219 (1993) |
| 1992 |
|---|
| 10 | | Nicholas Oxhøj,
Jens Palsberg,
Michael I. Schwartzbach:
Making Type Inference Practical.
ECOOP 1992: 329-349 |
| 9 | | Jens Palsberg:
A Provably Correct Compiler Generator.
ESOP 1992: 418-434 |
| 8 | | Dexter Kozen,
Jens Palsberg,
Michael I. Schwartzbach:
Efficient Inference of Partial Types
FOCS 1992: 363-371 |
| 7 | | Jens Palsberg:
An automatically generated and provably correct compiler for a subset of Ada.
ICCL 1992: 117-126 |
| 6 | | Jens Palsberg,
Michael I. Schwartzbach:
Safety Analysis Versus Type Inference for Partial Types.
Inf. Process. Lett. 43(4): 175-180 (1992) |
| 5 | | Jens Palsberg,
Michael I. Schwartzbach:
Three discussions on object-oriented typing.
OOPS Messenger 3(2): 31-38 (1992) |
| 1991 |
|---|
| 4 | | Jens Palsberg,
Michael I. Schwartzbach:
What is Type-Safe Code Reuse?
ECOOP 1991: 325-341 |
| 3 | | Jens Palsberg,
Michael I. Schwartzbach:
Object-Oriented Type Inference.
OOPSLA 1991: 146-161 |
| 1990 |
|---|
| 2 | | Jens Palsberg,
Michael I. Schwartzbach:
Type Substitution for Object-Oriented Programming.
OOPSLA/ECOOP 1990: 151-160 |
| 1989 |
|---|
| 1 | | William R. Cook,
Jens Palsberg:
A Denotational Semantics of Inheritance and its Correctness.
OOPSLA 1989: 433-443 |
