How many papers does the academic institution of the contributor to The INterfaces for Control Components article have?
24912
Rajeev Alur and Jyotirmoy V. Deshmukh: Nondeterministic Streaming String Transducers. (2011) authored by Rajeev Alur. Sebastian Burckhardt et al.: CheckFence: checking consistency of concurrent data types on relaxed memory. (2017) authored by Rajeev Alur. Rajeev Alur et al.: GPUDrano: Detecting Uncoalesced Accesses in GPU Rajeev Alur is the author of DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. (2014) authored by Rajeev Alur. Rajeev Alur and Pavol Cern<unk>: Streaming transducers for algorithmic verification of single-pass list-processing programs. Rajeev Alur is also known as Rohan Alur. P. Madhusudan et al.: Symbolic computational techniques for solving games. (2003) authored by Rajeev Alur. Pavol Cern<unk> et al.: Compression of Partially Ordered Strings. (2018) authored by Rajeev Alur. authored by Rajeev Alur. Anton Xue et al.: Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. (2012) authored by Rajeev Alur. Konstantinos Kallas et al.: Stream Processing With Dependent-Guided Synchronization. (2021) authored by Rajeev Alur. Anton Xue et al.: Parametric Chordal Spars Rajeev Alur et al.: Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models. (2007) authored by Rajeev Alur. Konstantinos Kallas et al.: Optimal Reachability for Weighted Timed Games. (2004) authored by Rajeev Alur. Rajeev Alur was born in Pune. He holds the title of Zisman Family Professor at UPenn since 2003. He is the author of Algorithmic Analysis of Array-Accessing Programs. (2005) authored by Rajeev Alur.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: How many papers does the academic institution of the contributor to The INterfaces for Control Components article have?
Context: Rajeev Alur and Jyotirmoy V. Deshmukh: Nondeterministic Streaming String Transducers. (2011) authored by Rajeev Alur. Sebastian Burckhardt et al.: CheckFence: checking consistency of concurrent data types on relaxed memory. (2017) authored by Rajeev Alur. Rajeev Alur et al.: GPUDrano: Detecting Uncoalesced Accesses in GPU Rajeev Alur is the author of DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. (2014) authored by Rajeev Alur. Rajeev Alur and Pavol Cern<unk>: Streaming transducers for algorithmic verification of single-pass list-processing programs. Rajeev Alur is also known as Rohan Alur. P. Madhusudan et al.: Symbolic computational techniques for solving games. (2003) authored by Rajeev Alur. Pavol Cern<unk> et al.: Compression of Partially Ordered Strings. (2018) authored by Rajeev Alur. authored by Rajeev Alur. Anton Xue et al.: Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. (2012) authored by Rajeev Alur. Konstantinos Kallas et al.: Stream Processing With Dependent-Guided Synchronization. (2021) authored by Rajeev Alur. Anton Xue et al.: Parametric Chordal Spars Rajeev Alur et al.: Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models. (2007) authored by Rajeev Alur. Konstantinos Kallas et al.: Optimal Reachability for Weighted Timed Games. (2004) authored by Rajeev Alur. Rajeev Alur was born in Pune. He holds the title of Zisman Family Professor at UPenn since 2003. He is the author of Algorithmic Analysis of Array-Accessing Programs. (2005) authored by Rajeev Alur.
[/INST] Answer:
