EDBT 2026 Demo / reviewers in the wild / expert
Alan H. Karp
dblp:36/4757
· DBLP profile ↗
16ranked-venue papers
7as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 5 · 3 first-authorTheory of computation · 4 · 2 first-authorSecurity and privacy · 3 · 2 first-authorArtificial intelligence and machine learning · 2 · 1 first-authorComputer networks · 2Software engineering, systems software and programming languages · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Algorithmic game theory and mechanism design · 48% Algorithms and data structures · 48% Mathematical optimization · 3% | |
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 77% Planning, search and constraint satisfaction · 23% | |
| Software engineering, system software, and programming languages
1 paper |
Services computing and microservices · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
High-performance computing · 100% | |
| Network and information security
1 paper |
Authentication and access control · 100% |
Topics — the 9 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.0 | 1 | 2004 | Customizable description and dynamic discovery for web services · EC 2004 |
Services computing and microservices › service discovery
web service discovery |
0.0 | 1 | 2004 | Customizable description and dynamic discovery for web services · EC 2004 |
Algorithmic game theory and mechanism design › negotiation
automated negotiation |
0.0 | 1 | 2004 | A game tree strategy for automated negotiation · EC 2004 |
Algorithms and data structures › search algorithms
game tree search |
0.0 | 1 | 2004 | A game tree strategy for automated negotiation · EC 2004 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
game tree search |
0.0 | 1 | 2004 | A game tree strategy for automated negotiation · EC 2004 |
Authentication and access control
access control |
0.0 | 1 | 2004 | Customizable description and dynamic discovery for web services · EC 2004 |
High-performance computing
scientific computing systems |
0.0 | 1 | 1991 | Gordon Bell prize lectures · SC 1991 |
High-performance computing › supercomputing
supercomputing applications |
0.0 | 1 | 1991 | Gordon Bell prize lectures · SC 1991 |
Mathematical optimization › numerical computation
elementary function evaluation |
0.0 | 1 | 1984 | Exponential and Logarithm by Sequential Squaring · IEEE Trans. Computers 1984 |
Methods — techniques the papers use, named apart from their topics
constraint-based search · 0.1attribute-based matching · 0.1game tree search · 0.1expected payoff evaluation · 0.1shift-add-multiply · 0.0sequential squaring · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | Managing Data Retention Policies at ScaleabstractRegulatory policies such as EU privacy, HIPAA, and PCI-DSS place requirements on availability, integrity, migration, retention, and access of data, and compliance with such policies on stored data remains a key hurdle to cloud computing. This paper proposes a policy management service that offers scalable management of data retention policies attached to data objects stored in a cloud environment. An important aspect of any data retention service is permanent deletion of data. We achieve secure data deletion by encrypting the data when stored, and then deleting the encryption key at a specified retention time. Thus, we effectively delete the data object and its copies stored in online and offline environments. Our data retention service includes a highly scalable and secure encryption key store to manage encryption keys on-line. A prototype deployed on a 16-machine Linux cluster currently supports 56 MB/sec for encryption, 76 MB/sec for decryption, 31,000 retention policies/sec read and 15,000 retention policies/sec write. Jun Li 0008, Sharad Singhal, Ram Swaminathan, Alan H. Karp |
IEEE Trans. Netw. Serv. Manag. | 4 |
| 2011 | Managing data retention policies at scaleabstractCompliance with regulatory policies on data remains a key hurdle to cloud computing. Policies such as EU privacy, HIPAA, and PCI-DSS place requirements on data availability, integrity, migration, retention, and access, among many others. This paper proposes a policy management service that offers scalable management of data retention policies attached to data objects stored in a cloud environment. The management service includes a highly available and secure encryption key store to manage the encryption keys of data objects. By deleting the encryption key at a specified retention time associated with the data object, we effectively delete the data object and its copies stored in online and offline environments. To achieve scalability, our service uses Hadoop MapReduce to perform parallel management tasks, such as data encryption and decryption, key distribution and retention policy enforcement. A prototype deployed in a 16-machine Linux cluster currently supports 56 MB/sec for encryption, 76 MB/sec for decryption, 31,000 retention policies/sec read and 15,000 retention policies/sec write. Jun Li 0008, Sharad Singhal, Ram Swaminathan, Alan H. Karp |
Integrated Network Management | 4 |
| 2010 | Solving the Transitive Access Problem for the Services Oriented ArchitectureabstractA key goal of the Services Oriented Architecture is the composition of independently written and managed services. However, managing access to these services has proven to be a problem. A particularly difficult case involves a service that invokes another service to satisfy an initial request. In a number of cases, implementations are able to achieve either the desired functionality or the required security, but not both at the same time. We say that this service composition suffers from the transitive access problem. We show that the problem arises from a poor choice of access control mechanism, one that uses subject authentication to make access decisions, and that the problem does not occur if we use delegatable authorizations. Alan H. Karp, Jun Li 0008 |
ARES | 1 |
| 2009 | Near-field communication-based secure mobile payment serviceabstractThe loss of customer account information makes headlines all too often. The Payment Card Industry (PCI) Data Security Standard (DSS) has generated resistance from merchants because of its cost and complexity. Unfortunately, innovating in the Point of Sale (PoS) space is hard because the protocols have been standardized, tightly constraining new ideas. Using mobile phones as payment devices opens up some opportunities, but any solution must minimize changes in the back-end processing. This paper describes a Near Field Communication (NFC) based mobile phone payment solution in a service-oriented environment, which provides the needed data protection without requiring costly changes to the payment processing infrastructure. In the payment transaction path, a personal mobile phone is viewed as a single, user-trusted touch point. Compared to other solutions available, our approach better protects user credentials, provides better user control over the transaction, and supports both proximity and remote transactions. The prototype has been integrated with an instore kiosk application and a HP multi-channel banking platform to demonstrate its value in the retail environment. Kiran S. Kadambi, Jun Li 0008, Alan H. Karp |
ICEC | 3 |
| 2009 | Mobile In-store Personalized ServicesabstractThe mobile shopping assistant (MSA) is a mobile application platform to deliver real-time, in-store, and personalized services, such as personalized product offerings and in-store customer advisory support, to improve the shopping experiences of in-store customers. The service delivery network that powers the MSA involves retail stores and their business partners such as manufacturers. This paper presents the core technologies that we developed in this cross-organizational service network to support the MSA and its personalized services, with focus on service delivery, customer behavior understanding and information sharing. Our event-based techniques allow customers, stores and manufacturers to deliver and consume the services in a loosely coupled manner, thus solving a critical store-specific real-time engagement problem in a seamless way. Service response tracking enables the stores to construct a comprehensive view of a customerpsilas in-store shopping behavior. Finally, the cross-organizational authorization-based access control mechanism effectively enforces information sharing between the stores and their partners. Jun Li 0008, Ismail Ari, Jhilmil Jain, Alan H. Karp, Mohamed Dekhil |
ICWS | 4 |
| 2009 | Not one click for security?abstractMost people agree with the statement, “There is an inevitable tension between usability and security. ” We don’t, so we set out to build a useful tool to prove our point. Since people in our line of work often share work on documents, such as this paper, we Alan H. Karp, Marc Stiegler, Tyler Close |
SOUPS | 1 |
| 2007 | Delegating Responsibility in Digital Systems: Horton's "Who Done It?"
Mark S. Miller, James E. Donnelley, Alan H. Karp |
HotSec | 3 |
| 2004 | A game tree strategy for automated negotiationabstractWe present a strategy for automatic negotiation that takes the same approach as computer programs that play games such as chess; we build the game tree. For every offer we look at every counteroffer, every counteroffer to each of them, and so on. The strategy then selects the counteroffer that has the largest expected payoff. A number of problems arise that are unique to using this strategy for negotiation. These include uncertainty in the opponent’s goals, the fact that a bad move can penalize both players, and moves that are continuous, as opposed to discrete. We show how the standard methods of building the tree and evaluating the results were adapted to this environment. Alan H. Karp, Ren Wu, Kay-Yut Chen, Alex Zhang |
EC | 1 |
| 2004 | Customizable description and dynamic discovery for web servicesabstractWe present a framework for developing ontologies suitable for a dynamic environment, such as that for web services, and describe itsuse in a commercial system for resource discovery. This framework recognizes the importance of standards but allows for evolution in away that doesn't disrupt those adhering to the standards. The framework is based on the notion of discoverable resources which offer extensibility and security. The specific ontology we use in thesystem includes some salient features, such as attribute based matching rules and the corresponding constraint based search, attributes with dynamic values, and active queries. WooYoung Kim, Alan H. Karp |
EC | 2 |
| 1997 | High-Precision Division and Square RootabstractWe present division and square root algorithm for calculations with more bits than are handled by the floating-point hardware. These algorithms avoid the need to multiply two high-precision numbers, speeding up the last iteration by as much as a factor of 10. We also show how to produce the floating-point number closest to the exact result with relatively few additional operations. Alan H. Karp, Peter W. Markstein |
ACM Trans. Math. Softw. | 1 |
| 1993 | Gordon Bell prize lectures 1993abstractNo abstract available. Don Eric Heller, Alan H. Karp, Horst D. Simon |
SC | 2 |
| 1992 | Gordon Bell Prize Lectures 1992
Alan H. Karp, Ken Miura, Horst D. Simon |
SC | 1 |
| 1991 | Gordon Bell prize lecturesabstractThe Gordon Bell Prize recognizes significant achievements in the application of supercomputers to scientific and engineering problems.In this special session the winners of the 1990 pm"ze will give presentations about i!heir winning entries in the competition. Jack J. Dongarra, Alan H. Karp, Ken Miura, Horst D. Simon |
SC | 2 |
| 1990 | A variable order Runge-Kutta method for initial value problems with rapidly varying right-hand sidesabstractExplicit Runge-Kutta methods (RKMs) are among the most popular classes of formulas for the approximate numerical integration of nonstiff, initial value problems. However, high-order Runge-Kutta methods require more function evaluations per integration step than, for example, Adams methods used in PECE mode, and so, with RKMs, it is expecially important to avoid rejected steps. Steps are often rejected when certain derivatives of the solutions are very large for part of the region of integration. This corresponds, for example, to regions where the solution has a sharp front or, in the limit, some derivative of the solution is discontinuous. In these circumstances the assumption that the local truncation error is changing slowly is invalid, and so any step-choosing algorithm is likely to produce an unacceptable step. In this paper we derive a family of explicit Runge-Kutta formulas. Each formula is very efficient for problems with smooth solution as well as problems having rapidly varying solutions. Each member of this family consists of a fifty-order formula that contains imbedded formulas of all orders 1 through 4. By computing solutions at several different orders, it is possible to detect sharp fronts or discontinuities before all the function evaluations defining the full Runge-Kutta step have been computed. We can then either accpet a lower order solution or abort the step, depending on which course of action seems appropriate. The efficiency of the new algorithm is demonstrated on the DETEST test set as well as on some difficult test problems with sharp fronts or discontinuities. Jeff R. Cash, Alan H. Karp |
ACM Trans. Math. Softw. | 2 |
| 1987 | An improved parallel Jacobi method for diagonalizing a symmetric matrix
Alan H. Karp, John Greenstadt |
Parallel Comput. | 1 |
| 1984 | Exponential and Logarithm by Sequential SquaringabstractA simple scheme is presented for computing the exponential of a floating point number using only shift, add, and multiply instructions. The algorithm involves no range reduction and handles overflow and underflow conditions automatically. It can be used to provide a result of any desired accuracy, provided only that sufficient precision is used during the calculation. The basic algorithm and three improvements are described. Both computational complexity and numerical precision are discussed. For the sake of symmetry, a method for computing the logarithm along similar lines is given. Alan H. Karp |
IEEE Trans. Computers | 1 |