Search results for "PEPM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner	Traceability and evidence of correctness of EDSL abstractions.	PEPM	2013	DBLP DOI BibTeX RDF
1	Marco Comini, Luca Torella	TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.	PEPM	2013	DBLP DOI BibTeX RDF
1	Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shonan challenge for generative programming: short position paper.	PEPM	2013	DBLP DOI BibTeX RDF
1	Konstantinos F. Sagonas, Josep Silva, Salvador Tamarit	Precise explanation of success typing errors.	PEPM	2013	DBLP DOI BibTeX RDF
1	Álvaro García-Pérez, Pablo Nogueira	A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.	PEPM	2013	DBLP DOI BibTeX RDF
1	Bruno Martinez, Marcos Viera, Alberto Pardo	Just do it while compiling!: fast extensible records in haskell.	PEPM	2013	DBLP DOI BibTeX RDF
1	Jeroen Weijers, Jurriaan Hage, Stefan Holdermans	Security type error diagnosis for higher-order, polymorphic languages.	PEPM	2013	DBLP DOI BibTeX RDF
1	Marco Servetto, Elena Zucca	A meta-circular language for active libraries.	PEPM	2013	DBLP DOI BibTeX RDF
1	Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens	Fixing idioms: a recursion primitive for applicative DSLs.	PEPM	2013	DBLP DOI BibTeX RDF
1	Qiang Sun, Yuting Chen, Jianjun Zhao	Constraint-based locality analysis for X10 programs.	PEPM	2013	DBLP DOI BibTeX RDF
1	Bruno C. d. S. Oliveira, Andres Löh	Abstract syntax graphs for domain specific languages.	PEPM	2013	DBLP DOI BibTeX RDF
1	Zhenjiang Hu	Practical aspects of bidirectional graph transformations.	PEPM	2013	DBLP DOI BibTeX RDF
1	Elvira Albert, Shin-Cheng Mu (eds.)	Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013	PEPM	2013	DBLP BibTeX RDF
1	Axel Simon	Deriving a complete type inference for hindley-milner and vector sizes using expansion.	PEPM	2013	DBLP DOI BibTeX RDF
1	María Alpuente, Marco A. Feliú, Alicia Villanueva	Automatic inference of specifications using matching logic.	PEPM	2013	DBLP DOI BibTeX RDF
1	Peter Thiemann	Partially static operations.	PEPM	2013	DBLP DOI BibTeX RDF
1	Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi	Towards a scalable software model checker for higher-order programs.	PEPM	2013	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Enrique Martin-Martin	Typing as functional-logic evaluation.	PEPM	2013	DBLP DOI BibTeX RDF
1	Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard	Verified integrity properties for safe approximate program transformations.	PEPM	2013	DBLP DOI BibTeX RDF
1	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verifying programs via iterated specialization.	PEPM	2013	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Simon 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	Jacques Carette, Aaron Stump	Towards typing for small-step direct reflection.	PEPM	2012	DBLP DOI BibTeX RDF
1	Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky	Scala-virtualized.	PEPM	2012	DBLP DOI BibTeX RDF
1	Martin Berger	Specification and verification of meta-programs.	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	Martin Hirzel, Bugra Gedik	Streams that compose using macros that oblige.	PEPM	2012	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	Markus Püschel	Compiling math to fast code.	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, Peter Thiemann, Stefan Wehr	The interaction of contracts and laziness.	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	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	Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni	Obfuscation by partial evaluation of distorted interpreters.	PEPM	2012	DBLP DOI BibTeX RDF
1	Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano	Polynomial-time inverse computation for accumulative functions with multiple data traversals.	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	Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel	Composing transformations for instrumentation and optimization.	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	Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara	Functional programs as compressed data.	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	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	Janis Voigtländer	Ideas for connecting inductive program synthesis and bidirectionalization.	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	Rafael Caballero	A program transformation for returning states in functional-logic programs.	PEPM	2011	DBLP DOI BibTeX RDF
1	Torben Æ. Mogensen	Partial evaluation of the reversible language janus.	PEPM	2011	DBLP DOI BibTeX RDF
1	Charles Consel	DiaSuite: a paradigm-oriented software development approach.	PEPM	2011	DBLP DOI BibTeX RDF
1	Enrique Martin-Martin	Type classes in functional logic programming.	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	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	Peter A. Jonsson, Johan Nordlander	Taming code explosion in supercompilation.	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, Alcino Cunha	Calculating with lenses: optimising bidirectional transformations.	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	Martin C. Rinard	Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation.	PEPM	2011	DBLP DOI BibTeX RDF
1	Dimitrios Vardoulakis, Olin Shivers	Ordering multiple continuations on the stack.	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	Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo	Allocation removal by partial evaluation in a tracing JIT.	PEPM	2011	DBLP DOI BibTeX RDF
1	Olaf Chitil	A semantics for lazy assertions.	PEPM	2011	DBLP DOI BibTeX RDF
1	Yan Wang, 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	Jacques Carette, Mustafa Elsheikh, Spencer Smith	A generative geometric kernel.	PEPM	2011	DBLP DOI BibTeX RDF
1	Olivier Danvy, Jacob Johannsen, Ian Zerny	A walk in the semantic park.	PEPM	2011	DBLP DOI BibTeX RDF
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	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	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	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	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	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	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	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
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	Xin Li, Mizuhito Ogawa	Conditional weighted pushdown systems and applications.	PEPM	2010	DBLP DOI BibTeX RDF	weighted pushdown systems, model checking
1	Ivan Lazar Miljenovic	The SourceGraph program.	PEPM	2010	DBLP DOI BibTeX RDF	graph theory, static analysis, haskell, software analysis, call graph
1	Johannes Rudolph, Peter Thiemann	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
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	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	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	Adrián Riesco, 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	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	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	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	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	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	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	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	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, Josep Silva, Salvador Tamarit	SOC: a slicer for CSP specifications.	PEPM	2009	DBLP DOI BibTeX RDF	software engineering, program slicing
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	Jácome Cunha, João Saraiva, Joost Visser	From spreadsheets to relational databases and back.	PEPM	2009	DBLP DOI BibTeX RDF	bi-directional transformations, type-safe data migration, functional programming, spreadsheets
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	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	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	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	Robert J. Simmons, Frank Pfenning	Linear logical approximations.	PEPM	2009	DBLP DOI BibTeX RDF	bottom-up linear logic programming, abstract interpretation, operational semantics
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	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	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	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	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	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

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