Search Results - "Palsberg, Jens"

Optimal implementation of quantum gates with two controls by Palsberg, Jens, Yu, Nengkun

“…We give a detailed proof of a well-known theorem in quantum computing. The theorem characterizes the number of two-qubit gates that is necessary for…”
Get full text

Fast and Precise Application Code Analysis using a Partial Library by Utture, Akshay, Palsberg, Jens

“…Long analysis times are a key bottleneck for the widespread adoption of whole-program static analysis tools. Fortunately, however, a user is often only…”
Get full text

Low-Overhead Deadlock Prediction by Cai, Yan, Meng, Ruijie, Palsberg, Jens

“…Multithreaded programs can have deadlocks, even after deployment, so users may want to run deadlock tools on deployed programs. However, current deadlock…”
Get full text

Striking a Balance: Pruning False-Positives from Static Call Graphs by Utture, Akshay, Liu, Shuyang, Kalhauge, Christian Gram, Palsberg, Jens

“…Researchers have reported that static analysis tools rarely achieve a false-positive rate that would make them attractive to developers. We overcome this…”
Get full text

Building a Quantum Engineering Undergraduate Program by Asfaw, Abraham, Blais, Alexandre, Brown, Kenneth R., Candelaria, Jonathan, Cantwell, Christopher, Carr, Lincoln D., Combes, Joshua, Debroy, Dripto M., Donohue, John M., Economou, Sophia E., Edwards, Emily, Fox, Michael F. J., Girvin, Steven M., Ho, Alan, Hurst, Hilary M., Jacob, Zubin, Johnson, Blake R., Johnston-Halperin, Ezekiel, Joynt, Robert, Kapit, Eliot, Klein-Seetharaman, Judith, Laforest, Martin, Lewandowski, H. J., Lynn, Theresa W., McRae, Corey Rae H., Merzbacher, Celia, Michalakis, Spyridon, Narang, Prineha, Oliver, William D., Palsberg, Jens, Pappas, David P., Raymer, Michael G., Reilly, David J., Saffman, Mark, Searles, Thomas A., Shapiro, Jeffrey H., Singh, Chandralekha

“…Contribution: A roadmap is provided for building a quantum engineering education program to satisfy U.S. national and international workforce needs…”
Get full text

Improving the effectiveness of system verification: Guest editors’ introduction to special section by Hermanns, Holger, Palsberg, Jens

“…This special section presents three extended and revised papers which originally appeared in the proceedings of the 12th edition of the conference “Tools and…”
Get full text

Introduction to special issue on embedded systems architecture and applications by Palsberg, Jens, Seelam, Seetharami, Natale, Marco Di, Liu, Lei

Get full text

MEMOCODE 2006 guest editors’ introduction by Hoe, James C., Palsberg, Jens

Get full text

Aliased register allocation for straight-line programs is NP-complete by Lee, Jonathan K., Palsberg, Jens, Pereira, Fernando Magno Quintão

“…Register allocation is NP-complete in general but can be solved in linear time for straight-line programs where each variable has at most one definition point…”
Get full text

Deadline analysis of interrupt-driven software by Brylow, D., Palsberg, J.

“…Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical…”
Get full text

Static checking of interrupt-driven software by Brylow, D., Damgaard, N., Palsberg, J.

“…Resource-constrained devices are becoming ubiquitous. Examples include cell phones, Palm Pilots and digital thermostats. It can be difficult to fit the…”
Get full text

Agnostic Protocol Translation for Cross-Domain Information Sharing by Chen Liu, Bao-Hong Shen, Oh, Soon Y., Gerla, Mario, Palsberg, Jens, Banner, Clif, Butler, Richard

“…Network translation gateways can provide seamless interoperability among different airborne, ground and maritime domains. Effective interconnection between…”
Get full text

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities by Pointing, Jessica, Padon, Oded, Jia, Zhihao, Ma, Henry, Hirth, Auguste, Palsberg, Jens, Aiken, Alex

“…Existing quantum compilers focus on mapping a logical quantum circuit to a quantum device and its native quantum gates. Only simple circuit identities are used…”
Get full text

Testing versus Static Analysis of Maximum Stack Size by Eslamimehr, Mahdi, Palsberg, Jens

“…For event-driven software on resource-constrained devices, estimates of the maximum stack size can be of paramount importance. For example, a poor estimate led…”
Get full text

Type inference for record concatenation and subtyping by Palsberg, Jens, Zhao, Tian

“…Record concatenation, multiple inheritance, and multiple-object cloning are closely related and part of various language designs. For example, in Cardelli’s…”
Get full text

Complexity results for 1-safe nets by Cheng, Allan, Esparza, Javier, Palsberg, Jens

“…We study the complexity of several standard problems for 1-safe Petri nets and some of its subclasses. We prove that reachability, liveness, and deadlock are…”
Get full text

Efficient Inference of Object Types: Volume123,Number 2 (1995), pages 198–209 by Palsberg, Jens

Get full text

Type-safe method inlining by Glew, Neal, Palsberg, Jens

“…In a typed language such as Java, inlining of virtual methods does not always preserve typability. The best known solution to this problem is to insert type…”
Get full text

Quartz: Superoptimization of Quantum Circuits (Extended Version) by Xu, Mingkuan, Li, Zikun, Padon, Oded, Lin, Sina, Pointing, Jessica, Hirth, Auguste, Ma, Henry, Palsberg, Jens, Aiken, Alex, Acar, Umut A, Jia, Zhihao

“…Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort…”
Get full text

Avrora: scalable sensor network simulation with precise timing by Titzer, B.L., Lee, D.K., Palsberg, J.

“…Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past…”
Get full text