Year |
Citation |
Score |
2019 |
Palsberg J. Toward a universal quantum programming language Acm Crossroads Student Magazine. 26: 14-17. DOI: 10.1145/3355759 |
0.32 |
|
2015 |
Bender J, Lesani M, Palsberg J. Declarative fence insertion Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 367-385. DOI: 10.1145/2814270.2814318 |
0.699 |
|
2014 |
Eslamimehr M, Palsberg J. Race directed scheduling of concurrent programs Acm Sigplan Notices. 49: 301-314. DOI: 10.1145/2555243.2555263 |
0.749 |
|
2014 |
Lesani M, Millstein T, Palsberg J. Automatic atomicity verification for clients of concurrent data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 550-567. DOI: 10.1007/978-3-319-08867-9_37 |
0.689 |
|
2014 |
Lesani M, Palsberg J. Decomposing opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8784: 391-405. |
0.681 |
|
2013 |
Eslamimehr M, Palsberg J. Testing versus static analysis of maximum stack size Proceedings - International Computer Software and Applications Conference. 619-626. DOI: 10.1109/COMPSAC.2013.100 |
0.731 |
|
2013 |
Lesani M, Palsberg J. Proving non-opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8205: 106-120. DOI: 10.1007/978-3-642-41527-2_8 |
0.687 |
|
2011 |
Palsberg J. Session details: Concurrent programming Sigplan Notices. 46. DOI: 10.1145/3264064 |
0.353 |
|
2011 |
Lesani M, Palsberg J. Communicating memory transactions Acm Sigplan Notices. 46: 157-167. DOI: 10.1145/2038037.1941577 |
0.717 |
|
2010 |
Kou S, Palsberg J. From OO to FPGA: Fitting round objects into square hardware? Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 109-124. DOI: 10.1145/1869459.1869470 |
0.304 |
|
2010 |
Pereira FMQ, Palsberg J. Punctual coalescing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6011: 165-184. DOI: 10.1007/978-3-642-11970-5_10 |
0.314 |
|
2009 |
Titzer BL, Palsberg J. Vertical object layout and compression for fixed heaps Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5700: 376-408. DOI: 10.1007/978-3-642-04164-8_18 |
0.795 |
|
2009 |
Pereira FMQ, Palsberg J. Ssa elimination after register allocation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5501: 158-173. DOI: 10.1007/978-3-642-00722-4_12 |
0.319 |
|
2008 |
Nystrom N, Saraswat V, Palsberg J, Grothoff C. Constrained types for object-oriented languages Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 457-474. DOI: 10.1145/1449764.1449800 |
0.705 |
|
2008 |
Naik M, Palsberg J. A type system equivalent to a model checker Acm Transactions On Programming Languages and Systems. 30. DOI: 10.1145/1387673.1387678 |
0.384 |
|
2008 |
Pereira FMQ, Palsberg J. Register allocation by puzzle solving Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 216-226. DOI: 10.1145/1375581.1375609 |
0.302 |
|
2008 |
Lee JK, Palsberg J, Pereira FMQ. Aliased register allocation for straight-line programs is NP-complete Theoretical Computer Science. 407: 258-273. DOI: 10.1016/J.Tcs.2008.05.025 |
0.385 |
|
2008 |
Hermanns H, Palsberg J. Improving the effectiveness of system verification: Guest editors' introduction to special section International Journal On Software Tools For Technology Transfer. 10: 111-112. DOI: 10.1007/S10009-007-0060-Z |
0.309 |
|
2007 |
Grothoff C, Palsberg J, Vitek J. Encapsulating objects with confined types Acm Transactions On Programming Languages and Systems. 29. DOI: 10.1145/1286821.1286823 |
0.729 |
|
2007 |
Titzer BL, Auerbach J, Bacon DF, Palsberg J. The ExoVM system for automatic VM and application reduction Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 352-362. DOI: 10.1145/1250734.1250775 |
0.776 |
|
2007 |
Nandivada VK, Pereira FMQ, Palsberg J. A framework for end-to-end verification and evaluation of register allocators Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4634: 153-169. |
0.768 |
|
2006 |
Zhao T, Palsberg J, Vitek J. Type-based confinement Journal of Functional Programming. 16: 83-128. DOI: 10.1017/S0956796805005691 |
0.352 |
|
2006 |
Hermanns H, Palsberg J. 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 Lecture Notes in Computer Science. 3920. DOI: 10.1007/11691372 |
0.452 |
|
2006 |
Nandivada VK, Palsberg J. SARA: Combining stack allocation and register allocation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3923: 232-246. DOI: 10.1007/11688839_19 |
0.749 |
|
2006 |
Palsberg J. Event driven software quality Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4279: 165. |
0.332 |
|
2005 |
Glew N, Palsberg J. Method inlining, dynamic class loading, and type soundness Journal of Object Technology. 4: 33-53. DOI: 10.5381/Jot.2005.4.8.A2 |
0.43 |
|
2005 |
Titzer BL, Palsberg J. Nonintrusive precision instrumentation of microcontroller software Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 59-68. DOI: 10.1145/1070891.1065919 |
0.784 |
|
2005 |
Palsberg J, Zhao T, Jim T. Automatic discovery of covariant read-only fields Acm Transactions On Programming Languages and Systems. 27: 126-162. DOI: 10.1145/1053468.1053472 |
0.341 |
|
2005 |
Titzer BL, Lee DK, Palsberg J. Avrora: Scalable sensor network simulation with precise timing 2005 4th International Symposium On Information Processing in Sensor Networks, Ipsn 2005. 2005: 477-482. DOI: 10.1109/IPSN.2005.1440978 |
0.746 |
|
2005 |
Palsberg J, Naik M. ILP-Based Resource-Aware Compilation Multiprocessor Systems-On-Chips. 337-354. DOI: 10.1016/B978-012385251-9/50027-X |
0.363 |
|
2005 |
Glew N, Palsberg J, Grothoff C. Type-safe optimisation of plugin architectures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3672: 135-154. DOI: 10.1007/11547662_11 |
0.697 |
|
2005 |
Nandivada VK, Palsberg J. Timing analysis of TCP servers for surviving denial-of-service attacks Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 541-549. |
0.74 |
|
2004 |
Brylow D, Palsberg J. Deadline analysis of interrupt-driven software Ieee Transactions On Software Engineering. 30: 634-655. DOI: 10.1109/Tse.2004.64 |
0.39 |
|
2004 |
Glew N, Palsberg J. Type-safe method inlining Science of Computer Programming. 52: 281-306. DOI: 10.1016/J.Scico.2004.03.009 |
0.313 |
|
2004 |
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs Information and Computation. 194: 144-174. DOI: 10.1016/J.Ic.2004.06.001 |
0.402 |
|
2004 |
Palsberg J, Zhao T. Type inference for record concatenation and subtyping Information and Computation. 189: 54-86. DOI: 10.1016/J.Ic.2003.10.001 |
0.421 |
|
2003 |
Palsberg J. Session details: Program analysis Sigplan Notices. 38. DOI: 10.1145/3262149 |
0.358 |
|
2003 |
Palsberg J, Wand M. CPS transformation of flow information Journal of Functional Programming. 13: 905-923. DOI: 10.1017/S0956796802004513 |
0.351 |
|
2003 |
Nandivada VK, Palsberg J. Efficient spill code for SDRAM Cases 2003: International Conference On Compilers, Architecture, and Synthesis For Embedded Systems. 24-31. |
0.756 |
|
2002 |
Naik M, Palsberg J. Compiling with code-size constraints Joint Conference On Languages, Compilers and Tools For Embedded Systems and Software and Compilers For Embedded Systems. 120-129. DOI: 10.1145/972627.972635 |
0.384 |
|
2002 |
Palsberg J, Zhao T. Efficient type inference for record concatenation and subtyping Proceedings - Symposium On Logic in Computer Science. 125-136. DOI: 10.1109/LICS.2002.1029822 |
0.325 |
|
2002 |
Palsberg J, Ma D. A Typed Interrupt Calculus Lecture Notes in Computer Science. 291-310. DOI: 10.1007/3-540-45739-9_18 |
0.41 |
|
2001 |
Palsberg J, Zhao T. Efficient and flexible matching of recursive types Information and Computation. 171: 364-387. DOI: 10.1006/Inco.2001.3090 |
0.33 |
|
2001 |
Brylow D, Damgaard N, Palsberg J. Static checking of interrupt-driven software Proceedings - International Conference On Software Engineering. 47-56. |
0.351 |
|
2000 |
Palsberg J, Krishnaswamy S, Kwon M, Ma D, Shao Q, Zhang Y. Experience with software watermarking Proceedings - Annual Computer Security Applications Conference, Acsac. 2000: 308-316. DOI: 10.1109/ACSAC.2000.898885 |
0.304 |
|
1999 |
Palsberg J. Eta-redexes in partial evaluation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1706: 356-366. DOI: 10.1007/3-540-47018-2_15 |
0.395 |
|
1998 |
Seiter LM, Palsberg J, Lieberherr KJ. Evolution of object behavior using context relations Ieee Transactions On Software Engineering. 24: 79-92. DOI: 10.1109/32.663999 |
0.383 |
|
1997 |
Palsberg J, Wand M, O'Keefe P. Type Inference with Non-structural Subtyping Formal Aspects of Computing. 9: 49-67. DOI: 10.7146/Brics.V2I33.19936 |
0.306 |
|
1997 |
Hankin C, Nielson HR, Palsberg J. Position Statements on Strategic Directions for Research on Programming Languages Sigplan Notices (Acm Special Interest Group On Programming Languages). 32: 59-65. DOI: 10.1145/251595.251599 |
0.339 |
|
1997 |
Palsberg J, Patt-Shamir B, Lieberherr K. A new approach to compiling adaptive programs Science of Computer Programming. 29: 303-326. DOI: 10.1016/S0167-6423(97)00004-X |
0.402 |
|
1997 |
Palsberg J. Class-graph inference for adaptive programs Theory and Practice of Object Systems. 3: 75-85. DOI: 10.1002/(Sici)1096-9942(1997)3:2<75::Aid-Tapo1>3.3.Co;2-X |
0.418 |
|
1996 |
Danvy O, Malmkjær K, Palsberg J. Eta-Expansion Does The Trick (Revised Version) Brics Report Series. 3. DOI: 10.7146/Brics.V3I17.19979 |
0.346 |
|
1996 |
Danvy O, Malmkjær K, Palsberg J. Eta-Expansion Does the Trick Acm Transactions On Programming Languages and Systems. 18: 730-751. DOI: 10.7146/Brics.V2I41.21673 |
0.346 |
|
1996 |
Hankin C, Nielson HR, Palsberg J. Strategic directions in research on programming languages Acm Computing Surveys. 28: 644-652. DOI: 10.1145/242223.242260 |
0.384 |
|
1996 |
Palsberg J. Type inference for objects Acm Computing Surveys. 28: 358-359. DOI: 10.1145/234528.234750 |
0.388 |
|
1996 |
Palsberg J, Smith S. Constrained Types and Their Expressiveness Acm Transactions On Programming Languages and Systems. 18: 519-527. DOI: 10.1145/232706.232715 |
0.318 |
|
1996 |
Bondorf A, Palsberg J. Generating action compilers by partial evaluation Journal of Functional Programming. 6: 269-298. DOI: 10.1017/S0956796800001684 |
0.345 |
|
1995 |
Palsberg J. Type Inference with Selftype Brics Report Series. 2. DOI: 10.7146/Brics.V2I34.19937 |
0.346 |
|
1995 |
Palsberg J. Efficient Inference of Object Types Information and Computation. 123: 198-209. DOI: 10.7146/Brics.V2I32.19935 |
0.36 |
|
1995 |
Palsberg J, Ørbæk P. Trust in the lambda-calculus Brics Report Series. 2. DOI: 10.7146/Brics.V2I31.19934 |
0.337 |
|
1995 |
Palsberg J, O'Keefe P. A type system equivalent to flow analysis Acm Transactions On Programming Languages and Systems. 17: 576-599. DOI: 10.1145/210184.210187 |
0.362 |
|
1995 |
Palsberg J, Xiao C, Lieberherr K. Efficient Implementation of Adaptive Software Acm Transactions On Programming Languages and Systems (Toplas). 17: 264-292. DOI: 10.1145/201059.201066 |
0.416 |
|
1995 |
Palsberg J. Closure analysis in constraint form Acm Transactions On Programming Languages and Systems. 17: 47-62. DOI: 10.1145/200994.201001 |
0.319 |
|
1995 |
Palsberg J, Θrbaek P. Trust in the λ-calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 983: 315-329. DOI: 10.1017/S0956796897002906 |
0.337 |
|
1995 |
Palsberg J, Schwartzbach MI. Safety Analysis versus Type Inference Information and Computation. 118: 128-141. DOI: 10.1006/Inco.1995.1058 |
0.355 |
|
1995 |
Agesen O, Palsberg J, Schwartzbach MI. Type inference of SELF: analysis of objects with dynamic and multiple inheritance Software - Practice and Experience. 25: 975-995. DOI: 10.1002/Spe.4380250903 |
0.388 |
|
1994 |
Black A, Palsberg J. Foundations of object-oriented languages Sigplan Notices. 29: 3-11. DOI: 10.1145/181587.181588 |
0.301 |
|
1994 |
Kozen D, Palsberg J, Schwartzbach MI. Efficient inference of partial types Journal of Computer and System Sciences. 49: 306-324. DOI: 10.1016/S0022-0000(05)80051-0 |
0.363 |
|
1994 |
Palsberg J, Schwartzbach MI. Static typing for object-oriented programming Science of Computer Programming. 23: 19-53. DOI: 10.1016/0167-6423(94)00014-X |
0.386 |
|
1994 |
Cook W, Palsberg J. A Denotational Semantics of Inheritance and Its Correctness Information and Computation. 114: 329-350. DOI: 10.1006/Inco.1994.1090 |
0.342 |
|
Show low-probability matches. |