Avrora: Scalable sensor network simulation with precise timing BL Titzer, DK Lee, J Palsberg IPSN 2005. Fourth International Symposium on Information Processing in …, 2005 | 994 | 2005 |
A denotational semantics of inheritance and its correctness W Cook, J Palsberg ACM Sigplan Notices 24 (10), 433-443, 1989 | 533* | 1989 |
Object-oriented type inference J Palsberg, MI Schwartzbach ACM SIGPLAN Notices 26 (11), 146-161, 1991 | 479 | 1991 |
Object-oriented type systems J Palsberg, MI Schwartzbach John Wiley and Sons Ltd., 1994 | 375 | 1994 |
Scalable propagation-based call graph construction algorithms F Tip, J Palsberg Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000 | 366 | 2000 |
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995 | 289 | 1995 |
The essence of the visitor pattern J Palsberg, CB Jay Proceedings. The Twenty-Second Annual International Computer Software and …, 1998 | 285 | 1998 |
Concurrent collections Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ... Scientific Programming 18 (3-4), 203-217, 2010 | 255 | 2010 |
Experience with software watermarking J Palsberg, S Krishnaswamy, M Kwon, D Ma, Q Shao, Y Zhang Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00 …, 2000 | 231 | 2000 |
A type system equivalent to flow analysis J Palsberg, P O'Keefe ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (4), 576-599, 1995 | 196 | 1995 |
Type Inference of Self Analysis of Objects with Dynamic and Multiple Inheritance O Agesen, J Palsberg, MI Schwartzbach European Conference on Object-Oriented Programming, 247-267, 1993 | 174 | 1993 |
Efficient recursive subtyping D Kozen, J Palsberg, MI Schwartzbach Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 174 | 1993 |
Encapsulating objects with confined types C Grothoff, J Palsberg, J Vitek Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001 | 173* | 2001 |
Trust in the λ-calculus J Palsberg, P Ørbæk Static Analysis: Second International Symposium, SAS'95 Glasgow, UK …, 1995 | 161* | 1995 |
Making type inference practical N Oxhøj, J Palsberg, MI Schwartzbach ECOOP’92 European Conference on Object-Oriented Programming: Utrecht, The …, 1992 | 160 | 1992 |
Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005 | 147* | 2005 |
Evolution of object behavior using context relations LM Seiter, J Palsberg, KJ Lieberherr IEEE Transactions on Software Engineering 24 (1), 79-92, 1998 | 136 | 1998 |
Efficient inference of object types J Palsberg Information and computation 123 (2), 198-209, 1995 | 130 | 1995 |
Register allocation by puzzle solving FM Quintão Pereira, J Palsberg Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 126 | 2008 |
Closure analysis in constraint form J Palsberg ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 47-62, 1995 | 121* | 1995 |