Search results for "program-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
48	Sabine Glesner	Program Checking with Certificates: Separating Correctness-Critical Code.	FME	2003	DBLP DOI BibTeX RDF	safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking
40	Eugen-Nicolae Volanschi	Condate: a proto-language at the confluence between checking and compiling.	PPDP	2006	DBLP DOI BibTeX RDF	compilers, customization, declarative languages, program checking
27	Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann	Construction of Verified Compiler Front-Ends with Program-Checking.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
27	David Detlefs, Greg Nelson, James B. Saxe	Simplify: a theorem prover for program checking.	J. ACM	2005	DBLP DOI BibTeX RDF	Theorem proving, decision procedures, program checking
27	Baruch Awerbuch, George Varghese	Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	spanning tree problems, distributed program checking, self-stabilizing distributed protocols, deterministic synchronous protocol, noninteractive tasks, compiler, shortest paths, time complexity, space complexity
25	Eugen-Nicolae Volanschi	A Portable Compiler-Integrated Approach to Permanent Checking.	ASE	2006	DBLP DOI BibTeX RDF
22	Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler	Correlation exploitation in error ranking.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	error ranking, static analysis, program checking
21	Tobias Lindahl, Konstantinos Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
21	Fabrizio Perin, Lukas Renggli, Jorge Ressia	Linguistic style checking with program checking tools.	Comput. Lang. Syst. Struct.	2012	DBLP DOI BibTeX RDF
19	Maria Paola Bonacina	On theorem proving for program checking: historical perspective and recent developments.	PPDP	2010	DBLP DOI BibTeX RDF	combination of theories, rewrite-based theorem proving, speculative inferences, satisfiability modulo theories
19	Kurt Mehlhorn, Stefan Näher	From Algorithms to Working Programs: On the Use of Program Checking in LEDA.	MFCS	1998	DBLP DOI BibTeX RDF
18	Eugen-Nicolae Volanschi	A portable compiler-integrated approach to permanent checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	User-defined checks, Extensible compilers
16	Dan Suciu	The XML Typechecking Problem.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
14	V. Vipindeep, Pankaj Jalote	Efficient static analysis with path pruning using coverage data.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	testing, static analysis, program checking
14	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
14	Cécile Germain-Renaud, Nathalie Playez	Result checking in global computing systems.	ICS	2003	DBLP DOI BibTeX RDF	grid, program-checking, sequential test
14	Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata	Extended Static Checking for Java.	PLDI	2002	DBLP DOI BibTeX RDF	compile-time program checking
14	Vikraman Arvind, Jacobo Torán	A Nonadaptive NC Checker for Permutation Group Intersection.	CCC	1997	DBLP DOI BibTeX RDF	nonadaptive queries, permutation groups, Program checking
14	Funda Ergün, Ravi Kumar 0001, Ronitt Rubinfeld	Approximate Checking of Polynomials and Functional Equations (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	approximate checking, polynomial computation, functional equation computation, addition theorems, approximate program output, self-correcting, stability theory, program testing, polynomials, reductions, functions, self-testing, program checking
14	Manuel Blum 0001, Sampath Kannan	Designing Programs that Check Their Work.	J. ACM	1995	DBLP DOI BibTeX RDF	testing, program verification, probabilistic algorithms, interactive proofs, program checking
14	David M. Arnow	:-) When you grade that: using e-mail and the network in programming courses.	SAC	1995	DBLP DOI BibTeX RDF	automated program checking, network classrooms, e-mail
14	Manuel Blum 0001, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor	Checking the Correctness of Memories	FOCS	1991	DBLP DOI BibTeX RDF	memories correctness checking, reliable memory, sequence of requests, data structure, lower bounds, probability, program checking
14	Carsten Lund, Lance Fortnow, Howard J. Karloff, Noam Nisan	Algebraic Methods for Interactive Proof Systems	FOCS	1990	DBLP DOI BibTeX RDF	polynomial value verification, program self correction, algebraic technique, program verification, language, interactive proof systems, program checking, polynomial-time hierarchy, low-degree polynomial
13	Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001	Program Checking with Less Hassle.	VSTTE	2013	DBLP DOI BibTeX RDF
13	Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz	Domain-Specific Program Checking.	TOOLS (48)	2010	DBLP DOI BibTeX RDF
13	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (De)constructive Approach to Program Checking.	Electron. Colloquium Comput. Complex.	2007	DBLP BibTeX RDF
13	Christian S. Collberg, Todd A. Proebsting	Problem identification using program checking.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
13	Sabine Glesner	Using Program Checking to Ensure the Correctness of Compiler Implementations.	J. Univers. Comput. Sci.	2003	DBLP DOI BibTeX RDF
13	Vikraman Arvind, K. V. Subrahmanyam 0001, N. V. Vinodchandran	The Query Complexity of Program Checking by Constant-Depth Circuits.	Chic. J. Theor. Comput. Sci.	2002	DBLP BibTeX RDF
13	Vikraman Arvind, K. V. Subrahmanyam 0001, N. V. Vinodchandran	The Query Complexity of Program Checking by Constant-Depth Circuits.	ISAAC	1999	DBLP DOI BibTeX RDF
13	Vikraman Arvind, K. V. Subrahmanyam 0001, N. V. Vinodchandran	The Query Complexity of Program Checking by Constant-Depth Circuits	Electron. Colloquium Comput. Complex.	1998	DBLP BibTeX RDF
13	Kurt Mehlhorn, Stefan Näher	From Algorithms to Working Programs on the Use of Program Checking in LEDA.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
13	S. Ravikumar	New Methods in Program Checking.		1997	RDF
13	Yair Frankel, Peter Gemmell, Moti Yung	Witness-Based Cryptographic Program Checking and Applications (an Announcement).	PODC	1996	DBLP DOI BibTeX RDF
13	Yair Frankel, Peter Gemmell, Moti Yung	Witness-Based Cryptographic Program Checking and Robust Function Sharing.	STOC	1996	DBLP DOI BibTeX RDF
13	Manuel Blum 0001	Program Checking.	FSTTCS	1991	DBLP DOI BibTeX RDF
13	Graeme Williams	Program checking.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
12	Ted Kremenek, Dawson R. Engler	Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.	SAS	2003	DBLP DOI BibTeX RDF
12	David Déharbe, Abdessamad Imine, Silvio Ranise	Abstraction-Driven Verification of Array Programs.	AISC	2004	DBLP DOI BibTeX RDF
9	Christian S. Collberg, Stephen G. Kobourov, Jessica Miller, Suzanne Westbrook	AlambdagoVista: a tool to enhance algorithm design and understanding.	ITiCSE	2002	DBLP DOI BibTeX RDF
9	Paul Feautrier	Array Dataflow Analysis.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
8	Richard Dapoigny, Patrick Barlatier	Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.	ER	2009	DBLP DOI BibTeX RDF
7	Roel Wuyts, Holger M. Kienle, Kim Mens, Mark van den Brand, Adrian Kuhn	Academic Software Development Tools and Techniques.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
7	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Knuth-Morris-Pratt string matching, data specialization, program specialization, trace semantics
7	Gerhard Goos, Wolf Zimmermann	Verification of Compilers.	Correct System Design	1999	DBLP DOI BibTeX RDF
7	Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung	Checking Programs Discreetly: Demonstrating Result-Correctness Efficiently while Concealing it.	ISAAC	1998	DBLP DOI BibTeX RDF
7	Donald Beaver, Joan Feigenbaum, Joe Kilian, Phillip Rogaway	Security with Low Communication Overhead.	CRYPTO	1990	DBLP DOI BibTeX RDF
5	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	Verifying and decoding in constant depth.	STOC	2007	DBLP DOI BibTeX RDF	error-correcting codes, interactive proofs, constant-depth circuits
5	Matthew K. Franklin, Juan A. Garay, Moti Yung	Self-Testing/Correcting Protocols (Extended Abstract).	DISC	1999	DBLP DOI BibTeX RDF
5	László Babai, Sophie Laplante	Stronger Separations for Random-Self-Reducibility, Rounds, and Advice.	CCC	1999	DBLP DOI BibTeX RDF
5	Dominique L'Her, Philippe Le Parc, Lionel Marcé	Proving Sequential Function Chart Programs Using Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
5	Mihir Bellare, Juan A. Garay, Tal Rabin	Batch Verification with Applications to Cryptography and Checking.	LATIN	1998	DBLP DOI BibTeX RDF
5	Paul Feautrier	Array expansion.	ICS	1988	DBLP DOI BibTeX RDF