Search results for "PEPM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Francisco Javier López-Fraguas, Enrique Martin-Martin	Typing as functional-logic evaluation.	PEPM	2013	DBLP DOI BibTeX RDF
1	Zhenjiang Hu	Practical aspects of bidirectional graph transformations.	PEPM	2013	DBLP DOI BibTeX RDF
1	Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz	Translating flowcharts to non-deterministic languages.	PEPM	2012	DBLP DOI BibTeX RDF
1	Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano 0001	Polynomial-time inverse computation for accumulative functions with multiple data traversals.	PEPM	2012	DBLP DOI BibTeX RDF
1	Takumi Goto, Isao Sasano	An approach to completing variable names for implicitly typed functional languages.	PEPM	2012	DBLP DOI BibTeX RDF
1	Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky	Scala-virtualized.	PEPM	2012	DBLP DOI BibTeX RDF
1	Geoffrey William Hamilton, Neil D. Jones	Distillation with labelled transition systems.	PEPM	2012	DBLP DOI BibTeX RDF
1	Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky	StagedSAC: a case study in performance-oriented DSL development.	PEPM	2012	DBLP DOI BibTeX RDF
1	Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel	Composing transformations for instrumentation and optimization.	PEPM	2012	DBLP DOI BibTeX RDF
1	Susumu Katayama	An analytical inductive functional programming system that avoids unintended programs.	PEPM	2012	DBLP DOI BibTeX RDF
1	Markus Püschel	Compiling math to fast code.	PEPM	2012	DBLP DOI BibTeX RDF
1	Martin Berger 0001	Specification and verification of meta-programs.	PEPM	2012	DBLP DOI BibTeX RDF
1	Edvard K. Karlsen, Einar W. Høst, Bjarte M. Østvold	Finding and fixing Java naming bugs with the Lancelot Eclipse plugin.	PEPM	2012	DBLP DOI BibTeX RDF
1	Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez	Incremental resource usage analysis.	PEPM	2012	DBLP DOI BibTeX RDF
1	Dana N. Xu	Hybrid contract checking via symbolic simplification.	PEPM	2012	DBLP DOI BibTeX RDF
1	Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr	The interaction of contracts and laziness.	PEPM	2012	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni	Obfuscation by partial evaluation of distorted interpreters.	PEPM	2012	DBLP DOI BibTeX RDF
1	Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla	COSTABS: a cost and termination analyzer for ABS.	PEPM	2012	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Simon J. Thompson (eds.)	Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012	PEPM	2012	DBLP BibTeX RDF
1	Martin Hirzel, Bugra Gedik	Streams that compose using macros that oblige.	PEPM	2012	DBLP DOI BibTeX RDF
1	Naoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara	Functional programs as compressed data.	PEPM	2012	DBLP DOI BibTeX RDF
1	Janis Voigtländer	Ideas for connecting inductive program synthesis and bidirectionalization.	PEPM	2012	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá	Well-typed narrowing with extra variables in functional-logic programming.	PEPM	2012	DBLP DOI BibTeX RDF
1	Jacques Carette, Aaron Stump	Towards typing for small-step direct reflection.	PEPM	2012	DBLP DOI BibTeX RDF
1	Olivier Danvy, Jacob Johannsen, Ian Zerny	A walk in the semantic park.	PEPM	2011	DBLP DOI BibTeX RDF
1	Olaf Chitil	A semantics for lazy assertions.	PEPM	2011	DBLP DOI BibTeX RDF
1	Siau-Cheng Khoo, Jeremy G. Siek (eds.)	Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011	PEPM	2011	DBLP BibTeX RDF
1	Yan Wang 0077, Verónica Gaspes	An embedded language for programming protocol stacks in embedded systems.	PEPM	2011	DBLP DOI BibTeX RDF
1	Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto	Adaptation-based programming in java.	PEPM	2011	DBLP DOI BibTeX RDF
1	Rafael Caballero 0001	A program transformation for returning states in functional-logic programs.	PEPM	2011	DBLP DOI BibTeX RDF
1	Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo	Allocation removal by partial evaluation in a tracing JIT.	PEPM	2011	DBLP DOI BibTeX RDF
1	Peter A. Jonsson, Johan Nordlander	Taming code explosion in supercompilation.	PEPM	2011	DBLP DOI BibTeX RDF
1	Torben Æ. Mogensen	Partial evaluation of the reversible language janus.	PEPM	2011	DBLP DOI BibTeX RDF
1	Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez	Verified resource guarantees using COSTA and KeY.	PEPM	2011	DBLP DOI BibTeX RDF
1	João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer	Strictification of circular programs.	PEPM	2011	DBLP DOI BibTeX RDF
1	Enrique Martin-Martin	Type classes in functional logic programming.	PEPM	2011	DBLP DOI BibTeX RDF
1	Dimitrios Vardoulakis, Olin Shivers	Ordering multiple continuations on the stack.	PEPM	2011	DBLP DOI BibTeX RDF
1	Jacques Carette, Mustafa Elsheikh, W. Spencer Smith	A generative geometric kernel.	PEPM	2011	DBLP DOI BibTeX RDF
1	Charles Consel	DiaSuite: a paradigm-oriented software development approach.	PEPM	2011	DBLP DOI BibTeX RDF
1	Yuta Ikeda, Susumu Nishimura	Calculating tree navigation with symmetric relational zipper.	PEPM	2011	DBLP DOI BibTeX RDF
1	Martin C. Rinard	Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation.	PEPM	2011	DBLP DOI BibTeX RDF
1	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen	iTasks for a change: type-safe run-time change in dynamically evolving workflows.	PEPM	2011	DBLP DOI BibTeX RDF
1	Hugo Pacheco 0001, Alcino Cunha	Calculating with lenses: optimising bidirectional transformations.	PEPM	2011	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
1	Christopher Brown 0002, Simon J. Thompson	Clone detection and elimination for Haskell.	PEPM	2010	DBLP DOI BibTeX RDF	hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code
1	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
1	Xin Li 0010, Mizuhito Ogawa	Conditional weighted pushdown systems and applications.	PEPM	2010	DBLP DOI BibTeX RDF	weighted pushdown systems, model checking
1	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
1	Martin Hofmann 0008	IGOR2 - an analytical inductive functional programming system: tool demo.	PEPM	2010	DBLP DOI BibTeX RDF	igor2, inductive programming, tool demo, example
1	Martin Hofmann 0008, Emanuel Kitzelmann	I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.	PEPM	2010	DBLP DOI BibTeX RDF	higherorder functions, igorii, inductive programming, program schemes, haskell
1	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
1	Fritz Henglein	Optimizing relational algebra operations using generic equivalence discriminators and lazy products.	PEPM	2010	DBLP DOI BibTeX RDF	cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
1	Lennart Augustsson	O, partial evaluator, where art thou?	PEPM	2010	DBLP DOI BibTeX RDF	applications, haskell, partial evaluator
1	Hugh Anderson, Siau-Cheng Khoo	Regular approximation and bounded domains for size-change termination.	PEPM	2010	DBLP DOI BibTeX RDF	affine size-change termination, termination analysis
1	Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero	Context-sensitive analysis of obfuscated x86 executables.	PEPM	2010	DBLP DOI BibTeX RDF	analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis
1	Florian Haftmann	From higher-order logic to Haskell: there and back again.	PEPM	2010	DBLP DOI BibTeX RDF	code generation, theorem proving, haskell, higher-order logic, isabelle
1	Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest	A3PAT, an approach for certified automated termination proofs.	PEPM	2010	DBLP DOI BibTeX RDF	termination, term rewriting, automated reasoning, formal proof
1	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
1	Andrew Moss, Dan Page	Bridging the gap between symbolic and efficient AES implementations.	PEPM	2010	DBLP DOI BibTeX RDF	cao, memoisation, vectorisation, aes
1	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
1	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
1	Ivan Lazar Miljenovic	The SourceGraph program.	PEPM	2010	DBLP DOI BibTeX RDF	graph theory, static analysis, haskell, software analysis, call graph
1	José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh	Optimizing generics is easy!	PEPM	2010	DBLP DOI BibTeX RDF	optimization, benchmark, functional programming, haskell, generic programming
1	John P. Gallagher, Janis Voigtländer (eds.)	Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010	PEPM	2010	DBLP BibTeX RDF
1	Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo	Designing aspects for side-effect localization.	PEPM	2009	DBLP DOI BibTeX RDF	lazy semantics, aspect-oriented programming, side-effect
1	Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi	Type-based specialization of xml transformations.	PEPM	2009	DBLP DOI BibTeX RDF	types, xml, tree automata, program specialization
1	Alberto Pardo, João Paulo Fernandes, João Saraiva	Shortcut fusion rules for the derivation of circular and higher-order monadic programs.	PEPM	2009	DBLP DOI BibTeX RDF	monadic programming, shortcut fusion, deforestation, program calculation, circular programming
1	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A flexible framework for programming with non-deterministicfunctions.	PEPM	2009	DBLP DOI BibTeX RDF	call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems
1	Leon Evers, Jan Kuper	Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks.	PEPM	2009	DBLP DOI BibTeX RDF	wireless sensor networks, partial evaluation
1	Philippe Moret, Walter Binder, Alex Villazón	CProf: customizable calling context cross-profiling for embedded java processors.	PEPM	2009	DBLP DOI BibTeX RDF	cross-profiling, embedded java processors, java virtual machine, bytecode instrumentation
1	Umut A. Acar	Self-adjusting computation: (an overview).	PEPM	2009	DBLP DOI BibTeX RDF	incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity
1	Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit	SOC: a slicer for CSP specifications.	PEPM	2009	DBLP DOI BibTeX RDF	software engineering, program slicing
1	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
1	Huiqing Li, Simon J. Thompson	Clone detection and removal for Erlang/OTP within a refactoring environment.	PEPM	2009	DBLP DOI BibTeX RDF	wrangler, program transformation, program analysis, refactoring, erlang, duplicated code
1	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
1	Germán Puebla, Germán Vidal (eds.)	Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009	PEPM	2009	DBLP BibTeX RDF
1	Jácome Cunha, João Saraiva, Joost Visser 0001	From spreadsheets to relational databases and back.	PEPM	2009	DBLP DOI BibTeX RDF	bi-directional transformations, type-safe data migration, functional programming, spreadsheets
1	Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
1	Philippe Moret, Walter Binder, Alex Villazón	CCCP: complete calling context profiling in virtual execution environments.	PEPM	2009	DBLP DOI BibTeX RDF	calling context profiling, native code, java virtual machine, bytecode instrumentation
1	Andrew Moss, Dan Page	Program interpolation.	PEPM	2009	DBLP DOI BibTeX RDF	dynamic feedback, program interpolation, program optimization
1	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
1	Robert J. Simmons, Frank Pfenning	Linear logical approximations.	PEPM	2009	DBLP DOI BibTeX RDF	bottom-up linear logic programming, abstract interpretation, operational semantics
1	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
1	Robert Glück	Is there a fourth Futamura projection?	PEPM	2009	DBLP DOI BibTeX RDF	Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application
1	Cristina David, Cristian Gherghina, Wei-Ngan Chin	Translation and optimization for a core calculus with exceptions.	PEPM	2009	DBLP DOI BibTeX RDF	optimization, translation, exceptions
1	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
1	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
1	Nic Volanschi, Christian Rinderknecht	Unparsed patterns: easy user-extensibility of program manipulation tools.	PEPM	2008	DBLP DOI BibTeX RDF	unparsed patterns, pattern matching, source code
1	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
1	Jurriaan Hage, Stefan Holdermans	Heap recycling for lazy languages.	PEPM	2008	DBLP DOI BibTeX RDF	compile-time garbage collection, lazy functional programming, type-based program analysis
1	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
1	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
1	Jan Jancura, Daniel Prusa	Generic framework for integration of programming languages into netbeans ide.	PEPM	2008	DBLP DOI BibTeX RDF	framework for visualization of programming languages, parser
1	Shin-Cheng Mu	Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths.	PEPM	2008	DBLP DOI BibTeX RDF	maximum segment density, maximum segment sum, program derivation
1	Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary	Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.	PEPM	2008	DBLP DOI BibTeX RDF	statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages
1	Torben Æ. Mogensen	Semi-inversion of functional parameters.	PEPM	2008	DBLP DOI BibTeX RDF	semi-inversion, program transformation, inversion, higher-order functions
1	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
1	Robert Glück, Oege de Moor (eds.)	Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008	PEPM	2008	DBLP BibTeX RDF
1	Ping Zhu, Siau-Cheng Khoo	Specialization for applications using shared libraries.	PEPM	2008	DBLP DOI BibTeX RDF	run-time specialization, shared libraries
1	Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley	Securing web applications with static and dynamic information flow tracking.	PEPM	2008	DBLP DOI BibTeX RDF	model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting

Publications at "PEPM"( http://dblp.L3S.de/Venues/PEPM )