Jens Palsberg Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Martín Abadi [98] [106]
2Ole Agesen [18] [29]
3Alexander Aiken (Alex Aiken) [56] [62]
4Luca de Alfaro [119]
5Joshua S. Auerbach [108]
6David F. Bacon [108]
7Mike Banahan [17]
8Scott J. Baxter [72]
9Andrew P. Black [20]
10Anders Bondorf [16] [41]
11Dennis Brylow [71] [82] [87]
12Kevin K. Chang [91]
13Krishnendu Chatterjee [80] [85]
14Allan Cheng [15] [27]
15Brian Chin [101]
16William R. Cook [1] [22]
17Niels Damgaard [71]
18Olivier Danvy [23] [32] [42]
19L. Peter Deutsch [17]
20Matthew B. Dwyer [78]
21Javier Esparza [15] [27]
22Deborah Estrin [91]
23Neal Glew [77] [84] [89] [92]
24Christian Grothoff [70] [92] [105] [117]
25Chris Hankin [46] [52]
26Klaus Havelund [118]
27Thomas A. Henzinger [80] [85]
28Holger Hermanns [104] [113]
29Manuel V. Hermenegildo [126]
30C. Barry Jay [61]
31Somesh Jha [75]
32Trevor Jim [53] [90]
33Dexter Kozen [8] [14] [21] [31]
34S. Krishnaswamy [65]
35Minseok Kwon [65]
36Daniel K. Lee [94]
37Jonathan K. Lee [109] [112] [125]
38Karl J. Lieberherr [36] [48] [49] [51] [57]
39Di Ma [65] [76] [80] [85]
40Boris Magnusson [17]
41Rupak Majumdar [80] [85] [118]
42Karoline Malmkjær [23] [32] [42]
43Shane Markstrum [101]
44Todd D. Millstein [101]
45Mayur Naik [74] [88] [96] [114]
46V. Krishna Nandivada [83] [95] [102] [107]
47Hanne Riis Nielson [46] [52]
48Nathaniel Nystrom [117]
49Patrick O'Keefe [30] [35] [40] [55]
50Peter Ørbæk [39] [54]
51Nicholas Oxhøj [10]
52Boaz Patt-Shamir [49] [51]
53Christina Pavlopoulou [60] [67]
54Fernando Magno Quintão Pereira [97] [100] [107] [109] [112] [116] [122]
55Nithya Ramanathan [91]
56Vijay A. Saraswat [117]
57Michael I. Schwartzbach [2] [3] [4] [5] [6] [8] [10] [11] [14] [18] [19] [21] [25] [28] [29] [31] [34]
58Linda M. Seiter [48] [57]
59Qiuyun Shao [65]
60Scott F. Smith [43]
61Zhendong Su [124]
62Frank Tip [63]
63Ben Titzer [93] [94] [108] [111] [120]
64Jan Vitek [70] [81] [99] [105]
65Mitchell Wand [30] [55] [79]
66Edward L. Wimmers [56] [62]
67Cun Xiao [36]
68Y. Zhang [65]
69Tian Zhao [64] [68] [73] [75] [80] [81] [85] [86] [90] [99]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)