Sciweavers

391 search results - page 52 / 79
» Automatic programming with semantic streams
Sort
View
ICFP
2005
ACM
15 years 11 months ago
Continuations from generalized stack inspection
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
Greg Pettyjohn, John Clements, Joe Marshall, Shrir...
133
Voted
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
14 years 9 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
116
Voted
EMNLP
2011
13 years 10 months ago
Generating Aspect-oriented Multi-Document Summarization with Event-aspect model
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...
Peng Li, Yinglin Wang, Wei Gao, Jing Jiang
89
Voted
GPCE
2009
Springer
14 years 8 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
113
Voted
ICDT
2011
ACM
187views Database» more  ICDT 2011»
14 years 2 months ago
The PADS project: an overview
The goal of the PADS project, which started in 2001, is to make it easier for data analysts to extract useful information from ad hoc data files. This paper does not report new r...
Kathleen Fisher, David Walker