Global Talk Author Index

GLOBAL TALK AUTHOR INDEX

Shortcuts: A B C D E F G H I J K L M N O P R S T U V W Y Z

A
Abdulla, Parosh Aziz	(FMCAD15) Verification of Cache Coherence Protocols wrt. Trace Filters
Abraham, Erika	(SAT 2015) SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Achlioptas, Dimitris	(SAT 2015) Random Formulas are Irrelevant, Right?
Agarwal, Chirag	(FMCAD15) Compositional Reasoning Gotchas in Practice
Akshay, S.	(FMCAD15) A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Alvarez, Mario M.	(MEMOCODE'15) Towards Verification of Hybrid Systems in a Foundational Proof Assistant
Anil, Shukla	(QBF 2015) Feasible Interpolation for QBF Resolution Calculi
Ansótegui, Carlos	(SAT 2015) Using Community Structure to Detect Relevant Learnt Clauses
Aono, Masashi	(POS15) Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Arcaini, Paolo	(MEMOCODE'15) Formal validation and verification of a medical software critical component
Argelich, Josep	(SAT 2015) Max-SAT Evaluation 2015
Arif, M. Fareed	(SAT 2015) Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
Atig, Mohamed Faouzi	(FMCAD15) Verification of Cache Coherence Protocols wrt. Trace Filters
Attie, Paul	(MEMOCODE'15) Model and Program Repair via SAT Solving
Aziz, Rehan Abdul	(SAT 2015) Projected Model Counting
B
Balabanov, Valeriy	(QBF 2015) Skolem functions computation for CEGAR based QBF solvers (QBF 2015) Reducing Satisfiability and Reachability to DQBF (SAT 2015) Speeding up MUS Extraction with Preprocessing and Chunking
Balyo, Tomáš	(SAT 2015) HordeSat: A Massively Parallel Portfolio SAT Solver (SAT 2015) SAT Race 2015
Barrett, Clark	(FMCAD15) Theory-Aided Model Checking of Concurrent Transition Systems
Bartocci, Ezio	(MEMOCODE'15) From Signal Temporal Logic to FPGA Monitors
Bastos, Joao	(MEMOCODE'15) Modeling Resource Sharing using FSM-SADF
Beaumont, Jonny	(MEMOCODE'15) Compositional design of asynchronous circuits from behavioural concepts
Becker, Bernd	(SAT 2015) Preprocessing for DQBF (SAT 2015) Laissez-Faire Caching for Parallel #SAT Solving
Bensalem, Saddek	(MEMOCODE'15) Optimized Distributed Implementations of Timed Component-based Systems
Berg, Jeremias	(POS15) Applications of MaxSAT in Data Analysis
Beyersdorff, Olaf	(QBF 2015) Feasible Interpolation for QBF Resolution Calculi
Biere, Armin	(POS15) Evaluating CDCL Restart Schemes (FMCAD15) Better Lemmas with Lambda Extraction (SAT 2015) Evaluating CDCL Variable Scoring Schemes
Bingham, Jesse	(FMCAD15) Universal Boolean Functional Vectors
Bjorner, Nikolaj	(FMCAD15) Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Bloem, Roderick	(SAT 2015) Reactive Synthesis
Bonfanti, Silvia	(MEMOCODE'15) Formal validation and verification of a medical software critical component
Bounov, Dimitar	(MEMOCODE'15) C-To-Verilog Translation Validation
Bova, Simone	(SAT 2015) On Compiling CNFs into Structured Deterministic DNNFs
Brayton, Robert	(FMCAD15) Reverse Engineering with Simulation Graphs
Brockschmidt, Marc	(FMCAD15) Compositional Safety Verification with Max-SMT
Brook, Alon	(MEMOCODE'15) Local and Global Fairness in Concurrent Systems
Burchard, Jan	(SAT 2015) Laissez-Faire Caching for Parallel #SAT Solving
Burlyaev, Dmitry	(FMCAD15) Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
C
Cai, Shaowei	(SAT 2015) CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
Cao, Bingyi	(MEMOCODE'15) Implementing Latency-Insensitive Dataflow Blocks
Capelli, Florent	(SAT 2015) On Compiling CNFs into Structured Deterministic DNNFs
Chabot, Martial	(MEMOCODE'15) Automatic and Configurable Instrumentation of C Programs with Temporal Assertion Checkers
Chakraborty, Supratik	(FMCAD15) A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Chau, Cuong Kim	(ACL2-2015) A Brief Introduction to Oracle’s Use of ACL2 (ACL2-2015) Fourier Series Formalization in ACL2(r)
Chen, Ruiwen	(SAT 2015) Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
Cherri, Ali	(MEMOCODE'15) Model and Program Repair via SAT Solving
Chew, Leroy	(QBF 2015) Feasible Interpolation for QBF Resolution Calculi
Chu, Geoffrey	(SAT 2015) Projected Model Counting
Cimatti, Alessandro	(FMCAD15) Comparing Different Functional Allocations in Automated Air Traffic Control Design
Coglio, Alessandro	(ACL2-2015) Second-Order Functions and Theorems in ACL2
Combaz, Jacques	(MEMOCODE'15) Optimized Distributed Implementations of Timed Component-based Systems
Corporaal, Henk	(MEMOCODE'15) Modeling Resource Sharing using FSM-SADF
Corzilius, Florian	(SAT 2015) SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Cowles, John	(ACL2-2015) Perfect Numbers in ACL2
Czarnecki, Krzysztof	(SAT 2015) SATGraf: Visualising the Evolution of SAT Formula Structure in Solvers
D
Dak Al Bab, Kinan	(MEMOCODE'15) Model and Program Repair via SAT Solving
Davis, Jared	(ACL2-2015) What's New in the Community Books (ACL2-2015) Fix Your Types: A Datatype Definition Library for Unconditional Type Reasoning
Dershowitz, Nachum	(SAT 2015) Hints Revealed
Dieudonne, Laurent	(MEMOCODE'15) On the Deployment Problem of Embedded Systems
Dillig, Isil	(SAT 2015) Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis
Dokhanchi, Adel	(MEMOCODE'15) Metric Interval Temporal Logic Specification Elicitation and Debugging
Douglass, Adam	(SAT 2015) Constructing SAT filters with a quantum annealer
Drechsler, Rolf	(FMCAD15) Reverse Engineering with Simulation Graphs
Durand, William	(MEMOCODE'15) Passive testing of production systems based on model inference
E
Ebergen, Jo	(ACL2-2015) A Brief Introduction to Oracle’s Use of ACL2
Eckardt, Horst	(MEMOCODE'15) On the Deployment Problem of Embedded Systems
Edwards, Stephen A.	(MEMOCODE'15) Implementing Latency-Insensitive Dataflow Blocks
Egly, Uwe	(SAT 2015) Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
Erickson, John	(FMCAD15) Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
Esparza, Javier	(FMCAD15) An SMT-based Approach to Fair Termination Analysis
F
Fainekos, Georgios	(MEMOCODE'15) Metric Interval Temporal Logic Specification Elicitation and Debugging
Falkner, Stefan	(SAT 2015) SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
Farzan, Azadeh	(FMCAD15) Compositional Recurrence Analysis
Fischmeister, Sebastian	(POS15) Predicting SAT Solver Performance on Heterogeneous Hardware (SAT 2015) SATGraf: Visualising the Evolution of SAT Formula Structure in Solvers
Fradet, Pascal	(FMCAD15) Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
Fröhlich, Andreas	(POS15) Evaluating CDCL Restart Schemes (SAT 2015) Evaluating CDCL Variable Scoring Schemes
Fujita, Masahiro	(MEMOCODE'15) Logic analysis and optimization with quick identification of invariants through one time frame analysis
G
Gamboa, Ruben	(ACL2-2015) Perfect Numbers in ACL2
Ganesh, Vijay	(POS15) Predicting SAT Solver Performance on Heterogeneous Hardware (SAT 2015) SATGraf: Visualising the Evolution of SAT Formula Structure in Solvers
Ganian, Robert	(SAT 2015) Community Structure Inspired Algorithms for SAT and #SAT
Ganjei, Zeinab	(FMCAD15) Verification of Cache Coherence Protocols wrt. Trace Filters
Ganty, Pierre	(MEMOCODE'15) From Non-Zenoness Verification to Termination
Gargantini, Angelo	(MEMOCODE'15) Formal validation and verification of a medical software critical component
Gario, Marco	(FMCAD15) Comparing Different Functional Allocations in Automated Air Traffic Control Design
Genaim, Samir	(MEMOCODE'15) From Non-Zenoness Verification to Termination
Gerard, Leonard	(MEMOCODE'15) Design and Verification of Multi-Rate Distributed Systems
Ghassabani, Elaheh	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
Giráldez-Cru, Jesus	(SAT 2015) Using Community Structure to Detect Relevant Learnt Clauses
Gitina, Karina	(SAT 2015) Preprocessing for DQBF
Gorokhovsky, Elliot	(POS15) Model Counting with Arbitrary Alphabets
Gowda, Vignesh	(MEMOCODE'15) Towards Verification of Hybrid Systems in a Foundational Proof Assistant
Greaves, David	(MEMOCODE'15) Layering RTL, SAFL, Handel-C and Bluespec Constructs on Chisel HCL
Greenstreet, Mark	(ACL2-2015) Extending ACL2 with SMT Solvers
Grosu, Radu	(MEMOCODE'15) From Signal Temporal Logic to FPGA Monitors
Gurfinkel, Arie	(FMCAD15) Pushing to the Top (FMCAD15) Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
H
Hannig, Frank	(MEMOCODE'15) Symbolic Loop Parallelization for Balancing I/O and Memory Accesses on Processor Arrays
Hardin, David	(ACL2-2015) Reasoning about LLVM code using Codewalker
Harel, David	(FMCAD15) Theory-Aided Model Checking of Concurrent Transition Systems
Heimdahl, Mats	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
Hoxha, Bardh	(MEMOCODE'15) Metric Interval Temporal Logic Specification Elicitation and Debugging
Hsu, Tzu-Chien	(SAT 2015) QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
Hunt, Warren	(ACL2-2015) Fourier Series Formalization in ACL2(r)
Hutter, Frank	(SAT 2015) SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
Hylander, Paul	(FMCAD15) Compositional Reasoning Gotchas in Practice
Hyttinen, Antti	(POS15) Applications of MaxSAT in Data Analysis
Hyvärinen, Antti E. J.	(SAT 2015) Search-Space Partitioning for Parallelizing SMT Solvers
I
Ignatiev, Alexey	(SAT 2015) SAT-Based Formula Simplification
Iida, Yoichiro	(POS15) Proposal and Application of Search Similarity Index for SAT solver
Inaba, Mary	(POS15) Proposal and Application of Search Similarity Index for SAT solver
Iser, Markus	(SAT 2015) Recognition of Nested Gates in CNF Formulas
Ivrii, Alexander	(FMCAD15) Pushing to the Top (SAT 2015) Speeding up MUS Extraction with Preprocessing and Chunking (SAT 2015) Mining Implied Literals for Incremental SAT
J
Jacobs, Johan	(MEMOCODE'15) Modeling Resource Sharing using FSM-SADF
Jain, Mitesh	(ACL2-2015) Proving Skipping Refinement with ACL2s
Jaksic, Stefan	(MEMOCODE'15) From Signal Temporal Logic to FPGA Monitors
Janota, Mikolas	(SAT 2015) Exploiting Resolution-based Representations for MaxSAT Solving
Jiang, Jie-Hong Roland	(QBF 2015) Skolem functions computation for CEGAR based QBF solvers (QBF 2015) Reducing Satisfiability and Reachability to DQBF (SAT 2015) QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
John, Ajith	(FMCAD15) A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Joosten, Sebastiaan	(MEMOCODE'15) Process algebra semantics and reachability analysis for micro-architectural models of communication fabrics
Jouvelot, Pierre	(MEMOCODE'15) Towards Refinement Types for Time-Dependent Data-Flow Networks
Junges, Sebastian	(SAT 2015) SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Järvisalo, Matti	(POS15) Applications of MaxSAT in Data Analysis
K
Kalechstain, Jonathan	(SAT 2015) Hints Revealed
Kalla, Priyank	(SAT 2015) Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation
Kasai, Seiya	(POS15) Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Katz, Guy	(FMCAD15) Theory-Aided Model Checking of Concurrent Transition Systems
Kaufmann, Michael	(SAT 2015) A New Approach to Partial MUS Enumeration
Kim, Martha A.	(MEMOCODE'15) Implementing Latency-Insensitive Dataflow Blocks
Kim, Song-Ju	(POS15) Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Kincaid, Zachary	(FMCAD15) Compositional Recurrence Analysis
King, Andrew	(SAT 2015) Constructing SAT filters with a quantum annealer
Kloibhofer, Reinhard	(MEMOCODE'15) From Signal Temporal Logic to FPGA Monitors
Komuravelli, Anvesh	(FMCAD15) Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Kremer, Gereon	(SAT 2015) SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Kroening, Daniel	(FMCAD15) Accelerating Invariant Generation
Kugele, Stefan	(MEMOCODE'15) On the Deployment Problem of Embedded Systems
Kullmann, Oliver	(SAT 2015) Computing maximal autarkies with few and simple oracle queries
L
Lal, Ratan	(MEMOCODE'15) From Non-Zenoness Verification to Termination
Lange, Tim	(FMCAD15) IC3 Software Model Checking on Control Flow Automata
Lanik, Jan	(MEMOCODE'15) Reducing power with activity trigger analysis
Larraz, Daniel	(FMCAD15) Compositional Safety Verification with Max-SMT
Lee, Austin	(ACL2-2015) A Brief Introduction to Oracle’s Use of ACL2
Lee, Insup	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
Legriel, Julien	(MEMOCODE'15) Reducing power with activity trigger analysis
Lerner, Sorin	(MEMOCODE'15) Towards Verification of Hybrid Systems in a Foundational Proof Assistant (MEMOCODE'15) C-To-Verilog Translation Validation
Leung, Alan	(MEMOCODE'15) C-To-Verilog Translation Validation
Levy, Jordi	(SAT 2015) Using Community Structure to Detect Relevant Learnt Clauses
Lewis, Matt	(FMCAD15) Accelerating Invariant Generation
Li, Wenchao	(MEMOCODE'15) Design and Verification of Multi-Rate Distributed Systems
Li, Xian	(MEMOCODE'15) Verification Condition Generation for Hybrid Systems
Liang, Jia Hui	(SAT 2015) SATGraf: Visualising the Evolution of SAT Formula Structure in Solvers
Lindauer, Marius	(SAT 2015) SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
Lindsay, William	(SAT 2015) SATGraf: Visualising the Evolution of SAT Formula Structure in Solvers
Lonsing, Florian	(SAT 2015) Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
Lonsing And Seidl,	(QBF 2015) Discussion
Luo, Chuan	(SAT 2015) CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
Lynce, Ines	(SAT 2015) Exploiting Resolution-based Representations for MaxSAT Solving
M
Madhukar, Kumar	(FMCAD15) Accelerating Invariant Generation
Mahajan, Meena	(QBF 2015) Feasible Interpolation for QBF Resolution Calculi
Mahajan, Yogesh	(FMCAD15) Compositional Reasoning Gotchas in Practice
Malecha, Gregory	(MEMOCODE'15) Towards Verification of Hybrid Systems in a Foundational Proof Assistant
Maler, Oded	(MEMOCODE'15) Reducing power with activity trigger analysis
Malik, Sharad	(FMCAD15) Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
Mangal, Ravi	(SAT 2015) Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
Manolios, Panagiotis	(ACL2-2015) Proving Skipping Refinement with ACL2s
Manquinho, Vasco	(SAT 2015) Exploiting Resolution-based Representations for MaxSAT Solving
Manthey, Norbert	(POS15) Checking Unsatisfiability Proofs in Parallel (SAT 2015) Recognition of Nested Gates in CNF Formulas (SAT 2015) Pseudo-Boolean Evaluation 2015
Marescotti, Matteo	(SAT 2015) Search-Space Partitioning for Parallelizing SMT Solvers
Marques-Silva, Joao	(SAT 2015) SAT-Based Horn Least Upper Bounds (SAT 2015) Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (SAT 2015) SAT-Based Formula Simplification (SAT 2015) Computing maximal autarkies with few and simple oracle queries
Martins, Ruben	(SAT 2015) Exploiting Resolution-based Representations for MaxSAT Solving
Mashkoor, Atif	(MEMOCODE'15) Formal validation and verification of a medical software critical component
Matt Kaufmann And J Moore,	(ACL2-2015) What's New in ACL2 (ACL2-2015) Business Meeting (ACL2-2015) Fourier Series Formalization in ACL2(r)
Mattarei, Cristian	(FMCAD15) Comparing Different Functional Allocations in Automated Air Traffic Control Design
Mazet, Kevin	(MEMOCODE'15) Automatic and Configurable Instrumentation of C Programs with Temporal Assertion Checkers
McMillan, Kenneth	(FMCAD15) Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Mencía, Carlos	(SAT 2015) SAT-Based Horn Least Upper Bounds (SAT 2015) Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
Mendler, Michael	(MEMOCODE'15) SCEst: Sequentially Constructive Esterel
Mengel, Stefan	(SAT 2015) On Compiling CNFs into Structured Deterministic DNNFs
Meshman, Yuri	(FMCAD15) Pattern-based Synthesis of Synchronization for the C++ Memory Model
Meyer, Philipp J.	(FMCAD15) An SMT-based Approach to Fair Termination Analysis
Michelson, Jonathan	(FMCAD15) Compositional Reasoning Gotchas in Practice
Miwa, Hiroyoshi	(POS15) Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Mokhov, Andrey	(MEMOCODE'15) Compositional design of asynchronous circuits from behavioural concepts
Moon, Seongsoo	(POS15) Proposal and Application of Search Similarity Index for SAT solver
Moore, J Strother	(ACL2-2015) Stateman: Using Metafunctions to Manage Large Terms Representing Machine States (ACL2-2015) Invited Talk: Lessons Learned over 45 Years in Theorem Proving
Moore, Simon	(MEMOCODE'15) A Generic Synthesisable Test Bench
Motika, Christian	(MEMOCODE'15) SCEst: Sequentially Constructive Esterel
Muise, Christian	(SAT 2015) Projected Model Counting
Murugesan, Anitha	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
N
Nadezhin, Dmitry	(ACL2-2015) A Brief Introduction to Oracle’s Use of ACL2
Naik, Mayur	(SAT 2015) Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
Naruse, Makoto	(POS15) Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Naylor, Matthew	(MEMOCODE'15) A Generic Synthesisable Test Bench
Neuhäußer, Martin R.	(FMCAD15) IC3 Software Model Checking on Control Flow Automata
Neves, Miguel	(SAT 2015) Exploiting Resolution-based Representations for MaxSAT Solving
Newsham, Zack	(POS15) Predicting SAT Solver Performance on Heterogeneous Hardware (SAT 2015) SATGraf: Visualising the Evolution of SAT Formula Structure in Solvers
Nguyen, Thang	(MEMOCODE'15) From Signal Temporal Logic to FPGA Monitors
Nickovic, Dejan	(MEMOCODE'15) From Signal Temporal Logic to FPGA Monitors
Niemetz, Aina	(FMCAD15) Better Lemmas with Lambda Extraction
Nist, Jennifer	(SAT 2015) Preprocessing for DQBF
Noll, Thomas	(FMCAD15) IC3 Software Model Checking on Control Flow Automata
Nori, Aditya	(SAT 2015) Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
O
O'Leary, John	(ACL2-2015) Invited Talk: Verification in the Age of Integration
Oh, Chanseok	(SAT 2015) Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
Oliveras, Albert	(FMCAD15) Compositional Safety Verification with Max-SMT
P
Peled, Doron	(MEMOCODE'15) Local and Global Fairness in Concurrent Systems
Peng, Yan	(ACL2-2015) Extending ACL2 with SMT Solvers
Philipp, Tobias	(SAT 2015) Pseudo-Boolean Evaluation 2015
Philipp, Tobias	(POS15) Checking Unsatisfiability Proofs in Parallel (SAT 2015) PBLib -- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
Pierre, Laurence	(MEMOCODE'15) Automatic and Configurable Instrumentation of C Programs with Temporal Assertion Checkers
Piriou, Erwan	(MEMOCODE'15) Reducing power with activity trigger analysis
Platzer, André	(SAT 2015) Proving Hybrid Systems
Popa, Ramona	(MEMOCODE'15) On the Deployment Problem of Embedded Systems
Prabhakar, Pavithra	(MEMOCODE'15) From Non-Zenoness Verification to Termination
Preiner, Mathias	(FMCAD15) Better Lemmas with Lambda Extraction
Previti, Alessandro	(SAT 2015) SAT-Based Horn Least Upper Bounds (SAT 2015) SAT-Based Formula Simplification
Pucea, Gheorghe	(MEMOCODE'15) On the Deployment Problem of Embedded Systems
R
Rabe, Markus N.	(FMCAD15) CAQE: A Certifying QBF Solver
Rager, David	(ACL2-2015) A Brief Introduction to Oracle’s Use of ACL2
Rahim, Fahim	(MEMOCODE'15) Reducing power with activity trigger analysis
Rahim, Solaiman	(MEMOCODE'15) Reducing power with activity trigger analysis
Rakib, Abdur	(MEMOCODE'15) Modeling and verifying context-aware non-monotonic reasoning agents
Rathlev, Karsten	(MEMOCODE'15) SCEst: Sequentially Constructive Esterel
Ray, Sandip	(FMCAD15) Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
Ray, Sayak	(FMCAD15) Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
Rayadurgam, Sanjai	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
Raymond, Jack	(SAT 2015) Constructing SAT filters with a quantum annealer
Rezine, Ahmed	(FMCAD15) Verification of Cache Coherence Protocols wrt. Trace Filters
Riccobene, Elvinia	(MEMOCODE'15) Formal validation and verification of a medical software critical component
Ricketts, Daniel	(MEMOCODE'15) Towards Verification of Hybrid Systems in a Foundational Proof Assistant
Rinetzky, Noam	(FMCAD15) Pattern-based Synthesis of Synchronization for the C++ Memory Model
Rodríguez Carbonell, Enric	(FMCAD15) Compositional Safety Verification with Max-SMT
Ross, Kenneth A.	(MEMOCODE'15) Implementing Latency-Insensitive Dataflow Blocks
Rozier, Kristin Y.	(FMCAD15) Comparing Different Functional Allocations in Automated Air Traffic Control Design
Rubio, Albert	(FMCAD15) Compositional Safety Verification with Max-SMT
Rump Session,	(ACL2-2015) R2 (ACL2-2015) R3 (ACL2-2015) R4 (ACL2-2015) R5 (ACL2-2015) R1
Ryvchin, Vadim	(SAT 2015) Hints Revealed (SAT 2015) Mining Implied Literals for Incremental SAT
S
Saklawi, Jad	(MEMOCODE'15) Model and Program Repair via SAT Solving
Sakr, Mouhammad	(MEMOCODE'15) Model and Program Repair via SAT Solving
Salva, Sébastien	(MEMOCODE'15) Passive testing of production systems based on model inference
Sanders, Peter	(SAT 2015) HordeSat: A Massively Parallel Portfolio SAT Solver
Santhanam, Rahul	(SAT 2015) Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
Schewe, Sven	(MEMOCODE'15) Local and Global Fairness in Concurrent Systems
Schiffelers, Ramon	(MEMOCODE'15) Modeling Resource Sharing using FSM-SADF
Schmaltz, Julien	(MEMOCODE'15) Process algebra semantics and reachability analysis for micro-architectural models of communication fabrics
Schneider, Klaus	(MEMOCODE'15) Verification Condition Generation for Hybrid Systems
Scholl, Christoph	(QBF 2015) Skolem functions computation for CEGAR based QBF solvers (SAT 2015) Preprocessing for DQBF
Schubert, Tobias	(SAT 2015) Laissez-Faire Caching for Parallel #SAT Solving
Schupp, Stefan	(SAT 2015) SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Selfridge, Ben	(ACL2-2015) A Brief Introduction to Oracle’s Use of ACL2
Shah, Shetal	(FMCAD15) A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Shankar, Natarajan	(MEMOCODE'15) Design and Verification of Multi-Rate Distributed Systems
Sharygina, Natasha	(SAT 2015) Search-Space Partitioning for Parallelizing SMT Solvers
Shukla, Sandeep	(MEMOCODE'15) Towards Refinement Types for Time-Dependent Data-Flow Networks
Simon, Laurent	(SAT 2015) Using Community Structure to Detect Relevant Learnt Clauses
Singhal, Vigyan	(FMCAD15) Compositional Reasoning Gotchas in Practice
Sinn, Moritz	(FMCAD15) Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
Sinz, Carsten	(SAT 2015) HordeSat: A Massively Parallel Portfolio SAT Solver (SAT 2015) Recognition of Nested Gates in CNF Formulas
Slivovsky, Friedrich	(QBF 2015) Dependency Schemes for Quantified Boolean Formulas
Slivovsky, Friedrich	(SAT 2015) On Compiling CNFs into Structured Deterministic DNNFs
Slobodova, Anna	(SAT 2015) Pragmatic Approach to Formal Verification
Smyth, Steven	(MEMOCODE'15) SCEst: Sequentially Constructive Esterel
Soeken, Mathias	(FMCAD15) Reverse Engineering with Simulation Graphs
Sokolov, Danil	(MEMOCODE'15) Compositional design of asynchronous circuits from behavioural concepts
Sokolsky, Oleg	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
Srivas, Mandayam	(FMCAD15) Accelerating Invariant Generation
Steinke, Peter	(SAT 2015) PBLib -- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
Sterin, Baruch	(FMCAD15) Reverse Engineering with Simulation Graphs
Strichman, Ofer	(SAT 2015) Mining Implied Literals for Incremental SAT
Stuckey, Peter J.	(SAT 2015) Projected Model Counting
Stuijk, Sander	(MEMOCODE'15) Modeling Resource Sharing using FSM-SADF
Su, Kaile	(SAT 2015) CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
Subramanyan, Pramod	(FMCAD15) Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
Swords, Sol	(ACL2-2015) Fix Your Types: A Datatype Definition Library for Unconditional Type Reasoning
Szeider, Stefan	(SAT 2015) Community Structure Inspired Algorithms for SAT and #SAT
T
Talpin, Jean-Pierre	(MEMOCODE'15) Towards Refinement Types for Time-Dependent Data-Flow Networks
Talupur, Murali	(FMCAD15) Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
Tanase, Alexandru	(MEMOCODE'15) Symbolic Loop Parallelization for Balancing I/O and Memory Accesses on Processor Arrays
Teich, Jürgen	(MEMOCODE'15) Symbolic Loop Parallelization for Balancing I/O and Memory Accesses on Processor Arrays
Tentrup, Leander	(FMCAD15) CAQE: A Certifying QBF Solver
Tezuka, Hiroshi	(POS15) Proposal and Application of Search Similarity Index for SAT solver
Tomb, Aaron	(SAT 2015) Applying Satisfiability to the Analysis of Cryptography
Tonetta, Stefano	(FMCAD15) Comparing Different Functional Allocations in Automated Air Traffic Control Design
Triki, Ahlem	(MEMOCODE'15) Optimized Distributed Implementations of Timed Component-based Systems
Trivedi, Ashutosh	(FMCAD15) A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Tu, Kuan-Hua	(SAT 2015) QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
U
Ul Haque, Hafiz Mahfooz	(MEMOCODE'15) Modeling and verifying context-aware non-monotonic reasoning agents
V
Veith, Helmut	(FMCAD15) Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
Viaud, Emmanuel	(MEMOCODE'15) Reducing power with activity trigger analysis
Vizel, Yakir	(FMCAD15) Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
Voeten, Jeroen	(MEMOCODE'15) Modeling Resource Sharing using FSM-SADF
Von Hanxleden, Reinhard	(MEMOCODE'15) SCEst: Sequentially Constructive Esterel
W
Wachter, Björn	(FMCAD15) Accelerating Invariant Generation
Wakabayashi, Masamitsu	(POS15) Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Weissenbacher, Georg	(FMCAD15) The FMCAD 2015 Graduate Student Forum
Whalen, Michael	(MEMOCODE'15) Hierarchical Multi-Formalism Proofs of Cyber Physical Systems
Wimmer, Ralf	(SAT 2015) Preprocessing for DQBF
Witterauf, Michael	(MEMOCODE'15) Symbolic Loop Parallelization for Balancing I/O and Memory Accesses on Processor Arrays
Wouda, Sanne	(MEMOCODE'15) Process algebra semantics and reachability analysis for micro-architectural models of communication fabrics
Y
Yahav, Eran	(FMCAD15) Pattern-based Synthesis of Synchronization for the C++ Memory Model
Yakovlev, Alex	(MEMOCODE'15) Compositional design of asynchronous circuits from behavioural concepts
Z
Zhang, Xin	(SAT 2015) Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
Zhu, Yunyun	(FMCAD15) Verification of Cache Coherence Protocols wrt. Trace Filters
Zielke, Christian	(SAT 2015) A New Approach to Partial MUS Enumeration
Zuleger, Florian	(FMCAD15) Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs