Jens Palsberg

Artificial Intelligence · 2000–2019

A researcher in the Science corpus: 3 papers; trusts 14 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 13 citations into it; #25,025 of 35,345 by trust here, #29,412 by citations
• Program Analysis & Verification — 10 citations into it; #171 of 301 by trust here, #274 by citations
• Software Engineering — 8 citations into it
• Hardware and Architecture — 7 citations into it; #285 of 1,551 by trust here, #908 by citations
• Information Systems — 7 citations into it; #5,644 of 8,771 by trust here, #8,258 by citations
• Computer Networks and Communications — 6 citations into it

Whom Jens Palsberg trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Sam Tobin-Hochstadt
2. Ronald Garcia
3. Yusuke Miyazaki
4. Zhaogui Xu
5. Jeremy G. Siek
6. Matthias Felleisen
7. Matteo Cimini

Who trusts Jens Palsberg overall

1. Ming-Ho Yee
2. Luca Mottola
3. Saurabh Ganeriwal
4. Aurélien Francillon
5. Arjun Guha

Papers from Jens Palsberg's perspective

Ordered by how strongly the researchers Jens Palsberg trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Design and Implementation of Typed Scheme: From Scripts to Programs
2. Principal Type Schemes for Gradual Programs
3. SensorSim: a simulation framework for sensor networks (International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems)
4. System architecture directions for networked sensors (SIGP)
5. The nesC language: A holistic approach to networked embedded systems (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. TOSSIM: accurate and scalable simulation of entire TinyOS applications (ACM International Conference on Embedded Networked Sensor Systems)
7. Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (International Conference on Compiler Construction)
8. ATEMU: a fine-grained sensor network simulator (2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004.)
9. EmStar: A Software Environment for Developing and Deploying Wireless Sensor Networks (USENIX ATC, General Track)
10. Dynamic type inference for gradual Hindley–Milner typing

Their papers

• What is decidable about gradual types? (2019) — 16 citations
• Avrora: scalable sensor network simulation with precise timing (2005) — 778 citations
• Scalable propagation-based call graph construction algorithms (2000) — 304 citations